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

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

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

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

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

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

简论军事财务运用软科学

软科学在推动国家发展市场经济和国防建设方面有着广阔前景,在军事财务领域有着重要的运用价值和广泛的适用范围。但由于历史的原因,软科学所具有的特殊成果在军事财务领域还没有得到应有的开发或利用。文章认为:军事财务运用软科学的主要途径是增强决策意识,构建决策体制,遵循决策程序,制定决策法规。     

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

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

浅谈计算机辅助外语教学

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

C~3I仿真演示系统的分析与设计

本文以现代战争的需要为出发点,详细分析了C~3I系统的特点和C~3I系统仿真技术及系统试验床技术,探讨了交互分布式的C~3I仿真系统的理论,并在这些理论和技术的基础上,提出了一个C~3I系统的仿真系统的总体方案,并详细地论述了仿真系统的结构,运行的软件、硬件环境和应用软件的设置,而且基于“面向对象”的观点,综合Petri网建模技术,探讨了仿真系统建模的实现过程。     

分级教学 因材施教 步入外语教学的新阶段

指出了分级教学的必要性,回顾我院一年来分级教学的基本情况并展望了我院分级教学的良好前景,提出了英语教学中应重视的几个问题.     

登陆战役抢滩上陆时节炮兵火力运用

登陆作战中炮兵火力的动用甚为重要本文在对整个作战行动进行分析之后,把登陆作战中抢滩上陆是节炮兵火力的运用分为３个阶段并研讨具体战法;在冲南出阶段,炮兵应地敌全程打击;在抢滩上陆阶段,各炮种火力应密切协调,力求直接打击效果。     

浅谈处置边境纠纷冲突中的法律对策运用

我国边境地区环境复杂,妥善处置边境纠纷冲突,对维护边疆安宁稳定,促进我国与周边国家关系的友好发展具有重要作用。加强应对边境纠纷冲突中的法律对策问题研究,对边防部队依法履行使命任务,具有重要现实意义。