军用可信软件现状及发展研究

随着计算机技术在军事领域的广泛应用,军用软件的可信性越来越引人关注。在总结了学术界对可信与可信性定义的基础上,给出了军用可信软件和军用软件可信性的定义。分析了国内外军事相关领域可信软件的发展现状,指出了当前我军军用软件研发模式中的不足并阐述了开展军用可信软件研究的意义及其发展方向。     

国内装备采购研究现状与趋势研究——基于CiteSpace知识图谱软件的可视化分析

本文利用CiteSpace知识图谱分析和可视化工具,从时间分布、期刊来源和作者机构等方面对CNKI中文期刊全文数据库2001年1月1日至2020年6月30日间收录的以"装备采购"为关键词的642篇学术论文及文献进行数据可视化分析,并通过关键词词频共现分析对该领域的高频关键词进行了词频统计。在利用CiteSpace软件对"装备采购"相关文献进行统计分析后,详细论述了装备采购研究的发展趋势,并总结出目前军队装备采购研究的现状与不足,如军队内部科研力量作为装备采购领域研究的核心组成部分,相互间缺乏交流研究;装备采购领域研究方向多元,但基础理论、概念研究不够深入等。在此基础上梳理出优化后期装备采购领域研究发展的建议,以期为完善军队装备采购领域的研究工作提供一定参考。     

基于区块链的有无人协同系统可信存储技术

针对武器装备系统中的数据种类多样、数量冗杂的特点,为在多个节点间对数据存储达成共识,设计了一种基于分类权限的多节点容错共识机制.基于此种共识机制,整个分布式系统能够对数据有效验证.同时,对链外数据可信接入,使用专用硬件加密通信接口、节点控制信息与存储数据隔离,以及数据输入输出的多节点记录机制,解决了链外数据可信接入问题.     

装备指挥模拟想定生成与分发系统研究

装备指挥模拟想定生成与分发系统是装备指挥模拟系统的重要组成部分。装备指挥模拟想定具有两层含义:一是对装备指挥训练问题的描述与约束;二是依据装备指挥训练内容进行相应的模拟资源准备。介绍了想定生成目前研究现状;分析了装备指挥模拟想定的内容:想定条件、想定事件、想定数据;探讨了装备指挥模拟想定生成与分发系统在装备指挥模拟过程中的作用,划分了装备指挥模拟想定生成与分发系统的功能,提出了装备指挥模拟想定生成与分发系统框架。     

基于效能贡献度的装备软件定价方法研究

为肯定智力劳动的价值,科学定价装备软件,首先分析了装备效能与价格的关系,定义装备软件效能贡献度以度量装备软件为装备系统效能实现的影响和作用;然后,采用类比的思想和方法将装备效能作为类比指标,提出基于效能贡献度的装备软件定价方法。应用结果表明,该定价方法充分考虑了装备软件中智力劳动的价值。     

基于软件装备保障过程的探讨

软件装备在现代武器装备体系中发挥着越来越大的作用,软件保障问题已经成为装备保障发展的重点与难点。软件保障性是软件装备的重要特性,根据软件的特点对软件保障过程划分了三个阶段,分析了各阶段主要保障活动和需要关注的关键环节,为软件装备保障研究提供了思路。     

基于可维护性的装备软件成本估算模型

为解决装备软件成本估算问题,以装备软件的可维护性为基础,引入软件熵表示装备软件混乱度,从理论上探讨装备软件的可维护性与装备软件成本、装备软件有效代码变动量之间的关系,提出了装备软件成本与开发源代码可维护性需满足的两个假设条件,推导得出基于可维护性的装备软件成本估算模型,并通过对某装备软件项目的成本进行实证分析。分析结果表明:该模型操作简便,适用性较好。     

加强软件密集型装备综合保障能力的思考

随着软件密集型装备的大量使用,软件密集型装备的地位越来越突出。本文阐述了加强软件密集型装备综合保障能力建设的重要性,对国内外软件密集型装备综合保障的研究情况进行了比较分析,并提出推进我军软件密集型装备综合保障能力建设应该把握的问题。     

论装备软件价格管理

完善装备软件价格管理工作必须从增强装备价值意识着手,加强装备软件价值估算研究,将装备软件费用作为专项费用独立核算;要加强软件费用模型的跟踪研究,引入现代项目管理思想,使装备软件的价值得到科学体现;要完善竞争机制,实现国防经费资源的合理优化配置。     

装备综合保障基础理论及技术的若干问题

