多Agent协同系统的Pi演算建模方法

发布时间：2018-01-13 03:37

本文关键词：多Agent协同系统的Pi演算建模方法　出处：《西安电子科技大学学报》2014年06期 　论文类型：期刊论文

更多相关文章： 多Agent协同系统 Pi演算 家庭物联网

【摘要】：MAS因自治性、反应性等特性适用于复杂的分布式系统,为了分析、模拟Agent的并发交互过程并设计出合理的MAS,应用了形式化方法 Pi演算进行建模.首先介绍了多Agent协同系统中Agent之间的广播、中介和代理3种通信模型,然后给出了Agent之间交互模式的Pi演算建模方法.再以家庭物联网系统作为多Agent协作实例,应用Pi演算对其建模,模拟多个Agent协作过程中的通信.最后,采用移动工作台对模型的语义进行了验证,表明了Pi演算对MAS建模的适用性.
[Abstract]:MAS is suitable for complex distributed systems because of its autonomy and reactivity. In order to analyze, the concurrent interaction process of Agent is simulated and reasonable MAS is designed. The formal method Pi calculus is used to model the model. Firstly, three communication models of broadcast, intermediary and agent between Agent in multi-#en0# cooperative system are introduced. Then we give the Pi calculus modeling method of the interaction pattern between Agent, then take the home Internet of things system as a multi-#en1# collaboration example, and use Pi calculus to model it. Finally, the semantics of the model is verified by moving workbench, which shows the applicability of Pi calculus to MAS modeling.
【作者单位】：西安电子科技大学计算机学院;
【基金】：国家自然科学基金资助项目(61172147) 中央高校基本科研业务费专项资金资助项目(K5051303005,K5051303015)
【分类号】：TP391.44;TN929.5;TP18
【正文快照】： 近年来,随着多Agent系统(Multi-Agent System,MAS)越来越广泛地应用,对Agent和MAS的研究成为了当今计算机科学技术领域、信息工程领域和网络通信领域的热点研究方向之一.MAS具有降低分布式系统复杂性、功能模块化、易于扩展的优势,因此适用于复杂的分布式系统.而Agent之间的交

【共引文献】