Testing of software with an operational profile

One of the important features of any software system is its operational profile. This is simply the set of all operations that a software is designed to perform and the occurence probabilities of these operations. We present a new model on optimal software testing such that testing is done sequentially using a set of test cases. There may be failures due to the operations in each of these cases. The model parameters, consisting of testing costs and failure rates, all depend on the cases used and the operations performed. Our aim is to find the optimal testing durations in all of the cases in order to minimize the total expected cost. This problem leads to interesting decision models involving nonlinear programming formulations that possess explicit analytical solutions under reasonable assumptions. © 2000 John Wiley & Sons, Inc., Naval Research Logistics 47: 620–634, 2000     

利用软件生命周期模型改进对软件系统的维护

软件维护一直被认为是软件产品交付后的过程,但实际上它贯穿于生命周期中每个阶段并不是一个独立阶段。文章针对软件维护对软件生命周期模型进行了重新定义;从模型的实现和可行性进行了详细地分析;并且强调了软件维护阶段是一个微型的开发周期,它开始于产品的某个维护请求,终于软件产品的退役;最后讨论了目前常用的维护方法(如再工程和逆向工程)在这个生命周期模型中的应用。     

某自行战车火控系统动态航路制定及软件实现

根据某型自行战车对空中目标作战的精度需求,为突破火控系统自带动态航路的局限性,提出了动态航路制定模型.在基准战车时目标起始点坐标进行测量的基础上,由连战斗队形配置确定全连其余战车相对基准车档坐标值,通过坐标转换计算,得到其余战车动态航路参数.采用面向对象的可视化编程语言C#2.0编写程序,设计动态航路制定软件.通过举例分析,证明了该方法的可行性,为有效提高自行战车的射击精度提供了一种较为科学的方法.     

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

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

一种基于VLIW DSP架构的高性能取指流水线

以超长指令字(VLIW)数字信号处理器(DSP)作为平台,针对现有提高单线程取指流水线效率的方法中存在的弊端,提出了一种高性能的取指流水架构.该架构支持无效取指的检测与作废,从而降低不必要的cacbe访问,减少取指流水停顿周期,该结构还引入专用硬件支持编译调度的循环软流水,有效提高指令并行性,降低代码存储空间,由此释放...     

乡村先进文化对社会软治理的引领作用——以河北边防总队实施爱民固边战略为鉴

河北公安边防总队通过实施爱民固边战略,发挥了乡村先进文化对社会软治理的引领作用,用承栽着乡村先进文化内容的、群众喜闻乐见的形式来影响群众,从而实现了社会协调,加深了沿海地区村民对于社会的认同感以及对于社会价值的遵从。     

基于VISA和SCPI的自动校准程序开发

描述了在VC++环境中开发的基于VISA接口标准的射频半实物仿真系统校准自动测试程序.利用VISA函数与接口无关、与操作系统无关、与编程环境无关的特点,通过GPIB总线和SCPI标准命令对矢量网络分析仪进行程序控制,达到空间辐射信号精确测量的目的,实现了目标阵列的宽带特性校准.     

基于Ansofl的PMLS发电机纵向边端效应仿真

永磁直线同步发电机特殊的结构使其存在一种特殊现象——纵向边端效应,从而严重影响了永磁直线同步发电机的性能。利用有限元电磁场分析软件Ansoft建立了永磁直线同步发电机的二维模型,分析了纵向边端效应产生的原因,以及纵向边端效应对永磁直线同步发电机初级磁场的影响。利用磁阻相等的原理,通过增加发电机端部齿宽度和极数两种方法来改善永磁直线发电机性能。经Ansoft软件仿真,结果表明增加端部齿宽度和极数可以有效抑制纵向边端效应,提高永磁直线同步发电机的性能。     

云纹数字图象处理新方法及通用软件系统

本文介绍了多种云纹数字图象处理新方法及云纹处理通用软件系统。在这些新方法中,利用云纹数字图象全场每个点的灰度信息进行处理和变换,得到全场直观、定量的应变信息。这些方法和软件系统为云纹法的广泛应用提供了有力工具。     

弹载北斗抗干扰天线系统分析与设计

首先分析了弹载北斗导航系统接收机抗干扰天线系统的军事需求,确立了总体设计方案,然后详细分析了硬件平台方案选择和软件算法技术实现方案,并进行了相关的比较和仿真,得出了一些有益的结论。该结论可为研究和设计基于北斗导航的抗干扰天线系统提供有益的参考。