IDEF0方法在C~3I系统中的应用

IDEF0方法的优点使其在多个领域尤其在制造业中得到了广泛应用。C3I系统是以活动为支撑以信息为基础的复杂大系统 ,用IDEF0模型对C3I系统进行描述可以加深指挥人员和技术人员对系统的共同理解 ,从而提高系统开发的效率并提高系统的实用性。因此本文就IDEF0方法在C3I系统分析、系统升级与集成及仿真等方面的应用进行了初步探讨     

区域反导组网作战战术信息分发系统军事概念建模研究

区域反导作战存在的最大问题就是探测系统、指控系统以及武器平台之间的信息互通。战术信息分发系统的研究是解决该问题的一种重要方式与手段,实现该系统的前提是建立一系列军事概念模型以实现对系统的准确描述。本文提出了基于IDEF的军事系统概念建模集成方法,具体分析了基于IDEF0、IDEF1X、IDEF3的系统功能模型、信息模型、过程流模型和对象状态转换模型。     

基于IDEF0的C4ISR体系结构产品设计

由于IDEF0模型具有简单、全面且描述能力强等优点,利用IDEF0这一工具分步骤地进行分析,理清框架2.0中的体系结构产品的来龙去脉,描述了C4ISR体系结构的内容作战、系统、技术体系结构三视图,体系结构产品和通用参考资源,给出构造C4ISR体系结构产品的具体指导.     

IDEF与UML相结合的作战任务建模方法

为了解决作战任务建模问题,在分析IDEF、UML两种建模语言优缺点的基础上,结合两者提出了一种新的建模方法.首先根据作战任务建模的功能需求,论述了使用IDEF0和IDEF3进行建模的可行性和使用时机,详细介绍了如何使用IDEF0和IDEF3描述作战任务本身信息和任务之间的逻辑和时序关系.然后给出IDEF0、IDEF3和UML之间的图元映射规则,将IDEF0、IDEF3模型转化为UML模型.最后,通过对一个潜舰对抗案例的作战任务进行建模,验证了该方法的有效性.     

基于UML和IDEF的装备保障C3I系统体系结构建模研究

UML和IDEF模型对复杂系统体系结构的分析具有重要价值.根据装备保障C3I系统的特点,对其体系结构进行了深入研究,通过建立系统功能模型、IDEF1X对象静态模型以及UML动态交互模型,从不同侧面较完整地描述了装备保障C3I系统体系结构框架,并提出了相应的物理实现模型,对复杂系统的建模具有一定的理论和实际意义.     

基于IDEF的使用阶段装备保障方案评价模型

为了分析评价系统的建模需求及其要进行的评价工作,引入复杂任务按功能进行层次分解的思想,并针对使用阶段装备保障方案评价的复杂性特征,提出应用IDEF方法对装备保障方案评价系统进行分解。分别建立了基于IDEF0的评价系统功能模型和基于IDEF3的评价系统过程模型;结合装备器材保障方案评价研讨过程示例,验证了该模型的可行性,为装备保障方案评价系统的设计提供了科学的依据。     

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

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

气球载雷达支援抗击巡航导弹作战军事概念建模

针对地基预警雷达单独预警巡航导弹发现距离近和跟踪目标困难的问题,提出了气球载雷达与地基预警雷达协同预警。按照军事概念建模的方法,建立了气球载雷达与地基预警雷达反巡航导弹(Cruise Missile,CM)的预警协同模式。在此基础上,建立了IDEF0功能模型。通过对IDEF0功能模型的理解,转换为作战仿真软件开发所需各类UML模型。从技术上验证了气球载雷达与地基预警雷达反CM预警协同作战的可行性,对其仿真实现有一定的参考价值。     

车辆装备保障组织结构分析与组织建模方法

目前,车辆装备保障系统组织结构的模型化分析处于起步阶段,缺少有效的建模方法将车辆装备保障业务运行同系统组织结构结合起来.在分析车辆装备保障组织结构存在形式和运行特点的基础上,结合对业务组织概念的认识,提出面向业务过程的车辆装备保障组织建模框架及基本步骤,系统阐述了车辆装备保障组织建模的图形化描述方法,提出了综合运用IDEF0和IDEF3的面向业务过程的车辆装备保障组织建模方法.     

基于IDEF3的指挥控制任务描述方法

