期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于IDEF3的指挥控制任务描述方法 被引量：2
1
作者 陈洪辉 陈涛 芮红 《火力与指挥控制》 CSCD 北大核心 2009年第6期24-27,31,共5页
指挥控制任务的描述是实现任务和资源优化匹配的基础。给出了指挥控制任务的形式化定义,提出了一种基于IDEF 3的指挥控制任务描述方法。在IDEF 3的过程流网中可能存在死锁和同步丢失这两类结构性冲突。为了确保所建立的指挥控制任务描... 指挥控制任务的描述是实现任务和资源优化匹配的基础。给出了指挥控制任务的形式化定义,提出了一种基于IDEF 3的指挥控制任务描述方法。在IDEF 3的过程流网中可能存在死锁和同步丢失这两类结构性冲突。为了确保所建立的指挥控制任务描述模型的正确性,提出了基于图化简方法的IDEF 3过程流网检验方法,其主要思路是利用三条规则对过程流网进行化简,如最终能将模型规约为空则表示不存在这两类冲突。最后给出了一个简单的示例。 展开更多
关键词 指挥控制任务 idef3 检验
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部