可满足性问题的改进型类组织P系统的求解研究
| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 1 绪论 | 第13-21页 |
| ·研究背景及意义 | 第13-17页 |
| · | 第17-18页 |
| ·膜计算的研究现状 | 第17-18页 |
| ·膜计算求解SAT问题的研究现状 | 第18页 |
| ·本文的研究内容和组织结构 | 第18-21页 |
| 2 膜计算 | 第21-29页 |
| ·膜计算的产生 | 第21-22页 |
| ·膜计算的基本概念 | 第22-24页 |
| ·膜结构的表示 | 第24-25页 |
| ·膜系统中对象的表示 | 第25页 |
| ·P系统计算规则 | 第25-26页 |
| ·配置 | 第26-27页 |
| ·计算结果 | 第27页 |
| ·本章小结 | 第27-29页 |
| 3 改进的类组织膜系统求解可满足性问题 | 第29-47页 |
| ·基于细胞分裂的类组织P系统 | 第29-34页 |
| ·基于细胞分裂的识别型可进化类组织P系统 | 第34-36页 |
| ·多项式时间内求解可满足性问题 | 第36-38页 |
| ·求解DNF-SAT问题 | 第38-42页 |
| ·求解CNF-SAT | 第42-45页 |
| ·本章小结 | 第45-47页 |
| 4 仿真实验及分析 | 第47-59页 |
| ·仿真软件 | 第47-49页 |
| ·编程语言及相应程序代码 | 第49-53页 |
| ·编程语言——pLingua | 第50-52页 |
| ·求解SAT问题的程序代码 | 第52-53页 |
| ·仿真结果及分析 | 第53-57页 |
| ·基于析取范式的可满足性问题的仿真结果 | 第54-55页 |
| ·基于合取范式的可满足性问题的仿真结果 | 第55-57页 |
| ·本章小结 | 第57-59页 |
| 5 基于FPGA的膜计算硬件实现 | 第59-73页 |
| ·FPGA简介 | 第59-60页 |
| ·FPGA概述 | 第59页 |
| ·硬件描述语言VHDL简介 | 第59-60页 |
| ·改进的类组织P系统的FPGA硬件化模块设计 | 第60-64页 |
| ·实验结果及分析 | 第64-71页 |
| ·基于DNF形式的实验结果及分析 | 第64-67页 |
| ·基于CNF形式的实验结果及分析 | 第67-71页 |
| ·本章小结 | 第71-73页 |
| 6 总结与展望 | 第73-75页 |
| ·全文总结 | 第73-74页 |
| ·展望 | 第74-75页 |
| 致谢 | 第75-77页 |
| 参考文献 | 第77-81页 |
| 附录 | 第81-87页 |
| 作者简介及读研期间主要科研成果 | 第87页 |
