您的位置: 专家智库 > >

国家自然科学基金(70901058)

作品数:2 被引量:1H指数:1
相关作者:王世进段永瑞更多>>
相关机构:同济大学更多>>
发文基金:国家自然科学基金上海市教育委员会创新基金更多>>
相关领域:机械工程更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇机械工程

主题

  • 2篇AGENT
  • 1篇形式化
  • 1篇形式化规范
  • 1篇形式化建模
  • 1篇分布式
  • 1篇分布式制造
  • 1篇Π演算
  • 1篇JADE

机构

  • 2篇同济大学

作者

  • 2篇王世进
  • 1篇段永瑞

传媒

  • 1篇中国机械工程
  • 1篇计算机工程与...

年份

  • 2篇2010
2 条 记 录,以下是 1-2
排序方式:
分布式制造调度体系结构的π演算形式化建模
2010年
分布式制造调度控制体系结构的良好形式化设计是确保后续开发系统一致性和高效性的基础。以Agen(tHolon)的制造调度控制体系结构模型为对象,在比较现有形式化方法优劣的基础上,提出基于一阶多元π-演算的体系结构形式化建模和分析方法,并以一种基于Holon的柔性制造车间生产调度控制体系结构为实例,重点对各个实体的通信协调机制进行了形式化分析,并借助计算机工具进行了相应的死锁分析。结果表明了基于一阶多元π-演算在形式化建模和分析方面的有效性。
王世进
关键词:形式化规范AGENT
生产车间混合式控制结构模型和协商机制研究被引量:1
2010年
为了提高车间控制系统的柔性、开放性和全局优化性能,在分析现有车间控制体系结构的基础上,融合Agent技术,提出了一种适应性混合式车间控制系统体系结构模型。该模型利用递阶结构将控制功能设计成系统优化Agent、单元协调Agent和单实体Agent三层结构,并允许同层Agent及上下层Agent之间的协商。为了进一步提高协商效率,集成分布式协商和全局控制,设计了基于招投标机制和示例学习方法的协商机制,详细分析了包括时间约束算法和基于示例的学习方法的协商机制核心算法。在JADE(Java Agent development framework)平台上构建了原型系统。
王世进段永瑞
关键词:AGENTJADE
共1页<1>
聚类工具0