DNA计算模型的理论设计与应用研究
| 摘要 | 第5-7页 |
| ABSTRACT | 第7-9页 |
| 符号说明 | 第14-15页 |
| 第1章 绪论 | 第15-29页 |
| 1.1 本文研究的目的和意义 | 第15-17页 |
| 1.2 DNA分子计算主要模型及研究成果 | 第17-25页 |
| 1.2.1 DNA计算主要模型 | 第17-24页 |
| 1.2.2 DNA计算主要成果 | 第24-25页 |
| 1.3 本文主要内容 | 第25-29页 |
| 第2章 DNA电子计算模型的理论基础 | 第29-52页 |
| 2.1 引言 | 第29页 |
| 2.2 DNA基础知识 | 第29-34页 |
| 2.2.1 DNA信息表达 | 第29-32页 |
| 2.2.2 DNA操作 | 第32-34页 |
| 2.3 粘贴计算模型 | 第34-36页 |
| 2.4 GTM模型 | 第36-40页 |
| 2.4.1 GTM的体系结构 | 第37-38页 |
| 2.4.2 GTM的形式定义 | 第38-39页 |
| 2.4.3 GTM的计算方式 | 第39-40页 |
| 2.5 求解SAT问题的GTM算法 | 第40-45页 |
| 2.5.1 SAT问题 | 第40页 |
| 2.5.2 GTMsat算法 | 第40-41页 |
| 2.5.3 求解实例 | 第41-45页 |
| 2.6 GTMscp | 第45-50页 |
| 2.6.1 GTMscp指令系统 | 第45-46页 |
| 2.6.2 GTMscp算法 | 第46-48页 |
| 2.6.3 GTMscp试验 | 第48-50页 |
| 2.7 本章小结 | 第50-52页 |
| 第3章 DEM硬件实现 | 第52-69页 |
| 3.1 引言 | 第52页 |
| 3.2 DEM体系结构 | 第52-65页 |
| 3.2.1 信息编码及操作 | 第53-54页 |
| 3.2.2 支持多值逻辑的三稳态RS触发器 | 第54-57页 |
| 3.2.3 支持多值逻辑的四稳态RS触发器 | 第57-58页 |
| 3.2.4 基于多值逻辑的地址译码器 | 第58-61页 |
| 3.2.5 基于多值逻辑的数据生成器 | 第61-63页 |
| 3.2.6 DEM显示模块 | 第63-65页 |
| 3.3 SOPC试验平台 | 第65-68页 |
| 3.3.1 SOPC开发流程 | 第66-67页 |
| 3.3.2 DEM功能模块 | 第67-68页 |
| 3.4 本章小结 | 第68-69页 |
| 第4章 DEM在图论中的应用研究 | 第69-90页 |
| 4.1 引言 | 第69页 |
| 4.2 DEM求解图的最大团 | 第69-81页 |
| 4.2.1 DEMmcp编码 | 第69-71页 |
| 4.2.2 DEMmcp求解算法 | 第71-72页 |
| 4.2.3 DEMmcp硬件设计 | 第72-73页 |
| 4.2.4 DEMmcp实验 | 第73-79页 |
| 4.2.5 算法分析 | 第79-81页 |
| 4.3 DEM求解Ramsey数 | 第81-88页 |
| 4.3.1 Ramsey数编码 | 第82-84页 |
| 4.3.2 Ramsey数求解算法 | 第84-86页 |
| 4.3.3 Ramsey(4,4)数求解实例 | 第86-87页 |
| 4.3.4 算法复杂度分析 | 第87-88页 |
| 4.4 本章小结 | 第88-90页 |
| 第5章 DEM在弹药配送路径优化问题中的应用研究 | 第90-119页 |
| 5.1 引言 | 第90-91页 |
| 5.2 实际生活中的 0-1 规划问题 | 第91-95页 |
| 5.2.1 背包问题的 0-1 规划模型 | 第91-92页 |
| 5.2.2 最大团问题的 0-1 规划其模型 | 第92页 |
| 5.2.3 集覆盖问题的 0-1 规划模型 | 第92-93页 |
| 5.2.4 旅行商问题的 0-1 规划模型 | 第93-94页 |
| 5.2.5 可满足性问题的 0-1 规划模型 | 第94页 |
| 5.2.6 理论价值及难点分析 | 第94-95页 |
| 5.3 0-1 规划问题的DNA分子计算求解算法 | 第95-101页 |
| 5.3.1 简单 0-1 规划问题的求解算法 | 第96-98页 |
| 5.3.2 一般 0-1 规划问题的求解算法 | 第98-101页 |
| 5.3.3 算法分析 | 第101页 |
| 5.4 0-1 规划问题的DEM模型 | 第101-106页 |
| 5.4.1 DEM硬软件设计 | 第101-103页 |
| 5.4.2 求解算法 | 第103-106页 |
| 5.5 军事弹药配送路径优化问题的DEM求解算法 | 第106-115页 |
| 5.5.1 弹药配送运输网络 | 第107-109页 |
| 5.5.2 弹药配送路径权值分析 | 第109-111页 |
| 5.5.3 弹药配送路径优化的数学模型 | 第111-114页 |
| 5.5.4 战时弹药配送路径优化的数学模型 | 第114-115页 |
| 5.6 弹药配送案例分析 | 第115-118页 |
| 5.6.1 DEM求解弹药配送路径优化问题的算法 | 第115-117页 |
| 5.6.2 算法分析 | 第117-118页 |
| 5.7 本章小结 | 第118-119页 |
| 总结与展望 | 第119-123页 |
| 总结 | 第119-120页 |
| 创新点 | 第120-121页 |
| 展望 | 第121-123页 |
| 参考文献 | 第123-136页 |
| 附录 | 第136-141页 |
| 攻读学位期间发表论文与研究成果清单 | 第141-142页 |
| 致谢 | 第142页 |
