文件名称：基于CUDA并行平台实现核膜系统求解可满足性问题的研究 (2013年)
文件大小：569KB
文件格式：PDF
更新时间：2024-07-03 19:28:47
自然科学 论文
膜系统能以空间换时间的方式在多项式时间内求解NP难问题，作为膜系统中的一个新类型，核膜系统不仅包含了不同类型膜系统的特征，而且能提供一种统一性的描述.因此基于核膜系统构建系统模型，并以此求解一个典型的NP难问题：可满足性问题.为了加速对核膜系统的仿真过程，程序将在CUDA并行方式下仿真实现，通过与传统的串行方式比较，使用CUDA能减少95%的仿真时间，这也表明使用CUDA并行方式非常适合仿真核膜系统.