| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 前言 | 第8-10页 |
| 第一章 预备知识 | 第10-15页 |
| ·逻辑的矩阵表示 | 第10-11页 |
| ·可逆逻辑综合 | 第11-15页 |
| 第二章 逻辑切换网络的可控性与稳定性 | 第15-20页 |
| ·多值逻辑切换网络的可控性与稳定性 | 第15-16页 |
| ·混合值逻辑切换网络的可控性与稳定性 | 第16-20页 |
| 第三章 逻辑切换网络的的可观测性 | 第20-28页 |
| ·多值逻辑切换网络的可观测性 | 第20-22页 |
| ·混合值逻辑切换网络的可观测性 | 第22-28页 |
| 第四章 基于矩阵半张量积的可逆逻辑综合方法 | 第28-33页 |
| ·可逆逻辑门的结构矩阵 | 第28-29页 |
| ·可逆逻辑门级联 | 第29-31页 |
| ·可逆逻辑综合 | 第31-33页 |
| 参考文献 | 第33-35页 |
| 致谢 | 第35-36页 |
| 攻读硕士期间发表的学术论文 | 第36页 |