基于Agent的智能分布式實(shí)時(shí)監(jiān)控系統(tǒng)通信機(jī)制的形式化研究.pdf

1、碩士學(xué)位論文基于Agent的智能分布式實(shí)時(shí)監(jiān)控系統(tǒng)通信機(jī)制的形式化研究Theformalstudyofintelligentdistributedreal—timemonitoringsystemcommumcationmechanismsbased0nAgent一●一作者姓名：拯麼壓學(xué)科、專(zhuān)業(yè)：讓箕扭邀鮭生理途學(xué)指導(dǎo)口丐：教師：完成日期：0210800塑瞳齷201304蘭州交通大學(xué)LanzhouJiaotongUniversity蘭州

2、交通大學(xué)碩士學(xué)位論文摘要基于Agent的形式化理論研究是近年來(lái)形式化理論研究的前沿核心技術(shù)之一。列車(chē)控制系統(tǒng)是現(xiàn)今分布式實(shí)時(shí)監(jiān)控系統(tǒng)中發(fā)展迅猛的應(yīng)用之一。將Agent理論應(yīng)用到列車(chē)’控制系統(tǒng)的形式化研究當(dāng)中是一次大膽的嘗試。EventB是S0處在發(fā)展前沿的形式化建模仿真語(yǔ)言，Rodin是它的建模仿真平臺(tái)。Event—B通過(guò)對(duì)模型中Machine的逐層精化，對(duì)其中事件的不變式進(jìn)行計(jì)算模擬，可以達(dá)到真實(shí)反映實(shí)際系統(tǒng)動(dòng)態(tài)行為的效果；通過(guò)對(duì)模型

3、中Context的逐步擴(kuò)展，可以使模擬出來(lái)的環(huán)境更接近實(shí)際系統(tǒng)的環(huán)境；同時(shí)，Event—B具備了一般形式化理論所具有的完善的數(shù)學(xué)理論體系，能夠用數(shù)學(xué)的方法來(lái)表述和計(jì)算系統(tǒng)運(yùn)行過(guò)程中的各種狀態(tài)，能夠檢驗(yàn)系統(tǒng)的邏輯正確性和完備性，對(duì)于系統(tǒng)的形式化建模仿真能起到有益的作用。智能Agent既要能完成自身的局部問(wèn)題求解，又要能夠通過(guò)協(xié)作求解全局問(wèn)題，Agent之間相互協(xié)作產(chǎn)生不同的行為，從而才能適應(yīng)不斷變化的環(huán)境。每個(gè)Agent根據(jù)當(dāng)前的狀態(tài)和感

4、知的環(huán)境信息及數(shù)據(jù)做出決策，決定自己的行為，同時(shí)，在多個(gè)Agent之間通過(guò)協(xié)作來(lái)解決當(dāng)前的全局問(wèn)題，完成共同的任務(wù)。智能Agent必須要具備自主執(zhí)行簡(jiǎn)單任務(wù)的能力，多Agent系統(tǒng)則是要提供一種軟件環(huán)境，在所提供的環(huán)境下，多個(gè)Agent之間通過(guò)協(xié)商、協(xié)調(diào)和談判來(lái)實(shí)現(xiàn)協(xié)同作業(yè)，從而完成共同的任務(wù)，實(shí)現(xiàn)一個(gè)特定的應(yīng)用目標(biāo)，許多實(shí)時(shí)系統(tǒng)的實(shí)現(xiàn)都得益于Agent具有的靈活性和反應(yīng)特性。論文首先描述了建模的相關(guān)概念與方法，介紹了EventB的概念

5、及基本知識(shí)，并介紹了智能Agent理論的基本原理，然后描述了EventB語(yǔ)言在其Rodin平臺(tái)下進(jìn)行仿真建模的基本原理及模型。利用EventB語(yǔ)言和智能Agent理論對(duì)列車(chē)控制系統(tǒng)當(dāng)中列車(chē)注冊(cè)與啟動(dòng)過(guò)程中車(chē)載設(shè)備與地面設(shè)施的通信交互問(wèn)題進(jìn)行形式化建模仿真研究，分析我國(guó)CTCS4級(jí)列車(chē)控制系統(tǒng)中對(duì)列車(chē)注冊(cè)與啟動(dòng)過(guò)程中車(chē)載設(shè)備與地面設(shè)施的通信交互過(guò)程設(shè)計(jì)的合理性和邏輯正確性。另外，還利用EventB語(yǔ)言和智能Agent理論對(duì)列車(chē)控制系統(tǒng)當(dāng)中