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

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

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

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

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

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