| 中文摘要 | 第3-5页 |
| 英文摘要 | 第5-6页 |
| 1 绪论 | 第9-27页 |
| 1.1 研究背景及研究意义 | 第9-10页 |
| 1.2 研究现状 | 第10-18页 |
| 1.2.1 膜计算简介 | 第10-12页 |
| 1.2.2 膜计算模型介绍 | 第12-18页 |
| 1.3 研究涉及到的定义和概念 | 第18-22页 |
| 1.3.1 形式语言与注册机 | 第18-19页 |
| 1.3.2 时间无关模式 | 第19-21页 |
| 1.3.3 时间无关模式下求解NP难问题 | 第21-22页 |
| 1.4 计算复杂性 | 第22-23页 |
| 1.5 膜算法 | 第23页 |
| 1.6 研究内容与创新点 | 第23-24页 |
| 1.7 本文的内容安排 | 第24-27页 |
| 2 基于促进剂的时间活性膜P系统 | 第27-47页 |
| 2.1 基于促进剂的时间活性膜P系统构建 | 第27-29页 |
| 2.2 基于促进剂的时间活性膜P系统求解SAT问题半统一解 | 第29-34页 |
| 2.3 基于促进剂的时间活性膜P系统求解SAT问题统一解 | 第34-41页 |
| 2.4 系统计算效率分析 | 第41-43页 |
| 2.4.1 半统一方法 | 第41-42页 |
| 2.4.2 统一方法 | 第42-43页 |
| 2.5 基于促进剂的时间活性膜P系统通用性证明 | 第43-45页 |
| 2.6 本章小结 | 第45-47页 |
| 3 膜上带蛋白的时间膜系统 | 第47-61页 |
| 3.1 膜上带蛋白的时间膜系统模型 | 第47-48页 |
| 3.2 膜上带蛋白的时间膜系统求解SAT问题 | 第48-54页 |
| 3.3 触发型膜上带蛋白的时间膜系统求解SAT问题 | 第54-59页 |
| 3.4 本章小结 | 第59-61页 |
| 4 基于细胞分裂的类组织时间膜系统计算效率 | 第61-71页 |
| 4.1 具有细胞分裂的类组织时间膜系统 | 第61-62页 |
| 4.2 具有细胞分裂的类组织时间膜系统求解SAT问题 | 第62-70页 |
| 4.3 计算效率分析 | 第70页 |
| 4.4 本章小结 | 第70-71页 |
| 5 基于对象进化规则的内稳态组织膜系统 | 第71-85页 |
| 5.1 内稳态组织膜系统构建 | 第71-73页 |
| 5.2 内稳态组织膜系统求解SAT问题 | 第73-77页 |
| 5.3 内稳态时间组织膜系统求解三着色问题 | 第77-81页 |
| 5.4 内稳态组织膜系统的通用性证明 | 第81-83页 |
| 5.5 本章小结 | 第83-85页 |
| 6 基于活性膜P系统的CNSMO算法 | 第85-97页 |
| 6.1 基于分类噪声检测的序列最小优化算法 | 第85-89页 |
| 6.1.1 SVM基本模型 | 第85-87页 |
| 6.1.2 基于分类噪声检测的CNSMO | 第87-89页 |
| 6.2 基于活性膜P系统的CNSMO算法设计 | 第89-93页 |
| 6.2.1 活性膜P系统基本框架以及进化规则设计 | 第89-90页 |
| 6.2.2 基于活性膜P系统的CNSMO算法设计 | 第90-93页 |
| 6.3 仿真实验分析 | 第93-96页 |
| 6.4 本章小结 | 第96-97页 |
| 7 总结和展望 | 第97-99页 |
| 7.1 全文总结 | 第97-98页 |
| 7.2 未来的工作展望 | 第98-99页 |
| 致谢 | 第99-101页 |
| 参考文献 | 第101-109页 |
| 附录 | 第109-110页 |
| A. 作者在攻读学位期间发表的相关论文目录 | 第109-110页 |
| B. 作者在攻读学位期间参加的相关科研项目 | 第110页 |
