离散事件动态系统

第1章  绪论                  
     1. 1  离散事件动态系统                  
     离散事件动态系统的研究背景                  
     离散事件                  
     离散事件动态系统                  
     离散事件动态系统示例                  
     1. 2  离散事件动态系统的建模和分析方法                  
     DEDS建模问题的基本性                  
     DEDS的建模和分析方法                  
     DEDS建模与分析中的困难因素                  
     1. 3  本书的论述范围                  
     本书的体系结构                  
     本书的基本内容                  
   第2章  性能层次的建模与分析方法之一：排队网络方法                  
     2. 1  排队网络模型及其特性                  
     排队网络                  
     排队网络的特性                  
     2. 2  单一服务中心模型                  
     单一服务中心模型的特性                  
     VI／M／I系统的稳态性能分析                  
     对Little公式的注记                  
     M／M/c系统的稳态性能分析                  
     2. 3  生灭过程模型                  
     生灭过程                  
     生灭过程稳态解的表达式                  
     损失制M／M/c／k排队网络模型                  
     服务速率依赖状态的M／M／1模型                  
     2. 4  Jackson排队网络模型                  
     Jackson开环排队网络的特性                  
     Jackson开环排队网络的稳态分析                  
     Jackson闭环排队网络                  
     Buzen算法                  
     2. 5  排队网络的推广模型                  
     BCMP排队网络                  
     Kelly排队网络                  
     2. 6  基于排队网络模型的实用分析方法                  
     操作分析法的变量和假设                  
     操作分析法分析系统的性能                  
     平均值分析法                  
     2. 7  Fork—Join排队网络                  
     Fork—Join排队网络的背景和描述                  
     两个并联服务台Fork—Join系统                  
     M个并联服务台Fork—Join系统                  
     具有集中缓冲器的批输入Fork—Join系统                  
     2. 8  排队网络方法在柔性制造系统研究中的应用                  
     2. 9  小结和评述                  
   第3章  性能层次的建模与分析方法之二：摄动分析方法(PA)                  
     3. 1  PA方法的基本模型和研究思路                  
     基本模型                  
     研究思路                  
     三个核心步骤                  
     3. 2  PA方法的基本分析步骤之一：样本轨道的描述                  
     服务中心的三种工况状态                  
     事件和变量                  
     系统状态方程                  
     3. 3  PA方法的基本分析步骤之二：摄动的产生                  
     由随机变量均值的摄动导出随机变量样本值的摄动                  
     摄动样本轨道的构造                  
     寻找NP和PP上的相应事件                  
     3. 4  PA方法的基本分析步骤之三：摄动的传播                  
     无穷小摄动下摄动的传播                  
     有限摄动下摄动的传播                  
     3. 5  PA方法的基本分析步骤之四：估计系统性能对参数的灵敏度                  
     排队网络输出率对平均服务时间的灵敏度                  
     服务中心输出率对系统内顾客数的灵敏度                  
     服务中心输出率对路径概率的灵敏度                  
     顾客在服务中心的平均逗留时间对平均服务时间的灵敏度                  
     服务中心平均队长对服务中心平均服务时间的灵敏度                  
     3. 6  PA方法估计的无偏性和强一致性问题                  
     PA基本方法存在的问题                  
     PA方法用于灵敏度估计的无偏性条件                  
     PA方法用于灵敏度估计的强一致性条件                  
     3. 7  PA方法的推广形式                  
     推广摄动分析                  
     平滑摄动分析                  
     3. 8  一类Fork—Join排队网络的摄动分析                  
     一类无限缓冲Fork—Join排队系统的摄动分析                  
     一类有限缓冲树型Fork—Join排队系统的摄动分析                  
     3. 9  PA方法分析制造系统优化问题的应用举例                  
     3, 10小结和评述                  
   第4章  代数层次的建模与分析方法：极大代数方法                  
     4. 1  离散事件动态系统的代数层次模型                  
     缓冲区容量无限的串行生产线                  
     状态. 输入和输出                  
     系统的代数层次模型                  
     4. 2  离散事件动态系统在极大代数下的线性模型                  
     极大代数及其基本运算                  
     串行生产线的开环线性模型                  
     串行生产线的闭环线性模型                  
     4. 3  离散事件动态系统在极大代数上的特征结构                  
     有向图分析法                  
     系统矩阵的不可简约性                  
     不可简约矩阵在极大代数上的特征值                  
     可简约矩阵在极大代数上的特征值                  
     不可简约矩阵在极大代数上的特征向量                  
     可简约矩阵在极大代数上的特征向量                  
     矩阵的周期性                  
     4. 4  离散事件动态系统的稳定性和周期性稳态                  
     系统输出的演化过程                  
     系统输出演化过程的稳定性                  
     不可简约系统的周期性稳态                  
     可简约系统的周期性稳态                  
     4. 5  离散事件动态系统周期性稳态特征参量的配置                  
     不可简约系统的周期性稳态特征参量配置                  
     4. 6  离散事件动态系统直接进入均匀周期性稳态的途径                  
     均匀周期性稳态                  
     直接进入均匀周期性稳态的途径：不可简约系统情况                  
     直接进入均匀周期性稳态的途径：可简约系统情况                  
     4. 7  小结和评述                  
   第5章  代数层次的建模与分挤方法：对极大代数方法的进一步讨论                  
     5. 1  离散事件动态系统周期性稳态性能的摄动分析                  
     问题提法和基本约定                  
     基本极大代数运算下矩阵摄动量的估计                  
     系统参数摄动下稳态参量k改变值的估计                  
     5. 2  离散事件动态系统周期性稳态性能的鲁棒性                  
     基本概念                  
     单个参数摄动情形的鲁捧性分析                  
     多个参数同时增性摄动情形的鲁棒性分析                  
     5. 3  离散事件动态系统特征结构参数的辨识                  
     问题的提法                  
     对系统特征值的估计                  
     利用稳态数据辨识系统的特征值和特征向量                  
     5. 4  离散事件动态系统的能控性及其判据                  
     系统模型                  
     系统状态的能控性                  
     系统状态能控性的判据                  
     系统能控性在状态反馈作用下的不变性                  
     不完全能控系统的结构分解                  
     5. 5  离散事件动态系统的集结与输入—输出等价                  
     集结与输入—输出等价                  
     极大代数上线性系统状态空间模型的集结与等价                  
     几点讨论                  
     5. 6  有限缓冲容量串行生产线的建模和周期性稳态                  
     有限缓冲容量的串行生产线                  
     有限缓冲容量串行生产线的状态空间模型                  
     有限缓冲容量串行生产线的闭环动态模型和稳态周期过程                  
     5. 7  有限缓冲容量串行生产线的阻塞问题                  
     阻塞现象和无阻塞性定义                  
     单批次加工过程的无阻塞条件                  
     多批次加工过程的无阻塞条件                  
     系统结构无阻塞性及其判别准则                  
     缓冲区容量的最小配置                  
     加工参数区间摄动下的系统无阻塞性                  
     5. 8  离散事件动态系统事件序列性的鲁棒性                  
     基本概念                  
     事件序列性鲁棒性的判据：仿射线性函数情形                  
     事件序列性鲁棒性的判据：多项式函数情形                  
     5. 9  离散事件动态系统的传递函数                  
     极大代数上的Z变换                  
     极大代数上的传递函数                  
     图方法确定系统传递函数矩阵                  
     广义分式及其约简                  
     5. 10  基于传递函数的离散事件动态系统的稳态分析和控制                  
     有理式的周期性                  
     系统在周期输入下的稳态分析                  
     稳态反馈控制                  
     5. 11  装配生产线的建模                  
     装配生产线                  
     装配生产线的变量和参量                  
     装配生产线的状态空间模型                  
     5. 12  小结和评述                  
   第6章  逻辑层次的建模与分析方法之一：佩特里网方法                  
     6. 1  佩特里网及其规则                  
     佩特里网                  
     佩特里网图                  
     变迁的发射规则                  
     6. 2  佩特里网的动态运行过程                  
     分析动态运行过程的算法                  
     运行过程分析举例                  
     6. 3  佩特里网的基本性质                  
     可达性                  
     有界性和安全性                  
     活性                  
     死锁                  
     冲突                  
     6. 4  佩特里网可达性的分析方法                  
     可达树分析法                  
     矩阵方程分析法                  
     6. 5  佩特里网可达性分析的计算复杂性问题                  
     算法与问题复杂性                  
     佩特里网可达性分析的计算复杂性问题                  
     6. 6  佩特里网的活性分析                  
     状态机和子网                  
     子网间的连接                  
     模块                  
     环                  
     网的锁定性质                  
     6. 7  佩特里网的控制问题                  
     受控佩特里网和受控标识图                  
     受控标识图的禁止／允许状态规范控制：谓词方法                  
     受控标识图的控制策略的活性                  
     受控标识图的禁止／允许状态规范控制：代数方法                  
     6. 8  佩特里网的综合                  
     制造系统的佩特里网模型                  
     并联互斥连接                  
     串联互斥连接                  
     6. 9  扩展佩特里网                  
     赋时佩特里网                  
     随机佩特里网                  
     加色佩特里网                  
     高级佩特里网                  
     6. 10  佩特里网方法在离散制造系统研究中的应用                  
     6. 11  小结和评述                  
   第7章  逻辑层次的建模与分析方法之二：自动机／形式语言方法                  
     7. 1  自动机和形式语言                  
     形式语言                  
     语言的运算                  
     正规集                  
     自动机                  
     7. 2  事件反馈监控                  
     受控自动机                  
     监控器                  
     闭环离散事件过程                  
     闭环离散事件过程厂／Gf产生的语言                  
     7. 3  系统能控性和监控器的存在性                  
     能控性                  
     系统能控性和监控器                  
     7. 4  基本监控综合问题和最大能控子语言                  
     基本监控综合问题                  
     目标语言和最大能控子语言的一些属性                  
     语言集合上的右不变等价关系和正规语言判据                  
     最大能控语言的生成                  
     O算子的算法                  
     最大能控语言的另一种算法                  
     7. 5  能观测性和观测约束下的监控器                  
     语言的能观测性                  
     观测约束下的监控器                  
     观测约束下的基本监控问题                  
     可识别性                  
     7. 6  分散监控和分散化监控                  
     分散监控                  
     分散化监控                  
     7. 7  状态反馈监控                  
     谓词及其运算                  
     状态反馈                  
     对状态反馈的闭环系统的分析                  
     两类反馈监控问题的关系                  
     7. 8  其他形式的监控问题                  
     允许阻塞的监控问题                  
     赋时自动机的监控问题                  
     7. 9  事件反馈监控问题基于可达树的分析                  
     符号串空间中自动机的可达树                  
     监控作用的实现                  
     7. 10  小结与评述                  
   第8章  离散制造系统的调度问题                  
     8. 1  生产调度问题的分类和描述                  
     开环车间型和闭环车间型调度问题                  
     Job—5hop调度问题和Flow—ShoP调度问题                  
     调度问题的基本假定                  
     调度问题的描述：图论形式                  
     调度问题的描述：代数形式                  
     调度问题的可行解                  
     调度问题性能指标的典型形式                  
     调度问题类型的简明表示法                  
     调度问题的求解方法                  
     8. 2  正规性能指标的活动调度和等价关系                  
     基于正规性能指标的活动调度                  
     性能指标的等价性                  
     8. 3  单机调度                  
     问题和基本假定                  
     n／1／／F最优调度问题                  
     n／1／／Lmax最优调度问题                  
     n／1／／nr最优调度问题                  
     8. 4  双机调度                  
     双机调度问题的Johnson算法                  
     多机Flow—Shop最优调度的属性                  
     Johnson算法调度解的最优性                  
     Johnson算法对一类三机Flow—Shop调度问题的应用                  
     8. 5  分支定界法                  
     分支定界法的基本思路                  
     分支定界法求解置换Flow—shop调度问题                  
     分支定界法求解Job—Shop调度问题                  
     8. 6  求解Flow—Shop排序问题的搜索型启发式算法                  
     属于NP完全问题的调度问题示例                  
     启发式算法之一：Palmer方法                  
     启发式算法之二：Gupta方法                  
     启发式算法之三：BG(Bonney—Gundry)方法                  
     启发式算法之四：CDS(Campleu—Dudek—Smith)方法                  
     启发式算法之五：Dannenbring方法                  
     8. 7  规则型调度方法和典型调度规则                  
     规则型调度方法的基本思路                  
     静态调度问题和动态调度问题                  
     调度规则及分类                  
     典型的调度规则                  
     8. 8  邻域搜索方法                  
     邻域搜索的基本思路                  
     邻域结构                  
     8. 9  模拟退火优化方法                  
     SA算法的寻优机制                  
     SA算法的描述                  
     基于非齐次马氏链模型的SA算法的收敛性分析                  
     一个典型的Job—Shop调度问题                  
     8. 10  遗传算法的基本原理和基本框架                  
     遗传算法的基本机理                  
     遗传算法的基本框架                  
     Job—Shop调度问题的基因链编码方式                  
     GA的特点                  
     对GA的改进                  
     8. 11  GA／SA混合算法                  
     GA／SA混合算法的提出                  
     一类GA／SA混合算法                  
     GA／SA混合算法的收敛性                  
     8. 12  图灵机和语言的NP完全问题                  
     图灵机