| 摘要 | 第3-5页 |
| Abstract | 第5-6页 |
| 第一章 研究背景 | 第10-18页 |
| 1.1 布尔网络 | 第10-12页 |
| 1.2 预备知识 | 第12-18页 |
| 1.2.1 矩阵半张量积的定义 | 第13-14页 |
| 1.2.2 半张量积的基本性质 | 第14-15页 |
| 1.2.3 逻辑的矩阵表示 | 第15-16页 |
| 1.2.4 布尔(控制)网络及其代数表达式 | 第16-18页 |
| 第二章 布尔网络的干扰解耦问题 | 第18-54页 |
| 2.1 基于秩条件的牵制反馈干扰解耦控制器设计 | 第18-31页 |
| 2.1.1 基于秩条件的牵制状态反馈控制器设计 | 第19-27页 |
| 2.1.2 基于秩条件的牵制输出反馈控制器设计 | 第27-28页 |
| 2.1.3 系统生物学中的应用:细胞凋亡模型 | 第28-31页 |
| 2.2 事件驱动干扰解耦控制器设计 | 第31-39页 |
| 2.2.1 事件驱动定义及驱动条件分析 | 第31-33页 |
| 2.2.2 事件驱动干扰解耦控制器设计 | 第33-34页 |
| 2.2.3 布尔局部控制系统的事件驱动干扰解耦控制器设计 | 第34-37页 |
| 2.2.4 数值例子 | 第37-39页 |
| 2.3 动态-代数布尔网络的干扰解耦控制器设计 | 第39-54页 |
| 2.3.1 状态反馈干扰解耦控制器 | 第39-43页 |
| 2.3.2 输出反馈干扰解耦控制器 | 第43-47页 |
| 2.3.3 函数摄动对动态-代数布尔网络的干扰解耦控制器的影响 | 第47-49页 |
| 2.3.4 系统生物学中的应用:大肠杆菌乳糖操纵子网络 | 第49-54页 |
| 第三章 布尔网络的鲁棒输出控制不变集 | 第54-60页 |
| 3.1 鲁棒输出控制不变集 | 第54-56页 |
| 3.2 设计输出反馈控制器 | 第56-58页 |
| 3.3 系统生物学中的应用:大肠杆菌乳糖操纵子网络 | 第58-60页 |
| 第四章 函数摄动下的动态-代数布尔网络拓扑结构分析 | 第60-72页 |
| 4.1 动态-代数布尔网络的代数表达式 | 第60-62页 |
| 4.2 函数摄动下的转移矩阵 | 第62-64页 |
| 4.3 动态-代数布尔网络解的局部唯一性 | 第64-66页 |
| 4.4 函数摄动下静态方程的拓扑结构变化 | 第66-68页 |
| 4.5 函数摄动下动态方程的拓扑结构变化 | 第68-72页 |
| 第五章 动态-代数布尔网络的标准化和可解性问题 | 第72-78页 |
| 5.1 动态-代数布尔网络的标准化 | 第72-74页 |
| 5.2 动态-代数布尔网络的可解性 | 第74-76页 |
| 5.3 动态-代数布尔控制网络的可解性 | 第76-78页 |
| 第六章 动态-代数布尔控制网络的可控性 | 第78-86页 |
| 6.1 可控性分析 | 第78-81页 |
| 6.2 动态-代数布尔控制网络可控不变性 | 第81-83页 |
| 6.3 数值例子 | 第83-86页 |
| 第七章 总结与展望 | 第86-88页 |
| 7.1 全文总结 | 第86-87页 |
| 7.2 研究展望 | 第87-88页 |
| 参考文献 | 第88-93页 |
| 攻读学位期间取得的研究成果 | 第93-94页 |
| 致谢 | 第94-96页 |
