| 基于Z形式化规范的多Agent协作模型研究 |
| |
| 引用本文： | 裴芳,张洁,郝丽波.基于Z形式化规范的多Agent协作模型研究[J].火力与指挥控制,2012,37(7):61-65. |
| |
| 作者姓名： | 裴芳 张洁 郝丽波 |
| |
| 作者单位： | 湖南机电职业技术学院,长沙,410073 |
| |
| 基金项目： | 湖南省教育厅科学研究项目 |
| |
| 摘 要： | 用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括:A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多A gen t协作提供了一致性和连贯性。
|
| 关 键 词： | Z语言 形式化规范 多Agent系统 协作模型 |
A Multi-Agent Cooperation Model Based on Z Formal Specification |
| |
| Pei Fang
,
Zhang Jie
,
HAO Li-bo.A Multi-Agent Cooperation Model Based on Z Formal Specification[J].Fire Control & Command Control,2012,37(7):61-65. |
| |
| Authors: | Pei Fang Zhang Jie HAO Li-bo |
| |
| Institution: | (Hunan Mechanical & Electrical PolyTechnic,Changsha 410073,China) |
| |
| Abstract: | A formal specification language Z is used to define the basic elements in the Multi-Agent cooperation model,including the agent,the goal,the role,the interactive protocol and the process.Then,the authors present the consistent constraints that it must satisfy,and demonstrate with the logistics dispatch system of chain malls within the city region that the formal specification can support the consistency and continuity of the multi-Agent cooperation. |
| |
| Keywords: | Z language formal specification multi-Agent system cooperation model |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
