| 中文摘要 | 第5-7页 |
| Abstract | 第7-9页 |
| 第一章 绪论 | 第12-30页 |
| 1.1 引言 | 第12-15页 |
| 1.2 预备知识 | 第15-24页 |
| 1.2.1 布尔网络 | 第15-23页 |
| 1.2.2 k-值逻辑网络 | 第23-24页 |
| 1.3 研究动机 | 第24-26页 |
| 1.4 本文的主要工作 | 第26-30页 |
| 第二章 领导-跟随布尔网络系统的同步化 | 第30-50页 |
| 2.1 引言 | 第30-31页 |
| 2.2 预备知识与问题描述 | 第31-33页 |
| 2.3 同步化判据 | 第33-37页 |
| 2.4 算法 | 第37-39页 |
| 2.5 定理2.1的复杂度分析 | 第39-40页 |
| 2.6 同步化设计 | 第40-41页 |
| 2.7 算例 | 第41-47页 |
| 2.8 本章小结 | 第47-50页 |
| 第三章 主-从布尔网络状态完全同步化的状态反馈控制器设计 | 第50-66页 |
| 3.1 引言 | 第50-51页 |
| 3.2 问题描述 | 第51-52页 |
| 3.3 核心输入-状态极限环 | 第52-54页 |
| 3.4 有效控制器的存在性条件 | 第54-57页 |
| 3.5 控制器设计 | 第57-60页 |
| 3.6 例子 | 第60-64页 |
| 3.7 本章小结 | 第64-66页 |
| 第四章 主-从布尔网络输出同步化的状态反馈控制器设计 | 第66-80页 |
| 4.1 引言 | 第66-67页 |
| 4.2 问题描述 | 第67-68页 |
| 4.3 构造辅助系统 | 第68-73页 |
| 4.4 例子 | 第73-77页 |
| 4.5 本章小结 | 第77-80页 |
| 第五章 周期时变布尔网络的状态完全同步化 | 第80-94页 |
| 5.1 引言 | 第80页 |
| 5.2 问题描述 | 第80-83页 |
| 5.3 主要结果 | 第83-88页 |
| 5.3.1 情形1:(?)'=(?) | 第84-86页 |
| 5.3.2 情形2:(?)'≠(?) | 第86-88页 |
| 5.4 例子 | 第88-92页 |
| 5.4.1 情形1 | 第88-89页 |
| 5.4.2 情形2 | 第89-92页 |
| 5.5 本章小结 | 第92-94页 |
| 第六章 基于反向转移法对k-值逻辑控制网络的稳定化 | 第94-112页 |
| 6.1 引言 | 第94-96页 |
| 6.2 问题描述 | 第96-98页 |
| 6.3 开环稳定化 | 第98-104页 |
| 6.3.1 稳定化判据 | 第98-101页 |
| 6.3.2 算法 | 第101-103页 |
| 6.3.3 算法的复杂度分析 | 第103-104页 |
| 6.4 闭环稳定化 | 第104-106页 |
| 6.5 例子 | 第106-110页 |
| 6.6 本章小结 | 第110-112页 |
| 第七章 结论与展望 | 第112-114页 |
| 参考文献 | 第114-126页 |
| 攻读博士学位期间的研究成果 | 第126-128页 |
| 致谢 | 第128-129页 |
| 个人简历 | 第129页 |
