需求工程的形式化方法

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

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

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

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

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

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

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

测试性增长中资源优化配置模型及求解

良好的测试性设计对系统维修性具有重要意义,测试性增长试验通过一系列测试性设计缺陷发现和纠正措施,可保证系统测试性指标达到设计要求。针对基于延缓纠正的测试性增长过程中的资源配置问题进行研究,基于增长试验目标是否明确和试验资源是否受限制问题构建资源优化配置模型,并提出一种基于拉格朗日松弛和本地搜索的快速优化算法。仿真结果表明:该模型能够有效指导测试性增长中的资源优化配置问题,所提混合优化方法能够高效、准确地求解整数规划问题。     

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

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

模拟电路中非零交叉情况下故障最小范围的确定方法

为确定模拟电路非零交叉情况下故障元件存在范围,提出了一种K故障下诊断的新方法。它是一种确定故障元件存在的最小范围的方法,即在十分现实的K故障下,确定能代表电路所有元件并给出在K故障假设下的最优可测试元件组,使故障定位工作只局限于该组元件。通过可测试值计算和规范式不确定性组与最优可测试成分组的确定,可以诊断故障元件的范围。     

武器装备体系保障需求建模方法研究

分析武器装备体系保障需求特征,阐述需求建模的目的,建立需求模型,该模型包括任务模型、任务-节点-能力关系模型及能力需求模型．按照分层思想,定量描述能力需求,为构建未来武器装备体系保障作出探索性研究．     

C4KISR-美军指挥自动化系统的最新发展

当前,美军以"网络中心战"为样本勾勒未来的作战模式,美军军事理论上的转变产生了全新的军事需求,并不断要求C4ISR系统在概念和功能上有所拓展和增强.针对美军目前的作战需求,美军在以往C4ISR系统的基础上提出一个新的概念--C4KISR.基于C4KISR系统的现状,介绍了该系统的演变历程和发展背景,分析了C4KISR系统的功能模式与体系结构,归纳了美军C4KISR系统未来发展的核心技术需求.     

数字化机步师指挥信息系统作战运用能力需求研究

借鉴体系结构能力视角需求分析方法,根据数字化机步师指挥信息系统支撑能力的内涵,设计了6种新的能力视角模型,通过深入分析能力构想、能力结构、能力关系,以及5种体系级能力与系统组成、作战指挥活动、作战信息流程之间的映射关系,理清了指挥信息系统作战运用的能力需求。分析结果可为数字化机步师指挥信息系统的编配、运用与评估提供科学依据和理论指导。