需求工程的形式化方法

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

基于战备完好率的军用飞机维修费用需求确定方法

军用飞机维修费用需求与战备完好率要求密切相关,为保持飞机一定的战备完好率水平,必须投入一定的维修费用。维修费用投入多,则维修设备齐全,维修人员维修能力高,维修备件充足,飞机故障修复时间短,战备完好率高;维修费用投入少,会造成维修设备短缺,设施破旧,维修人员培训不到位,维修备件供应不足等各种问题,直接影响战备完好率水平。     

保障性要求确定与分析

对保障性要求的组成、保障性要求确定需考虑的因素、保障性总体要求与可靠性、维修性参数指标的关系、保障性要求如何影响设计等问题进行了分析探讨.     

综合战场环境仿真软件建模

作为C3I系统重要组成部分的综合战场环境仿真软件要求必须具有开放性和可重用性,以适应战场环境和武器系统的变革.基于以上特点,本文采用UML对综合战场环境仿真软件需求进行建模,采用此方法对该软件进行建模,可以将复杂的综合战场环境仿真系统用简单明了的可视化图形表示出来,为整个软件的开发提供灵活、一致、易读的表达,不仅可以解决软件开发中众多领域人员难以互相交流理解的难题,还可以提高软件的可靠性、可重用性和可维护性.     

新型装备作战指挥信息系统军事需求论证的反向分析方法

基于新型装备作战指挥信息系统构成及功能,提出了"体系作战效果-作战运用方式-关键能力需求-需求方案决策优化"的军事需求映射机制,构建了新型装备作战指挥信息系统军事需求论证的反向分析总体框架,并分析反向分析方法的内容和设计了流程。该研究对新型作战力量指挥信息系统的顶层设计和工程建设具有一定的价值,对于开展其他复杂系统的体系结构研究也具有借鉴意义。     

装备寿命周期备件供应网络优化方法

针对现有备件供应优化方法未从寿命周期角度考虑备件供应优化问题,将寿命周期不同阶段的备件需求特征融入备件供应网络设计中,实施动态需求特征下的寿命周期整体优化。深入分析寿命周期不同阶段的备件需求特征;建立备件供应响应时间转移方程,在此基础上,构建使寿命周期备件保障效益最大的多目标混合整数规划模型。通过仿真案例证明了多种备件保障模式的组合能够显著提高寿命周期保障效益,寿命周期整体优化可以实施更高效的备件供应。     

软件需求工程及其发展

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

数字化装甲装备基本作战单元整体性能试验需求分析

数字化装甲装备基本作战单元整体性能试验,是数字化部队建设进程中常规武器装备试验所面临的一个现实而紧迫的新课题。从分析数字化装甲装备基本作战单元典型使命任务和功能需求入手,提出数字化装甲装备基本作战单元整体性能试验需要重点关注的问题:地面突击能力与所担负任务的匹配;建制内各装备的远程机动能力的匹配;野战防护能力与典型作战任务、火力威胁的匹配。指出主要试验内容为通信联通性能试验、指挥控制性能试验、协同打击性能试验和使用性能试验。为整体性能评估指标体系构建和整体性能试验设计奠定了基础。     

军事信息系统作战活动描述方法研究

针对军事信息系统需求分析需要,探讨了作战活动过程描述、作战节点连接描述、节点状态转换描述和作战活动时序描述的内容和方法。基于该理论和方法,可以准确描述信息化条件下军事人员对军事信息系统的应用需求,实现军事人员与技术人员的有效沟通,为军事信息系统军事需求分析与应用设计的基础。     

基于多视点的武器装备作战需求质量评估方法

对武器装备作战需求的质量进行准确评估是提高作战需求论证质量的基本前提：分析了多视点作战需求质量评估的问题框架,提出了一种基于多视点的武器装备作战需求质量评估模型,建立了评估指标体系并具体说明了评估的流程和算法,使作战需求质量评估工作更加合理准确。