从装备综合保障的定义分析入手,给出了更为合理的装备综合保障的定义,分析了装备综合保障定义的内涵,以及与装备综合保障相关的概念定义。阐述了美军装备综合保障的发展历程、现状,以及我国装备综合保障发展历程、现状和存在的主要问题。详细研究了装备综合保障的基本问题,提出了装备综合保障的基础理论框架、参数体系与模型体系框架、技术体系框架、基础技术体系框架、支撑技术体系与演示验证体系框架、应用技术体系框架。给出了加强装备综合保障基础理论与技术研究的有关建议。     

引信全电子安全系统失效分析及评估

本文根据全电子安全系统的一般结构模式,分析了其安全性设计的一般特点和可能造成其失效的各种原因,并在此基础上建立了全电子安全系统的失效故障树,给出了失效概率的定量计算结果。     

电子时间引信解除保险距离试验研究

通过测量弹丸炮口速度和引信解除保险时间的方法得出电子时间引信远解距离。在介绍某型电子时间引信实现远距离解除保险的方法和机构工作过程的同时,对远解距离进行理论分析,并对试验引信改装的实现方法作了详细说明。在此基础上,进行了电子时间引信解除保险距离测试试验并对试验结果作了分析。     

信息化武器装备系统中的软件思维

在信息化条件下,重视软件成为共识,但是重视装备软件不仅是在功能技术层面上,还应在思维层面上审视其对武器装备系统的思想内涵和发展思路的深刻影响.从武器装备系统中软硬件的逻辑关系出发,研究软件如何从思维层面影响现代武器装备系统,可以更好地从软件的视角上去理解和把握武器装备系统,真正认识到软件的“灵魂”作用.     

舰载指控系统的软件故障树分析

在现代舰载指控系统的设计中软件所占比例日益增加,软件故障对系统可靠性的影响也更突出,需要对软件故障进行分析。根据现代舰载指控系统的特点,采用软件故障树分析方法,以舰载指控系统的软件系统故障为根节点,从上至下找出导致软件系统故障的所有可能因素,分析其因果逻辑关系,最后建立了现代舰载指控系统的软件故障树。软件故障树以图形演绎的方法直观地反映了现代舰载指控系统的软件故障特性,有助于采取有效措施提高系统的可靠性。     

软件的测试性分析与设计

软件测试是提高软件可靠性的重要手段,但软件测试的代价是巨大的。软件的测试性分析与设计是分析软件测试的复杂性,提高软件测试性的基本方法。本文提出了软件测试性的基本概念、分析与计算方法、以及软件测试性设计的基本思路。这对于高可靠性软件,特别是武器装备软件的设计是有指导意义的。     

军用软件的测试与实践方法

首先分析了民用软件存在的问题,然后结合军用软件的特点,对影响军用软件可靠性的因素进行分析,最后提出提高军用软件质量的几种测试与实践方法.     

C~3l系统软件质量保障技术研究

针对C~3I 软件系统设计实现中所存在的问题,文章重点对软件质量保障方法进行了分析研究,同时提出一种简化任务评审阶段的软件质量综合保障建议。对从事C~3I 系统工程软件质量保障的人员可供参考。     

反潜火控软件复用及构件化开发

随着反潜火控设备的快速发展,火控软件中成熟的解算技术需要有效继承,同时需要开发适合新型武器的操控及解算技术,为后续其它型号软件提供高效的功能继承。因此开展软件复用及构件化开发研究在反潜火控软件研制过程中具有重要意义。本文研究了在反潜火控软件开发过程中进行软件复用及构件化开发的技术,并详细介绍了适合反潜火控软件开发的方法和过程。该项技术的使用有效提高了反潜火控软件的可靠性和开发效率,目前已被成功应用在反潜火控软件中。     

Research on design and firing performance of Si-based detonator

For the chip integration of MEMS (micro-electromechanical system) safety and arming device, a miniature detonator needs to be developed to reduce the weight and volume of explosive train. A Si-based micro-detonator is designed and fabricated, which meets the requirement of MEMS safety and arming device. The firing sensitivity of micro-detonator is tested according to GJB/z377A-94 sensitivity test methods: Langlie. The function time of micro-detonator is measured using wire probe and photoelectric transducer. The result shows the average firing voltage is 6.4 V when the discharge capacitance of firing electro-circuit is 33 μF. And the average function time is 5.48 μs. The firing energy actually utilized by Si-based micro-detonator is explored.     

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

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