基于Petri+nets的多智能体系统分析.pdf

中国科学院自动化研究所
博士学位论文
s的多智能体系统分析
姓名:陈为雄
申请学位级别:博士
专业:控制理论与控制工程
指导教师:王飞跃
20040501
互、协调、协作主要通过通信动作来完成。闹悄J胶蜕缁嵝形5纳杓剖模式和社会行为的方法,我们称之为狾理论为基础,吸收面向对象思想,同时以腂模型为模板,对男闹悄J胶蜕缁嵝形=蟹治觥N颐侨衔;谀J降目7⒎椒ǎ有助于提高软件的可重用性,增强系统的可靠性和减少系统错误。所以在论文前部分,我们提出了纳杓颇0濉8媚0灏ㄎ甯霾糠郑合⑹淙氩糠帧消息输出部分、消息处理部分、方法调用部分和P筒糠帧U馕甯霾糠只本上覆盖了各种δ苡胩氐悖虼怂视诒硎就ㄓ胊的特性。在模板的基础上,我们分析了母髦稚缁嵝形#喝缧畔⒔换弧⒎椒ǖ饔玫取我们采用的简化模板描述低持懈髦謅之间的方法调用。对于母丛有畔⒔换荒J剑颐遣捎没峄***绞浇小T诨峄爸校颐嵌ㄒ辶主题。主题代表着涞男畔⒔换坏ピ!@弥魈饪梢越换唤衔8丛拥男户实验服务时间的分配。在这里我们采用椤T诶么车槭保颐嵌孕榻辛烁慕黾恿巳挝裱≡袼惴ê屯侗昶兰中文摘要低成杓剖且幌盍钊烁行巳さ墓ぷ鳎渲猩婕暗絘的心智模式和各种社会行为。心智模式以腂模型为代表,母髦稚缁嵝形H缃多低成杓频墓丶;谡庖坏悖疚奶岢隽艘恢置枋龊头治鯽,息。纳缁嵝形;拱╝之间的协调。在本系统中,主要涉及到对用算法。改进的榭梢愿行У赝瓿上低车耐侗辏罕耆挝瘛9赜囊贫裕颐遣捎肁椒ǘ云浣蟹治觥F浞治鲆樘庵饕9刈⒁韵几个主题:囊贫惴ǎ贫痑迁移模式、移动牡酱锬J健⒅动迁移模式、被动迁移模式、以及移动胫骰蚱渌黙之间的交互模式。为了验证系统模型的可行性,论文最后以一个倒立摆实验为例,通过仿真实验评价系统模型的性能。椒ā8梅法以关键词:多智能体系统,嫦蚨韵髏贫痑·会话,
,..母畁.,.琺瓵琾猘’畐籥,ⅱ,瑂簉甋,.,.瑆甌:。..,
,—,琺簃—,,.
燃万玖日签名:落勉丝签名:边盘坐独创性声明关于论文使用授权的说明究成果。尽我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写过的研究成果。与我一同工作的同志对本研究所做的任何贡献均己在论文中作了明确地说明并表示了谢意。本人完全了解中国科学院自动化研究所有关保留、使用学位论文的规定,即:中国科学院自动化研究所有权保留送交论文的复印件,允许论文被查阅和C艿穆畚脑诮饷芎笥ψ袷卮斯娑导师签名:本人声明所成交的论文是我个人在导师指导下进行的研究工作及取得的研借阅;可以公布论文的全部或部分内容,可以采用影印、缩印或其他复制手段日期:保存论文。期
.撕一代软件应用主要是分布式应用,如基于缱由涛瘛⒔煌ǹ刂葡———————————————————————————————————~.第一章概述背景与动机大而且复杂,许多工程师在开发这些应用时面临着巨大的困难——如何实现低笙二兰塑堡本章首先对传统的系统建模方法作了简要的分析,指出传统形式方法在分析与设计阶段存在巨大的鸿沟。接着探讨了基于治鲈谙低撤治龇矫的优越性。另外本章也对低车奈侍庑枨蠼辛思蛞5姆治觥W詈笪章提出本文的研究贡献和论文组织方式。统【俊⒔煌ǚ抡俊⒒魅丝刂俊⑼缂业缦低聊縡,】嘲等。由于这些系统庞成本和高可靠性。这儿有个令人感兴趣的研究议题就是采用分布式对象结构来设计和实现这些应用,如取是由组织制订的开放的分布式对象计算构架标准,它与腃/标准和腏标准构成了分布式对象计算领域的主流。且恢帧叭砑芟摺保盟芄环奖愕厥迪植煌绦之间的通信,无需考虑这些程序的设计方式、编程语言和运行平台。规范中关键的概念主要有对象管理体系韵笄肭蟠鞳,接口定义语言和獻提供了分布式对象相互通信的方法标准,规定了组件和应用程序如何建立在一个分布的有组织的体系结构,依据其标准构建复杂的分布对象应用。但是基于τ糜兴煌T诙郺系统中,应用程序分布于网络中的不同计算机上。当贫侥勘杲诘闶保嵝陨淼程序、数据和状态一起移动,这是与~确植际郊扑憬饩龇桨傅闹要区别。不管怎样,分布式系统处理不仅庞大而且复杂。为了处理这些系统内带的复杂性,设计者和开发者可以采用形式分析方法对系统进行描述和分析。目前形式化分析主要有两种:一是采用形式化语言描述和分析系统,一是采用自然语言来描述系统。从年以来,研究者集中对典型、复杂系统进行形式化建模,相应开发出一系列形式化语言和工具代替自然语言描述。虽然这些形式化方法已经广泛地应用于描述和验证复杂的软件系统。但是减少形式化模型与系统实现之间差距仍是一个巨大的挑战。主要表现在需求分析阶段,描述系
系统。它们是一种很有用的工具用于描述和研究信息处理系统·些特性,如并统和系统预期的属性如行为属性等中采用了形式化方法,但系统设计阶段和校验阶段,采用形式化方法仍然很少。这不仅仅是由于形式化方法在技术上的