| 摘要 | 第5-7页 |
| Abstract | 第7-8页 |
| 主要符号表 | 第16-18页 |
| 第1章 绪论 | 第18-45页 |
| 1.1 布尔（控制）网络 | 第18-22页 |
| 1.2 矩阵半张量积及布尔网络的代数形式 | 第22-27页 |
| 1.3 布尔代数 | 第27-28页 |
| 1.4 有限自动机及形式语言 | 第28-30页 |
| 1.5 元胞自动机及符号动力系统 | 第30-41页 |
| 1.5.1 背景 | 第30页 |
| 1.5.2 符号空间、元胞自动机（符号动力系统）等相关基本概念 | 第30-32页 |
| 1.5.3 全局函数及局部规则 | 第32-34页 |
| 1.5.4 拓扑性质 | 第34-35页 |
| 1.5.5 拓扑熵 | 第35-36页 |
| 1.5.6 混沌 | 第36-39页 |
| 1.5.7 两个著名的元胞自动机的例子 | 第39-40页 |
| 1.5.8 带有周期边界条件的元胞自动机 | 第40-41页 |
| 1.6 Drazin逆 | 第41-42页 |
| 1.7 本文主要结果概括 | 第42-45页 |
| 第2章 布尔控制网络的能观性 | 第45-73页 |
| 2.1 布尔控制网络不同的能观性定义 | 第47-53页 |
| 2.1.1 辅助性记号 | 第47-48页 |
| 2.1.2 布尔控制网络的不同的能观性及其两两蕴含关系 | 第48-53页 |
| 2.2 能观性加权点对图和关于确定性有限自动机的一个命题 | 第53-55页 |
| 2.2.1 从布尔控制网络到能观性加权点对图 | 第53-54页 |
| 2.2.2 关于确定性有限自动机的一个关键命题 | 第54-55页 |
| 2.3 判别布尔控制网络不同能观性的算法 | 第55-64页 |
| 2.3.1 判别第一种能观性的算法 | 第55-57页 |
| 2.3.2 判别第二种能观性的算法 | 第57-60页 |
| 2.3.3 判别第三种能观性的算法 | 第60-62页 |
| 2.3.4 判别第四种能观性的算法 | 第62-64页 |
| 2.4 针对不同能观性初始状态的确定 | 第64-72页 |
| 2.4.1 第二种能观性意义下确定初始状态的算法 | 第65-67页 |
| 2.4.2 第四种能观性意义下确定初始状态的算法 | 第67页 |
| 2.4.3 第一种能观性意义下确定初始状态的算法 | 第67-68页 |
| 2.4.4 第三种能观性意义下确定初始状态的算法 | 第68-69页 |
| 2.4.5 一个确定初始状态的例子 | 第69-72页 |
| 2.5 本章小结 | 第72-73页 |
| 第3章 布尔控制网络的非奇异性和可逆性 | 第73-103页 |
| 3.1 状态可检测时布尔控制网络的非奇异性和可逆性 | 第74-81页 |
| 3.1.1 从输入轨道空间到状态轨道空间的映射 | 第74-79页 |
| 3.1.2 非奇异性及可逆性 | 第79-81页 |
| 3.2 布尔控制网络的非奇异性和可逆性 | 第81-96页 |
| 3.2.1 从输入轨道空间到输出轨道空间的映射 | 第81-85页 |
| 3.2.2 非奇异性及可逆性 | 第85-94页 |
| 3.2.3 非奇异但不可逆的布尔控制网络的伪逆布尔控制网络 | 第94-96页 |
| 3.3 可逆性与可辨识性 | 第96-98页 |
| 3.4 一个生物学例子：哺乳动物细胞周期调节的核心网络 | 第98-102页 |
| 3.5 本章小结 | 第102-103页 |
| 第4章 布尔控制网络非奇异性的判别算法 | 第103-110页 |
| 4.1 非奇异性加权点对图 | 第103-104页 |
| 4.2 布尔控制网络非奇异性的判别准则 | 第104-105页 |
| 4.3 判别任意给定的布尔控制网络是否非奇异的算法 | 第105-106页 |
| 4.4 布尔控制网络的非奇异性在坐标变换之下保持不变 | 第106-109页 |
| 4.5 本章小结 | 第109-110页 |
| 第5章 时变时延布尔控制网络的能控性和能观性 | 第110-129页 |
| 5.1 确定性情况 | 第110-120页 |
| 5.1.1 能控性 | 第110-116页 |
| 5.1.2 控制算法设计 | 第116-117页 |
| 5.1.3 能观性 | 第117-120页 |
| 5.2 概率性情况 | 第120-128页 |
| 5.2.1 能控性 | 第121-128页 |
| 5.3 本章小结 | 第128-129页 |
| 第6章 元胞自动机的广义可逆性 | 第129-147页 |
| 6.1 元胞自动机的广义可逆性 | 第129-132页 |
| 6.2 带有周期边界条件的元胞自动机的广义可逆性 | 第132-140页 |
| 6.2.1 模型 | 第133-136页 |
| 6.2.2 配置标准形 | 第136-137页 |
| 6.2.3 广义逆元胞自动机 | 第137-140页 |
| 6.3 带有周期边界条件的线性元胞自动机的广义可逆性 | 第140-141页 |
| 6.4 例子 | 第141-146页 |
| 6.5 本章小结 | 第146-147页 |
| 第7章 两类拓扑混合的元胞自动机及它们的严格时间周期配置集 | 第147-157页 |
| 7.1 严格时间周期配置集为非空非稠的拓扑混合的可逆元胞自动机 | 第147-149页 |
| 7.2 严格时间周期配置集为稠集的拓扑混合的可逆元胞自动机 | 第149-155页 |
| 7.3 本章小结 | 第155-157页 |
| 结论 | 第157-159页 |
| 参考文献 | 第159-167页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第167-169页 |
| 致谢 | 第169-172页 |
| 个人简历 | 第172页 |
