控制科学与工程研究生系列教材：建模与仿真

　　序言
　　前言
　　第一章 建模与仿真基本概念
　　1.1 引言
　　1.1.1 建模与仿真的作用和历史发展
　　1.1.2 建模活动
　　1.1.3 计算机仿真
　　1.2 建模与仿真的基本概念
　　1.2.1 建模与仿真的定义
　　1.2.2 实际系统
　　1.2.3 模型与建模关系
　　1.2.4 仿真关系
　　1.2.5 建模与仿真工作表示内容
　　1.3 模型的非形式描述
　　1.4 建模与仿真活动的组成要素
　　1.4.1 实际系统：行为
　　1.4.2 实验框架：有效性
　　1.4.3 基本模型：假想的完全解释
　　1.4.4 集总模型：简化
　　1.4.5 计算机：复杂性
　　1.5 仿真的基本概念框架
　　1.6 仿真的发展趋势
　　第二章 建模方法论
　　2.1 数学模型
　　2.1.1 数学模型的作用
　　2.1.2 集合、抽象与数学模型
　　2.1.3 数学建模的形式化表示
　　2.1.4 模型的有效性与建模形式化
　　2.1.5 数学模型的分类
　　2.1.6 系统描述间的关系
　　2.2 建模方法学
　　2.2.1 建模过程的信息源
　　2.2.2 建模途径
　　2.2.3 模型可信性
　　2.3 基于计算机的建模方法学
　　2.3.1 引言
　　2.3.2 全局性建模的基本思路
　　2.3.3 模型对象及其信息存储
　　2.4 解释结构建模
　　2.4.1 基本概念
　　2.4.2 结构建模（解释结构模型法）
　　第三章 模型的简化
　　3.1 模型描述变量的简化
　　3.1.1 淘汰一个或多个实体、描述变量或相互关系规则
　　3.1.2 随机变量取代确定性变量
　　3.1.3 粗化描述变量
　　3.1.4 归组实体及聚集变量
　　3.2 动态系统的模型简化--集结法
　　3.2.1 精确集结法
　　3.2.2 模态集结法
　　3.2.3 连分式集结法
　　3.2.4 链式集结法
　　3.3 动态系统的模型简化--摄动法
　　3.3.1 弱耦合模型
　　3.3.2 强耦合模型
　　第四章 建模的一般系统理论
　　4.1 时基、轨迹和分段
　　4.1.1 时基
　　4.1.2 轨迹和分段
　　4.2 系统规范的分层描述
　　4.2.1 观测框架
　　4.2.2 i／o关系的观测
　　4.2.3 i／o函数的观测
　　4.2.4 i／o系统
　　4.3 从结构到行为
　　4.4 系统观测的同态关系
　　4.4.1 观测框架同态
　　4.4.2 i／o关系观测同态
　　4.4.3 i／o函数观测的同态
　　4.4.4 i／o系统同态
　　4.5 结构同态和行为同态
　　4.6 建模形式化
　　4.6.1 系统的分类
　　4.6.2 微分方程形式化
　　4.6.3 离散事件系统
　　4.6.4 离散时间系统：序列机形式
　　第五章 随机数的产生
　　5.1 [0，1]均匀分布随机数的产生
　　5.1.1 [0，1]均匀分布
　　5.1.2 产生均匀随机数的方法
　　5.1.3 线性同余法
　　5.1.4 伪随机数发生器的联合使用
　　5.2 [0，1]均匀分布随机数的统计检验
　　5.2.1 均匀随机数的随机性和均匀性检验
　　5.2.2 均匀随机数的独立性检验
　　5.2.3 矩检验
　　5.3 产生各种概率分布的随机数
　　5.3.1 求逆法
　　5.3.2 舍选法
　　5.3.3 组合法
　　5.3.4 经验分布法
　　5.3.5 近似法
　　第六章 离散时间和连续时间模型的仿真
　　6.1 状态变量
　　6.1.1 状态变量的基本概念
　　6.1.2 状态变量的仿真性质
　　6.2 离散时间模型仿真
　　6.2.1 时不变离散时间模型的仿真过程
　　6.2.2 离散时间模型的形式规范
　　6.2.3 离散时间模型的结构与行为
　　6.2.4 非自治离散时间模型
　　6.3 连续时间模型仿真
　　6.3.1 微分方程系统规范
　　6.3.2 积分法
　　6.4 离散时间和连续时间仿真模型的描述
　　6.4.1 污染模型
　　6.4.2 模型描述语言
　　6.4.3 模型描述语句序列分析
　　6.4.4 记忆函数仿真
　　第七章 离散事件模型及其仿真策略
　　7.1 离散事件模型
　　7.1.1 杂货店模型
　　7.1.2 概率模型的确定性表示法
　　7.1.3 杂货店模型的形式描述
　　7.1.4 同时事件
　　7.1.5 外部事件
　　7.1.6 离散事件系统的规范
　　7.2 基于事件调度的离散事件模型
　　7.2.1 基于事件调度的离散事件模型规范
　　7.2.2 计算机-用户模型
　　7.2.3 事件调度的仿真策略
　　7.3 基于活动扫描的离散事件模型
　　7.4 杂货店模型的建模与仿真过程分析
　　7.4.1 杂货店的基本模型
　　7.4.2 杂货店的试验框架
　　7.4.3 基本模型的有效简化和杂货店集总模型
　　7.4.4 杂货店基本模型与集总模型的同态关系
　　第八章 系统仿真结果分析
　　8.1 终态仿真的结果分析
　　8.1.1 重复运行法
　　8.1.2 序贯程序法
　　8.2 稳态仿真的结果分析
　　8.2.1 批均值法
　　8.2.2 稳态序贯法
　　8.2.3 再生法
　　8.3 方差减小技术
　　8.3.1 公用随机数法（crn）
　　8.3.2 对偶变量法（av）
　　8.3.3 控制变量法
　　第九章 基于agent的建模方法及swarm仿真
　　9.1 agent的基本概念
　　9.1.i agent的定义
　　9.1.2 agent与对象
　　9.1.3 多agent系统
　　9.1.4 agent的作用
　　9.2 基于agent的建模方法
　　9.2.1 基于agent的建模思想
　　9.2.2 面向apnt的系统分析
　　9.2.3 实现与仿真
　　9.3 swarm系统简介
　　9.3.1 swarm的思想
　　9.3.2 swarm的发展历程
　　9.3.3 swarm的建模思想和方法
　　9.3.4 swarm的体系结构和仿真结构
　　9.3.5 swarm的基本特征和java接口
　　9.4 swarm应用实例
　　9.4.1 热虫（heatbug）
　　9.4.2 供应链系统的建模与仿真
　　第十章 离散事件系统的建模工具--petri网
　　10.1 petri网的基本概念
　　10.1.1 petri网的基本定义
　　10.1.2 petri网的运行规则
　　10.1.3 petri网的分析技术
　　10.1.4 petri网的扩展
　　10.2 着色petri网
　　10.3 层次petri网
　　10.3.1 层次petri网的基本定义
　　10.3.2 基于层次petri网的建模过程
　　10.4 混凝土施工系统的仿真
　　10.4.1 混凝土运输浇筑系统总体模型
　　10.4.2 拌和楼petri网模型
　　10.4.3 汽车水平运输petri网模型
　　10.4.4 起重机的petri网模型
　　第十一章 分布建模与仿真
　　11.1 分布式系统
　　11.1.1 分布式系统的基本概念
　　11.1.2 分布式应用系统
　　11.2 分布式仿真技术
　　11.2.1 仿真系统分解
　　11.2.2 时刻、时钟和同步性
　　11.2.3 逻辑进程仿真
　　11.3 分布对象计算技术
　　11.3.1 分布对象技术的基本概念
　　11.3.2 分布式对象技术的主流技术
　　11.3.3 分布对象计算技术展望
　　11.4 分布式交互仿真技术（dis）
　　11.4.1 分布式交互仿真的基本概念
　　11.4.2 分布式交互仿真的关键技
　　11.4.3 hla（high level architecture）体系结构
　　参考文献

　　    建模与仿真是当今现代科学技术研究的主要内容，其技术已渗透到各学科和工程技术领域。《控制科学与工程研究生系列教材：建模与仿真》以一般系统理论为基础，介绍了适用于任何领域的建模与仿真的一般理论框架和方法。主要内容包括三个部分：一是建模理论，介绍了建模方法论、模型的简化和建模的一般系统理论；二是仿真的基本方法，介绍了随机数的产生、离散时间和连续时间模型的仿真、离散事件模型及其仿真策略和系统仿真结果分析；三是建模与仿真的学科前沿，如基于Agent的建模方法及Swarm仿真、离散事件系统的建模工具——Petri网和分布建模与仿真。