指挥控制任务的描述是实现任务和资源优化匹配的基础.给出了指挥控制任务的形式化定义,提出了一种基于IDEF3的指挥控制任务描述方法.在IDEF3的过程流网中可能存在死锁和同步丢失这两类结构性冲突.为了确保所建立的指挥控制任务描述模型的正确性.提出了基于图化简方法的IDEF3过程流网检验方法,其主要思路是利用三条规则对过程流网进行化简,如最终能将模型规约为空则表示不存在这两类冲突.最后给出了一个简单的示例.     

美军信息系统互操作性测试、验证与评估研究

军事信息系统互操作性是信息化联合作战夺取战场主动权的关键,是武器装备体系综合评估研究的重点之一。通过研究美军信息系统联合互操作性测试、验证的机制与流程,提出了适用于我军的基于就绪网络关键性能参数的信息系统,介绍了美军信息系统互操作性等级(LISI)评估方法与模型,为提高我军信息系统互操作水平提供有意义的参考。     

军事概念建模形式化描述语言比较分析

军事概念模型是对军事行为空间进行的第一次抽象,它对军事系统表达的准确性和合理性将是作战仿真模拟质量的关键.随着分布交互仿真和大规模作战仿真的需要,概念模型的通用性和规范化已开始受到人们重视.针对军事系统的复杂性,在众多的建模语言中,选用何种语言进行军事概念建模值得深入研究.IDEF、UML和Petri网是三种应用广泛、功能较强的建模语言,适合复杂系统建模.分析比较了它们的优缺点,探讨了三种方法综合运用的思路,最后给出了一个军事概念建模的实例.     

军事信息系统的互操作性研究*

为了正确理解和准确评测军事信息系统的互操作性,分析比较了军事信息系统互操作性的不同定义和内涵,讨论了军事信息系统的互操作性分析方法,探讨了军事信息系统互操作性建模方法,分析了互操作性与系统安全脆弱性之间的关系,给出了军事信息系统互操作性研究的几点建议.     

基于复杂网络理论的岸防作战体系骨干网络研究

随着信息技术在战争中的大量应用,现代战争越来越呈现出网络化和体系对抗性,研究其拓扑特性已十分必要。基于复杂网络理论,首先建立了岸防作战体系网络模型,然后提出一种基于贪心思想的骨干网挖掘算法,最后对模型的骨干网络进行了研究。结果表明该方法能够快速、准确地挖掘出岸防作战体系的网络骨干,并能为军事对抗体系的复杂网络应用研究提供借鉴和参考。     

C4ISR系统核心体系结构数据模型及其建模方法

C4ISR系统核心体系结构数据模型(CADM)的建模是CADM研究的主要工作,首先介绍了与CADM相关的一些基本概念,并对美军C4ISR系统核心体系结构数据模型的相关研究成果进行了分析;然后应用数据模型语言IDEF1X描述一种实际作战指挥单位通用的军事需求,反映核心体系结构数据模型的要求,以体现核心体系结构数据模型的作用.     

建立装备成体系建设模式，为加快海洋强国建设提供强大力量支撑

建设海洋强国战略目标、建设强大海上军事力量需要探索中国特色的装备体系建设新模式。针对未来信息化战争体系对抗的特点,在研究中外武器装备体系建设经验基础上,提出了海上军事力量装备成体系建设的新模式,并讨论了海上军事力量装备成体系建设的有关问题。     

作战任务的形式化描述及其过程表示方法

为了使各信息系统一致地理解作战任务的内涵及执行过程,本文对作战任务的形式化描述方法进行了深入研究。在分析作战任务概念和组成的基础上,利用八元组结构给出其形式化定义。抽象出作战任务中的三类关系:总体作战任务与具体作战任务间的实例化关系、作战任务与作战行动间纵向的层次结构关系、作战行动间横向的时序逻辑关系。依据作战任务的特点,提出了一种作战任务形式化描述的流程,采用IDEF3模型表示任务的执行过程。通过行为单元与仿真数据的集成,交汇点与仿真规则的映射,进一步讨论了模型的计算机实现问题。     

单兵系统数据模型

讨论了单兵系统的体系结构和信息要素,并结合单兵系统在联合作战中的应用例子,对其业务过程和信息流进行初步分析。然后通过IDEF1X方法,设计单兵系统基于关系数据库的数据模型。最后讨论了模型的规范化问题,并给出检验数据模型的方法。     

军用导航技术发展趋势

现代战争的高技术特点要求武器系统装备精密导航系统来提供精确的导航信息 ,提高武器的战斗性能。论述了惯性敏感器发展技术、GPS技术、GPS/INS组合与抗干扰问题。发展高精度、低成本、抗干扰能力强的导航系统是未来军用导航系统发展的趋势