| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 目录 | 第9-12页 |
| 1 绪论 | 第12-34页 |
| ·研究背景 | 第12-13页 |
| ·膜计算简介 | 第13-15页 |
| ·膜系统介绍 | 第15-28页 |
| ·研究涉及的定义和概念 | 第28-31页 |
| ·研究内容与创新点 | 第31-32页 |
| ·本文的内容安排 | 第32-34页 |
| 2 穷举使用规则的脉冲神经膜系统的语言产生能力 | 第34-47页 |
| ·穷举使用规则的脉冲神经膜系统 | 第34-36页 |
| ·穷举使用规则的脉冲神经膜系统的二进制字符串语言产生能力 | 第36-46页 |
| ·本章小结 | 第46-47页 |
| 3 前瞻模式下组织膜系统的计算通用性 | 第47-55页 |
| ·前瞻模式下的组织膜系统 | 第47-49页 |
| ·前瞻模式下的组织膜系统的计算通用性 | 第49-54页 |
| ·本章小结 | 第54-55页 |
| 4 具有反脉冲的小通用脉冲神经膜系统 | 第55-72页 |
| ·具有反脉冲的脉冲神经膜系统 | 第55-58页 |
| ·具有反脉冲的小通用脉冲神经膜系统 | 第58-66页 |
| ·具有抑制突触的小通用脉冲神经膜系统 | 第66-71页 |
| ·本章小结 | 第71-72页 |
| 5 具有细胞分割的组织膜系统求解子集和问题 | 第72-90页 |
| ·子集和问题 | 第72页 |
| ·具有细胞分割的组织膜系统 | 第72-75页 |
| ·子集和问题的求解 | 第75-82页 |
| ·形式化证明 | 第82-88页 |
| ·主要结论 | 第88-89页 |
| ·本章小结 | 第89-90页 |
| 6 前瞻模式下具有细胞分割的组织膜系统求解三着色问题 | 第90-101页 |
| ·三着色问题 | 第90页 |
| ·前瞻模式下具有细胞分裂的组织膜系统 | 第90-91页 |
| ·三着色问题的线性解 | 第91-99页 |
| ·本章小结 | 第99-101页 |
| 7 总结与展望 | 第101-104页 |
| ·全文总结 | 第101-102页 |
| ·尚待研究的工作 | 第102-104页 |
| 致谢 | 第104-106页 |
| 参考文献 | 第106-114页 |
| 附录1 攻读学位期间发表的学术论文 | 第114-115页 |
| 附录2 博士学位论文章节内容与博士期间发表论文的关系 | 第115-116页 |
| 附录3 攻读博士学位论文期间参加的科研课题 | 第116页 |
