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

• 作者: 芮红 陈洪辉 陈涛
• 来源期刊: 火力与指挥控制
• 学科: 工学
• 关键词: 指挥控制任务 IDEF3 检验
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 理论研究
• 页码范围: 24-27,31
• 页数: 5页
• 分类号: TP311.5
• 字数: 3800字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0640.2009.06.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	芮红		6	15	2.0	3.0