需求工程的形式化方法

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

面向军事定向越野训练的数据挖掘思路

军事地形学是军队院校本科必修课程。按图行进的军事定向越野,是军事地形学野外教学的重点和难点。本文借鉴了当前流行的"大数据"思想,针对当前军事定向越野教学训练的特点,研究提出了若干数据挖掘思路,能够从大量训练数据中提取可辅助教员组织教学、制定训练计划的有价值知识,而且具有较好的实用价值和军队院校推广价值。     

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

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

指挥信息系统需求体系框架

需求工程是指挥信息系统整个开发周期中的第一步,正确且全面地确认系统的需求是成功开发指控系统的关键.指挥信息系统需求体系框架是从需求开发的内容上规范需求工程技术在指挥信息系统需求开发中的应用.从需求的本义出发,在分析总结IEEE、INCOSE以及OMG等研究机构关于需求内涵与分类的研究基础上,本着与C4ISR/DOD AF一致的原则,结合近年我军指挥信息系统需求开发的实践经验,提出了指挥信息系统需求体系框架.     

C4ISR系统需求模型

目前军事需求的描述方法主要是理论研究为主,无法较好应用于我军的需求开发实践.根据我军联合作战指挥信息系统的需求开发经验,提出了一种可行的C4ISR需求描述模型,首先分析了需求建模所涉及的要素及其关系,提出了C4ISR需求模型的概念,然后以图形化和形式化两种形式分别对用户模型、活动模型、信息模型和功能模型等4个方面进行了需求描述方法的研究.     

作战视图的陆战平台电子信息系统作战需求分析

作战体系结构方法是获取作战需求的有效途径;介绍了体系结构的适用原则、作战视图的研究内容及逻辑关系,运用指挥关系模型、作战活动模型、逻辑数据模型、作战活动顺序与时间模型、作战节点连接能力模型、作战信息交换矩阵对指挥关系、作战活动、作战节点连接能力和作战信息交换进行分析,获得陆战平台电子信息系统的作战需求,为陆战平台电子信息系统作战需求分析提供了一种新的方法。     

数字化部队保障装备能力需求满足度评价模型

针对数字化部队保障装备不能较好的执行战时装备保障任务,依据部队作战和保障的特点和实际,运用IDEF 3方法形式化描述了作战和保障任务基本流程。为了提高指标体系的全面性和适用性,从满足装备执行作战和保障任务需求角度出发,按照"保障活动-保障能力-保障效果"逻辑关系逐步分析,在依据相关原则和进行重要度、稳定度判定的基础上,确立了数字化部队保障装备能力需求满足度评价指标体系。为提供指标权重的客观性和准确性,采用改进的群体层次分析法(IGAHP)对评价指标赋权。针对评价过程中的模糊性和随机性,运用云理论实现指标聚合和综合评价。最后,以某部队保障装备为对象进行示例评价,验证了模型的合理性和适用性。     

末端防御武器系统的人机一体化

如何实现人在末端防御武器系统运行中所应该起的作用,并为实现这些作用提供必需的保障,对末端防御武器系统的研制、试验和使用至关重要。要做到这一点,应该通过自顶向下的人机一体化的需求分析,确定人在系统中所应完成的作用并且明确为完成此作用而对系统提出的要求。系统的设计应该遵循人机一体化的原则,提高系统的自动化程度,减少人的工作负荷,减少人员配备。系统要保障人为完成其作用而所需的条件,向人提供有关完成其作用所必需的知识,使人在执行其所担负的任务中不出差错。     

惯性技术发展及应用需求分析

分析了国内外惯性测量装置及器件的发展现状和趋势,研究了武器装备对惯性技术的需求,认为使命任务的不断更新对惯性技术的发展提出了更高的要求,惯性产品作为武器装备的核心技术必须注重其精确性、高可靠性、长航时、大动态范围及经济性。研究成果对惯性技术在各种武器系统中的应用具有指导意义。     

装备需求论证工程化基本理论研究

分析了信息化武器装备体系发展对需求论证工作提出的新要求,提出了装备需求论证工程化的概念,阐述了装备需求论证工程化的＂四化＂（规范化、模型化、工具化和资源化）特征,研究了实现装备需求论证工程化的关键工作,旨在为装备需求论证工程化提供理论指导。