膜计算导论

膜计算导论  
出版时间：2012年版 
内容简介 
　　《膜计算导论》是第一本系统全面介绍膜计算的中文译著，本书的内容涵盖了膜计算研究领域的核心概念与结论，包括几类重要的P系统以及它们的计算能力与计算效率、较为完备的参考文献，以及一系列的公开问题和研究主题。原著出版于2002年，根据该领域的最新进展，在中文译著中增加了一章“膜计算最新进展”。 
目录 
第一章 绪论：膜计算-它是什么，它不是什么 
 
第二章 预备知识 
2.1生物膜 
2.1.1质膜的结构 
2.1.2透膜运输 
2.1.3细胞分裂：有丝分裂 
2.2神经元 
2.3可计算性初步 
2.3.1基本概念和符号 
2.3.2串和语言的运算 
2.3.3Chomsky文法 
2.3.4语言的刻画与必要条件 
2.3.5Lindenmayer系统 
2.3.6有穷自动机与图灵机 
2.3.7受控重写 
2.3.8关于CS和RE的差异 
2.3.9通用图灵机和0型文法 
2.3.10剪接操作、插入删除操作、上下文邻接操作 
2.3.11复杂性初步 
2.3.12多重集 
2.4文献注释 
 
第三章 符号对象膜系统 
3.1基本类型 
3.2两个例子 
3.3基本类型的计算能力 
3.4基本扩展 
3.4.1膜的溶解 
3.4.2进化规则的优先次序 
3.4.3两个例子 
3.4.4带规则优先次序的膜系统的计算能力 
3.4.5具有同步特性膜系统的计算能力 
3.5形式化定义 
3.6进一步扩展 
3.6.1弱目标命令 
3.6.2控制膜的渗透性 
3.6.3由浓度控制的通信 
3.6.4在计算过程中产生规则 
3.6.5使用促进剂或抵制剂 
3.7带外部输出的系统 
3.8文献注释 
 
第四章 通信取化进化 
4.1同向/反向转运系统 
4.2计算通用性 
4.3控制规则使用 
4.4跟踪对象的轨迹 
4.5带载体的膜系统 
4.6文献注释 
 
第五章 结构化对象 
5.1重写膜系统 
5.2若干变型系统及其计算能力 
5.2.1规则创建 
5.2.2条件重写 
5.2.3条件通信 
5.2.4复制重写 
5.2.5并行重写 
5.3剪接膜系统 
5.4上下文膜系统 
5.5插入删除膜系统 
5.6文献注释 
 
第六章 膜网络 
6.1剪接情形 
6.2使用同向/反向转运规则 
6.3类神经膜网络 
6.3.1定义和实例 
6.3.2计算能力 
6.3.3计算效率 
6.4文献注释 
 
第七章 以空间换取时间 
7.1膜系统的复杂类 
7.2膜分裂法 
7.2.1线性时间内解决SAT问题 
7.2.2解决哈密尔顿路径问题 
7.2.3使用协作规则 
7.2.4膜分裂是否必要 
7.3膜生成法 
7.3.1解决SAT问题 
7.3.2解决HPP问题 
7.3.3字符串对象 
7.4字符串复制 
7.5预计算资源的使用 
7.6文献注释 
 
第八章 更多探究结果 
8.1判定性结果 
8.2一元系统 
8.3上下文无关语言的刻画 
8.4字符串对象的评估 
8.5增强型膜处理系统 
8.6成果概览 
8.6.1广义串行膜系统 
8.6.2二维对象 
8.6.3膜系统与流X机 
8.6.4膜系统与环境演算 
8.6.5通用系统的直接构造 
8.6.6进一步的研究课题 
 
第九章 从抽象再到现实 
9.1细胞中的能量 
9.2细胞的芽生 
9.3细胞的双层膜结构 
9.4在电子计算机上的实现 
9.5人工生命的应用 
9.6模拟光合作用 
公开问题 
通用性结论 
 
参考文献 
索引 
附录膜计算最新进展 
F.1前面章 节中公开问题的跟踪研究 
F.2脉冲神经膜系统 
F.2.1非正式的介绍及例子 
F.2.2形式化定义 
F.2.3一些结果 
F.3分布式膜自动机 
F.3.1膜自动机计算能力的再研究 
F.3.2分布式膜自动机的计算能力 
附录 参考文献