军事需求评估的形式化建模分析

为更加科学有效评估军事需求,通过需求评估“阶段划分、对象确定、指标构建”等步骤,系统阐述军事需求评估问题;形式化语言对需求论证阶段的方案需求值、落实阶段的能力生成值和检验评估阶段的需求满足值等指标重点描述,研究了需求评估的预期走势;基于Kalman滤波思想对提出的形式化模型进行实验算例分析。结果表明：评估结果能够逐渐逼近理想值,误差可以收敛;评估周期、评估初始值、预测误差、观测误差等因素对评估走势最终结果产生影响;综合评估结果与分项评估指标之间为非线性关系。因此,本文建立的形式化模型能够表征需求评估的基本规律,相关研究成果可以为军事需求评估提供理论参考和支撑。     

面向实体的仿真想定结构化描述方法

针对作战过程仿真模型的初始化需求,分析了仿真想定的具体内容,提出了面向实体的仿真想定结构化描述方法,即以实体的抽象和描述为核心,从实体、任务、结构、状态、行动、指挥决策6个方面来进行仿真想定内容的结构化描述,并利用XML语言在描述结构化、半结构化数据方面的突出优势,提出了基于XML的仿真想定数据存储模型,为进行作战想定的结构化和定量化提供了可行的方法,满足了由作战想定生成模型输入条件的要求。     

水下武器仿真系统的可组合性

针对水下武器对抗仿真系统(Underwater Weapon Confrontation Simulation System,UWCSS)的特点,分析了UWCSS的层次,提出了针对水下武器对抗仿真系统可组合的形式化方法。系统研究了仿真实体及其属性、实体关系、实体的内行为、实体之间的交互以及仿真过程的形式化描述问题,为水下武器对抗仿真系统的组合性开发提供了理论支撑。     

从容

有一则故事是这样描述从容的。在一个名叫阿斯达的小镇上,住着一位单身老妇人。传说这位老妇人有一笔可观的遗产存在瑞士银行,她就靠银行每年支付的利息过着舒适的生活。有一天傍晚,门铃响了,她开门一看,门口站着一位陌生人,手里握着一把寒光闪闪的菜刀,她立刻明白将要发生的一     

军事综合电子信息系统需求描述框架及其辅助工具开发研究

需求描述是需求工程的重要组成部分,文中提出了一种军事综合电子信息系统需求描述框架,将军事综合电子信息系统需求分为作战需求、用户需求和系统需求3个层次,并简要介绍这3种需求的内容体系;最后以需求描述框架为指导,介绍了描述工具集的设计与开发思路。     

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

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

防空通信系统效能评估

防空通信系统是保障防空指挥和控制有效性的重要手段,其效能的好坏将直接影响到作战结果.在分析效能评估方法的基础上,根据防空通信系统的特点,建立了防空通信系统综合评估指标体系.对防空通信系统的效能评估过程进行了描述,给出了效能评估模型和评估方法,并进行了实例分析.对全面而科学地评价防空通信系统的效能具有较强的实用性.     

基于AHP-Fuzzy的装甲机械化部队综合信息系统评估

考虑到综合信息系统存在大量的模糊信息,很难用精确数学模型描述其内部关系,采用模糊综合评估法对其进行了评估.首先通过对装甲机械化部队综合信息系统的功能需求进行分析,建立了评估指标体系.然后介绍了确定指标权重的AHP法,并建立了对装甲机械化部队综合信息系统进行评估的模糊综合评判模型.最后通过实例对设想中的装甲机械化部队综合信息系统进行了评估,并说明了该模型的可行性.     

指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。