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

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

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

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

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

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

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

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

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

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

基于LabVIEW的舰炮振动检测系统

舰炮的射击振动严重影响其射击精度、工作寿命和工作可靠性,本文利用LabVIEW开发了振动检测仪,用来检测舰炮身管的振动,具有一定的应用价值.     

军队财务管理创新价值与动力分析

军队财务管理创新是以追求军事经济效益为目标的行为。财务管理创新动力的大小取决于创新者对收益的现有途径与未来途径的预期收益、预期成本和期望概率的主观价值判断,通过构建创新动力模型,提出激发军队财务管理创新动力的主要途径。     

液晶型化学传感器检测有机磷化合物的研究

报道了一种检测有机磷化合物的液晶型化学传感器,对其作用机理进行了讨论,传感器响应的线性范围0．03～1．00g／m^3,线性方程y=0．145X 0．388,相关系数r=0．9962。     

液晶型化学传感器技术及其在检测有机膦和有机胺化合物中的应用研究

液晶型化学传感器技术是一种新型化学检测技术,1998年美国威斯康星大学的Abbott研究小组在Science上首次报道,2003年,提出液晶传感器概念。从1998年至今,液晶型化学传感器在免疫球蛋白G、氨基酸和DNA序列变异的检测研究中取得了一系列重要成果。特别在检测免疫球蛋白G的研究中,取得了重大进展。