診斷Modelica模型關(guān)鍵技術(shù)的研究.pdf

1、隨著計算機(jī)技術(shù)的飛速發(fā)展和建模仿真在現(xiàn)代工業(yè)工程中的廣泛應(yīng)用,基于Modelica語言的多領(lǐng)域統(tǒng)一建模技術(shù)在工程建模仿真方面取得了快速的發(fā)展和長足的進(jìn)步,這也大大推動了建模仿真技術(shù)在現(xiàn)代工程領(lǐng)域中的進(jìn)步和創(chuàng)新。然而當(dāng)航天、航空、機(jī)器人等高新技術(shù)產(chǎn)業(yè)飛速發(fā)展,科學(xué)探索逐漸深入的同時,迫使眾多設(shè)備和裝置規(guī)模日趨擴(kuò)大,復(fù)雜性迅速增加,導(dǎo)致對系統(tǒng)進(jìn)行建模的復(fù)雜度、難度也隨之增加,故而建模和維護(hù)所需的人力、物力、財力的成本也隨之增加。因此,對模型

2、的可靠性、可維護(hù)性的需求越來越大。就此問題,本文基于多領(lǐng)域建模語言Modelica,以探索實現(xiàn)更加完善的模型診斷機(jī)制為目的,圍繞Modelcia模型的可靠性約束,針對多領(lǐng)域模型編譯過程中若干關(guān)鍵機(jī)制進(jìn)行深入研究,本文所做的研究工作如下:
　　首先,詳細(xì)分析了模型診斷的要素以及其基本流程。通過該基本流程以及Modelica語言規(guī)范對Modelica模型的若干約束和限制方法,歸納了基于Modelica的模型診斷流程。同時,闡述了與Mo

3、delica模型可靠性約束相關(guān)的兩個關(guān)鍵機(jī)制——平衡模型機(jī)制和單位檢查與推導(dǎo)機(jī)制,并將這些關(guān)鍵機(jī)制應(yīng)用于模型診斷流程。
　　其次,圍繞模型診斷技術(shù)平衡模型機(jī)制進(jìn)行了深入研究。通過對Modelica規(guī)范的深入剖析,對規(guī)范中的約束和限制進(jìn)行了分析,提出一套較為完善的平衡模型的約束條件和驗證方法。并通過示例闡述了其平衡模型的驗證方法。
　　再次,圍繞模型診斷技術(shù)單位檢查與推導(dǎo)機(jī)制進(jìn)行了深入研究。從單位對于物理模型的意義出發(fā),基于國