相关实验视频

一种基于双编码器的转移学习方法,用于在软件要求句子对中的自动冲突检测

Yizheng Wang¹, Tao Jiang¹, Jinyan Bai¹

¹School of Mathematics and Computer Science, Yunnan Minzu University, Kunming, China.

|March 12, 2026

概括

这项研究引入了一个新的框架,用于检测软件需求冲突,提高不平衡数据的准确性,并加强跨领域转移学习,以实现更可靠的软件工程. 该方法显著提高了检测性能.

科学领域:

软件工程软件工程软件工程
人工智能的人工智能
自然语言处理自然语言处理.

背景情况:

确保大规模软件要求文档 (RD) 的一致性对于项目成功至关重要.
现有的自动冲突检测方法与不平衡的数据,有限的语义提取和差的跨域传输扎.
挑战包括精度低,单个编码器的局限性和无效的转移学习.

研究的目的:

提出一个可转移的软件需求冲突检测框架 (TSRCDF-SS),解决当前的局限性.
增强语义提取和提高跨领域转移学习能力.
在检测要求不一致方面实现更高的准确性和效率.

主要方法:

使用两个独立的编码器,句子-BERT (SBERT) 和简单的对比句子嵌入 (SimCSE),用于强大的句子嵌入.
实施一个六要素连接策略,用于组合特征表示.
增强了一个前神经网络 (FFNN) 分类器,具有混合损失函数,包括焦点损失,域约束和信任惩罚.
整合顺序和跨领域的转移学习.

主要成果:

在非跨域条件下,在宏观F1和加权F1得分中实现了4.9%至12.1%的改善.
在最佳跨领域场景下,在宏观F1中显示了平均6%的增强.
在检测软件要求冲突方面,超越了先进的经典方法.

结论:

拟议的TSRCDF-SS框架有效地解决了自动化软件需求冲突检测方面的挑战.
双编码器方法和增强的分类器显著提高了准确性和转移学习能力.
该框架为保持软件要求一致性提供了更有效和可靠的解决方案.

相关概念视频

Associative Learning

Associative Learning

Associative learning is a fundamental concept in behavioral psychology, wherein a connection is established between two stimuli or events, leading to a learned response. This process is critical in understanding how behaviors are acquired and modified. Conditioning, the mechanism through which associations are formed, can be divided into two main types: classical conditioning and operant conditioning, each elucidating different aspects of associative learning.
Classical conditioning, also known...

Improving Translational Accuracy

Improving Translational Accuracy

Improving Translational Accuracy

Improving Translational Accuracy

Base complementarity between the three base pairs of mRNA codon and the tRNA anticodon is not a failsafe mechanism. Inaccuracies can range from a single mismatch to no correct base pairing at all. The free energy difference between the correct and nearly correct base pairs can be as small as 3 kcal/ mol. With complementarity being the only proofreading step, the estimated error frequency would be one wrong amino acid in every 100 amino acids incorporated. However, error frequencies observed in...

Multi-input and Multi-variable systems

Multi-input and Multi-variable systems

Cruise control systems in cars are designed as multi-input systems to maintain a driver's desired speed while compensating for external disturbances such as changes in terrain. The block diagram for a cruise control system typically includes two main inputs: the desired speed set by the driver and any external disturbances, such as the incline of the road. By adjusting the engine throttle, the system maintains the vehicle's speed as close to the desired value as possible.
In the absence of...

Collisions in Multiple Dimensions: Problem Solving

Collisions in Multiple Dimensions: Problem Solving

In multiple dimensions, the conservation of momentum applies in each direction independently. Hence, to solve collisions in multiple dimensions, we should write down the momentum conservation in each direction separately. To help understand collisions in multiple dimensions, consider an example.
A small car of mass 1,200 kg traveling east at 60 km/h collides at an intersection with a truck of mass 3,000 kg traveling due north at 40 km/h. The two vehicles are locked together. What is the...

Machines: Problem Solving II

Machines: Problem Solving II

Machines are complex structures consisting of movable, pin-connected multi-force members that work together to transmit forces. Consider a lifting tong carrying a 100 kg load. It comprises movable sections DAF and CBG linked together with member AB.