期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
分布式制造调度体系结构的π演算形式化建模
1
作者 王世进 《计算机工程与应用》 CSCD 北大核心 2010年第9期1-3,7,共4页
分布式制造调度控制体系结构的良好形式化设计是确保后续开发系统一致性和高效性的基础。以Agen(tHolon)的制造调度控制体系结构模型为对象,在比较现有形式化方法优劣的基础上,提出基于一阶多元π-演算的体系结构形式化建模和分析方法,... 分布式制造调度控制体系结构的良好形式化设计是确保后续开发系统一致性和高效性的基础。以Agen(tHolon)的制造调度控制体系结构模型为对象,在比较现有形式化方法优劣的基础上,提出基于一阶多元π-演算的体系结构形式化建模和分析方法,并以一种基于Holon的柔性制造车间生产调度控制体系结构为实例,重点对各个实体的通信协调机制进行了形式化分析,并借助计算机工具进行了相应的死锁分析。结果表明了基于一阶多元π-演算在形式化建模和分析方面的有效性。 展开更多
关键词 分布式制造调度 控制体系结构 形式化规范 一阶多元π-演算 AGENT Holon
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部