本书以知识自动化为宗旨，以机电液控一体化装备系统为对象，从工程物理系统原理入手，全面介绍基于工业知识的表达规范Modelica的知识自动化体系及实现方法；通过在航天、航空、汽车等领域的工程实践，介绍Modelica知识自动化技术体系在物理系统仿真分析、系统方案设计与优化、半实物仿真等方面应用实现。为了便于，本书将配备相关软件系统-Modelica开发环境MWorks，便于读者全面掌握、体验知识自动化方法。

第1章绪论00 1.1数字化设计概述00 1.2计算机科学技术的发展对设计技术的影响00 1.3人工智能与数字化设计技术创新00 1.4功能建模技术综述00 1.5工程物理系统数字化设计的创新发展00 1.5.1工程物理系统多领域统一建模方法00 1.5.2Modelica语言的发展、工程应用与相关工具0 1.5.3多领域统一模型的编译映射技术0 1.5.4多领域物理系统仿真求解技术0 1.6研究意义0 第2章工程物理系统多领域统一建模与Modelica0 2.1概述0 2.2工程系统物理建模0 2.2.1物理组件的行为与结构0 2.2.2面向对象建模0 2.2.3多领域统一建模0 2.2.4陈述式非因果建模0 2.2.5连续离散混合建模0 2.3物理系统多领域统一建模原理0 2.3.1键合图与线性图0 2.3.2多领域统一建模原理0 2.3.3多领域建模语言与工具0 2.4面向对象的统一物理建模语言Modelica0 2.4.1面向对象建模支持0 2.4.2多领域统一建模支持0 2.4.3陈述式非因果建模支持0 2.4.4连续离散混合建模支���0 2.5Modelica模型的编译与求解0 2.6小结0 第3章陈述式仿真模型的相容性分析0 3.1引言0 3.2方程系统表示图及相关概念0 3.2.1图论基本概念0 3.2.2结构关联矩阵0 3.2.3结构关联矩阵的二部图表示0 3.3仿真模型的相容性判定0 3.4奇异组件的识别0 3.5过约束问题分析策略0 3.5.1过约束度为1的过约束问题0 3.5.2过约束度大于1的过约束问题0 3.6欠约束问题分析策略0 3.6.1剔除变量0 3.6.2补充方程0 3.7复合组件引起的奇异问题0 3.8小结0 第4章陈述式仿真模型的约简策略研究0 4.1引言0 4.2方程表达式的规范转换0 4.2.1转换规则0 4.2.2方程的二叉树表示0 4.2.3规范转换过程0 4.3方程系统的规模分解0 4.3.1剥离策略0 4.3.2凝聚策略0 4.3.3归并策略0 4.3.4拓扑排序0 4.4强耦合方程子集约简策略0 4.4.1剥离代数变量0 4.4.2撕裂代数环0 4.5内嵌积分0 4.5.1内嵌积分的基本思想0 4.5.2DAE系统的离散化策略0 4.5.3DAE系统的内嵌积分0 4.6小结0 第5章DAE模型的指标分析与相容初始化0 5.1引言0 5.2高指标问题及相关概念0 5.2.1高指标问题0 5.2.2结构奇异方程子集0 5.2.3指标约简0 5.3现有指标约简方法0 5.3.1Gear方法0 5.3.2Pantelides方法0 5.3.3哑导方法0 5.3.4现有方法的不足0 5.4基于加权二部图的指标约简0 5.4.1广义ODE系统0 5.4.2加权二部图及其特性0 5.4.3基于加权二部图的指标约简0 5.4.4指标约简实例 5.4.5基于二叉树的符号微分 5.4.6哑导的选取 5.4.7与现有指标约简方法的比较 5.5复杂DAE系统的指标分析 5.6Modelica模型的相容初始化 5.7小结 第6章基于Modelica的多体系统建模方法 6.1概述 6.2基于广义基尔霍夫定律的多体动力学 6.2.1多体动力学基本概念 6.2.2位置、姿态与坐标变换 6.2.3空间自由刚体牛顿欧拉运动方程 6.2.4基于广义基尔霍夫定律的多体动力学 6.3Modelica标准多体库 6.3.1标准多体库概述 6.3.2端口标架与姿态表示 6.3.3多体库结构与主要元素 6.4相容性冗余约束与超定连接机制 6.4.1多体系统冗余约束 6.4.2虚拟连接图 6.4.3基于虚拟连接图的冗余约束分析 6.5多体系统运动的闭环结构 6.5.1闭环结构中自由度重复限制冗余约束 6.5.2闭环结构中非线性代数方程的处理 6.6Modelica多体系统模型编译与求解 6.6.1基于标准库的多体建模 6.6.2多体系统模型语义分析与编译 6.6.3多体系统模型求解 6.7小结 第7章信息物理系统统一建模与仿真 7.1概述 7.2研究对象分析 7.2.1CPS系统建模与仿真分析需求 7.2.2基于Modelica的CPS系统建模仿真可行性分析 7.2.3同步语言的启发 7.3CPS系统统一建模 7.3.1Modelica核心成分 7.3.2时钟与时钟变量 7.3.3时钟推演 7.3.4时钟传播与时钟检查 7.3.5时钟与时间系统的语义融合 7.3.6统一建模示例 7.4面向CPS的系统仿真规划扩展的数据流同步原则 7.4.1扩展的数据流同步原则 7.4.2CPS方程系统规划分解 7.4.3CPS方程系统二次规划分解 7.5面向CPS的系统统一仿真求解 7.5.1事件与状态方程 7.5.2CPS模型的数学本质 7.5.3面向CPS的统一求解策略 7.6小结 附录AModelica系统仿真平台 MWORKS.Sysplorer A.1MWORKS.Sysplorer简介 A.2MWORKS.Sysplorer基础功能 A.2.1建模操作 A.2.2翻译仿真 A.2.3结果查看 A.3MWORKS.Sysplorer工具箱 A.3.1频率估算工具箱 A.3.2模型试验工具箱 A.3.3模型标定 A.3.4模型参数优化 附录BModelica语法概述 B.1类与内置类型 B.1.1类的基本类型 B.1.2基础数据类型及其属性 B.1.3数据的前缀用法 B.2数组 B.2.1数组声明 B.2.2数组构造 B.2.3数组连接 B.2.4数组索引与切片 B.2.5数组运算 B.3模型行为描述 B.3.1方程 B.3.2算法 B.4连接与连接器 B.4.1因果连接器 B.4.2非因果连接器 B.4.3可扩展连接器 B.4.4隐式连接器 B.5函数 B.5.1函数声明 B.5.2函数调用 B.5.3内置函数 B.5.4记录构造函数 B.5.5函数微分注解声明 B.5.6外部函数调用 B.6注解 B.6.1参数框设计 B.6.2图标设计 B.6.3帮助文档设计 B.6.4动态显示设计 B.6.5文本其他注解 B.7事件 B.7.1事件概念 B.7.2事件触发语句及函数 B.7.3事件相关函数 B.7.4事件处理函数 B.8模型重用 B.8.1继承重用 B.8.2实例化重用 B.8.3重声明重用 附录CModelica工程应用 C.1机械系统建模仿真应用 C.2热力系统建模仿真应用 C.3通信系统建模仿真应用 C.4控制系统建模仿真应用 C.5电气系统建模仿真应用 C.6流体系统建模仿真应用 C.7车辆系统仿真应用 C.7.1车辆电池模型库 C.7.2车辆发动机模型库 C.7.3车辆电子模型库 C.7.4车辆热管理系统模型库 C.7.5车辆动力性经济性模型库 C.7.6车辆动力学模型库 C.8半物理仿真应用 参考文献