软件质量保证技术研究综述

概述了软件可靠性研究的必要性 ,从软件开发过程管理、质量保证标准、测试技术、可靠性评估与预测以及形式化规范和验证等 5个方面给出了软件质量问题的解决办法 ,并对所研究的成果做了介绍 .最后指出了在统计测试、形式化方法方面有待进一步研究的问题     

临界抽样下均匀信道化接收机模型

针对非合作接收条件的射频信号侦察,本文提出了一种基于软件无线电结构的均匀信道划分的信道化接收机模型,并给出了一种实用的信号信道化接收机框图。计算机仿真结果表明这种框图结构能很好地进行信道的均匀划分,并且大大的减少了DSP的计算时间。     

粘钢前后钢筋混凝土梁裂缝的有限元数值模拟

钢筋混凝土结构的粘钢加固法是一种施工方便、经济效益好的加固方法,在国内外的实际工程中都得到了比较广泛的应用。为了清楚地反映粘钢前后钢筋混凝土梁的裂缝开展情况,该文章在不考虑钢板与所加固钢筋混凝土梁之间存在相对滑移的前提下,通过有限元分析方法,对粘钢前后梁的非线性性能进行了数值模拟分析。其中包括对梁的极限承载力、挠度、裂缝的对比。模拟结果表明粘钢加固能够有效地抑制了裂缝在构件中的开展,而利用ANSYS软件可以很好地模拟粘钢前后梁的开裂等非线性现象。     

软件需求分析的进一步研究

需求分析是软件系统开发过程中非常重要的一个阶段。本文从软件需求工程的角度对需求分析进行了深入的分析与探讨,指出需求有不同的层次,不同层次的需求分析有不同的方法与结果;本文还就需求开发及需求管理进行了分析,认为他们是软件需求工程成功的重要保证。     

跳频通信的技术体制与发展

本文概述了跳频通信技术的演进和目前应用中跳频技术体制及跳频组网方式存在的问题。重点论述了跳频传输技术、同步技术和软件定义无线电技术。     

一种用于筒弹测试条件下的软件升级方法

为了提高筒弹测试条件下导弹产品调试效率及提升维修性,设计了一种用于筒弹测试条件下的软件升级方法。该方法无需对导弹进行拆解,可在全弹情况下在线升级,将导弹内每个产品定义为节点,通过设计导弹内每个节点不同的CAN＿ID号用以区分导弹系统内各个节点产品,以完成对各个节点产品软件升级;该方法为导弹内各个产品调试人员及维护人员提供了一种升级方法。     

高功率电磁环境下C4ISR系统接口电路的阈值实验

采用非接触式电流脉冲注入法,设计了一种通用的接口电路实验模型和测试软件,进行了高功率电磁脉冲对指控系统接口电路的注入损伤实验,测量接口电路耦合电压和耦合电流,并对实验结果进行了分析.实验表明,强电磁能量耦合到电子装备和电气设备内部,可在其接口电路上产生过电压或过电流,从而使设备受到干扰和损伤.     

军用装备软件需求层次分解及其规格描述

不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念,指出了军用装备软件需求的层次划分和各层需求的产生与描述方法,定义了需求文档的若干质量属性,从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法,并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利用该方法开展软件需求分析和规格说明定义,可以缓解当前定型测评所面临的困难,使装备软件定型测评在技术实施上得到保证。     

软件思维在武器装备系统建设中的体现和应用

软件在其自身的发展过程中,相对于硬件,有其相对独立的设计思路和开发方法,形成了独特的思考问题角度和新的思维体系。从确立装备软件在武器装备系统的逻辑中心地位出发,形成新的思维角度和新的思维方法,借助其理解和分析信息化条件下的武器装备系统,并将这些思想方法应用于武器装备系统的建设中。