【摘 要】
:
在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义
【机 构】
:
南京大学软件新技术国家重点实验室,南京,210093
【出 处】
:
第一届Agent理论与应用学术会议
论文部分内容阅读
在MAS的分析与设计中,Agent间的交互协议设计是极其重要的内容.特别是交互协议的正确性、有效性和可验证性尤为关键,因此形式化描述和验证多Agent的交互协议非常有必要.定义了用于描述多Agent基于对话的交互协议的一个演算,该演算是基于进程代数的并且独立于Agent的推理过程.该机制可以实现异构多Agent系统的交互协议验证.通过Agent会话环境的状态和演算的形式语义,可以验证会话协议的一些属性,例如:终止性、是否死锁等.该方法可以有效地解决交互协议的语义验证问题,因为协议的状态和Agent的行为由协议本身定义,并且可以避免基于状态搜索的状态空间爆炸问题。
其他文献
每次改革都是一场革命.国务院关于省以下食品药品监管体制改革方案出台后,我们紧紧抓住统一思想提士气、安全监管聚人气、提升能力强底气这三个关键环节,化挑战为机遇,变压力
FHF-A核级防火阀(规格484×484×550)是北京汉威机电有限公司为大亚湾核电厂工程项目研制的专用设备.采用有限元法对此设备进行了抗震应力分析,经评定证明该设备在所承受载荷
用响应谱分析方法对高通量工程试验堆除气加压系统105型加压泵进行抗震分析,根据(GB/T16702-1996)的要求进行应力评定.并采用等效静力法对加压泵电机地脚螺栓进行校核,结果满
本文利用原子力显微镜、失重法、电偶电流测量等手段研究了咪唑啉酰胺对电偶腐蚀的缓蚀作用以及电极表面过剩电荷对其缓蚀性能的影响。研究结果表明,咪唑啉酰胺对电偶腐蚀的
本文对丙烯酸均聚物及共聚物缓蚀阻垢剂进行了研究。文章对近年来丙烯酸类聚合物缓蚀阻垢剂的研究进行了综述,介绍了丙烯酸均聚物、共聚物及复配物的的研究进展。
本文用失重法和动电位极化曲线法研究了在0.2mol/LHCl介质中,钼酸钠、钨酸钠对冷轧钢片的吸附及其缓蚀作用.试验结果表明,在酸性溶液中,钼酸盐、钨酸盐均对冷轧钢片具有较好
著名音乐家卡巴列夫斯基说:“激发孩子对音乐的兴趣,是把音乐美的魅力传递给他们的先决条件,培养和激发学生学习音乐的兴趣,必然成为他们热爱生活、陶冶情操的助长剂。”也有
本文利用液中干燥法,分别以生物可降解材料聚合乳酸(PLA)、乳酸/羟基乙酸共聚物(PLA/PGA)和二者的混合物为控释包敷材料,成功制备了咪唑啉缓蚀剂缓释微球.通过浆法和紫外吸收
提供了一种简便的方法,把建模、仿真和实现集成在NetCon系统中,提高了过程控制系统的开发效率.首先在Simulink中建立仿真模型,然后使用NetCon系统模板快速生成可执行代码,通
在冷轧钢中常见之开放断面构件受到扭力作用时其分析应考虑纯扭曲剪应力(puretorsionalshearstress)与翘曲应力(warpingstress)之产生,而翘曲应力则包括翘曲剪应力(warpingsh