本文關(guān)鍵詞：診斷Modelica模型關(guān)鍵技術(shù)的研究

  更多相關(guān)文章： 模型診斷 多領(lǐng)域建模 Modelica 平衡模型 單位檢查與推導(dǎo)

【摘要】：隨著計(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ì)模型的可靠性、可維護(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í)，闡述了與Modelica模型可靠性約束相關(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ó)際制單位中的單位運(yùn)算規(guī)則，實(shí)現(xiàn)了對(duì)Modelica單位表達(dá)式的解析和運(yùn)算。并設(shè)計(jì)實(shí)現(xiàn)了單位檢查與推導(dǎo)在模型診斷流程中的邏輯驗(yàn)證算法。 最后，將平衡模型機(jī)制和單位檢查與推導(dǎo)機(jī)制應(yīng)用于多領(lǐng)域統(tǒng)一建模仿真平臺(tái)MWorks上，通過(guò)模型診斷的方式，使MWorks在模型可靠性方面得以提升。
【關(guān)鍵詞】：模型診斷 多領(lǐng)域建模 Modelica 平衡模型 單位檢查與推導(dǎo)
【學(xué)位授予單位】：華中科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2013
【分類號(hào)】：TH165.3
【目錄】：

• 摘要4-5
• Abstract5-9
• 1 緒論9-13
• 1.1 課題來(lái)源9
• 1.2 研究目的和意義9
• 1.3 研究現(xiàn)狀與背景9-12
• 1.4 研究?jī)?nèi)容及本文組織結(jié)構(gòu)12-13
• 2 Modelica 與模型診斷技術(shù)13-22
• 2.1 概述13
• 2.2 基于 Modelica 的模型診斷技術(shù)研究13-19
• 2.3 關(guān)鍵診斷機(jī)制19-21
• 2.4 小結(jié)21-22
• 3 模型診斷中的平衡模型檢查22-32
• 3.1 概述22
• 3.2 局部模型方程變量計(jì)數(shù)22-27
• 3.3 平衡模型分析27-31
• 3.4 小結(jié)31-32
• 4 單位檢查與推導(dǎo)的研究與實(shí)現(xiàn)32-51
• 4.1 概述32
• 4.2 Modelica 中的物理量單位32-36
• 4.3 單位解析36-40
• 4.4 單位運(yùn)算40-43
• 4.5 基于表達(dá)式樹(shù)的單位檢查與推導(dǎo)的實(shí)現(xiàn)43-50
• 4.6 小結(jié)50-51
• 5 總結(jié)與展望51-53
• 5.1 總結(jié)51-52
• 5.2 展望52-53
• 致謝53-54
• 參考文獻(xiàn)54-58
• 附錄 攻讀碩士學(xué)位期間發(fā)表的論文58

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 周鵬,周樹(shù)杰,王創(chuàng)社;面向?qū)ο蠼ＵZ(yǔ)言Modelica開(kāi)發(fā)環(huán)境的設(shè)計(jì)與開(kāi)發(fā)[J];北京石油化工學(xué)院學(xué)報(bào);2005年02期

2 張慧平;戴波;楊薇;;現(xiàn)代控制理論在過(guò)程工業(yè)中的應(yīng)用和發(fā)展[J];北京石油化工學(xué)院學(xué)報(bào);2006年03期

3 廖志偉,孫雅明,葉青華;人工智能技術(shù)在電力系統(tǒng)故障診斷中應(yīng)用[J];電力系統(tǒng)及其自動(dòng)化學(xué)報(bào);2003年06期

4 汪德剛;谷云東;李洪興;;模糊模態(tài)命題邏輯及其廣義重言式[J];電子學(xué)報(bào);2007年02期

5 李占山;姜云飛;;基于模型診斷推理的回顧與展望[J];計(jì)算機(jī)科學(xué);1998年06期

6 浦云明;;一種平衡結(jié)構(gòu)性測(cè)試和功能性測(cè)試的方法[J];計(jì)算機(jī)應(yīng)用;2008年04期

7 徐玉坤;劉淑芬;李兵;;建模語(yǔ)言中的文本表面語(yǔ)法分析方法研究[J];計(jì)算機(jī)應(yīng)用研究;2008年03期

8 蔣俊榮;黃考利;呂曉明;連光耀;;基于混合診斷模型的測(cè)試性建模技術(shù)研究[J];計(jì)算機(jī)測(cè)量與控制;2010年12期

9 薛新法;;計(jì)量管理基礎(chǔ)知識(shí)系列講座 第二講 量和單位[J];中國(guó)計(jì)量;2008年02期

10 常文兵,宋應(yīng)生,宋杰;面向?qū)ο髮哟卧\斷模型的實(shí)現(xiàn)[J];微計(jì)算機(jī)應(yīng)用;1994年03期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 周凡利;工程系統(tǒng)多領(lǐng)域統(tǒng)一模型編譯映射與仿真求解研究[D];華中科技大學(xué);2011年

本文編號(hào)：1128800