一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

军队干部交流分配模型研究

针对军队干部交流分配常常采用定性方法的现状,结合每年都要交流大量干部的实际情况,在可行、合理交流的基础上,综合利用Delphi法、系统分解与协调法建立了干部交流分配模型,从而实现了干部在各种类别之间的交流,为军队干部的交流分配提供了定量依据.     

基于BP神经网络带调压器直流发电机特性的辨识

为使坦克直流发电机的调压特性实验能够在计算机上仿真进行,节约教学实验成本,可利用神经网络对直流发电机的调压特性进行辨识,得到了比手工绘制精度更高的特性曲线.因此,调压特性的神经网络辨识法,有利于直流发电机特性实验教学.     

用动态模拟方法实现C程序输入变量的取值分析

程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.     

C4ISR系统需求获取的方法研究

由于C4ISR系统的特殊性,获得C4ISR系统的需求是一个非常复杂、困难和代价高昂的事情.本文运用领域工程的思想,提出了基于领域模型的系统需求获取方法,通过领域模型,引导用户给出完整的系统需求,并最终通过需求框架给出完整的系统需求模型.     

干扰分析技术在自适应跳频通信中的应用

本文全面介绍了干扰分析技术在自适应跳频通信中的应用,具体分析了固定干扰和有规律非固定干扰的识别及预测。最后总结了所述方法的局限性。     

利用指数法评估作战飞机的作战效能

通过对当代飞机作战过程和作战环境的分析 ,根据杜派指数法的思想和原则 ,提出了影响飞机作战效能的主要因素及其相互关系 ,建立了利用指数法评估作战飞机作战效能的模型 ,模型探讨了作战环境 ,主要是电磁环境和人为环境对作战飞机作战效能的影响 ,分析了模型的军事应用 ,算例中评估了 1 0种飞机的作战效能。     

爆炸冲击波对目标作用的等效计算模型

以爆炸相似律为依据,提出了计算机仿真计算爆炸冲击波对目标作用的等效模型,把远处某次爆炸对目标的作用等效为较近处另一能量的爆炸对该目标的作用。为用有限元法求解核爆炸冲击波对大型装备的毁伤破坏这一流固耦合动力学问题提供可以实施的基础。     

随机双向联想记忆神经网络概率1指数渐近行为研究

随机双向联想记忆神经网络(BAM)平衡点具有某种渐近行为是网络的关键问题之一。通过应用It公式和Grownwall不等式,研究了随机BAM神经网络的概率1指数渐近行为,并且得到一些新的保证网络具有上述行为的代数判据,所得结论较之现有结果限制条件要弱且具有较大的应用范围。     

军事征用与行政征用的比较分析

现代战争消耗巨大,平时的战争准备很难保障战争的需要,军事征用已经成为保障战争需求的重要手段之一。为贯彻中央军委新时期军事战略方针,建立完善的军事征用法律制度已经成为当务之急。行政征用已经建立了相对完备的理论体系,通过对比研究二者异同,寻找军事征用的特殊性,对于军事征用理论的构建和实践工作的开展将起到事半功倍的效果。