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

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

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

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