×

使用GPU模拟基于P系统的SAT高效解决方案。 (英语) Zbl 1208.68124号

概要:P系统本质上是在膜计算领域内定义的并行和非确定性理论计算设备。在这方面已经出现了许多P系统模拟器,但它们效率低下,因为它们无法处理这些设备的并行性。如今,我们正在见证GPU作为计算通用应用程序的并行框架的整合。在本文中,我们分析了GPU作为一种替代的并行体系结构,以提高P系统仿真中的性能,并通过对一系列P系统的案例研究进行了说明,这些P系统为SAT问题提供了一个高效且统一的解决方案。首先,我们开发了一个完全模拟P系统计算的模拟器,证明GPU非常适合模拟它们。然后,我们使该模拟器适应GPU体系结构特性,改进了以前模拟器的性能。

MSC公司:

2010年第68季度 计算模式(非确定性、并行、交互式、概率性等)
2005年第68季度 计算模型(图灵机等)(MSC2010)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] J.M.Cecilia、J.M.García、G.D.Guerrero、M.a.Martínez-del-Amor、I.Pérez-Hurtado、M.J.Pérez Jiménez,CUDA上具有活性膜的P系统模拟,生物信息学简介,系统生物学中并行和普遍存在的方法和工具(在线版)。doi:10.1093/bib/bbp064。;J.M.Cecilia、J.M.García、G.D.Guerrero、M.a.Martínez-del-Amor、I.Pérez-Hurtado、M.J.Pérez Jiménez,CUDA上具有活性膜的P系统模拟,生物信息学简介,系统生物学中并行和普遍存在的方法和工具(在线版)。doi:10.1093/bib/bbp064。
[2] G.Ciobanu,G.Wenyuan,计算机集群上运行的P系统,摘自:膜计算:第四届国际研讨会,WMC 2003,计算机科学讲义,第2933卷,2004年,第289-328页。;G.Ciobanu,G.Wenyuan,计算机集群上运行的P系统,摘自:膜计算:第四届国际研讨会,WMC 2003,计算机科学讲义,第2933卷,2004年,第289-328页。
[3] 费尔南德斯,L。;马丁内斯,V.J。;阿罗约,F。;Mingo,L.F.,用于在过渡P系统中选择主动规则的硬件电路,(SYNASC’05:第七届科学计算符号和数字算法国际研讨会论文集(2005),IEEE计算机学会:IEEE计算机协会,华盛顿特区,美国),415-418
[4] M.García-Quismondo,R.Gutiérrez-Escudero,I.Pérez-Hurtado,M.J.Pörez-Jiménez,a.Riscos-Nüñez,《P语言2.0概述》,摘自:膜计算:第十届国际研讨会,WMC 2009,《计算机科学讲义》,第5957卷,2010年,第264-288页。;M.García-Quismondo,R.Gutiérrez Escudero,I.Pérez Hurtado,M.J.Pérez Jiménez,a.Riscos-Núñez,P语言2.0概述,载于:膜计算:第十届国际研讨会,WMC 2009,计算机科学讲义,第59572010卷,第264-288页。
[5] 加兰,M。;南卡罗来纳州勒格兰德。;Nickolls,J。;安德森,J。;Hardwick,J。;莫顿,S。;菲利普斯,E。;Zhang,Y。;Volkov,V.,CUDA并行计算经验,IEEE Micro,28,4,13-27(2008)
[6] M.A.Gutiérrez-Naranjo,M.J.Pérez-Jiménez,A.Riscos-Nüni-ez,可用膜计算软件,摘自:膜计算应用,2006年,第411-436页。;M.A.Gutiérrez-Naranjo,M.J.Pérez-Jiménez,A.Riscos-Nüni-ez,可用膜计算软件,收录于:膜计算应用,2006年,第411-436页。
[7] Lindholm,E。;Nickolls,J。;Oberman,S。;Montrym,J.,NVIDIA Tesla:统一图形和计算架构,IEEE Micro,28,2,39-55(2008)
[8] Nickolls,J。;巴克,我。;加兰,M。;Skadron,K.,《使用CUDA的可扩展并行编程》,Queue,6,2,40-53(2008)
[9] V.Nguyen,D.Kearney,G.Giiosa,P系统中非确定性对象分布的算法及其在硬件中的实现,摘自:膜计算:第九届国际研讨会,WMC 2008,计算机科学讲稿,第5391卷,2009年,第325-354页。;V.Nguyen,D.Kearney,G.Giiosa,P系统中非确定性对象分布的算法及其在硬件中的实现,摘自:膜计算:第九届国际研讨会,WMC 2008,计算机科学讲义,第5391卷,2009年,第325-354页。
[10] V.Nguyen,D.Kearney,G.Gioisa,《面向区域的膜计算应用硬件实现》,摘自:《膜计算:第十届国际研讨会》,WMC 2009,《计算机科学讲义》,第5957卷,2010年,第385-409页。;V.Nguyen,D.Kearney,G.Gioisa,《面向区域的膜计算应用硬件实现》,摘自:《膜计算:第十届国际研讨会》,WMC 2009,《计算机科学讲义》,第5957卷,2010年,第385-409页。
[11] NVIDIA,NVIDIA-CUDA编程指南2.0,2008年。;NVIDIA,NVIDIA-CUDA编程指南2.0,2008年。
[12] ăun,G.,《膜计算》,J.Compute。系统。科学。,61,108-143(2000),图尔库中心CS-TUCS报告第208号,1998年。
[13] Pérez-Jiménez,M.J。;阿拉巴马州罗梅罗·吉梅内斯。;Sancho-Caparini,F.,《膜细胞计算模型中的复杂性类》,《自然计算》。《国际期刊》,第2、3、265-285页(2003年)·Zbl 1048.68043号
[14] ăun,G.,《膜计算》。导言(2002年),《施普林格-弗拉格:柏林施普林格报》,德国
[15] M.Qasem,WinSAT网站(2009年5月)。网址:<http://users.ecs.soton.ac.uk/mqq06r/winsat/>.; M.Qasem,WinSAT网站(2009年5月)。网址:<http://users.ecs.soton.ac.uk/mqq06r/winsat/>.
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。