生物计算是计算机科学与生物科学的交叉融合,具有计算并行度高、计算高效性和容错性强等优点。膜计算是生物计算的一个重要分支,目的是从生物细胞的结构与功能以及器官和组织中细胞群的协作中抽象出计算模型。目前,膜计算已经成为生物计算的一个热门领域。数值P系统作为膜计算的一种模型,是受活细胞结构和经济学思想启发而得到的一类分布式并行计算系统。近年,通过引入一些控制机制,已经提出了数值P系统的多个变体,例如,酶数值P系统、带阈值的数值P系统和带产生阈值的数值P系统。为了更加有效地控制程序的执行,本文引入更一般的布尔形式的控制机制到数值P系统,提出了一种数值P系统的新变体,称为带布尔条件的数值P系统(简称为BNP系统)。对比于已有的变体,BNP系统提供了更灵活的和更强的程序控制能力。本文的创新工作总结如下:(1)提出了数值P系统的一个新变体,即带布尔条件的数值P系统。(2)证明了在一并行和序列模式下BNP系统作为数生成设备均是图灵通用的。(3)证明了在全并行、一并行和序列模式下BNP系统作为数接收设备是图灵通用的。(4)证明了BNP系统分别在全并行、一并行和序列模式下均能作为图灵通用的函数计算设备。(5)讨论了BNP系统分别在一并行模式和序列模式下的语言生成能力,并与乔姆斯基语言中的无限语言、有限语言、正则语言和非上下文无关语言进行了比较。