【摘 要】
：
Dynamic architecture of multi-agent systems (MAS) is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic ar
【机 构】
：
School of Electronic and Information Engineering, Xi’an Jiaotong University, Xi’an 710049, P. R. Chi
论文部分内容阅读
Dynamic architecture of multi-agent systems (MAS) is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using π-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology. π-calculus describes the belief-desireintention (BDI) model that represents agents mental states and provides many useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of π-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing π-calculus supporting tool,MAS model and some key behaviors properties are analyzed and verified.
其他文献
棉花良种是棉花优质高产的内在因素。建立、健全、完善棉花良种繁育、管理、供种的综合体系,按一定的科学程序,生产、繁育优质种子,对于保持良种的优质、高产特性,使其在棉
目的:观察老年境内动脉狭窄的血压变化情况和其与脑卒中的关系.方法:从本院自2017年1月—2018年收治的老年颈内动脉狭窄患者中选择40例作为观察组,同时选取体检健康者40例作
作者在一个冬大麦(Hordeum vulgare L.)群体中评定了轮回选择的效应。用六个高产冬大麦品种与矮秆品种‘Onice’杂交创造出零轮回(即基础群体C_0)。将其F_1按双列杂交方案(不
6月25日至28日,韩城市档案局党支部开展系列活动庆祝建党98周年.6月25日上午,在党的生日来临之际,市档案局党支部书记唐国红带领局党支部成员一行4人到人民路社区贫困党员高
苏棉3号(原通83—811)系南通市农科所1981年以新棉291与77—369杂交选育而成。1990年4月江苏省品种审定委员会审定通过并命名推广。
Su cotton 3 (formerly 83-811) Depart
目的 :通过对冠心病患者实施个性化健康教育,观察患者自我护理能力的改变情况.方法 :选择2018年1月—2018年4月在我科住院的68例冠心病患者,随机分为实验组和对照组,每组34例
目的:探讨人性化护理在脑梗塞急性期的临床应用价值.方法:选取2015年1月至2016年12月在我院神经内科就诊的120例急性期脑梗塞患者作为研究对象,60例实施人性化护理作为观察组
目的:探讨有创动脉血压监测在超低和极低体重儿中的应用和护理.方法:回顾性分析2014年1月—2015年12月收治的超低体重儿中行有创动脉血压监测16例,评估动脉血压监测情况及并
目的:研究心理护理干预改善住院恶性肿瘤患者心理状况的方法及效果.方法:选择2014年6月—2016年6月医院收治的住院恶性肿瘤患者136例,随机分为观察组和对照组,每组患者68例.
目的：探讨葡萄膜炎并发白内障应用超声乳化加人工晶体植入治疗的效果。方法：以我院2014年9月至2015年9月收治的104例葡萄膜炎并发白内障患者为研究对象，将其随机分为两组，各52例