膜计算-谭立伟.pptVIP

膜计算 android与算法俱乐部 谭立伟 参考文献 陈海珠.膜计算应用研究.重庆大学博士学位论文,2011.4 概述 膜计算(Membrane Computing，也称为 P 系统)是自然计算的一个新分支，其目的是从活细胞中以及组织、器官或其他结构的细胞之间相互协作的方式中获得新的计算思想、设计新的计算模型。P 系统不仅为计算机科学引入了新的分布式并行信息处理方法和技术，而且为生物系统的建模和仿真提供了新工具，是当前非常活跃的一个研究领域，预计在新一代计算系统、信息处理系统的技术开发方面将起关键作用。 关于膜计算的研究工作可归为三类：理论研究、应用研究和软、硬件实现研究。 膜计算的理论研究主要集中于各种计算模型的建立及其计算能力(Computation Power)的分析； 膜计算的应用研究主要是利用 P 系统的特点和各种模型求解生物学、计算机科学、语言学、社会学等方面的实际问题； 而膜计算的软硬件实现研究则侧重于在现有计算机上用程序实现或开发新的处理器实现有关的膜计算模型或求解有关问题。 尽管 P 系统还处于理论研究阶段，但它所具有的一些性质如并行性、非确定性等已经引起了越来越多学者的研究和关注。随着研究的深入，由原始模型衍生出了许多不同的膜计算模型，主要有： 类细胞 P 系统(Cell-like P Systems)、 类组织P 系统(Tissue-like P Systems) 类神经 P 系统(Neural-like P Systems) 它们分别是从细胞、组织以及神经系统中抽象而来的计算模型。 形式语言基础 对于字母表V ，V *(V的闭包)表示V 上所有有限字符串的集合。 空字符串用 λ 表示。 V 上的所有非空有限字符串用V+(V的正闭包)表示，即V +=V* ?{λ} V* 的任意一个子集称为V 上的一个语言 如果 V = {a }（这时称V 为单字母表），则{a }* ，{a }+ 分别简记为a*，a+ 字母表V 上的正则表达式(正规式)定义如下： ① λ 和a ∈ V都是正则表达式； ② 如果E1 ，E2 是V 上的正则表达式，则E1E2, E1∪E2，E1+都是V上的正则表达式； ③ 除①、②之外，V 上不再有其他正则表达式。 正则表达式E 对应于一个语言 L ( E )， L ( E )按如下方式定义： ① L ( λ ) = {λ }以及对每个a ∈ V，有 L ( a ) = {a }； ② 对V 上的任意表达式E1 ，E2 ，有 L( E1 ∪ E2)=L ( E1 ) ∪ L ( E2) L ( E1 E2 )=L ( E1 ) L ( E 2) L ( E1+)=L ( E1)+ 在不引起歧义的前提下，正则表达式中的某些括号可以省略。 另外，对于任意正则表达式E ，把 E+ ∪{λ } 简记为E* 。 类细胞 P 系统 类细胞 P 系统是第一个被提出来的 P 系统。类细胞 P 系统将生物膜内的化学反应与膜间的物质流动抽象为计算过程：生物膜内的化学反应就是通常理解的计算过程，而物质在不同膜之间的流动则对应于通常意义计算系统中的消息传递，细胞或细胞器成为计算单元。 类细胞 P 系统结构的示意图 最外边的膜称为皮肤膜(skin membrane)，它将本系统与外在环境分开。如果一个膜的内部不存在其他膜，就称这个膜为基本膜(elementalmembrane)，否则称为非基本膜(non-elemental membrane)。每一个膜定义了一个区域：对于基本膜，这个区域就是它所包含的空间；对于非基本膜，区域是指这个膜和它直接包含的其他膜之间的空间。 膜结构的描述通常有两种方式: 树形结构-膜的层次结构特征适合于用树结构来描述：皮肤做为根节点，基本膜做为叶节点。 广义表 在生物膜内存在多种物质，如离子、小分子、微分子等。每种物质通常不止一个，并且是无序的。在 P 系统中使用小写字母来表示这些物质，这样膜中含有的物质就可以用多重集表示。所谓多重集是指允许有相同元素的集合。例如，A = {a , a , b, c , c , c}是多重集，记为 {a2 , b, c3}或 a2bc3 。多重集表示是无序的，即a2bc3 与bc3a2 是同一个多重集。 膜作为细胞的边界，细胞内包含的物质是膜计算的对象，物质的反应以及膜之间物质的流动是膜计算的过程，这一过程中膜内物质及其数量发生改变，不同的改变过程对应着不同的进化规则。P 系统中，往往存在多种对象和多个进化规则，规则执行的原则是: 不确定性 - 当有n个规则需要执行m个，具体是哪m个是随机的 最大并行性 - 每次执行所有可执行的规则都必须执行且同时执行。 给定一个 P 系统，即给定了一个膜结构，并且各个膜里都包含有相应的字符串和进化规则，这个称