建模与仿真理论――集成离散事件与连续复杂动态系统（第二版）

本书为建模和计算机仿真提供了严谨的数学基础。本书提供了建模与仿真的综合性框架，且集成了多种仿真方法。本书内容涵盖建模公式表达、仿真建模执行和模型建立过程以及其核心工作，即模型提取、模型简化以及模型库组织。本书重点内容包括离散事件集成、连续性模型逼近以及一种用于连续过程的离散事件仿真的新逼近方法。本书还讨论了在并行与分布式系计算机上如何执行仿真，以及基于美国国防部HLA标准的仿真模型的实现的相关概念。

Bernard P. Zeigler（伯纳德?P?齐格勒），亚利桑那大学的电气和计算机工程教授、人工智能仿真研究小组负责人。他发表了许多研究论文和书籍，是国际计算机模拟学会学报的主编。
李革，就职于中国人民解放军国防科技大学机电工程与自动化学院，研究领域为自动化与计算机技术，多次参与国家自然科学基金等项目科研。

第一部分 基 础
第1章 系统建模概念介绍
1．1 系统规范的形式体系
1．2 系统知识的层次
1．3 系统规范的层次结构介绍
1．4 非形式化表示的规范层次
1．5 系统规范态射：基本概念
1．6 总结
1．7 参考文献
第2章 建模与仿真框架
2．1 框架中的实体
2．2 实体间的主要关系
2．3 其他重要关系
2．4 时间
2．5 总结
2．6 参考文献
第3章 建模形式体系及其仿真器
3．1 绪论
3．2 离散时间模型及其仿真器
3．3 微分方程模型及其仿真器
3．4 离散事件模型及其仿真器
3．5 总结
3．6 参考文献
第4章 离散事件系统规范介绍
4．1 简介
4．2 经典DEVS系统规范
4．3 并行DEVS系统规范
4．4 层次化模型
4．5 DEVS的面向对象实现：入门
4．6 总结
4．7 参考文献
第5章 系统规范的层次结构
5．1 时基
5．2 段和轨道
5．3 I/O观测构架
5．4 I/O关系观测
5．5 I/O功能观测
5．6 I/O系统
5．7 迭代式系统规范
5．8 多变量集合和结构化系统
5．9 多组件系统规范
5．10 系统规范网络（耦合系统）
5．11 总结
5．12 参考文献
第二部分 建模形式体系与仿真算法
第6章 基本形式体系：DEVS、DTSS、DESS
6．1 基本系统规范形式体系
6．2 离散事件系统规范（DEVS）
6．3 并行DEVS
6．4 离散时间系统规范（DTSS）
6．5 微分方程系统规范（DESS）
6．6 小结
第7章 基本形式体系：耦合多组件系统
7．1 离散事件说明的网络形式体系
7．2 多组件离散事件系统形式体系
7．3 离散时间说明的网络形式体系
7．4 多组件离散时间系统形式体系
7．5 微分方程描述的网络形式体系
7．6 多组件微分方程描述的系统形式体系
7．7 总结
7．8 参考文献
第8章 基本形式体系仿真器
8．1 DEVS仿真器
8．2 DEVS总线
8．3 DTSS仿真器
8．4 DESS仿真器
8．5 总结
8．6 参考文献
第9章 多形式体系建模与仿真
9．1 特殊形式体系简介
9．2 多形式体系建模
9．3 DEV＆DESS：组合离散事件和微分方程说明的系统
9．4 基于DEV＆DESS的多元建模
9．5 耦合DEV＆DESS：多形式体系模型的网络
9．6 DEV＆DESS仿真器
9．7 参考文献
10章 基于离散事件系统规范（DEVS）的扩展形式体系
10．1 随机系统：处理不确定性的传统方法
10．2 DSDEVS（动态结构DEVS）
10．3 符号DEVS
10．4 模糊DEVS
10．5 实时DEVS（RT-DEVS）
10．6 总结
10．7 参考文献
第11章 并行和分布式离散事件仿真
11．1 并行离散事件仿真的问题特征
11．2 保守并行离散事件仿真
11．3 乐观并行离散事件仿真
11．4 并行DEVS仿真器
11．5 总结
11．6 参考文献
第三部分 系统态射：抽象，表示，逼近 第12章 系统多态的层次
12．5 迭代说明的系统的系统态射
12．6 结构化系统的态射
12．7 多组件系统态射
12．8 系统网络态射
12．9 同态和级联复合
12．10 可实现的I/O关系和功能的描述
12．11 总结
12．12 参考文献
第13章 抽象：构建模型族
13．1 范围/分辨率/交互乘积
13．2 模型的集成族
13．3 聚合：齐性/耦合无差别原则
13．4 基于事件控制的抽象
13．5 参数态射
13．6 总结
13．7 参考文献
第14章 校核、验证、近似态射：与误差共存
14．1 校核
14．2 行为层次的验证
14．3 性能/有效性权衡（如速度/准确度）
14．4 近似态射与误差行为
14．5 耦合系统层的近似态射
14．6 结构层次的验证
第15章 DEVS和类DEVS系统：普遍性和唯一性
15．1 经典DEVS与并行DEVS之间的关系：有一种还是两种DEVS
15．2 DEVS的普遍性和唯一性
15．3 DTSS的DEVS表示
15．4 DTSS网络的高效DEVS模拟
15．5 总结
15．6 参考文献
第16章 DEVS对系统的表示
16．1 DEVS总线回访
16．2 使用传统方法的DEVS表示
16．3 量化：另一种表示DEVS的方法
16．4 量化的模拟研究
16．5 进一步研究的猜想
16．6 总结
16．7 参考文献
16．8 问题
第四部分 系统设计、建模与仿真环境
第17章 基于DEVS的设计方法
17．1 方法概述
17．2 DEVS定义语言
17．3 DEVS定义的执行
17．4 逻辑分析：模型校核
17．5 使用语言验收检查的模型校核
17．6 性能评估
17．7 实现：DEVS模型执行
17．8 总结
17．9 参考文献
第18章 系统实体结构/模型库框架
18．1 基于系统实体结构的模型库管理
18．2 系统实体结构
18．3 系统实体结构/模型库（SES/MB）框架
18．4 实例：一个事务处理系统的设计
18．5 SES的自动剪枝
18．6 总结
18．7 参考文献
第19章 协作及未来
19．1 建模与仿真体系结构
19．2 协作是如何支持建模与仿真的
19．3 总结
19．4 参考文献


?