军事信息系统需求模型一致性检验方法

在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出了一套军事信息系统需求建模和一致性检验方法,该方法由军事信息系统需求概念本体、基于UML的军事信息系统需求建模方法,以及基于描述逻辑的军事信息系统需求模型推理验证技术3部分组成。该方法可以有效检验需求分析人员所构建的需求模型的语义是否正确,内容是否全面如实地反映用户要求,进而为系统后续建设提供参考和决策支持。     

基于任务剖面的海战场信息系统能力评估试验设计方法

针对海战场信息系统能力评估试验涉及场景、装备、科目多,组织困难的特点,提出了一种基于任务剖面的海战场信息系统能力评估试验设计方法,将海战场信息系统能力评估试验需求和试验内容基于任务剖面进行精细化划分,便于针对性组织实兵试验、实验室试验、仿真验证等,规范、清晰试验组织流程,最大化复用结论.     

基于HPTFN的网络化指挥信息系统效能评估模型

为了从系统工程和军事需求的角度提出一套综合的网络化指挥信息系统效能评估模型,在分析当前评估模型研究现状的基础上,给出评估建模应该遵循的原则。提出一种新的基于类投影型三角模糊数的网络化指挥信息系统效能评估建模方法,并对其建模原理进行详细分析。结合3个单位某系统实际,对评估模型方案予以验证,较好地说明了该模型的可行性和有效性,为网络化指挥信息系统效能评估和优化建设提供指导。     

基于E-R-P知识表示的装备保障信息系统集成建模

针对装备保障信息系统建设过程中的"信息孤岛"问题,提出了装备保障信息系统集成的概念,介绍了信息系统工程领域的系统集成理论和基于E-R-P(Entity-Relation-Problem)知识表示的建模方法,对装备保障信息系统集成建模进行了研究,并以雷达装备保障系统3个子系统的集成建模为例,详细阐述了基于E-R-P的装备保障信息系统集成的建模过程.     

一种业务概念模型驱动的需求分析与获取方法

需求分析是军事电子信息系统建设的难点。本文在总结国外ADL/ESS研究成果基础上,结合军事电子信息系统开发特点,定义了一个通用语义框架,在借鉴UML建模方法基础上形成了一个基于业务概念框架的需求描述语言和建模方法。文章介绍了该方法的基本概念,给出了语言的部分定义,最后用示例描述了建模方法。     

基于UPDM的武器装备体系建模

从武器装备体系论证的特性出发,采用基于模型的系统工程方法对UPDM (Unified Platform for Defense Modeling)进行了系统分析,研究了基于UPDM的武器装备体系建模方法和建模过程.通过分析使命能力,确认与任务相对应的场景,建立基于时序的能力与任务描述模型,实现武器装备体系作战能力所需的指控过程与多个杀伤链场景,并对模型的时序逻辑进行形式化的测试与验证.建模方法具备武器装备体系模型验证能力,为武器装备体系的作战性能和作战效能评估提供了支持.     

基于能力的指挥信息系统需求获取方法

一体化联合作战是信息化条件下的新的作战形式,为满足一体化联合作战的需要,作战能力与联合作战概念的结合已成为大势所趋.目前国内常用的指挥信息系统需求获取方法缺乏顶层作战概念和目标的指导,没有考虑联合作战的要求.通过分析,将指挥信息系统需求划分为作战需求、用户需求和系统需求3个层次,总结了指挥信息系统在一体化联合作战的要求下应当具备的能力,参考美军JCIDS系统方法和流程,提出了基于能力的指挥信息系统需求获取方法.     

海上区域作战虚拟训练系统设计及关键技术

针对海上区域作战虚拟训练需求,提出了一种支持单人研究、多人对抗两种模式的海上区域作战虚拟训练系统构建方法,解决了标绘式作战想定辅助制作、编队航路运动建模、基于Petri网的作战指挥决策建模、作战模拟可视化等关键技术.仿真实验结果表明,所建仿真系统可扩展性强,作战过程仿真逼真度高,作战场景可视化效果好,满足典型海战虚拟训...     

基于场景的C2系统的模拟与评价方法

为适应一体化联合作战指挥控制系统快速决策与实时性能评价的要求,提出一种基于场景的系统快速模拟与评价模型.其优点在于①根据系统需求实现系统的建模、仿真代码自动生成及性能评价.②模型自适应能力强,系统场景设计中的冲突、不完整、安全、性能及行为错误等问题都可以通过仿真过程中不同方面的动态分析检测出来.     

一种基于本体的军事需求一致性分析方法

军事需求不一致问题事关军事信息系统建设的成败.首先,分析了军事需求不一致的表现形式和产生原因,并从本体论的特征、功能入手对本体论与解决军事需求不一致问题的关系进行了讨论,提出了基于本体解决军事需求不一致问题的思路.其次,以军事需求活动为主线,将军事需求本体分为概念本体、动作本体和活动本体,并通过应用领域分析、描述对象分析和对象关系分析三个基本步骤进行确定.第三,根据各类军事需求本体的不同,对各处本体的建模方法分别进行了阐述.最后,利用语义推理,实现了基于本体的军事需求一致性分析,并对推理步骤进行了详细的叙述.