第一部分 基 础 第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、DESS6.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 符号DEVS10.4 模糊DEVS10.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之间的关系：有一种还是两种DEVS15.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 参考文献 ·