向宪法宣誓

正近日,重庆云阳教师进修学院附属小学的学生们参加"国家宪法日"宣誓活动。12月4日为我国首个国家宪法日,各地通过多种形式开展宪法宣传教育活动。     

开车送儿上大学

正我叫吴胜勇,在九师一七团医院工作,1968年出生的我,对兵团的快速发展和巨大变化有深刻认识。我的儿子吴小东现在是大连民族学院的一名大二学生,8月25日要返校,儿子想让我开车送他到乌鲁木齐,可是我拿到驾照时间不长,跑长途有些为难,最后,我答应送他到一七团去乌鲁木齐的必经之路——铁厂沟,到那里再转车。为此,他还不太乐意,其实,他并没有体会到,现在的生活有多么幸福。我的父亲吴炳忠是1959年参军的,1964年复员后,响应国家号召,支援新疆建     

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

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

面向EUP的军用软件保障机制研究

软件保障是软件密集型装备和系统持续可靠地发挥作战效能的有力保证。从软件保障原则、保障组织和保障过程等方面,研究了面向EUP过程(Enterprise Unified Process,EUP)的军用软件保障机制,初步探讨了在EUP全生命周期中规划、组织和实施军用软件保障的方法。     

基于模糊综合评判的装备软件可靠性分析

可靠性是衡量装备软件质量的重要参数,但由于软件可靠性的特点,在实际对装备软件可靠性定量分析往往很难,甚至不可能。从软件质量框架模型出发,结合装备软件的特点,分析了影响装备软件可靠性的几个参数,提出了一种运用模糊综合评判方法对装备软件可靠性进行定性分析的方法。该方法简单,可行性强。最后,给出了一个实例。     

基于潜艇指控系统的软件模块化研究

针对目前潜艇装备软件的现状,结合工程实践,运用软件模块化思想,提出了基于构件的潜艇指控系统软件开发模型和层次化的潜艇指控系统软件体系结构,并在此基础之上,对潜艇指控系统软件进行了模块化研究,给出了潜艇指控系统软件模块框架。实践表明,该设计方法实现了软件与其他系统的集成,提高了软件的质量与可靠性。     

军用软件产品评价的工程化实现方法

根据目前军用软件产品的评价需求,探讨了第三方评测机构在实施软件测试后,按照软件的自身特点,利用军用软件质量模型进行评价的可行性方法。通过确立评价需求、规定评价、设计评价、执行评价、做出评价结论等步骤详细描述了该方法,并给出软件的评价实例。该方法能对软件做出较为客观的评价,较好地满足了军用软件产品的评价需求。     

巨型机通用数学库软件与并行算法

本文介绍了巨型机通用数学库软件的概念和意义,指出了巨型机数学软件开发的技术途径与发展趋势,讨论了并行算法在其中的关键性作用,结合实例分析了巨型机通用数学库软件研制中的并行算法设计与实现。     

分布式计算机网络数据加密研究

针对C~3I 系统对分布式计算机网络数据加密的特定需求,重点对网络加密方式、密码装置、软件编程设计等核心问题进行了研究。可对数据加密总体设计与软件概要设计提供参考。     

近年来美国军用仿真技术的发展动向

在阐述仿真技术对赢得现代战争地位与作用的基础上,系统地介绍与分析了美国近几年军用仿真技术的发展动向,其中包括：半实物仿真,人在回路中的仿真,大型仿真试验设施ＮＴＢ和ＥＡＤＴＢ／ＥＡＤＳＩＭ以及建模、验模、仿真软件等方面的新进展,其中涉及了一些新兴技术的应用。并提出了加强我国军用综合仿真环境建设的建议。