目录

资源下载

第1章概述

1.1系统与系统模型

1.2系统仿真概述

1.3系统仿真技术的特点

1.4仿真技术的发展趋势

小结

习题1

软件实践

第2章系统仿真基本知识

2.1连续系统和离散事件系统

2.2离散事件系统

2.2.1离散事件系统的基本要素

2.2.2仿真钟

2.2.3离散事件系统仿真模型的组成

2.2.4离散事件系统仿真的基本步骤 

2.3排队系统

2.3.1排队系统的基本概念

2.3.2排队系统的主要特征

2.3.3排队系统的输出参数

2.4库存系统

2.4.1库存系统的基本概念 

2.4.2库存系统的主要特征 

2.4.3库存系统的主要参数

2.4.4排队系统和库存系统的比较

2.5双通道排队系统仿真

2.5.1问题描述

2.5.2建立仿真模型

2.5.3模型运行结果

2.6单品种库存系统仿真

2.6.1问题描述

2.6.2建立仿真模型

2.6.3运行仿真模型

小结

习题2

软件实践

第3章随机变量与随机数

3.1确定(性)系统与随机(性)系统

3.1.1基本概念

3.1.2主要区别

3.2随机变量与随机数的相关概念

3.2.1随机事件与概率

3.2.2随机变量与随机数

3.2.3常用分布

3.3随机数发生器

3.3.1线性同余发生器

3.3.2组合发生器

3.4随机数性能测试

3.4.1随机数性能的经验测试

3.4.2随机数性能的理论测试

3.5随机变量的产生方法

3.5.1逆变换法

3.5.2卷积法

3.5.3合成法

3.5.4取舍法

3.5.5函数变换法

小结

习题3

软件实践

第4章输入数据模型

4.1仿真输入数据分析

4.2数据收集与处理

4.2.1数据收集时的注意事项

4.2.2收集输入数据的方法

4.2.3分析输入数据的方法

4.3数据分布的分析与假设

4.3.1连续分布类型的假设

4.3.2离散分布类型的假设

4.4参数的估计

4.5拟合优度检验

4.5.1χ2测试

4.5.2柯尔莫哥洛夫斯米尔洛夫测试(KS测试)

小结

习题4

软件实践

第5章系统仿真策略

5.1事件调度法

5.1.1事件调度法概述

5.1.2事件调度法的步骤

5.1.3事件列表的处理

5.2活动扫描法

5.2.1活动扫描法概述

5.2.2活动扫描法的步骤

5.3进程交互法

5.3.1进程交互法的设置

5.3.2进程交互法的步骤

5.3.3三种方法的比较

小结

习题5

软件实践

第6章仿真结果分析

6.1概述

6.2仿真结果的瞬态与稳态特征

6.3系统仿真的类型

6.3.1终止型仿真

6.3.2非终止型仿真

6.4终止型仿真的结果分析

6.4.1重复运行法

6.4.2序贯程序法

6.5稳态仿真的结果分析

6.5.1重复运行删除法

6.5.2批均值法

6.5.3稳态序贯法

6.5.4再生法

6.6随机变量的比较

6.7敏感度分析

6.8正交设计

6.9参数的优化方法

小结

习题6

软件实践

第7章形式化方法与EventB简述

7.1形式化方法

7.1.1基本概念

7.1.2形式规约

7.1.3形式验证

7.1.4应用案例

7.2B方法与EventB

7.2.1B方法

7.2.2EventB及其基本结构

7.2.3EventB的数学体系

习题7

第8章联锁系统安全规范建模实例

8.1联锁规范的提取

8.1.1联锁进路控制过程分析

8.1.2联锁规范的提取

8.2联锁系统形式化建模

8.2.1初始模型

8.2.2精化策略及精化模型

8.3联锁系统安全规范的验证

8.3.1不变式和证明义务的生成

8.3.2联锁安全规范的EventB描述

8.3.3模型的验证

习题8

第9章AnyLogic仿真软件概述

9.1仿真软件概述

9.1.1仿真软件主要应用领域

9.1.2仿真软件的一些关键技术

9.1.3当前主流仿真软件对比

9.1.4仿真软件未来发展趋势

9.2AnyLogic软件下载与安装

9.3AnyLogic用户界面与主菜单

9.3.1文件菜单

9.3.2编辑菜单

9.3.3视图菜单

9.3.4模型菜单

9.3.5帮助菜单

9.4AnyLogic的主要功能

9.4.1代码提示功能

9.4.2文本搜索功能

9.4.3快捷键功能

9.4.4帮助功能

9.4.5模型操作功能

9.5AnyLogic视图

9.5.1工程视图

9.5.2面板视图

9.5.3属性视图

9.5.4问题视图

9.5.5搜索视图

9.5.6控制台视图

9.5.7帮助视图

9.5.8图形化编辑器

习题9

第10章AnyLogic离散事件系统仿真

10.1AnyLogic离散事件仿真基础

10.1.1离散事件仿真基本原理

10.1.2离散事件仿真常用软件

10.2AnyLogic离散事件仿真实例——银行排队模型

10.2.1创建简单模型

10.2.2创建动画

10.2.3添加柜台员工资源

10.2.4添加统计数据

10.3AnyLogic离散事件仿真实例——仓储库存模型

10.3.1思维导图

10.3.2操作导引

习题10

第11章AnyLogic复杂离散事件系统仿真

11.1AnyLogic中的Java编程语句

11.1.1AnyLogic中Java的基本数据类型

11.1.2AnyLogic中Java的类

11.1.3AnyLogic中Java的变量(局部变量和类变量)

11.1.4函数

11.1.5表达式

11.2AnyLogic的数据交换

11.2.1AnyLogic中txt文件的数据交换

11.2.2AnyLogic中Excel文件的数据交换

11.2.3AnyLogic中数据库的数据交换

11.3AnyLogic的随机性设置

11.3.1模型的随机性

11.3.2随机数生成器

11.3.3随机过程模型的重复试验

11.4AnyLogic复杂离散事件系统仿真实例——生产系统模型

11.4.1利用流程建模库建模

11.4.2建立模型动画

11.4.3创建智能体

11.4.4定义智能体行为

11.4.5打包过程建模

11.4.6建立三维动画

习题11

第12章离散事件系统仿真算法设计

12.1单个仿真功能算法设计

12.1.1随机数生成算法

12.1.2卡方检验分析

12.2系统仿真程序与主要算法框架

12.2.1仿真程序设计

12.2.2仿真程序流程

12.2.3主要算法框架

12.2.4拓展与讨论

12.3仓储业务流程关联仿真案例

12.3.1关联仿真系统构建

12.3.2关联仿真算法设计

12.3.3仓储业务流程优化

小结

习题12

参考文献