| 摘要 | 第5-7页 |
| ABSTRACT | 第7-9页 |
| 符号对照表 | 第13-14页 |
| 缩略语对照表 | 第14-19页 |
| 第一章 绪论 | 第19-31页 |
| 1.1 选题缘由和意义 | 第19-21页 |
| 1.1.1 可逆计算的缘起 | 第19-20页 |
| 1.1.2 可逆计算的发展应用 | 第20-21页 |
| 1.1.3 可逆计算技术难题和意义 | 第21页 |
| 1.2 可逆电路综合研究现状 | 第21-27页 |
| 1.2.1 可逆逻辑电路综合流程 | 第21-23页 |
| 1.2.2 主要可逆逻辑综合算法 | 第23-26页 |
| 1.2.3 存在的主要问题 | 第26-27页 |
| 1.3 论文的研究目的和内容 | 第27-31页 |
| 1.3.1 研究目的 | 第27页 |
| 1.3.2 研究内容 | 第27-31页 |
| 第二章 可逆逻辑电路综合基础 | 第31-41页 |
| 2.1 基本概念 | 第31-37页 |
| 2.1.1 可逆规范 | 第31-33页 |
| 2.1.2 不可逆规范 | 第33-34页 |
| 2.1.3 可逆门 | 第34-35页 |
| 2.1.4 可逆电路综合相关概念 | 第35-37页 |
| 2.2 电路代价模型 | 第37-38页 |
| 2.3 电路等价变换规则 | 第38页 |
| 2.4 标准测试函数和软件工具 | 第38-41页 |
| 第三章 变长染色体编码进化可逆逻辑电路综合算法 | 第41-79页 |
| 3.1 变长染色体编码进化算法简介 | 第41-46页 |
| 3.1.1 GP处理染色体膨胀的方法 | 第41-43页 |
| 3.1.2 变长染色体编码GA算法 | 第43-44页 |
| 3.1.3 GA解决染色体膨胀方法 | 第44-46页 |
| 3.2 约束处理方法简介 | 第46-49页 |
| 3.2.1 常用约束处理方法 | 第47-49页 |
| 3.2.2 等式约束处理 | 第49页 |
| 3.3 变长染色体编码进化可逆电路综合算法设计 | 第49-60页 |
| 3.3.1 问题描述 | 第49-50页 |
| 3.3.2 编码设计 | 第50-51页 |
| 3.3.3 算法思想 | 第51-54页 |
| 3.3.4 算法框架与步骤 | 第54-56页 |
| 3.3.5 初始化阶段 | 第56-57页 |
| 3.3.6 改进的随机排序 | 第57-59页 |
| 3.3.7 启发式种群更新 | 第59-60页 |
| 3.4 实验及分析 | 第60-77页 |
| 3.4.1 与局部后优化算法在 4-bit测试函数上的比较 | 第61-63页 |
| 3.4.2 与类穷尽搜索算法在 4-bit测试函数上的比较 | 第63-65页 |
| 3.4.3 其它标准测试函数测试结果 | 第65-68页 |
| 3.4.4 VLEA_RLC启发式种群更新机制 | 第68-71页 |
| 3.4.5 VLEA_RLC不同等式约束处理方法比较 | 第71页 |
| 3.4.6 r参数影响 | 第71-74页 |
| 3.4.7 T参数设置 | 第74-77页 |
| 3.5 本章小节 | 第77-79页 |
| 第四章 基于子种群保留的可逆逻辑电路综合算法 | 第79-95页 |
| 4.1 多样性保持方法 | 第79-83页 |
| 4.1.1 拥挤方法 | 第79-80页 |
| 4.1.2 共享方法 | 第80页 |
| 4.1.3 多种群方法 | 第80-81页 |
| 4.1.4 多目标方法 | 第81-82页 |
| 4.1.5 其它方法 | 第82-83页 |
| 4.2 基于子种群保留的可逆逻辑电路综合算法 | 第83-89页 |
| 4.2.1 SCVLEA_RLC算法思想 | 第83-86页 |
| 4.2.2 SCVLEA_RLC算法步骤 | 第86-87页 |
| 4.2.3 种子提取及子种群识别算法 | 第87-88页 |
| 4.2.4 种子保留过程 | 第88-89页 |
| 4.3 实验及分析 | 第89-92页 |
| 4.3.1 SCVELA_RLC综合随机 5-bit可逆函数 | 第89-90页 |
| 4.3.2 SCVLEA_RLC在其它函数上的测试 | 第90-92页 |
| 4.4 本章小结 | 第92-95页 |
| 第五章 参考点多目标优化可逆逻辑电路综合算法 | 第95-105页 |
| 5.1 多目标优化基本概念 | 第95-96页 |
| 5.2 研究动机和算法思想 | 第96-97页 |
| 5.3 参考点多目标优化算法 | 第97-99页 |
| 5.3.1 NSGA-II算法拥挤比较算子 | 第98-99页 |
| 5.3.2 R-NSGA-II算法参考点比较算子 | 第99页 |
| 5.4 参考点多目标优化可逆逻辑电路综合算法 | 第99-102页 |
| 5.4.1 动态参考点的定义 | 第99-100页 |
| 5.4.2 参考点比较算子 | 第100-101页 |
| 5.4.3 R_EMO_RLC算法步骤 | 第101-102页 |
| 5.5 实验及分析 | 第102-103页 |
| 5.6 本章小结 | 第103-105页 |
| 第六章 基于忆阻器蕴含门的逻辑电路综合进化算法 | 第105-123页 |
| 6.1 忆阻器逻辑电路基础 | 第105-109页 |
| 6.1.1 忆阻器模型 | 第106-107页 |
| 6.1.2 忆阻器蕴含门 | 第107-108页 |
| 6.1.3 已有忆阻器逻辑综合方法 | 第108-109页 |
| 6.2 问题建模 | 第109页 |
| 6.3 染色体编码 | 第109-110页 |
| 6.4 适应度评价 | 第110-111页 |
| 6.5 算法描述 | 第111-117页 |
| 6.5.1 染色体初始化 | 第112-114页 |
| 6.5.2 染色体编码压缩规则 | 第114-115页 |
| 6.5.3 余项函数求解 | 第115-117页 |
| 6.5.4 解的合并 | 第117页 |
| 6.6 仿真实验 | 第117-121页 |
| 6.6.1 实验环境与设置 | 第117-119页 |
| 6.6.2 实验结果与比较 | 第119-121页 |
| 6.7 本章小结 | 第121-123页 |
| 第七章 总结和展望 | 第123-127页 |
| 7.1 研究总结 | 第123-125页 |
| 7.2 研究展望 | 第125-127页 |
| 附录1 可逆综合电路实例 | 第127-131页 |
| 附录2 忆阻器蕴含门逻辑电路实例 | 第131-135页 |
| 参考文献 | 第135-149页 |
| 致谢 | 第149-151页 |
| 作者简介 | 第151-153页 |
