基于Modelica的系統(tǒng)測試性建模與分析方法研究.pdf

1、可測性是系統(tǒng)自身的一種特性,它體現(xiàn)了系統(tǒng)是否能夠準確、及時的檢測到其自身工作狀態(tài)的能力,可測性的好壞直接決定了獲取系統(tǒng)測試性信息的難易程度。隨著系統(tǒng)復雜性和集成度的不斷提高,系統(tǒng)測試和診斷的難度越來越大,然而人們對系統(tǒng)的測試性要求卻越來越高。
　　測試性建模與分析方法可以定量的評估一個系統(tǒng)的可測性指標,指導研發(fā)人員不斷的改進可測性設計方案,提高產品的測試性水平,縮短產品的研發(fā)周期,節(jié)省產品的研發(fā)成本,幫助維修人員制定故障診斷和隔離

2、策略,因此,研究測試性建模與分析方法具有重要的意義。本文將系統(tǒng)測試性指標分配、測試性建模、測試性分析、故障診斷策略優(yōu)化結合起來構成測試性評價體系,對其進行深入的理論研究,在此基礎上,開發(fā)系統(tǒng)測試性建模與分析軟件。本文主要研究內容如下:
　　首先,研究多信號流模型的建模原理、組成元素、數學模型以及建模步驟;研究基于多信號流模型的測試性分析方法;分析多信號流模型的優(yōu)缺點,針對多信號流模型不能處理故障與測試之間不確定性關系的缺點,提出基

3、于貝葉斯網絡的測試性建模與分析方法。
　　其次,研究系統(tǒng)測試性指標分配的原理、數學模型和經典算法,分析比較不同算法的優(yōu)缺點;研究故障診斷策略優(yōu)化算法,在測試性分析的基礎上,將故障率和測試費用綜合起來作為衡量標準,利用矩陣分割算法來優(yōu)化故障診斷和故障隔離的測試序列。
　　然后,研究Modelica多領域建模語言的語法及編譯原理,對Modelica語言的建模機理進行改進,使其既能建立功能模型,又能建立測試性模型,在此基礎上開發(fā)M