| 摘要 | 第4-6页 |
| Abstract | 第6-7页 |
| 目录 | 第9-11页 |
| 1 绪论 | 第11-27页 |
| 1.1 膜计算研究背景 | 第11-12页 |
| 1.2 蛋白膜系统研究现状 | 第12-18页 |
| 1.3 研究涉及的定义和概念 | 第18-24页 |
| 1.4 研究内容与创新点 | 第24-25页 |
| 1.5 本文的内容安排 | 第25-27页 |
| 2 利用蛋白膜系统求解PSPACE问题 | 第27-39页 |
| 2.1 相关定义 | 第27-31页 |
| 2.2 利用蛋白膜系统在统一形式下求解QSAT问题 | 第31-38页 |
| 2.3 本章小结 | 第38-39页 |
| 3 极小并行蛋白膜系统计算性能研究 | 第39-52页 |
| 3.1 极小并行蛋白膜系统 | 第39-42页 |
| 3.2 极小并行蛋白膜系统计算通用性研究 | 第42-45页 |
| 3.3 极小并行蛋白膜系统计算有效性研究 | 第45-51页 |
| 3.4 本章小结 | 第51-52页 |
| 4 时间无关蛋白膜系统计算性能研究 | 第52-68页 |
| 4.1 时间无关蛋白膜系统 | 第52-55页 |
| 4.2 时间无关蛋白膜系统的两个例子 | 第55-57页 |
| 4.3 时间无关蛋白膜系统通用性研究 | 第57-60页 |
| 4.4 时间无关蛋白膜系统计算有效性研究 | 第60-66页 |
| 4.5 本章小结 | 第66-68页 |
| 5 利用蛋白膜系统刻画NL类 | 第68-78页 |
| 5.1 依赖图 | 第68-69页 |
| 5.2 利用蛋白膜系统刻画NL类的上界 | 第69-71页 |
| 5.3 在非统一模式下利用蛋白膜系统刻画NL类的下界 | 第71-75页 |
| 5.4 在统一模式下利用蛋白膜系统刻画NL类的下界 | 第75-77页 |
| 5.5 本章小结 | 第77-78页 |
| 6 利用蛋白膜系统求解PP完全问题 | 第78-88页 |
| 6.1 蛋白膜系统中的分裂规则 | 第78-79页 |
| 6.2 PP完全问题算法设计 | 第79-81页 |
| 6.3 求解Sqrt-3SAT问题 | 第81-87页 |
| 6.4 本章小结 | 第87-88页 |
| 7 触发型蛋白膜系统计算性能研究 | 第88-100页 |
| 7.1 触发型蛋白膜系统 | 第88-92页 |
| 7.2 触发型蛋白膜系统计算有效性研究 | 第92-96页 |
| 7.3 时间无关触发型蛋白膜系统通用性研究 | 第96-99页 |
| 7.4 本章小结 | 第99-100页 |
| 8 基于膜分离规则的组织膜系统计算有效性研究 | 第100-112页 |
| 8.1 组织膜系统简介 | 第100-103页 |
| 8.2 求解顶点覆盖问题 | 第103-111页 |
| 8.3 本章小结 | 第111-112页 |
| 9 总结与展望 | 第112-115页 |
| 9.1 全文总结 | 第112-113页 |
| 9.2 尚待研究的工作 | 第113-115页 |
| 致谢 | 第115-116页 |
| 参考文献 | 第116-123页 |
| 附录1 攻读学位期间发表的学术论文 | 第123-124页 |
| 附录2 博士学位论文章节内容与博士期间发表论文的关系 | 第124-125页 |
| 附录3 攻读博士学位论文期间参加的科研课题 | 第125页 |
