布尔命题可满足性(SAT)问题是近些年来最受关注的NP完全问题之一,它在许多重要领域中发挥着关键的作用。膜计算是自然计算的一个分支,它已被证明可以以并行计算模式在多项式时间内解决NP问题。本硕士论文介绍的主要研究成果是提出一种改进的基于活性膜P系统的SAT求解算法。活性膜P系统是一种类细胞膜计算系统,这种系统仿照细胞中的生化反应,将需要处理的数据分别放入相对独立的类细胞区域里分别进行处理,数据可以在这些区域间传递,这些区域也可以新生和瓦解。分裂规则则是用来对SAT问题的给定子句集进行简化处理的一种规则,可以将个子句集分割为两个具有重叠部分的新子句集分别进行处理,这一点与活性膜P系统的计算模式明显是相互吻合的,这也就是本论文提出的改进算法的理论基础。基于以上知识和思想,本论文的研究工作主要如下:1.深入分析了传统的基于活性膜P系统的SAT求解算法的计算思想,并基于分析结果,选择利用与传统算法具有互补计算思想的经典SAT问题化简规则——分裂规则对传统算法进行改进提升。2.将分裂规则揉入传统算法的框架中,并且为了分裂规则能够在整个计算过程中被重复执行,在算法的框架中加入另外三个SAT问题化简规则——重言式规则、单文字规则、纯文字规则,从而得到一个改进的SAT膜计算算法。新加入的化简规则中,单文字规则和纯文字规则可以减少计算过程中膜分裂的次数,降低膜内容对象的数量,即可以同时降低算法的空间和时间复杂度。3.对改进算法的计算复杂度与传统算法的计算复杂度进行对比以证明改进算法在计算能力方面的优势,同时对改进算法求解SAT问题的计算过程进行实例演示,并在求解过程中的部分节点上将改进算法的膜结构与处于同等求解进度下的传统算法的膜结构进行对比,以直观展示改进算法计算性能的提升。