目录

目　录

内容提要

前　言

第1章　绪　论

1.1　概述

1.2　研究进展

1.2.1　膜计算简介

1.2.2　膜计算模型介绍

1.3　膜计算中的相关定义及概念

1.3.1　形式语言与注册机

1.3.2　时间无关模式

1.3.3　时间无关模式下求解NP难问题

1.4　计算复杂性

1.5　膜算法

参考文献

第2章　基于促进剂的时间活性膜P系统

2.1　基于促进剂的时间活性膜P系统构建

2.2　基于促进剂的时间活性膜P系统求解SAT问题半统一解

2.3　基于促进剂的时间活性膜P系统求解SAT问题统一解

2.4　系统计算效率分析

2.4.1　半统一方法

2.4.2　统一方法

2.5　基于促进剂的时间活性膜P系统通用性证明

参考文献

第3章　膜上带蛋白的时间膜系统

3.1　膜上带蛋白的时间膜系统模型

3.2　膜上带蛋白的时间膜系统求解SAT问题

3.3　触发型膜上带蛋白的时间膜系统求解SAT问题

参考文献

第4章　基于细胞分裂的类组织时间膜系统计算效率

4.1　具有细胞分裂的类组织时间膜系统

4.2　具有细胞分裂的类组织时间膜系统求解SAT问题

4.3　计算效率分析

参考文献

第5章　内稳态类组织膜系统

5.1　内稳态类组织膜系统构建

5.2　HTP-OEP的计算能力以及计算效率

5.3　HTP-OE的计算能力以及计算效率

5.4　HTP-ES／A的计算能力以及计算效率

参考文献

第6章　基于活性膜P系统的CNSMO算法

6.1　基于分类噪声检测的序列最小优化算法

6.2　基于活性膜P系统的CNSMO算法设计

6.3　仿真实验分析

参考文献

索　引