| 中文摘要 | 第4-5页 |
| 英文摘要 | 第5页 |
| 引言 | 第7-11页 |
| 第一章 预备知识 | 第11-19页 |
| 1.1 有向图 | 第11-13页 |
| 1.2 布尔代数 | 第13-15页 |
| 1.3 布尔网络 | 第15-16页 |
| 1.4 反馈节点集 | 第16-19页 |
| 第二章 通过新布尔网络确定原网络的不动动点 | 第19-25页 |
| 2.1 构造新网络的算法 | 第19-20页 |
| 2.2 算法分析和具体的例子 | 第20-22页 |
| 2.3 新网络与原网络不动点之间的关系 | 第22-25页 |
| 第三章 确定布尔网络不动动点的充要条件 | 第25-37页 |
| 3.1 构造树形函数的算法 | 第25-26页 |
| 3.2 在反馈节点集上给出确定不动点的充要条件 | 第26-31页 |
| 3.3 数值例子 | 第31-37页 |
| 结论 | 第37页 |
| 有待研究的问题 | 第37-39页 |
| 参考文献 | 第39-43页 |
| 后记 | 第43页 |