| 中文摘要 | 第1-3页 |
| 英文摘要 | 第3-5页 |
| 目录 | 第5-8页 |
| 第一章 绪论 | 第8-14页 |
| 1．1 数字集成电路测试的基本概念的理论 | 第8-9页 |
| 1．2 布尔过程论的概述 | 第9-11页 |
| 1．3 动态电流测试方法（I_（DDT））概述 | 第11-12页 |
| 1．3．1 静态电流测试 | 第11页 |
| 1．3．2 动态电流测试 | 第11-12页 |
| 1．4 排序算法概述 | 第12-13页 |
| 1．5 本文所做工作 | 第13-14页 |
| 1．5．1 波形空间及波形空间中常用算子的性质研究 | 第13页 |
| 1．5．2 I_（DDT）的遗传算法测试方法 | 第13页 |
| 1．5．3 数据等概率排序算法及其定量研究 | 第13-14页 |
| 第二章 基于布尔过程论的波形空间的性质研究 | 第14-22页 |
| 2．1 引言 | 第14页 |
| 2．2 波形空间是度量空间 | 第14-16页 |
| 2．3 波形空间Ω是赋范线性空间 | 第16-18页 |
| 2．4 波形空间Ω的其它性质 | 第18页 |
| 2．5 两个应用Ⅰ | 第18-21页 |
| 2．5．1 应用Ⅰ | 第18-20页 |
| 2．5．2 应用Ⅱ | 第20-21页 |
| 2．6 小结 | 第21-22页 |
| 第三章 波形空间中波形运算性质及应用 | 第22-27页 |
| 3．1 引言 | 第22页 |
| 3．2 波形空间中波形运算的逆运算或广义逆运算及其性质 | 第22-25页 |
| 3．3 应用 | 第25-26页 |
| 3．4 小结 | 第26-27页 |
| 第四章 遗传算法在基于布尔过程论的I_（DDT）测试中的应用 | 第27-33页 |
| 4．1 引言 | 第27-28页 |
| 4．2 遗传算法概述 | 第28-29页 |
| 4．2．1 遗传算法概述 | 第28页 |
| 4．2．2 本文使用的遗传算法 | 第28-29页 |
| 4．3 遗传算法在I_（DDT）的ATPG的应用 | 第29页 |
| 4．3．1 编码 | 第29页 |
| 4．3．2 适应度函数 | 第29页 |
| 4．3．3 确定遗传算法的运行参数 | 第29页 |
| 4．4 实验结果 | 第29-31页 |
| 4．4．1 与文[47]中的动态电流测试产生方法的比较 | 第30页 |
| 4．4．2 电路的I_（DDT）可测率分析 | 第30-31页 |
| 4．5 进一步的研究 | 第31页 |
| 4．6 结论 | 第31-33页 |
| 第五章 数据等概率分档统计插入排序算法 | 第33-38页 |
| 5．1 引言 | 第33页 |
| 5．2 算法描述 | 第33-35页 |
| 5．2．1 算法思想 | 第33-34页 |
| 5．2．2 算法实现 | 第34-35页 |
| 5．2．3 算法流程图 | 第35页 |
| 5．3 性能分析 | 第35-36页 |
| 5．3．1 空间复杂性 | 第35页 |
| 5．3．2 时间复杂性 | 第35-36页 |
| 5．3．3 m的取值 | 第36页 |
| 5．3．4 算法稳定性 | 第36页 |
| 5．4 实验结果 | 第36-37页 |
| 5．5 小结 | 第37-38页 |
| 第六章 多数据源数据等概率分档统计插入排序算法研究 | 第38-43页 |
| 6．1 引言 | 第38页 |
| 6．2 算法描述 | 第38-39页 |
| 6．2．1 多数据源数据等概率分档统计插入排序算法的算法思想 | 第38页 |
| 6．2．2 算法实现 | 第38-39页 |
| 6．3 性能分析 | 第39-41页 |
| 6．3．1 空间复杂性 | 第39-40页 |
| 6．3．2 时间复杂性 | 第40-41页 |
| 6．3．3 算法稳定性 | 第41页 |
| 6．4 实验结果 | 第41-42页 |
| 6．5 小结 | 第42-43页 |
| 第七章 数据等概率分档排序算法有效性的定量研究 | 第43-50页 |
| 7．1 引言 | 第43页 |
| 7．2 算法描述 | 第43页 |
| 7．3 m的取值 | 第43-46页 |
| 7．4 分布类型的近似程度 | 第46-48页 |
| 7．5 实验结果 | 第48-49页 |
| 7．6 结论 | 第49-50页 |
| 第八章 结束语 | 第50-52页 |
| 致谢 | 第52-53页 |
| 参考文献 | 第53-57页 |
| 附录A 攻读学位期间发表论文以及参与科研项目情况 | 第57页 |
