潜艇战术应用软件及其建模

潜艇战术软件研制是一项复杂的系统工程,建立模型是这项系统工程中的核心部分,它直接关系到潜艇战术软件的各项性能指标。对潜艇战术软件的建模问题进行了探讨和研究。     

美国防部首席信息官推进网络信息体系建设研究

网络信息体系是联合作战的桥梁和纽带,是推动军队现代化建设的重要组成部分.近年来,美军从地方引进了首席信息官制度,借鉴企业的主要做法和成功经验,推进军队信息化和军事信息系统的发展,取得了显著效果.研究美军首席信息官制度对于加强军队网络信息体系建设具有重要的参考作用.本文分析了美国国防部首席信息官的主要任务和定位,阐述了下...     

基于MAS的信息化战场火力战仿真建模

通过仿真实验进行演示、检验和评估,是研究信息化战场火力与指挥控制的有效方法.通过采用基于MAS的仿真方法,把火力战系统的内部组元直接映射成相应的Agent,研究了基于MAS的火力战仿真建模过程,提出了基于MAS建模的火力战系统总体框架与工作过程,并进一步研究了火力战Agent的定义与工作原理,为未来信息化战场火力战相关项目技术演示提供平台基础.     

土质边坡工程风险分析

扼要地阐述了边坡工程事故引发的原因和边坡工程体系包含的不确定因素,从自然、社会、经济、管理等方面对这些因素进行了归纳,介绍了安全评估的故障树分析法以及由顶事件概率求底事件概率的计算公式.从技术的角度对土质开挖边坡工程体系进行了研究,建立了边坡工程故障树模型以及在此模型下边坡工程风险事件发生概率Pf的计算方法.在求解风险损失的过程中分析了传统专家调查法存在的不足,从而提出改进的专家调查法.通过工程实例,定性和定量地对边坡工程风险进行了分析,利用风险分级体系对风险的大小进行评价,为边坡工程风险管理提供了一定的依据.     

基于状态的装备可靠度模型及其应用

为应用基于状态的装备可靠度模型,实现对装备的精确维修,采用了比例风险模型（Proportional Hazards Model,PHM）将装备的年龄信息及检测所得状态信息融入系统的风险函数中。考虑到样本包含截尾数据的情形,应用极大似然估计方法对模型中的参数进行了估计以及相应的模型检验。通过对该方法在一个实际案例中应用的详细分析,验证了方法的可行性。     

需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。     

基于粗糙集的武器装备体系贡献度评估方法

有效评估体系贡献度,是武器装备发展论证、作战试验开展和作战使用保障的一项基础性工作。分析了武器装备体系贡献度的概念内涵,构建了武器装备体系贡献度评估指标体系,给出了基于粗糙集的武器装备体系贡献度评估模型与步骤,并进行了算例评估与验证分析。研究工作表明,粗糙集评估法较好地解决了评估数据少、模糊或者不确定的问题,对难以完全量化系统的武器装备体系贡献度评估提供了新的解决思路与具体方法。     

CGCS2000大地问题解算工程运用研究

军事信息系统研制中经常涉及CGCS2000坐标系下的大地问题解算,但直接采用韦森特公式进行软件设计存在一些问题。通过对韦森特公式在工程运用中的问题进行了分析,对正解、反解算法进行了补充完善并给出了相关的计算实例供编程检查。改进后的算法简单实用,适合军事信息系统软件的实现。     

处理好工程力学与大学物理内容衔接的问题

大学物理课和工程力学课是学院2门重要课程。分析了2课衔接存在的问题,提出优化课程内容的方法:祥解、略讲、删减、增加。     

软件需求工程及其发展

详细介绍了需求工程的基本概念及其内容,根据目前的实际情况,简要总结了需求工程的常用方法和支持工具,并指出需求工程的发展现状和存在的主要问题。收集国内外的相关资料,进行综合分析,以便了解国内外的研究现状,并进行适当的相关研究。认为:软件需求的获取是软件需求工程的重要一步,是软件质量保证的基础:研究具有可操作性和实用性的软件需求工程辅助工具具有重要意义。