| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-7页 |
| 1 引言 | 第7-13页 |
| ·历史背景 | 第7-11页 |
| ·Post问题 | 第7-8页 |
| ·c.e.度的结构 | 第8-11页 |
| ·定理 | 第11-12页 |
| ·记号和约定 | 第12-13页 |
| 2 需求和策略 | 第13-20页 |
| ·需求 | 第13-14页 |
| ·P-策略 | 第14页 |
| ·R-策略 | 第14-15页 |
| ·满足(R_e，S_(e,i) | 第15-18页 |
| ·满足(R_e，S_(e,i0)，S_(e,i1)) | 第18-20页 |
| 3 优先树 | 第20-23页 |
| ·需求的优先排列 | 第20-21页 |
| ·在节点上满足需求 | 第21页 |
| ·优先树 | 第21-22页 |
| ·优先树的结构 | 第22-23页 |
| 4 构造 | 第23-28页 |
| ·相关参数 | 第23-24页 |
| ·初始化，重置和唤醒 | 第24页 |
| ·使用规则 | 第24-25页 |
| ·构造 | 第25-28页 |
| 5 验证 | 第28-35页 |
| ·基本命题 | 第28-29页 |
| ·真路径TP | 第29-30页 |
| ·真路径TP的存在性 | 第30-31页 |
| ·真路径TP的性质 | 第31-33页 |
| ·真路径TP的计算性质 | 第33-34页 |
| ·满足P需求 | 第34页 |
| ·满足R需求 | 第34-35页 |
| 参考文献 | 第35-39页 |
| 致谢 | 第39页 |