第1章 绪论 1
1.1 概述 1
1.2 研究进展 3
1.2.1 膜计算简介 3
1.2.2 膜计算模型介绍 5
1.3 膜计算中的相关定义及概念 12
1.3.1 形式语言与注册机 12
1.3.2 时间无关模式 13
1.3.3 时间无关模式下求解NP难问题 15
1.4 计算复杂性 16
1.5 膜算法 17
参考文献 18
第2章 基于促进剂的时间活性膜P系统 22
2.1 基于促进剂的时间活性膜P系统构建 23
2.2 基于促进剂的时间活性膜P系统求解SAT问题半统一解 25
2.3 基于促进剂的时间活性膜P系统求解SAT问题统一解 30
2.4 系统计算效率分析 38
2.4.1 半统一方法 38
2.4.2 统一方法 39
2.5 基于促进剂的时间活性膜P系统通用性证明 40
参考文献 43
第3章 膜上带蛋白的时间膜系统 45
3.1 膜上带蛋白的时间膜系统模型 46
3.2 膜上带蛋白的时间膜系统求解SAT问题 47
3.3 触发型膜上带蛋白的时间膜系统求解SAT问题 53
参考文献 59
第4章 基于细胞分裂的类组织时间膜系统计算效率 61
4.1 具有细胞分裂的类组织时间膜系统 62
4.2 具有细胞分裂的类组织时间膜系统求解SAT问题 63
4.3 计算效率分析 71
参考文献 72
第5章 内稳态类组织膜系统 74
5.1 内稳态类组织膜系统构建 74
5.2 HTP-OEP的计算能力以及计算效率 80
5.2.1 HTP-OEP的通用性证明 80
5.2.2 基于HTP-OEP系统求解SAT问题 82
5.3 HTP-OE的计算能力以及计算效率 86
5.3.1 HTP-OE的通用性证明 86
5.3.2 基于HTP-OE系统求解三着色问题和SAT问题 90
5.4 HTP-ES／A的计算能力以及计算效率 97
5.4.1 HTP-ES／A的通用性证明 97
5.4.2 基于HTP-ES／A系统求解SAT问题 99
参考文献 104
第6章 基于活性膜P系统的CNSMO算法 106
6.1 基于分类噪声检测的序列最小优化算法 106
6.1.1 SVM基本模型 107
6.1.2 基于分类噪声检测的CNSMO 108
6.2 基于活性膜P系统的CNSMO算法设计 111
6.2.1 活性膜P系统基本框架以及进化规则设计 111
6.2.2 基于活性膜P系统的CNSMO算法设计 113
6.3 仿真实验分析 115
参考文献 120
索引 122
