正版新书]工程物理系统建模理论与方法/智能制造系列丛书陈立平/

章绪论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..多领域统一建模0

2.2.4陈述式非因果建模0

2.2.5连续离散混合建模0

.物理系统多领域统一建模原理0

..1键合图与线图0

..2多领域统一建模原理0

..多领域建模语言与工具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..结构关联矩阵的二部图表示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..规范转换过程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..指标约简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..空间自由刚体牛顿欧拉运动方程

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..同步语言的启发

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的系统统一求解

..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..结果查看

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..数组连接

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半物理应用

参考文献

陈立平，博士，华中科技大学机械科学与工程学院教授、博士生导师，现任苏州同元软控信息技术有限公司执行董事，华中科技大学CAD支撑软件工程技术研究中心（武汉）主任．浙江大学CAD＆CG重点实验室学术委员，民用飞机模拟飞行重点实验室学术委员。曾获2004年世纪人才计划资。2008年获得苏州工业园区青年领军人才孵化项目支持，2009年姑苏领军人才支持，2011年江苏省自主创新团队项目支持。长期从事制造业信息化共关键技术研究及成果转化。作为负责人及主要研究者先后承担了多项重大科技项目．如973项目、自然科学项目、863重大目标产品攻关以及科技转化等项目。二十年来致力于多领域物理统一建模技术Modelica及其工程计算平台的研究、产品化及产业化，组织开发了亚洲专享的基于Modelica的多领域统一建模与平台MWorks，该平台已经在航空、航天、汽车、工程机械等行业得到广泛应用。

出版项目，近百位高校、业内专家倾力打造

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