本文關(guān)鍵詞：多Agent協(xié)同系統(tǒng)的Pi演算建模方法　出處：《西安電子科技大學(xué)學(xué)報》2014年06期 　論文類型：期刊論文

  更多相關(guān)文章： 多Agent協(xié)同系統(tǒng) Pi演算 家庭物聯(lián)網(wǎng)

【摘要】：MAS因自治性、反應(yīng)性等特性適用于復(fù)雜的分布式系統(tǒng),為了分析、模擬Agent的并發(fā)交互過程并設(shè)計出合理的MAS,應(yīng)用了形式化方法 Pi演算進(jìn)行建模.首先介紹了多Agent協(xié)同系統(tǒng)中Agent之間的廣播、中介和代理3種通信模型,然后給出了Agent之間交互模式的Pi演算建模方法.再以家庭物聯(lián)網(wǎng)系統(tǒng)作為多Agent協(xié)作實例,應(yīng)用Pi演算對其建模,模擬多個Agent協(xié)作過程中的通信.最后,采用移動工作臺對模型的語義進(jìn)行了驗證,表明了Pi演算對MAS建模的適用性.
[Abstract]:MAS is suitable for complex distributed systems because of its autonomy and reactivity. In order to analyze, the concurrent interaction process of Agent is simulated and reasonable MAS is designed. The formal method Pi calculus is used to model the model. Firstly, three communication models of broadcast, intermediary and agent between Agent in multi-#en0# cooperative system are introduced. Then we give the Pi calculus modeling method of the interaction pattern between Agent, then take the home Internet of things system as a multi-#en1# collaboration example, and use Pi calculus to model it. Finally, the semantics of the model is verified by moving workbench, which shows the applicability of Pi calculus to MAS modeling.
【作者單位】： 西安電子科技大學(xué)計算機學(xué)院;
【基金】：國家自然科學(xué)基金資助項目(61172147) 中央高�；究蒲袠I(yè)務(wù)費專項資金資助項目(K5051303005,K5051303015)
【分類號】：TP391.44;TN929.5;TP18
【正文快照】： 近年來,隨著多Agent系統(tǒng)(Multi-Agent System,MAS)越來越廣泛地應(yīng)用,對Agent和MAS的研究成為了當(dāng)今計算機科學(xué)技術(shù)領(lǐng)域、信息工程領(lǐng)域和網(wǎng)絡(luò)通信領(lǐng)域的熱點研究方向之一.MAS具有降低分布式系統(tǒng)復(fù)雜性、功能模塊化、易于擴展的優(yōu)勢,因此適用于復(fù)雜的分布式系統(tǒng).而Agent之間的交

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 鮑U喚，

本文編號：1417324