膜计算导论
出版时间: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分布式膜自动机的计算能力
附录 参考文献