基于CUDA并行平台实现核膜系统求解可满足性问题的研究

• 作者: 杨彬 郑晓龙 金光大 黄晗
• 来源期刊: 云南民族大学学报（自然科学版）
• 学科: 工学
• 关键词: 膜计算 核膜系统 SAT问题 CUDA
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 信息与计算机科学
• 页码范围: 459-463
• 页数: 5页
• 分类号: TP310.5
• 字数: 3217字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-8513.2013.06.019

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨彬	西南交通大学电气工程学院	10	31	3.0	5.0
2	金光大	西南交通大学电气工程学院	7	16	3.0	3.0
3	郑晓龙	西南交通大学电气工程学院	4	24	3.0	4.0
4	黄晗	西南交通大学电气工程学院	3	9	2.0	3.0