论文部分内容阅读
膜系统能以空间换时间的方式在多项式时间内求解NP难问题,作为膜系统中的一个新类型,核膜系统不仅包含了不同类型膜系统的特征,而且能提供一种统一性的描述.因此基于核膜系统构建系统模型,并以此求解一个典型的NP难问题:可满足性问题.为了加速对核膜系统的仿真过程,程序将在CUDA并行方式下仿真实现,通过与传统的串行方式比较,使用CUDA能减少95%的仿真时间,这也表明使用CUDA并行方式非常适合仿真核膜系统.