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

• 作者: 张琛 李文静 鱼滨
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 多Agent协同系统 Pi演算 家庭物联网
• 年，卷（期）: 2014,（6）
• 页码范围: 76-82
• 页数: 7页
• 分类号: TP311
• 字数: 4934字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2014.06.013

摘要

MAS因自治性、反应性等特性适用于复杂的分布式系统,为了分析、模拟 Agent的并发交互过程并设计出合理的 MAS,应用了形式化方法Pi演算进行建模。首先介绍了多 Agent协同系统中 Agent之间的广播、中介和代理3种通信模型,然后给出了Agent之间交互模式的Pi演算建模方法。再以家庭物联网系统作为多 Agent协作实例,应用Pi演算对其建模,模拟多个 Agent 协作过程中的通信。最后,采用移动工作台对模型的语义进行了验证,表明了Pi演算对 MAS建模的适用性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	鱼滨	西安电子科技大学计算机学院	20	126	7.0	10.0
2	张琛	西安电子科技大学计算机学院	10	41	4.0	6.0
3	李文静	西安电子科技大学计算机学院	2	6	1.0	2.0