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

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

全语言思路对大学英语教学的启示

全语言思路是国外语言教学界颇有影响的一种教学理念,上世纪被介绍到我国,但是在大学英语教学方面实践较少。笔者通过对国内外有关文献的综述,给读者介绍了这一思路的基本观点和教学原则,并结合自身的体会,对目前争论激烈的大学英语教学改革提出了一些建议。     

英汉同义词对比分析

英汉两种语言中存在着大量的同义词,其中相对同义词是最多的。分析对比同义词,可考虑从语义轻重、感情色彩、语义意义、搭配意义、位置的分布和词性句法功能等方面的不同点着手分析,从而使我们更好地掌握词汇。     

语言型EWAA算子的目标战场价值评估

从发现的多个目标中确定打击顺序,取决于各目标的战场价值.通过定义模糊语言形式的评估标度及其运算,采用语言型EWAA算子对模糊语言偏好信息进行了集结,从而对目标战场价值进行评估,符合战场环境的复杂性和人们思维的模糊性,使指挥决策更加快速、准确.实例证明模型有效,计算简单.     

空间目标RCS序列的R/S分析

RCS包含了目标丰富的信息.分析了空间目标RCS序列产生混沌的机理,并非线性理论中的功率谱法引入空间目标RCS序列的分析中,用重整标度分析法(R/S)分析了空间目标RCS序列的混沌特性,仿真结果表明,与旋转目标相比,三轴稳定目标RCS序列较复杂和不规则,这与实际分析的情况相符合,证明了该方法的有效性.     

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

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

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

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

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

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

浅谈计算机辅助外语教学

本文从计算机辅助系统的概念入手,从辅助教学系统的运作即视听语言实验室的建设、教学软件库的建设、试题库的建设以及计算机在教学研究中的地位等诸方面,阐述了辅助教学系统应用于外语教学这一具有超前意识和现实意义的问题,使外语教学改革冲破了传统观念的束缚而增加了新的、现代化的含义.