基于Z形式化规范的多Agent协作模型研究

• 作者: 张洁 裴芳 郝丽波
• 来源期刊: 火力与指挥控制
• 学科: 工学
• 关键词: Z语言 形式化规范 多Agent系统 协作模型
• 年，卷（期）: 2012,（7）
• 所属期刊栏目: 理论研究
• 页码范围: 61-65
• 分类号: TP39
• 字数: 3864字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0640.2012.07.016

摘要

用形式化规范语言Z定义了多Agent协作模型的基本元素,包括:Agent、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多Agent协作提供了一致性和连贯性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张洁		20	40	3.0	5.0
2	裴芳		18	40	3.0	5.0
3	郝丽波		14	49	3.0	6.0