以技术跨越实现国防经济跨越式发展

文章以技术跨越与国防经济跨越式发展的相互关系为基础,运用模型阐述了技术跨越产生的机理,为有效地利用技术跨越,推动国防经济跨越发展提供了分析依据。     

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

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

临近空间和临近空间飞行器

相比20千米以下的天空和100千米以上的太空,目前的临近空间显得分外“冷清”。长期以来,因上有卫星、下有飞机,20～100千米的临近空间成了一个相对独立的“和平地带”,各国军队均未给予太多重视。但近年来,以美军为代表的西方发达国家军队仿佛一夜之间突然发现了这块既不属于航空范畴也不属于航天范畴的“新大陆”,并强烈认为,     

Hilbert空间中次连续拟非扩张映像不动点的迭代方法

首次引用一种迭代算法,用来构造Hilbert空间中次连续拟非扩张映像的不动点;使用新的算法证明了一个强收敛定理,其优点是不要求映像具有次闭性质。     

军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

嵌入式实时操作系统性能测试方法

为综合评价操作系统能否满足使用要求,研究了一种定量测试嵌入式实时操作系统功能和性能的方法,提出了具体的测试项目、测试环境和测试用例的要点,给出一种基于外部注入的功能测试、性能测试、应用测试方法及具体实现。测试结果证明,该方法对提高软件质量,缩短研制周期,增强可维护性等方面有显著效果。     

从抗震救灾行动看完善边境地区联合指挥体系的重要性

边境地区应急作战行动主要是：局部地区的权益争夺、反恐作战、民族分裂、非战争行动如抢险救灾等。边境地区应急行动,成因复杂、政策性强．能否实施高效的组织指挥,取得战争的主动权．将对国家政治、经济、外交战略全局产生重大的影响。因此．加强对边境地区应急行动指挥机构、指挥方式、组织协同、组织保障的研究,是当前各级指挥机关亟待解决的一个重要课题。     

导弹批量测试仿真研究

针对现存导弹批量测试中存在的问题,采用离散仿真方法,论证了在不改变现有测试规程,而适当增加测试工位,优化测试流程,可显著缩短批量导弹测试时间,提高快速反应能力和生存能力.仿真系统可对多个不同方案论证,生成的横道图可直接用于测试组织指挥.     

优化舰炮对海效力射方式的非线性规划方法

探讨了运用非线性规划方法解决舰炮对海上目标进行效力射时的射击方式的选择问题,从符合实际情况的合理假设出发,在此基础上给出一种在服从或近似服从指数毁伤定律条件下的非线性规划模型,计算结果可为选择效力射方式提供参考。