基于多Agent的信息物理融合系統(tǒng)協(xié)作邏輯研究.pdf

1、信息物理融合系統(tǒng)被廣泛應(yīng)用于交通、醫(yī)療、能源等多個發(fā)展領(lǐng)域。Agent是一種具有智能的實體，其理論和技術(shù)被廣泛應(yīng)用于現(xiàn)代計算機(jī)科學(xué)領(lǐng)域。但是，當(dāng)前存在對于信息物理融合系統(tǒng)的協(xié)作模型不統(tǒng)一、魯棒性不夠強(qiáng)大、驗證方法存在驗證過程不規(guī)范以及系統(tǒng)分析驗證時對性能方面分析不足等問題?；诖耍疚膶⒍郃gent系統(tǒng)應(yīng)用于信息物理融合系統(tǒng)進(jìn)行協(xié)作分析，提出面向信息物理融合系統(tǒng)的多Agent協(xié)作時序邏輯，保證在信息物理融合系統(tǒng)中Agent之間能夠有效、

2、有序地進(jìn)行交互和融合。
　　本文首先提出一種面向信息物理融合系統(tǒng)的多Agent協(xié)作邏輯模型，該模型能夠較好地描述信息物理融合系統(tǒng)的特性、行為和協(xié)作過程，其中形式化模型、語義和語法更加有助于建立信息物理融合系統(tǒng)的邏輯思維，能夠抽象出Agent在信息物理融合系統(tǒng)中的協(xié)作行為和過程；然后提出基于多Agent的信息物理融合系統(tǒng)評估魯棒性值的算法，對該算法進(jìn)行實例驗證與性能分析；最后，形式化描述基于多Agent的信息物理融合系統(tǒng)協(xié)作模型，對