如何估计软件的MTBF

软件剩余初始故障个数No、平均无故障时间MTBF、故障暴露率λ和软件运行的成功率θ等是衡量软件可靠性的重要参数.其中对高可靠性软件(包括军用软件等)MTBF是最重要的.传统的MTBF计算方法有2种一是计算发生故障的平均时间间隔二是通过软件可靠性模型进行估计.前者代价较大,后者不太准确.本文从软件的失败率入手研究软件的MTBF,这是一个比较贴近实际的方法.     

复杂热动力装置计算机监控系统设计

给出了一般复杂热动力装置计算机监控系统的结构方案 ,讨论了系统硬件结构及配置 ,分析了系统软件结构及特点 ,阐述了复杂系统状态参数采集处理的方法以及串行数据通信的实现 ,展望了系统的应用前景和发展趋势     

旋转弹体入水弹道的计算方法

借助已有的实验资料与经验 ,给出了弹体入水空泡的数学模型 ;分析了旋转弹体与空泡壁相互作用引起的弹体上的流体动力特性 ,提出了一种预测旋转弹体入水弹道的计算方法     

去调频处理中空变相位误差补偿方法

调频连续波具有较长的脉宽和较大的信号带宽,通常采用去调频的处理方式,但是,去调频的处理会引入空变的相位误差。从去调频的处理方式入手,根据发射信号相位误差缓变的特点,提出了依据发射信号相位误差模型补偿空变相位误差的方法,并在理论上对该方法进行了推导。该补偿方法分为两步,从差频信号中去除发射信号相位误差,在残余视频相位误差校正之后,通过与补偿函数相乘去除剩余的相位误差。仿真和实测的实验结果表明,该方法能够克服目标距离的限制,有效地补偿空变相位误差带来的影响,提高脉压水平。提出的误差补偿方法能够很好地平衡系统负载、误差补偿精度和算法开销,具有较强实用性。     

20世纪90年代以来美国中国军事问题研究兴起原因探析

本文对20世纪90年代以来美国中国军事问题研究兴起的原因作了探析,指出中国的掘起和未来发展方向引起了美国深切关注;美国把中国人民解放军视作了潜在对手;美国官方的强烈需求促成了中国军事问题研究的繁荣;而中国的改革开放和中美军事交往的恢复与发展为这一研究的繁荣提供了契乱。     

PowerBuilder环境下开发MIS系统时软件复用技术的应用

结合开发MIS系统时遇到的具体问题,阐述了在PowerBuilder环境下软件复用技术的具体应用,并对以后利用软件复用技术进一步开发MIS提出了设想。     

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

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

数据驱动自动化测试方法研究

介绍了一种数据驱动方法,用以实现自动化测试.通过对测试数据的产生及选取、控制数据调度的研究发现,不仅应用更灵活的数据驱动方法,对程序进行更深、更广的测试,而且无需编写脚本,只需填写测试表,即可完成全面的自动化测试.这样,即使非技术人员也能够开发测试数据,完成数据驱动自动化测试.     

在新的起点上大力加强军营文化建设

在新的起点上大力加强军营文化建设,必须充分认清加强军营文化建设的重大意义;准确把握军营文化建设的本质内涵;正确处理军营文化建设中的几个问题.     

建筑节能初期设计阶段的能耗模拟与分析

针对建筑节能初期设计阶段,采用建筑环境设计软件Ecotect对某节能示范楼外窗遮阳情况进行模拟分析,得到各朝向外窗的遮阳形式以及大小设计范围,为下一阶段包括外遮阳形式,构造尺寸和各朝向房间的窗墙比、外窗材料选择提供了设计参考.