【摘 要】
：
随着航空电子显控系统的日趋繁杂,如何正确分析航空电子显控系统的原始自然语言需求成为需求分析领域中急需解决的问题.本文基于形式化转换规则的需求规范化方法,对航空电子
【机 构】
：
南京航空航天大学 计算机科学与技术学院,南京211106;中国航空无线电电子研究所 软件部,上海200233
论文部分内容阅读
随着航空电子显控系统的日趋繁杂,如何正确分析航空电子显控系统的原始自然语言需求成为需求分析领域中急需解决的问题.本文基于形式化转换规则的需求规范化方法,对航空电子显控系统的原始自然语言需求进行规范化分析与研究.工作主要包括:对于不同的自然语言需求,符号化定义需求语句结构.针对自然语言需求语句当中经常出现的歧义、模糊、不可验证等问题,根据不同的需求语句模式设计出不同的转换规则.同时,为实现自然语言需求到规范化需求的自动转换过程,本文借助Stanford Parser词法分析器,输出不同需求语句的语法树,并结合相应的转化算法输出规范化需求语句.最后通过实例验证了基于形式化转换规则的规范化方法在航空电子显控系统的自然语言需求领域中具有较好的有效性和实用性.
其他文献
针对云计算环境下交互实体间的信任危机以及无法动态控制访问请求的问题,提出了一种基于信任的动态访问控制博弈机制.根据交互时间与交互次数两要素获得推荐信息的可靠性参数进而动态计算用户的信任值,通过信任值对应的信任等级对用户进行角色的激活与授权工作.为了防止恶意用户对云资源的破坏,将信任等级与动态调节因子引入收益函数对云环境下的博弈双方展开动态博弈分析,得到混合策略纳什均衡.访问控制机制根据混合策略纳什均衡实现访问请求的最终决策.在每次访问结束后对用户的信任值进行更新从而更好的实现动态云环境下的访问控制.实验结
轮胎和压痕图像作为刑侦案件破获和交通事故责任认定的重要证据,其正确的识别与分类有着重要意义.本文提出一种基于机器视觉和图像处理技术的方法,旨在提高轮胎及压痕图像分类的正确率.首先,对轮胎及压痕图像进行预处理.其次,选择灰度梯度共生矩阵和灰度共生矩阵提取预处理后图像的纹理特征.再次,将所得的特征进行加权融合后得到融合特征.最后,将融合特征输入到支持向量机分类器中训练并测试模型.此外,为解决卷积神经网
信息化时代下,广泛传播的谣言极大地影响了人们的日常生活,甚至威胁了社会稳定,因此对谣言的检测任务具有现实意义.目前基于深度学习模型的谣言检测方法忽略了事件之间的联系
【目的】从海洋生物和环境中分离鉴定出产消化酶代谢产物的芽孢杆菌,为微生态制剂的研制提供益生菌种。【方法】从雷州半岛近岸海域采集样品,用高温处理、富集培养和分离培养的方法获得分离菌株;通过菌落形态、细胞结构、染色特征、生化试验和16S rRNA基因测序对分离菌株进行鉴定;采用福林-酚比色法、淀粉-碘比色法和橄榄油乳化法测定分离菌株代谢产物中的蛋白酶、淀粉酶和脂肪酶活性。【结果】从22份样品中初步鉴定出疑似芽孢杆菌43株,筛选3种消化酶综合活性最强的8株,经生化试验和16S rRNA基因测序鉴定,有蜡样芽孢杆
对待发布轨迹数据进行抑制处理可以有效降低用户隐私泄露的风险,在传统方法中,对数据集进行全局抑制处理使其满足LKC-隐私模型的方法降低了轨迹数据的可用性,因此,本文提出一种面向轨迹数据发布的优化抑制差分隐私保护算法(OSDP),该算法首先对轨迹数据集的最小违反序列中的点进行有效局部抑制判断,根据抑制优先得分决定抑制顺序,更新最小违反序列集,达到降低轨迹数据集中频繁序列损失率、轨迹序列损失率的目的.其次根据更新最小违反序列集后的轨迹数据敏感信息,建立分类树并向叶子节点中添加拉普拉斯噪声来提高待发布数据的安全性
卷积神经网络出现之前图像识别方法主要依赖人工设计特征,而这样的特征只能表征图像中的中低级信息,难以提取图像的深层次信息.卷积神经网络通过建立深度神经网络来模拟人脑分析、学习和解释数据,具有强大的表达能力和泛化能力,能够更好地表示图像的深层次信息.开展基于卷积神经网络对图像识别进行研究可以推动计算机领域的发展.本文先对卷积神经网络做一个概述,重点综述了卷积神经网络相关算法在人脸识别、人体动作识别、医
[目的]市售腐竹品质差异较大,研究不同马铃薯淀粉添加量对改善腐竹品质的影响,优化腐竹的生产制备工艺.[方法]以大豆为原料,分析不同马铃薯淀粉添加量对腐竹得率、机械性能、
随着我国科技实力的不断提升,各类评价活动以及参与申报奖励的项目数量和质量都在稳步提升.为了缓解专家评委的打分压力,现有项目评价机制往往采用先分组再综合的评价方式.然
生长分化因子8(Growth differentiationfactor 8,GDF⁃8),又名肌肉生长抑制素(Myostatin,MSTN),是转化生长因子(Transforming growthfactor,TGF)超家族中的一员,主要参与肌肉发育的负调控。近期研究发现GDF⁃8还参与生殖活动。本文通过了解GDF⁃8在生殖系统中的表达与定位,探索GDF⁃8在生殖配子的形成与胚胎发育中的作用,分析其对生殖活动的影响等方面,提出GDF⁃8基因不仅对于动物肌肉的生长发育有调控作用,而且在生殖活动方面也具有重
需求模板是对需求的一种规范描述,能够减少自然语言需求中的歧义.在进行需求分析之前,检查需求是否符合模板显得尤为重要.由于传统的手工检查非常耗时,为此许多学者展开了相