浅议可靠性信息闭环管理的FRACAS系统

可靠性（含维修性、测试性、保障性、安全性、环境适应性）信息系统是指装备（产品）为受控对象,以系统论和控制论为指导,由一定的组织、人员、设备和软件组成的,按照规定的程序和要求,从事可靠性信息工作,以支持和控制可靠性工程活动有效运行的系统。从可靠性信息所具有特征,决定了它是一个多层次、多环节、多专业的相互关联的复杂系统。     

软件密集型装备的软件保障与测试

软件密集型装备是属于信息化武器装备范畴的,而软件是软件密集型装备的核心。通过建立软件保障的静态模型,从三维体系结构上分析了与软件保障相关的要素,进一步明确了软件保障过程的各项工作,并对贯穿软件密集型装备保障全过程的软件测试工作提出测试计划和要求。     

基于ANSYS的油罐拱顶稳定性分析

针对加肋拱顶稳定性十分复杂的问题,基于ANSYS建立了加肋拱顶油罐的三维有限元模型,对加肋拱顶的结构稳定性进行了数值模拟。对加肋拱顶在外压作用下的线性与非线性临界屈曲载荷进行了对比分析,利用弧长法获得了拱顶在加肋情况下径向、环向、轴向的载荷-位移曲线。结果表明:数值模拟的加肋拱顶屈曲方向和屈曲区域与实际失稳结果相一致,可以为加肋拱顶设计和稳定性分析提供一定参考。     

多尺度PCA-HOG遥感异源图像匹配算法

针对遥感异源图像匹配中非线性灰度畸变和强噪声干扰问题,提出一种基于主成分分析(Principal Components Analysis,PCA)和方向梯度直方图(Histogram of Oriented Gradients,HOG)的遥感异源图像匹配算法.该算法利用HOG提取图像间的几何结构共性特征,能有效克服异源...     

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

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

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

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

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

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

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

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

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

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

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

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