多Agent系统的形式化开放混合体系结构模型研究

来源 :西安交通大学学报 | 被引量 : 0次 | 上传用户:dracula1103
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了有效建立并统一多Agent系统(MAS)的理论与方法体系,提供MAS的有效设计与实现途径,重点讨论并建立了基于开放环境的MAS形式化开放混合体系结构模型.首先,采用面向Agent的程序设计(AOP)风范,并基于开放环境与组合技术,对Agent的BDI模型进行形式细化处理,引入开放混合结构模式的自治、交互Agent形式定义,在此基础上给出开放环境下的自治、交互MAS的形式化开放混合体系结构模型,并运用扩充了的形式开发语言Z++对其进行描述.该模型具有可扩展性与对开放环境适应性强、便于进行系统描述、易于建立设计到实现间的映射关系等特点 In order to establish and unify the theory and method system of Multi-Agent System (MAS) effectively and provide effective design and realization of MAS, this paper mainly discusses and establishes MAS formalized open hybrid architecture model based on open environment.Firstly, (AOP), and based on the open environment and combination technology, the agent’s BDI model is formally refined, and the definition of open and mixed structure model is introduced into the definition of autonomous and interactive Agent. On the basis of this, Autonomous, interactive MAS formal open hybrid architecture model, and use the extended formal development language Z + + to describe it.The model has the scalability and adaptability to the open environment, easy to describe systematically, easy to establish the design to To achieve the mapping between features
其他文献
企业是一个有机体,在这个有机体中,每个人都互为合作者、互为资源、互为管理者.本文分析了现代企业人力资源管理中存在的问题,提出了现代企业人力资源管理的对策.
参照国外类似对象的标准试验方法 ,设计建造了一个太阳能干燥剂复合式空调试验装置。该装置由空气预处理段、太阳能 /再生空气加热段、待试干燥剂系统、常规制冷机和参数测量
探讨了利用缸盖振动信号诊断内燃机气阀漏气的一种新方法——小波包方法。诊断机理分析和实验研究表明 ,缸盖振动信号中关于气阀漏气的特征信息集中在高频段 ,故选用了小波包
将基因方法应用于网格结点位置的优化中。文中首先简单介绍了基因优化方法中基于达尔文进化论和 Mendel基因理论的基本原理 ,其中包括插索空间表达、三个基因作用器 (选择、
本文报道了基于空间滤波法对变加速运动物体表面运动速度进行实时测量的实验研究.采用CCD线阵同时作为空间滤波器和光电转换器件.由CCD线阵实现的差分栅式空间滤波器不仅消除
在由 3根陶瓷滤管组成的实验装置上 ,利用热线风速仪对脉冲反吹时滤管外瞬态流场进行了测定 ,分析了喷吹压力和脉冲宽度对滤管外流场的影响。结果表明 ,滤管外流场存在严重的
根据可装配的模块机器人及模块化思想 ,建立各个模块的速度、加速度等动力学表达式及相关修正公式 ,采用补偿迭代法来自动生成动力学方程 ,最后以二自由度模块机器人为例得出
实验室与户外跟踪老化研究发现,道路沥青在使用过程中的质量蜕变主要是由于氧化作用[1,2]使得道路沥青中沥青质含量增加,改变了沥青中分散相与连续相的比例,致使沥青的性质发
长期以来 ,高质量的纯类金刚石薄膜的成功制备一直受其巨大内部压应力的阻碍 ,因为这种压应力导致严重的附着问题。厚度大于 50 0nm的类金刚石薄膜中的压应力常使薄膜与基体
给出了桅杆二阶和三阶非线性耦合的模态运动的表达式 ,并用解析法分析了简化的桅杆模型的参数共振 ,最后用数值积分法对一实际的桅杆结构进行了参数共振分析 ,得出了很合理且