【摘 要】
：
MAS因自治性、反应性等特性适用于复杂的分布式系统,为了分析、模拟Agent的并发交互过程并设计出合理的MAS,应用了形式化方法 Pi演算进行建模.首先介绍了多Agent协同系统中Agent之间的广播、中介和代理3种通信模型,然后给出了Agent之间交互模式的Pi演算建模方法.再以家庭物联网系统作为多Agent协作实例,应用Pi演算对其建模,模拟多个Agent协作过程中的通信.最后,采用移动工作台
论文部分内容阅读
MAS因自治性、反应性等特性适用于复杂的分布式系统,为了分析、模拟Agent的并发交互过程并设计出合理的MAS,应用了形式化方法 Pi演算进行建模.首先介绍了多Agent协同系统中Agent之间的广播、中介和代理3种通信模型,然后给出了Agent之间交互模式的Pi演算建模方法.再以家庭物联网系统作为多Agent协作实例,应用Pi演算对其建模,模拟多个Agent协作过程中的通信.最后,采用移动工作台对模型的语义进行了验证,表明了Pi演算对MAS建模的适用性.
其他文献
保外就医是我国刑事执行过程中的一种刑罚执行的变通方式,它体现了人道主义精神。但由于种种原因,目前保外就医在监狱服刑罪犯中的比例极小,这其中很大程度上与保外就医鉴定
随着社会经济的不断发展,人们对生活品质的要求越来越高,环保意识也开始逐渐增强。近年来,随着工业、畜牧业等的大力发展,环境污染变得严重,威胁着人们的生体健康。空气质量
基于ANSYS软件对某型航空发动机高压压气机第一级转子叶片的振动特性进行了分析研究,建立了叶片的三维有限元模型,采用分块Lanczos法,计算得到了叶片在发动机常用工况转速下
本文对几个与美国innovex公司的Fluxatron系统有关的试验和理论进行探讨,指出了正确应用磁化脉冲能降低刀具和小工件的应力,提高性能。
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
汽车制造水平代表着一个国家的科学技术发展水平,并对推动世界制造业迈向一个新台阶有着非常重要的作用。焊接工艺是汽车生产制造四大工艺之一,在汽车焊接生产线上,真正用于
配电网规划设计不仅会影响城市居民的用电安全性与稳定性,而且对城市周边的工业生产也有一定影响。并且随着现代城市规模的逐渐扩大,配电网规划设计日显重要,因此为了充分发
<正> 方志是我国珍贵的文化遗产和历史宝库,卷帙浩繁,内容丰富,举凡一地疆域、沿革、山川、建置、城镇、乡里、物产、财赋、户口、兵事、民情、风俗、人物、艺文、名胜、古迹、异闻、琐事等等,无不备载。我国自古以来有编纂方志的优良传统,历朝历代绵延不绝。特别是明朝至清朝前期,修志之风大盛,全国各地先后多次普修省志、州志、府志、厅志、县志、乡志、镇志、里志,几至有地有志,代代相传。但可惜的是,自晚清至民国年