系统可靠性分配的研究进展

系统可靠性分配是可靠性设计的重要任务之一,其主要作用是为可靠性设计提供辅助决策。给出了可靠性分配流程,研究了可靠性分配模型的发展状况,重点介绍了可靠性分配问题的求解算法,指出了各类算法在分配中的应用及其需进一步解决的问题,同时分析了国内外典型的分配软件,总结了各软件中可靠性分配的主要功能,最后对可靠性分配提出了进一步的研究展望。     

A sequential Bayesian generalization of the Jelinski–Moranda software reliability model

The Jelinski–Moranda model of software reliability is generalized by introducing a negative‐binomial prior distribution for the number of faults remaining, together with a Gamma distribution for the rate at which each fault is exposed. This model is well suited to sequential use, where a sequence of reliability forecasts is made in the process of testing or using the software. We also investigate replacing the Gamma distribution with a worst‐case assumption about failure rates (the worst‐case failure rate in models such as this is not infinite, since faults with large failure rates are immediately discovered and removed). © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

数字化装甲营作战仿真实验室的支撑软件设计

介绍了数字化装甲营作战仿真实验室的支撑软件组成、结构和功能.军事指挥人员(建模人员)利用支撑软件按照自己的意图,快速制定作战想定,兵力、兵器部署的系统模型,通过系统模型的运行,实现战斗进程的逼真模拟,实施人在环、部分实装在环的装甲兵分队作战指挥对抗演习和实验,完成装甲兵分队的战术和技术训练任务,为装甲兵部队作战理论研究,人员训练,装备作战效能评估,技术保障研究和院校各专业技术人才培养提供高技术的软件平台,并且快速确定系统模型的可信度指标,为上级机关决策的合理化提供有力的支持.     

加载龙伯透镜反射器的靶标RCS改型设计与仿真

针对武器装备试验、训练构建实战化空情模拟条件的要求,提出利用小型靶标加载龙伯透镜反射器模拟空袭武器雷达散射截面(Radar Cross Section,RCS)的方法。基于FEKO电磁仿真软件,分析了龙伯透镜反射器(Luneburg-Lens Reflectors)散射机理和散射特性影响因素,对不同形状、尺寸和位置反射板的龙伯透镜反射器RCS特性进行了数值仿真,总结了反射板对反射器RCS的影响规律,重点基于反射器对靶标RCS起伏特性进行了改型设计,对靶标加载单个和两个龙伯透镜反射器进行了联合仿真计算和分析。结果表明,利用靶标加载龙伯透镜反射器可以实现RCS改型的目的。     

基于配置管理的软件维护性评估

对软件质量进行定量化管理是软件工程领域的趋势,也是软件质量保证的重要手段。针对软件维护性定量评估难、数据获取难的问题,分析了软件维护性受配置管理关键要素的影响,提出利用配置管理数据对软件维护性间接评估的方法。结合软件工程开发实际,建立了配置管理数据收集过程,利用维护时间作为参数,统计5类功能点维护时间对软件维护性进行度量,实现了软件维护性的定量评估,并利用实际项目对方法的可行性和有效性进行了验证。     

基于UML的兵力机动辅助决策软件设计

首先简要介绍了UML的建模体系,然后在使用UML对兵力机动辅助决策软件进行功能需求分析的基础上,进行了问题领域分析,建立了软件的静态和动态模型,并将该软件系统的各种要素、事件和活动,分别在时间和空间上进行了描述,方便开发人员之间的交流,为系统的分析、设计、维护及扩展提供了有利的支持,为兵力机动辅助决策软件系统的研制奠定了基础.     

火控软件的人机界面测试方法

火控软件的人机界面测试是火控系统试验的重要研究内容.对火控系统的功能特性和人机界面特性进行了分析,建立了人机界面的评价指标体系.采用GOMS方法对人机交互效率进行了分析,给出了界面信息效率和字符效率的测量方法.这些方法提高了人机界面测试的定量化水平,可在火控软件测试中实际应用.     

GSEIB 软件工程信息库图形规范子系统的设计与实现

软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划,据此自动产生定做的软件信息库,从而真正反映和支持该软件工程项目的开发。     

C~3I系统中软件的程序设计方法问题

软件的可靠性是Ｃ￣３Ｉ系统成败的关键之一,用规范和程序分离的办法设计软件,其可靠性无法得到保证。该文阐述了应研究形式化程序设计方法的意见,以及目前在这一领域尚存在的困难和解决的途径。     

直接藕合多种语言编程模块的MTS的设计与实现

以通用菜单工具作为应用软件系统的用户界面、多种语言编程模块的藕合接口已成为一种趋势。本文提出一种可在操作系统和foxBASE环境下组合(或嵌入)运行的、支持DBMS授权扩充机制、实现多种语言混合编程模块直接藕合的通用菜单工具(MTS)。同时,又对MTS中的菜单对象、授权,菜单文件的数据结构、菜单驱动(维护)模块设计和基于批处理文件的模块藕合方法进行了讨论。