论文部分内容阅读
随着科学的不断发展,目前的科学研究经常涉及到多个不同的学科领域,打破经典学科的分类,进行交叉学科的研究成为大势所趋。在计算机科学领域,生物学一直对其发展有重大的影响,许多计算思想、模型、方法都是受生物系统的启发而来,如自然计算中为大家所熟悉的遗传算法和神经计算等。1998年,Gh. Paun教授首次提出了膜计算的概念。膜计算是自然计算的一个新的分支,是计算机科学、生物学、数学等多学科交叉的研究领域,其目的是从细胞的结构和功能,以及从组织和器官等细胞群相互协作处理信息的方式中,获得新的思想,设计新的模型。膜计算是根据细胞处理化学物质的机理提出的一种新的计算模式,膜计算系统(由于Gh. Paun院士对膜计算领域的巨大贡献,也称为P系统)具有良好的分布式结构和巨大的并行性,并且为生物系统的建模与仿真提供了新的工具。根据膜结构的不同,膜系统分为嵌套结构膜系统和网状结构膜系统。本文研究网状结构膜系统,它包括组织膜系统和脉冲神经膜系统。组织膜系统是依据组织中细胞之间通过蛋白质通道进行通信的生物事实构造的计算模型,而脉冲神经膜系统则是基于大脑中神经元之间通过突触相互协作、处理脉冲信息的生物现象而抽象出来的计算模型。由于其强大的计算能力及其在解决困难问题方面显示的潜力,网状结构膜系统引起越来越多学者的关注。本文从语言的产生能力及数的识别能力、小通用性以及计算有效性三个方面研究了网状结构膜系统的计算能力,主要工作如下:首先研究了网状结构膜系统的语言产生能力和数的识别能力。计算设备的语言产生及数的识别能力是研究计算设备计算能力的基本问题之一。本文研究了穷举使用规则的脉冲神经膜系统产生二进制字符串语言的能力,以及前瞻模式下的组织膜系统识别数的能力。对于穷举使用规则的脉冲神经膜系统,研究了它在使用扩展规则时的二进制语言产生能力,证明了扩展脉冲神经膜系统在穷举使用规则的模式下可以刻画有限语言和递归可枚举语言。另外研究了前瞻模式下的组织膜系统作为数的识别装置时的识别能力,证明了在前瞻使用规则的模式下,包含3个细胞的组织膜系统可以刻画递归可枚举数集。其次对具有反脉冲的脉冲神经膜系统的小通用性进行了研究。计算模型的小通用性是计算机科学中经典的研究问题之一,小通用系统具有良好的通用性和扩展性,可以直接作为实用系统的一个核心部件,也可以协助开发系统,节约系统成本,缩短研发周期。对于脉冲神经膜系统而言,研究小通用性问题除了具有计算机科学意义外,还有其生物学意义:给出某种小通用“脑”的度量。本文对脉冲神经膜系统的小通用性进行了如下研究:在作为计算函数的装置的情形下,本文分别构造了使用规则产生反脉冲和使用抑制突触产生反脉冲的小通用脉冲神经膜系统,并通过考虑共用附属神经元的方式,优化了所得到的小通用系统的神经元个数。这一结论给出了具有反脉冲,并且使用纯规则的小通用“脑”的度量。最后研究了组织膜系统的计算有效性。由于组织膜系统的拓扑结构是固定的,因此在计算过程中无法由组织膜系统本身来生成计算空间,从而实现空间换时间。本文研究了组织膜系统在具有细胞分割性质时的计算有效性。利用这种类型的系统,求解了一个著名的NP完全问题—子集和问题。所构造的具有细胞分割性质的组织膜系统,可以在(与问题规模相关的)多项式时间内求解给定规模的子集和问题的所有算例。此外还研究了前瞻模式下组织膜系统求解三着色问题时的计算有效性,在前瞻使用规则的模式下,该组织膜系统可以在(与图的顶点数相关的)线性时间内求解三着色问题。这些结论证实了细胞分割的确是有效的以空间换时间的手段,并且前瞻可以有效地降低膜系统固有的非确定性。