基于潜艇指控系统的软件模块化研究

针对目前潜艇装备软件的现状,结合工程实践,运用软件模块化思想,提出了基于构件的潜艇指控系统软件开发模型和层次化的潜艇指控系统软件体系结构,并在此基础之上,对潜艇指控系统软件进行了模块化研究,给出了潜艇指控系统软件模块框架。实践表明,该设计方法实现了软件与其他系统的集成,提高了软件的质量与可靠性。     

军用软件产品评价的工程化实现方法

根据目前军用软件产品的评价需求,探讨了第三方评测机构在实施软件测试后,按照软件的自身特点,利用军用软件质量模型进行评价的可行性方法。通过确立评价需求、规定评价、设计评价、执行评价、做出评价结论等步骤详细描述了该方法,并给出软件的评价实例。该方法能对软件做出较为客观的评价,较好地满足了军用软件产品的评价需求。     

舰载单脉冲跟踪雷达数学建模与仿真

根据典型舰载单脉冲跟踪雷达的组成及工作原理,介绍一种舰载单脉冲跟踪雷达仿真建模方法。重点描述了仿真原理及仿真模型组成,介绍了雷达信号特性仿真、雷达伺服系统仿真、雷达信号处理系统仿真等关键环节的数学仿真模型。结合仿真软件功能需求,给出了软件结构、软件运行流程等仿真软件设计要点。     

架构和模式在水声信息流仿真软件中的应用

水声信息流仿真软件系统涉及多目标、多声纳以及多变的海洋环境.仿真软件的复用性是现代软件工程的重要性能指标.针对系统开放性的特点,在领域分析模型的基础上,采用了面向对象方法设计仿真软件模型.为了满足软件多层次复用的需求,应用软件架构技术和设计模式设计仿真软件.根据水声信息流仿真软件需求,系统划分为四层结构;按功能,层又可分解为包.可复用的设计模式用于设计不同层和包中类之间的关系.提出的仿真软件模型具有良好的可扩充性与可复用性.     

模糊推理在软件维护性评估和预测中的应用

摘要：在基于活动的质量模型维护性分析方法基础上,对贝叶斯方法进行了扩展,将模糊推理技术与现有的贝叶斯方法进行比较,开发了一个基于模糊推理的系统来对软件维护性进行量化评估和预测,描述了模糊技术在维护性评估和预测准确度方面的优势．     

基于ANSYS的油罐拱顶稳定性分析

针对加肋拱顶稳定性十分复杂的问题,基于ANSYS建立了加肋拱顶油罐的三维有限元模型,对加肋拱顶的结构稳定性进行了数值模拟。对加肋拱顶在外压作用下的线性与非线性临界屈曲载荷进行了对比分析,利用弧长法获得了拱顶在加肋情况下径向、环向、轴向的载荷-位移曲线。结果表明:数值模拟的加肋拱顶屈曲方向和屈曲区域与实际失稳结果相一致,可以为加肋拱顶设计和稳定性分析提供一定参考。     

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

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

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

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

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

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

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

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