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

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

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

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

还原偶氮胂Ⅲ动力学光度法测定良量铜（Ⅱ）

基于pH4.0甲酸－氢氧化钠缓冲溶液中,邻菲罗啉为活化剂,痕量铜（Ⅱ）能灵敏地催化盐酸联氨还原偶氮胂Ⅲ的褪色反应,建立了一个高灵敏度测定痕量铜的催化动力学光度法,研究了反应的最佳条件。此法的检出限为5.8×10^-11g/ml,测定范围为0.0-25ng/25ml,用于地质样品及人发、植物样品中痕量铜的测定,结果与标准值相符。     

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

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

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

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

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

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

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

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

基于NSGA-Ⅱ的WTA多目标优化(英文)

将多目标遗传算法NSGA-(改进的非支配排序遗传算法)应用于求解武器-目标分配(WTA)问题。首先,针对以往在建立防空型WTA问题的优化模型上的片面性,把WTA问题看做多目标优化问题,建立了综合考虑作战效能和防御效能的WTA双目标优化模型。然后在此基础上,研究和应用了NSGA-来求解WTA问题。最后由仿真算例验证了NSGA-在WTA问题中的应用可行性,表明了NSGA-可以快速地搜索到WTA多目标优化的Pareto最优解集,从而为求解WTA问题提供了一条有效途径。     

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

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