| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 目录 | 第6-8页 |
| 1 引言 | 第8-19页 |
| ·研究目的和意义 | 第8-9页 |
| ·国内外研究现状 | 第9-11页 |
| ·膜计算膜系统 | 第11-17页 |
| ·本文的创新之处 | 第17页 |
| ·研究内容与结构 | 第17-19页 |
| 2 膜创生膜系统模型的构建 | 第19-26页 |
| ·带膜溶解规则的膜系统 | 第19-20页 |
| ·带膜创生规则的膜系统 | 第20-22页 |
| ·带膜创生规则的识别膜系统 | 第22-24页 |
| ·膜创生膜系统求解 3-SAT 和 SAT 问题的步骤 | 第24页 |
| ·本章小结 | 第24-26页 |
| 3 基于膜创生膜系统的 3-SAT 问题的多项式时间解法 | 第26-33页 |
| ·多项式时间求解 3-SAT 问题的膜创生膜系统 | 第26-31页 |
| ·3-SAT 问题的多项式时间解法的计算过程 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 4 基于膜创生膜系统的 3-SAT 问题的与时间无关解法 | 第33-41页 |
| ·与时间无关求解 3-SAT 问题的膜创生膜系统 | 第33-38页 |
| ·3-SAT 问题的与时间无关解法的计算过程 | 第38-40页 |
| ·本章小结 | 第40-41页 |
| 5 基于膜创生膜系统的 SAT 问题的与时间无关解法 | 第41-48页 |
| ·与时间无关求解 SAT 问题的膜创生膜系统 | 第41-46页 |
| ·SAT 问题的与时间无关解法的计算过程 | 第46-47页 |
| ·本章小结 | 第47-48页 |
| 6 总结与展望 | 第48-50页 |
| ·全文总结 | 第48-49页 |
| ·研究展望 | 第49-50页 |
| 致谢 | 第50-51页 |
| 参考文献 | 第51-56页 |
| 附录 攻读学位期间发表的学术论文 | 第56页 |
