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

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

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

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

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

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

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

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

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

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

柴油机故障诊断专家系统的研究

本系统是基于知识的,应用Ｔｕｒｂｏ－ｐｒｏｌｏｇ２．１语言构成的柴油机故障诊断专家系统。该系统总结了诊断专家的经验知识,建立了故障树,采用产生式规则构造了知识库,根据诊断特点,选用了启发式正向推理,深度优先搜索策略和非精确推理方法,应用两种诊断方法实现了柴油机四大类故障的诊断专家系统。本系统有较好使用价值。     

充分发挥 标准化工作在质量体系认证中的作用

建立质量保证体系是企业的当务之急,在建立和运行质量体系的过程中,标准化要首当其冲,充分发挥质量把关和监督检查的作用。标准化工作参与质量体系认证工作,也是对标准化工作的促进和完善。     

在全面质量管理中认真开展标准化工作

标准化与质量管理,是现代企业科学管理中的重要问题。在全面质量管理中,只有认真开展标准化工作,从正确制定标准、宣贯标准、组织实施标准做起,方可收到良好的效果。     

谈定置管理工作的标准化原则

标准化是定置管理实现其功效的必不可少的手段。开展定置管理标准化工作即是对场所、物品名称、定置管理工具和物品管理制度进行标准化的过程。     

一个战术软件测试编码一体化系统的设计与实现

战术应用软件 (以下简称战术软件 )是舰载指控系统的重要组成部分 ,是舰艇作战系统的灵魂。为了确保战术软件的质量与可靠性 ,提高战术软件的开发效率 ,必须实现战术软件测试的自动化 ,战术软件测试和编码的一体化。本文结合战术软件测试编码一体化系统 (以下简称一体化系统 )的研制 ,说明了该系统的研究意义及设计思想 ,研究方法与关键技术