軌道交通運營行為動態(tài)測評方法研究.pdf

1、隨著蘇州市地鐵土建工程的逐步推進(jìn)，人們對城市軌道交通運營軟件的可靠性、可用性以及安全性等可信性質(zhì)寄予了很高的期望與要求。為了解決城市軌道交通運營軟件日益突出的可信性問題，僅對軟件系統(tǒng)做出傳統(tǒng)質(zhì)量保證（如測試、驗證）是不夠的，更需要對系統(tǒng)交互行為進(jìn)行有效的分析與態(tài)勢預(yù)測。
　　 軌道交通運營軟件有別于傳統(tǒng)分布式軟件，它呈現(xiàn)出松散聚合、規(guī)模龐大、行為復(fù)雜等特點。本文將軟件行為作為切入點，對軌道交通運營軟件行為的軌跡分析以及意圖預(yù)測逐

2、步展開了研究，建立一種以軟件行為可信為核心的軟件行為動態(tài)測評方法。
　　 本文將系統(tǒng)監(jiān)測到的狀態(tài)變化映射為帶有語義的事件序列，利用最精簡主要序列提取算法對行為序列進(jìn)行提煉精簡，從被消減掉的重復(fù)子序列挖掘有用信息，產(chǎn)生能體現(xiàn)軟件行為特征的行為序列，通過序列對比分析行為的可信性，用HMM對交互行為狀態(tài)進(jìn)行預(yù)測，此為大粒度行為可信性動態(tài)測評研究：同時以交互事件為切入點，關(guān)注事件的參數(shù)值以及經(jīng)驗知識等詳細(xì)信息，用MEBN工具建立具體事態(tài)

3、的貝葉斯網(wǎng)(SSBN)來分析交互行為的復(fù)雜過程及效應(yīng)，此為小粒度行為可信性動態(tài)測評研究。本文采用小粒度動態(tài)測評分析方法處理復(fù)雜情形下群體交互行為可信性分析，采用大粒度行為動態(tài)測評分析通用情形。
　　 本文的主要工作包括：
　　 (1)研究軌道交通運營軟件行為的基本特點。明確各智能子系統(tǒng)的信息需求以及它們之間的關(guān)系，為打破子系統(tǒng)各自為營的封閉狀態(tài)，發(fā)揮整體優(yōu)勢，實現(xiàn)一個高效運營的分布式集成化的城市軌道交通運營系統(tǒng)提供理論支

4、持。
　　 (2)研究一套軟件行為描述方法，將監(jiān)測系統(tǒng)捕獲到的可信相關(guān)數(shù)據(jù)生成能表征軟件行為的信息，針對軟件實體交互產(chǎn)生的重復(fù)子序列的問題，提出最精簡主要序列提取算法，從被消除的重復(fù)子蹤跡中挖掘有用序列，以最簡潔而有廣泛代表性的格式存儲軟件行為信息。
　　 (3)給出一種復(fù)雜的有標(biāo)記的大粒度軟件行為動態(tài)測評方法。使用序列兩兩比較算法分析行為的可信性。基于EM的數(shù)據(jù)重構(gòu)方法訓(xùn)練樣本數(shù)據(jù)，用HMM預(yù)測軟件行為安全類別。給出仿

5、真實驗，驗證此方法具有一定的優(yōu)勢。
　　 (4)針對多實體貝葉斯網(wǎng)MEBN在表示不確定性關(guān)系上的優(yōu)勢，本文給出一種復(fù)雜情形小粒度行為動態(tài)測評方法。此方法有效利用MEBN的一階邏輯語義化表示能力和概率推理能力，采用片斷集有效地描述和分析多個軟件實體交互產(chǎn)生的復(fù)雜行為，通過仿真實驗，驗證了小粒度行為軌跡動態(tài)測評的可行性和有效性。
　　 基于軟件行為可信性展開軟件行為動態(tài)測評方法的研究，不僅能推動動態(tài)可信評測理論的發(fā)展，對技術(shù)