| 第一章 绪论 | 第11-35页 |
| 1.1 引言 | 第11-12页 |
| 1.2 混杂系统建模概述 | 第12-19页 |
| 1.2.1 基于自动机的混杂系统模型 | 第12-16页 |
| 1.2.2 混杂Petri网模型 | 第16-17页 |
| 1.2.3 混合逻辑动态模型 | 第17-18页 |
| 1.2.4 程序语言模型 | 第18-19页 |
| 1.3 混杂系统控制问题研究现状 | 第19-21页 |
| 1.4 优化、逻辑及其相结合问题研究现状 | 第21-33页 |
| 1.4.1 混合整数线性规划 | 第21-22页 |
| 1.4.2 混合整数非线性规划 | 第22-23页 |
| 1.4.3 逻辑，优化及约束程序 | 第23-33页 |
| 1.4.3.1 优化中基于逻辑的方法 | 第23-25页 |
| 1.4.3.2 混合整数规划中的逻辑 | 第25-26页 |
| 1.4.3.3 逻辑和数学规划之间的联系 | 第26-28页 |
| 1.4.3.4 约束程序和约束满足 | 第28-31页 |
| 1.4.3.5 优化和约束程序结合的框架 | 第31-33页 |
| 1.5 结束语 | 第33-35页 |
| 第二章 结合逻辑和规则的工业过程建模方法与预测控制 | 第35-49页 |
| 2.1 引言 | 第35页 |
| 2.2 混杂模型的建立 | 第35-40页 |
| 2.3 混杂系统的稳定性 | 第40-43页 |
| 2.4 混杂模型的预测控制 | 第43-46页 |
| 2.5 混合逻辑线性规划及混合逻辑非线性规划算法 | 第46-47页 |
| 2.6 结论 | 第47-49页 |
| 第三章 结合约束程序的MINLP算法 | 第49-67页 |
| 3.1 引言 | 第49-50页 |
| 3.2 约束程序概述 | 第50-51页 |
| 3.3 算法 | 第51-60页 |
| 3.3.1 混合MILP／CP算法 | 第53-54页 |
| 3.3.2 主问题 | 第54-56页 |
| 3.3.3 界限特性 | 第56-57页 |
| 3.3.4 算法步骤 | 第57页 |
| 3.3.5 收敛性和最优性的证明 | 第57-59页 |
| 3.3.6 整数分割 | 第59-60页 |
| 3.4 计算实例 | 第60-65页 |
| 3.5 结束语 | 第65-67页 |
| 第四章 基于其它逻辑方法在工业中的应用 | 第67-83页 |
| 4.1 时序逻辑在水工业过程中的应用 | 第67-71页 |
| 4.1.1 ITL的语法 | 第67页 |
| 4.1.2 ITL的语义 | 第67-69页 |
| 4.1.3 水工业系统实例 | 第69-71页 |
| 4.2 混合逻辑动态法在污水处理中的应用 | 第71-80页 |
| 4.2.1 混合逻辑动态方法 | 第72-73页 |
| 4.2.2 活性污泥法中除氮模型的建立 | 第73-77页 |
| 4.2.3 预测控制算法 | 第77-78页 |
| 4.2.4 仿真结果 | 第78-80页 |
| 4.3 结论 | 第80-83页 |
| 第五章 城市污水处理的建模及优化控制 | 第83-99页 |
| 5.1 引言 | 第83-84页 |
| 5.2 活性污泥法常见模型简化方法 | 第84-89页 |
| 5.2.1 重建新模型 | 第84-85页 |
| 5.2.2 简化模型 | 第85-89页 |
| 5.3 结合逻辑规则的混杂建模方法 | 第89-96页 |
| 5.4 预测控制 | 第96-97页 |
| 5.5 仿真结果 | 第97-98页 |
| 5.6 结论 | 第98-99页 |
| 第六章 结论 | 第99-103页 |
| 6.1 工作总结 | 第99-100页 |
| 6.2 进一步研究的问题 | 第100-103页 |
| 参考文献 | 第103-117页 |
| 致谢 | 第117-118页 |
| 附: 作者攻读博士学位期间完成的主要论文 | 第118页 |