【摘 要】
：
需求质量已经成为确保软件项目成功的一个重要因素,对复杂软件系统的需求进行检查和验证,是需求工程中非常重要的工作。在基于领域本体的需求获取和分析等相关工作基础上,提
【基金项目】
：
国家自然科学基金No.60803027, 国家高技术研究发展计划（863）No.2007AA01Z445, 重庆市自然科学基金No.2008BB2312~~
论文部分内容阅读
需求质量已经成为确保软件项目成功的一个重要因素,对复杂软件系统的需求进行检查和验证,是需求工程中非常重要的工作。在基于领域本体的需求获取和分析等相关工作基础上,提出了一种基于本体和语义规则的需求一致性验证方法,将自然语言描述的需求分解成若干结构良好的最小需求项,使用领域本体的概念模型对其进行形式化和结构化的表示。通过领域本体中的知识来映射需求语义,采用语义万维网规则语言（SWRL）来定义需求一致性验证的推理规则,并通过实例对此方法进行了分析和验证。
其他文献
提出了一种VBLAST-OFDM系统中的平行干扰消除QR分解检测算法,称为P-ICQR算法。该算法首先对最先检测层信号做出假设,分成多个平行分支,在每个分支上依次干扰消除已检测信号的
多时相遥感影像配准是变化检测的关键步骤。由于不同时相的遥感影像差异,且在传感器参数未知情况下,很难完成其自动配准。基于傅里叶-梅林变换(Fourier-Mellin Transform,FMT)影像配准其实就是基于傅里叶变换和对数极变换的全局相位相关。这种方法在进行频域计算时找到了配准的变换参数,并且对噪声和遮挡等很鲁棒。提出了一种基于Fourier-Mellin算法的改进配准方法。Fourier
首次在命题逻辑系统中引入理论的真度概念,使得真度的概念由公式的真度推广为公式集的真度,从而简化了发散度的概念;在逻辑系统Gn中讨论了理论Γ1、Γ2和Γ1∪Γ2的真度、相
提出了一种基于0.618法求解具有线性约束的二次规划问题的神经网络学习新算法。与已有的求解线性约束的二次规划问题的神经网络学习算法相比,该算法的适用范围更广,计算精度
将智能辅助的概念引入到老年人日常生活中,以个性化行为规律及客观情境相似度为依据建立规律模型,检测老年人的异常状态。并在该模型基础上实现了老年人睡眠异常检测原型系统
对盲分离问题中存在收敛速度慢、精度不高和容易陷入局部最优等缺点进行了研究,提出了一种基于改进自适应遗传算法的快速盲提取算法。在负熵判据的基础上,建立了最小化独立信
对基于信息论的离散化系列算法进行了分析,在此基础上提出了一种新的连续属性离散化方法。该算法使用信息偏差来对断点重要性进行度量,在离散化过程中使用不一致率进行控制以
随着社会的不断发展,以及信息技术水平的不断提升,网络似乎已成为大众生活工作中无法缺少的一部分。与此同时,网络也走进了学校,成为教师们主要的教学助手。基于此,本文将对