软件静态分析融合技术研究

当代军备竞技以武器技术为核心,提升武器装备质量一直以来都是研制重点.装备软件作为武器装备调度的"大脑",关键程度不言而喻.随着武器研制技术的提升,代码规模激增,对装备软件的质量检测技术手段以及效率提出更严格的要求.为弥补单一测试工具检测造成的误检、漏检,提出了基于跨语言文本聚类的静态代码测试结果融合技术,实现多类型测试...     

逻辑与语言的区别——一种语言结构的逻辑分析

语言是民族习惯的产物,具有较大的随意性,尤其是自然语言;逻辑则是全人类同一的,有较强的规范性。用具有随意性的语言表述具有较强规范性的逻辑,就容易造成二者的不协调。当元语言和对象语言是同种语言时,这种不协调就会造成矛盾。本文分别从逻辑结构与语言结构上对这些“矛盾”的例子加以分析,通过一些实例的解析,得出结论:有些从语言形式表面看起来“矛盾”的语词、语句,实际上并不矛盾。它们只是人们对结构的机械划分或孤立理解语词、语句的语义造成的。逻辑与语言分属不同的研究领域,然而它们紧密相关。对语言的考察离不开逻辑法则,对逻辑的考察也不应撇开语言的历史与现实性。“矛盾”的认定也必须联系多方面的因素。     

辅助决策软件综合试验系统TTS－Ⅱ

ＴＴＳ－Ⅱ是一个基于Ｎｏｖｅｌ网的分布式处理系统,它能够一体化地完成舰用Ｃ２系统辅助决策应用软件全生命周期（开发、试验及维护等）试验任务。本文扼要介绍了系统体系结构、主要软件工具以及系统的性能特点     

<<军事高技术知识>>试题库管理系统的设计

本文主要介绍了《军事高技术知识》试题库管理系统的设计、特点和功能。在系统的设计过程中,采用了诸如ＲｕｓｈＭｏｒｅ和Ｕｅｄｏｓ５．０ＳＤＫ等技术,设计了复合条件查询、备注字段的全屏幕编辑器等。整个试题库管理系统具有系统维护、选题操作、打印、统计更新、帮助及容错等功能。     

VLSI与电子系统的层次化可测性设计

论述了一种对电子系统VLSI自顶向下的层次化自动化测试方法及层次化自测试的概念和相应的可测试性设计结构,并讨论了数模混合集成电路的可测试性设计问题。     

内燃机功率的现场测试

内燃机台架试验测定功率的方法对维修和使用人员所关心的现场测试十分不便,通过分析内燃机在无负荷自由加速过程中的瞬时角加速度值,提出了内燃机功率的现场测试原理,并给出以8031单片机为核心的实现方案。     

提高理工科学生听力水平的探讨

本文紧紧围绕目前理工科学生实际听力水平状况,详细分析了影响理工科学生听力水平提高的两大制约因素,即语言因素和心理因素;讨论了语言教师针对这两大因素如何加强听力教学;最后根据全国四、六级英语统考题型,提出了听力测试中的有关技巧。     

DOS环境中BMP图的分块分解和显示

本文叙述了一种用ＭｉｃｒｏｓｏｆｔＷｉｎｄｏｗｓ３．１中的工具软件Ｐａｉｎｔｂｒｕｓｈ生成的位图格式图形文件（文件的扩展名为．ＢＭＰ）按位面分块分解,并在ＤＯＳ环境中分块快速显示的方法,这种方法可以方便地实现显示图形的变色,同时也比较容易达到一定的动画效果。