| 第一章 绪论 | 第1-12页 |
| ·数字逻辑中谱变换的定义及内容 | 第8-9页 |
| ·国内外谱技术研究概况 | 第9-10页 |
| ·本文在谱系数的算法及应用上的研究 | 第10-11页 |
| ·(0，1)编码谱变换研究的意义 | 第11-12页 |
| 第二章 (0，1)编码谱系数的性质研究 | 第12-37页 |
| ·常用谱变换方法 | 第12-20页 |
| ·Walsh变换 | 第12-15页 |
| ·Haar变换 | 第15-17页 |
| ·Reed-Muller变换 | 第17-18页 |
| ·Arithmetic变换 | 第18-20页 |
| ·常用谱变换之间的关系 | 第20-26页 |
| ·常用谱变换之间关系的群理论基础 | 第20-22页 |
| ·常用谱变换(0，1)编码谱系数之间的关系 | 第22-26页 |
| ·(0，1)编码谱系数的含义 | 第26-30页 |
| ·(0，1) 编码谱系数的性质 | 第30-36页 |
| ·(0，1)编码谱系数的基本性质 | 第31-32页 |
| ·变量逻辑运算在(0，1)编码谱系数上的反映 | 第32-34页 |
| ·逻辑函数与逻辑函数组合后谱系数的变化 | 第34-35页 |
| ·逻辑函数特殊运算对应谱域分析 | 第35-36页 |
| ·本章小结 | 第36-37页 |
| 第三章 (0，1)编码谱变换的算法研究 | 第37-51页 |
| ·(0，1)编码谱系数图形法算法 | 第37-40页 |
| ·r_j图简介 | 第37-38页 |
| ·由r_j图计算(0，1)编码Walsh-Hadamard系数 | 第38-40页 |
| ·(0，1)编码谱系数的算术算法 | 第40-49页 |
| ·(0，1)编码谱系数的蝴蝶型算法 | 第40-41页 |
| ·(0，1)编码谱系数的单元函数算法 | 第41-43页 |
| ·(0，1)编码谱系数的cube算法 | 第43-44页 |
| ·(0，1)编码谱系数的决策图算法 | 第44-48页 |
| ·(0，1)编码谱系数的矩阵列向量算法 | 第48-49页 |
| ·本章小结 | 第49-51页 |
| 第四章 (0，1)编码谱变换的应用 | 第51-70页 |
| ·(0，1)编码谱变换在布尔函数分析中的应用 | 第51-54页 |
| ·由(0，1)编码谱系数进行布尔函数分类 | 第51-52页 |
| ·由(0，1)编码谱系数实现布尔函数对称性检测 | 第52-54页 |
| ·(0，1)编码谱变换在电路综合中的应用 | 第54-64页 |
| ·由(0，1)编码Walsh-Rademacher系数实现电路综合 | 第55-62页 |
| ·由Reed-Muller变换实现电路综合 | 第62-64页 |
| ·(0，1)编码谱变换在组合门电路网络测试中的应用 | 第64-69页 |
| ·固定故障的(0，1)编码Walsh-Hadamard谱系数检测 | 第64-66页 |
| ·组合门电路网络综合群可测性设计 | 第66-69页 |
| ·本章小结 | 第69-70页 |
| 第五章 总结与展望 | 第70-72页 |
| ·本论文的研究成果 | 第70-71页 |
| ·后续研究的方向 | 第71-72页 |
| 参考文献 | 第72-75页 |
| 致谢 | 第75页 |
