软件保障性评估在维修性分配和预计软件中的应用

从软件保障性的影响要素——软件生命周期过程、软件自身的设计特性和保障资源出发,阐明了软件保障性评估的原理,提出了一套软件保障性评估方案。通过在某维修性分配和预计软件上的具体实践,充分验证了该评估方案的可行性和实用性。     

利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

基于多层次Petri网的软件保障流程建模

软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。     

舰载指控系统的软件故障树分析

在现代舰载指控系统的设计中软件所占比例日益增加,软件故障对系统可靠性的影响也更突出,需要对软件故障进行分析。根据现代舰载指控系统的特点,采用软件故障树分析方法,以舰载指控系统的软件系统故障为根节点,从上至下找出导致软件系统故障的所有可能因素,分析其因果逻辑关系,最后建立了现代舰载指控系统的软件故障树。软件故障树以图形演绎的方法直观地反映了现代舰载指控系统的软件故障特性,有助于采取有效措施提高系统的可靠性。     

A general model of heterogeneous system lifetimes and conditions for system burn‐in

Burn‐in is a technique to enhance reliability by eliminating weak items from a population of items having heterogeneous lifetimes. System burn‐in can improve system reliability, but the conditions for system burn‐in to be performed after component burn‐in remain a little understood mathematical challenge. To derive such conditions, we first introduce a general model of heterogeneous system lifetimes, in which the component burn‐in information and assembly problems are related to the prediction of system burn‐in. Many existing system burn‐in models become special cases and two important results are identified. First, heterogeneous system lifetimes can be understood naturally as a consequence of heterogeneous component lifetimes and heterogeneous assembly quality. Second, system burn‐in is effective if assembly quality variation in the components and connections which are arranged in series is greater than a threshold, where the threshold depends on the system structure and component failure rates. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 364–380, 2003.     

核动力装置一回路辅助系统失水事故的仿真研究

运用一种操作简便、计算速度快的工具软件对某核动力装置一回路辅助系统典型位置的失水事故进行了仿真.通过分析仿真结果得出不同位置的破口引起不同后果的事故,其中有些事故可以忽略,有些事故则相当严重.     

基于PowerBuilder的装备通用调拨模块的设计与实现

分析了军械管理信息系统中调拨功能的特点,探讨了基于PowerBuilder的装备通用调拨模块的设计方法和实现技术,并在实际工程中验证了其有效性。     

基于ADAMS软件的轮式车操纵稳定性仿真分析

为了更好地设计评价轮式车辆的操纵稳定性,利用ADAMS软件进行仿真建模分析,再依照相关国家标准进行评价得到客观结论。在汽车设计、评价过程中广泛应用ADAMS软件可以在设计前期对车辆性能进行预测,提高设计质量,缩短设计周期。     

目标系统的测试软件设计

阐述了自动测试目标系统的软件设计,介绍了目标在移动过程中偏离瞄准线,产生偏差的情况下,自动测角仪与主控计算机之间的通信必要测试条件,相关的信号处理和控制手段,及如何提高自动测角仪测试系统的检测精度。     

一种基于Petri网模型的系统动态安全性分析方法

针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率.最后,以实例验证了该方法的可靠性和有效性.