Modelica語(yǔ)言導(dǎo)論——技術(shù)物理系統(tǒng)建模與仿真
定 價(jià)：56.9 元
叢書(shū)名：工程物理系統(tǒng)建模理論與方法
- 作者：[瑞典] 彼得·弗里茲森（Peter Fritzson） 著
- 出版時(shí)間：2020/10/1
- ISBN：9787568064279
- 出 版 社：華中科技大學(xué)出版社
- 中圖法分類(lèi)：O4-39
- 頁(yè)碼：226
- 紙張：膠版紙
- 版次：1
- 開(kāi)本：16開(kāi)
本書(shū)主要圍繞技術(shù)物理系統(tǒng)建模與仿真，介紹工業(yè)界應(yīng)用廣泛的多領(lǐng)域物理建模語(yǔ)言Modelica，覆蓋建模與仿真基本概念以及面向?qū)ο蠛突诮M件的建�；A(chǔ)。本書(shū)目標(biāo)如下：成為關(guān)于建模和仿真導(dǎo)論課程的實(shí)用教材；讓先前不具備建模、仿真和面向?qū)ο蟊尘暗淖x者容易學(xué)習(xí)；對(duì)物理建模、面向?qū)ο蠼：突诮M件建模進(jìn)行基本介紹；演示一些精選的應(yīng)用領(lǐng)域的建模實(shí)例。本書(shū)是Modelica語(yǔ)言奠基者之一的PETER FRITZSON教授撰寫(xiě)的建模仿真與Modelica入門(mén)基礎(chǔ)教程。
Modelica語(yǔ)言已經(jīng)成為多領(lǐng)域系統(tǒng)建模標(biāo)準(zhǔn)語(yǔ)言，是復(fù)雜系統(tǒng)“智能設(shè)計(jì)”時(shí)代系統(tǒng)建模的支撐標(biāo)準(zhǔn)，已經(jīng)廣泛應(yīng)用于航天、航空、車(chē)輛、能源、船舶、兵器等工業(yè)領(lǐng)域，國(guó)內(nèi)工程界也已經(jīng)廣泛接受Modelica標(biāo)準(zhǔn)。國(guó)外已經(jīng)出版了幾本Modelica專(zhuān)著，原書(shū)作者PETER FRITZSON是Modelica語(yǔ)言奠基者之一，本書(shū)是介紹Modelica入門(mén)為經(jīng)典的著作，由于Modelica在國(guó)內(nèi)已經(jīng)廣泛推廣，對(duì)于本書(shū)有著廣泛的需求。譯者團(tuán)隊(duì)是國(guó)內(nèi)從事Modelica研究、工具開(kāi)發(fā)及工程應(yīng)用實(shí)力強(qiáng)、影響大的團(tuán)隊(duì)。
原書(shū)的前言
Preface
本書(shū)講解建模和仿真的基本概念，為熟悉基本編程概念的讀者介紹Modelica語(yǔ)言。同時(shí)針對(duì)初學(xué)者，對(duì)建模和仿真的概念以及面向?qū)ο蠛突诮M件的建模基礎(chǔ)做基本介紹。本書(shū)有四個(gè)目標(biāo)：
成為建模與仿真導(dǎo)論課程的實(shí)用教材。
適合建模、仿真、面向?qū)ο蟮某鯇W(xué)者。
對(duì)物理建模、面向?qū)ο蠼：突诮M件建模進(jìn)行基本介紹。
演示精心選擇的應(yīng)用領(lǐng)域建模實(shí)例。
本書(shū)包含各種應(yīng)用領(lǐng)域的建模實(shí)例，也包含跨越多領(lǐng)域的建模實(shí)例。書(shū)中的全部實(shí)例和練習(xí)都能在電子自學(xué)材料DrModelica中找到 。DrModelica的內(nèi)容基于本書(shū)以及內(nèi)容更豐富的《Principles of Object-Oriented Modeling of Simulation with Modelica 2.1》（Fritzson，2004）。DrModelica指導(dǎo)讀者逐步從易到難地進(jìn)行實(shí)例的學(xué)習(xí)和練習(xí)。部分DrModelica教學(xué)材料的內(nèi)容可以免費(fèi)從網(wǎng)站www.openmodelica.org下載，網(wǎng)站上還有本書(shū)的其他資料。
Peter Fritzson
譯者序：
1997年Modelica規(guī)范1.0發(fā)布，是數(shù)字化技術(shù)發(fā)展史上的里程碑事件，標(biāo)志著建模仿真從專(zhuān)業(yè)級(jí)、部件級(jí)進(jìn)入了跨學(xué)科、多領(lǐng)域的系統(tǒng)級(jí)，為多領(lǐng)域物理系統(tǒng)建模奠定了統(tǒng)一的形式表達(dá)。歷經(jīng)20多年發(fā)展，Modelica已經(jīng)廣泛應(yīng)用于航空、航天、車(chē)輛、能源、教育等各行各業(yè)，成為系統(tǒng)級(jí)仿真的事實(shí)國(guó)際標(biāo)準(zhǔn)，法國(guó)達(dá)索、德國(guó)西門(mén)子、美國(guó)ANSYS、美國(guó)ALTAIR、法國(guó)ESI等知名國(guó)際工業(yè)軟件公司紛紛通過(guò)支持Modelica從單專(zhuān)業(yè)、零部件仿真走向全領(lǐng)域、全系統(tǒng)仿真。
早期Modelica規(guī)范只有一百多頁(yè)，但它是面向?qū)ο蠖囝I(lǐng)域物理統(tǒng)一建模技術(shù)幾十年的濃縮。好的規(guī)范就是時(shí)代技術(shù)的濃縮，Modelica跟IC規(guī)范VHDL一樣是這樣的典型。Modelica的發(fā)展早追溯到1967年推出的連續(xù)系統(tǒng)仿真語(yǔ)言CSSL，1978年Hilding Elmqvist在其博士論文中提出了面向?qū)ο蟮奈锢斫ＵZ(yǔ)言雛形Dymola，這是Modelica的核心來(lái)源之一。從20世紀(jì)70年代到90年代，歐洲出現(xiàn)了十多種物理建模語(yǔ)言，1997年歐洲仿真界綜合多種物理建模語(yǔ)言推出了多領(lǐng)域統(tǒng)一建模語(yǔ)言Modelica。Modelica現(xiàn)已成為國(guó)際物理建模事實(shí)標(biāo)準(zhǔn)。
Modelica歸納了機(jī)、電、液、控、熱等各學(xué)科的工程物理統(tǒng)一原理，使得不同學(xué)科可以采用統(tǒng)一的數(shù)學(xué)表達(dá)、統(tǒng)一的模型描述、統(tǒng)一的建模模式來(lái)實(shí)現(xiàn)統(tǒng)一建模與仿真。Modelica綜合了先前多種建模語(yǔ)言的優(yōu)點(diǎn)，支持面向?qū)ο蠼！⒎且蚬愂鍪浇�、多領(lǐng)域統(tǒng)一建模及連續(xù)-離散混合建模，以微分方程、代數(shù)方程和離散方程為數(shù)學(xué)表示形式。
Modelica的內(nèi)涵非常豐富，要全面了解和掌握Modelica，需要從外延和內(nèi)涵兩個(gè)角度把握。從外延講，需要了解系統(tǒng)、建模、仿真的基本概念，了解建模與仿真在產(chǎn)品研制中是怎么應(yīng)用的；從內(nèi)涵講，要了解系統(tǒng)建模的方法，熟悉Modelica語(yǔ)言的基本語(yǔ)法語(yǔ)義和應(yīng)用規(guī)則。本書(shū)從外延和內(nèi)涵這兩個(gè)角度對(duì)于Modelica進(jìn)行了非常好的介紹，特別適宜于作為Modelica的入門(mén)教材。
作者Peter Fritzson教授是Modelica技術(shù)的奠基人之一，長(zhǎng)期擔(dān)任Modelica協(xié)會(huì)副主席，是Modelica規(guī)范3.0版本的主要撰稿人，創(chuàng)立了開(kāi)源Modelica聯(lián)盟，主持開(kāi)發(fā)了OpenModelica系列軟件，近二十多年來(lái)一直致力于Modelica技術(shù)的發(fā)展與推廣。本書(shū)是作者另一本Modelica百科全書(shū)式專(zhuān)著《Principles of Object-Oriented Modeling of Simulation with Modelica 3.3》的入門(mén)版，針對(duì)初學(xué)者系統(tǒng)闡述了建模仿真的基本概念、應(yīng)用場(chǎng)景和Modelica基本知識(shí)及應(yīng)用案例。
本人自2001年起一直致力于Modelica技術(shù)研究、產(chǎn)品開(kāi)發(fā)及工程應(yīng)用，是國(guó)內(nèi)modelica研究第1批拓荒者。新世紀(jì)初初識(shí)Modelica，即認(rèn)為Modelica為工程世界構(gòu)筑了一個(gè)模型表達(dá)與互聯(lián)的基礎(chǔ)，是中國(guó)工業(yè)系統(tǒng)設(shè)計(jì)軟件創(chuàng)新發(fā)展的歷史機(jī)遇，前景廣闊。擁有自主的Modelica編譯器、分析器和求解器是中國(guó)發(fā)展自主可控的Modelica技術(shù)體系的前提，為此作為中國(guó)Modelica技術(shù)研究團(tuán)隊(duì)主要成員，自2001年起開(kāi)展了7年技術(shù)研究，并于2008年作為主要?jiǎng)?chuàng)始人之一發(fā)起成立了蘇州同元軟控信息技術(shù)有限公司，2009年同元軟控推出完全自主的系統(tǒng)建模仿真軟件MWorks，并先后應(yīng)用于大飛機(jī)、航空發(fā)動(dòng)機(jī)、空間站、嫦娥工程、火星探測(cè)、大型運(yùn)載火箭、核能動(dòng)力等重大型號(hào)工程。目前MWorks已成為國(guó)際六大Modelica技術(shù)平臺(tái)之一，中國(guó)籍此實(shí)現(xiàn)了Modelica技術(shù)的自主可控。
本書(shū)英文原版出版較早，當(dāng)時(shí)Modelica規(guī)范主要版本為3.2，目前Modelica規(guī)范新版本為3.4，本書(shū)主要介紹Modelica基礎(chǔ)知識(shí)，Modelica規(guī)范從3.2到3.4，這些基礎(chǔ)知識(shí)沒(méi)有變化，所以本書(shū)仍是Modelica入門(mén)的合適教材。讀者如果想要更深入學(xué)習(xí)Modelica，可以直接閱讀Modelica規(guī)范3.4（Modelica官網(wǎng)可下載）或參閱Peter Fritzson教授另一專(zhuān)著《Principles of Object-Oriented Modeling of Simulation with Modelica 3.3》。
本書(shū)示例使用的Modelica工具環(huán)境是OpenModelica和OMNotebook，所有示例都可在上面運(yùn)行，同時(shí)也可以下載蘇州同元軟控信息技術(shù)有限公司出品的系統(tǒng)建模仿真軟件MWorks.Sysplorer，作為本書(shū)案例的實(shí)操環(huán)境。
本書(shū)翻譯是多人合作努力的成果，周凡利負(fù)責(zé)全書(shū)翻譯統(tǒng)籌策劃，早期劉煒提供了本書(shū)的初譯稿，黃堃進(jìn)行了初次校對(duì)，其后組織蘇州同元軟控信息技術(shù)有限公司周斌、劉志會(huì)、張彤暉、周王睿彬、楊勇杰等同仁和中國(guó)運(yùn)載火箭技術(shù)研究院唐俊杰博士對(duì)全稿進(jìn)行了重譯再校，其中前言、致謝和第1章由周斌負(fù)責(zé)，第2章由唐俊杰和劉志會(huì)負(fù)責(zé)，第3章由劉志會(huì)負(fù)責(zé)，第4章由唐俊杰負(fù)責(zé)，第5章由張彤暉負(fù)責(zé)，附錄A由周凡利負(fù)責(zé)，附錄B、C由周王睿彬負(fù)責(zé)，附錄D由楊勇杰負(fù)責(zé)，全書(shū)圖表由唐俊杰負(fù)責(zé)，唐俊杰和周凡利對(duì)全書(shū)進(jìn)行了精校。在此對(duì)參與本書(shū)翻譯和校對(duì)的所有人員表示衷心感謝。特別感謝華中科技大學(xué)出版社編輯對(duì)于本書(shū)翻譯出版的精心指導(dǎo)。
Modelica被譽(yù)為工程師的JAVA，作為與C\\C++\\FORTRAN\\JAVA\\VHDL-AMS\\Verilog并存的完備語(yǔ)言，是基于模型的系統(tǒng)工程、數(shù)字孿生及數(shù)字工程生態(tài)重要的使能技術(shù)對(duì)于當(dāng)下中國(guó)工業(yè)的數(shù)字化轉(zhuǎn)型與工業(yè)軟件的發(fā)展具有特別意義。Modelica先進(jìn)技術(shù)方法與中國(guó)龐大的工程需求相結(jié)合，必將推動(dòng)中國(guó)工業(yè)系統(tǒng)軟件及生態(tài)的發(fā)展壯大。，
后敬請(qǐng)各位專(zhuān)家、同仁、讀者不吝指正。
周凡利 博士
Peter Fritzson is Professor since 1995 and research director of the Programming Environment Laboratory (PELAB), at Link？ping University. He is also director of the Open Source Modelica Consortium (OSMC), director of the MODPROD center for model-based product development, and vice chairman of the Modelica Association, organizations he helped to establish. During 1999-2007 he served as chairman of the Scandinavian Simulation Society, and secretary of the European simulation organization, EuroSim. He received his M.Sc. in engineering 1975 and PhD 1984 in computer science from Link？ping University. He was project leader at Sun MicroSystems, California, 1985-86, and visiting professor at University of Queensland, Australia, 2007-2008. Prof. Fritzson's current research interests is in software engineering, especially programming languages, high level specification and modeling languages, programming and debugging tools and environments, parallel and multi-core computing, compilers and compiler generators (e.g. RML). During recent years he has put special emphasis on tools and languages for object-oriented modeling and simulation, and is one of the founding fathers of the Modelica language. He is currently leading the OpenModelica open source effort.
目 錄
Table of Contents
第1章 概論 1
1.1 系統(tǒng)和試驗(yàn) 2
1.1.1 自然系統(tǒng)和人工系統(tǒng) 3
1.1.2 試驗(yàn) 5
1.2 模型的概念 6
1.3 仿真 7
1.3.1 仿真的必要性 8
1.3.2 仿真的不足 9
1.4 創(chuàng)建模型 10
1.5 分析模型 11
1.5.1 敏感度分析 11
1.5.2 基于模型的診斷 12
1.5.3 模型驗(yàn)證與確認(rèn) 12
1.6 數(shù)學(xué)模型分類(lèi) 13
1.6.1 方程分類(lèi) 14
1.6.2 動(dòng)態(tài)模型VS靜態(tài)模型 14
1.6.3 連續(xù)時(shí)間模型VS離散時(shí)間模型 16
1.6.4 定量模型VS定性模型 17
1.7 產(chǎn)品設(shè)計(jì)運(yùn)用建模和仿真 18
1.8 系統(tǒng)模型實(shí)例 20
1.9 總結(jié) 25
1.10 參考文獻(xiàn) 25
第2章 Modelica簡(jiǎn)介 26
2.1 Modelica入門(mén) 27
2.1.1 變量和預(yù)定義類(lèi)型 32
2.1.2 注釋 34
2.1.3 常量 35
2.1.4 可變性 36
2.1.5 默認(rèn)初始值 36
2.2 面向?qū)ο蟮臄?shù)學(xué)建模 37
2.3 類(lèi)和實(shí)例 38
2.3.1 創(chuàng)建實(shí)例 39
2.3.2 初始化 41
2.3.3 特化類(lèi) 42
2.3.4 基于變型的類(lèi)重用 43
2.3.5 內(nèi)置類(lèi)型和屬性 44
2.4 繼承 45
2.5 泛型類(lèi) 46
2.5.1 以實(shí)例作為類(lèi)參數(shù) 46
2.5.2 以類(lèi)型作為類(lèi)參數(shù) 48
2.6 方程 49
2.6.1 重復(fù)的方程結(jié)構(gòu) 51
2.6.2 偏微分方程 52
2.7 非因果物理建模 53
2.7.1 物理建模VS面向框圖建模 53
2.8 Modelica組件化模型 55
2.8.1 組件 56
2.8.2 連接圖 56
2.8.3 連接器和連接器類(lèi) 58
2.8.4 連接 59
2.8.5 Inner和Outer定義隱式連接 60
2.8.6 可擴(kuò)展連接器與信息總線 61
2.8.7 對(duì)流連接器 62
2.9 抽象類(lèi) 63
2.9.1 抽象類(lèi)重用 64
2.10 組件庫(kù)設(shè)計(jì)和應(yīng)用 66
2.11 示例：電子組件庫(kù) 66
2.11.1 電阻 66
2.11.2 電容 66
2.11.3 電感 67
2.11.4 電壓源 68
2.11.5 接地 69
2.12 簡(jiǎn)單電路模型 69
2.13 數(shù)組 71
2.14 算法結(jié)構(gòu) 74
2.14.1 算法區(qū)和賦值語(yǔ)句 74
2.14.2 語(yǔ)句 75
2.14.3 函數(shù) 76
2.14.4 運(yùn)算符重載和復(fù)數(shù) 78
2.14.5 外部函數(shù) 81
2.14.6 函數(shù)化的算法 82
2.15 離散事件和混合建模 83
2.16 包 87
2.17 注解 89
2.18 命名規(guī)范 90
2.19 Modelica標(biāo)準(zhǔn)庫(kù) 91
2.20 Modelica實(shí)現(xiàn)和執(zhí)行 93
2.20.1 手工編譯簡(jiǎn)單電路模型 95
2.20.2 狀態(tài)空間轉(zhuǎn)化 97
2.20.3 求解方法 99
2.21 發(fā)展歷程 102
2.22 總結(jié) 106
2.23 文獻(xiàn) 106
2.24 練習(xí) 108
第3章 類(lèi)和繼承 112
3.1 類(lèi)設(shè)計(jì)者和用戶之間的約定 112
3.2 類(lèi)示例 113
3.3 變量 114
3.3.1 變量名重復(fù) 115
3.3.2 變量名和類(lèi)型名重復(fù) 115
3.3.3 變量初始化 116
3.4 方程即行為 116
3.5 訪問(wèn)控制 118
3.6 登陸月球示例仿真 119
3.7 繼承 122
3.7.1 方程繼承 123
3.7.2 多重繼承 124
3.7.3 聲明元素處理和用前聲明 126
3.7.4 extends語(yǔ)句聲明順序 127
3.7.5 MoonLanding繼承示例 127
3.8 總結(jié) 129
3.9 文獻(xiàn) 129
第4章 系統(tǒng)建模方法 130
4.1 創(chuàng)建系統(tǒng)模型 130
4.1.1 演繹建模法VS歸納建模法 131
4.1.2 傳統(tǒng)方法 132
4.1.3 面向?qū)ο?基于組件方法 133
4.1.4 自上而下VS自下而上建模 134
4.1.5 模型簡(jiǎn)化 135
4.2 容器系統(tǒng)建模 136
4.2.1 應(yīng)用傳統(tǒng)方法 136
4.2.2 應(yīng)用面向?qū)ο?基于組件方法 138
4.2.3 連續(xù)PI控制容器系統(tǒng) 139
4.2.4 連續(xù)PID控制容器系統(tǒng) 143
4.2.5 串聯(lián)容器系統(tǒng) 146
4.3 基于預(yù)定義組件的直流電機(jī)TOP-Down建模 147
4.3.1 系統(tǒng)定義 147
4.3.2 系統(tǒng)分解和通信初步設(shè)計(jì) 148
4.3.3 子系統(tǒng)建模 148
4.3.4 子系統(tǒng)組件建模 150
4.3.5 接口和連接定義 151
4.4 接口設(shè)計(jì)-連接器類(lèi) 152
4.5 總結(jié) 153
4.6 文獻(xiàn) 153
第5章 Modelica標(biāo)準(zhǔn)庫(kù) 155
5.1 總結(jié) 162
5.2 文獻(xiàn) 162
附錄A 術(shù)語(yǔ)表 163
附錄B OpenModelica和OMNotebook命令 171
B.1 交互式電子書(shū)OMNotebook 171
B.2 常用命令和示例 174
B.3 完整命令列表 175
B.4 OMSHELL和DYMOLA 184
B4.1 OMShell 184
B4.2 Dymola 腳本 185
文獻(xiàn) 185
附錄C OMNotebook和DrModelica的文本建模 187
C.1 HELLOWORLD練習(xí) 188
C.2 用VanDerPol和DAEExample模型運(yùn)行DRMODELICA 189
C.3 簡(jiǎn)單方程系統(tǒng) 189
C.4 BouncingBall混合建模 190
C.5 采樣混合建模 190
C.6 方程和算法區(qū)域 190
C.7 在電路中添加可連接組件 191
C.8 電路的詳細(xì)建模 192
C.8.1 方程 192
C.8.2 模型實(shí)現(xiàn) 193
C.8.3 搭建電路模型 196
C.8.4 電路仿真 196
附錄D 圖形建模練習(xí) 197
D.1 簡(jiǎn)單直流電機(jī) 197
D.2 具有彈簧和慣量的直流電機(jī) 198
D.3 具有控制器的直流電機(jī) 198
D.4 直流電機(jī)作為發(fā)電機(jī) 199
參考文獻(xiàn) 200
書(shū)單推薦
