×

使用FLAME对带除法规则的内核P系统进行基于Agent的仿真。 (英语) Zbl 1483.68123号

Lepori,Alberto(编辑)等人,《膜计算》。2016年7月25日至29日,第17届国际会议,CMC 2016,意大利米兰。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10105286-306(2017年)。
概述:内核P系统(或kP系统)将几个P系统风格的相关功能集成到一个统一的内核模型中,该模型允许使用简单的代码编程方法解决复杂的问题。kPWorkbench是一个软件套件,支持对内核P-Lingua(或kP-Lingua)编程语言中定义的kP系统模型进行规范、解析和仿真。研究表明,kP系统的任何只涉及重写和通信规则的计算都可以通过一系列通信流X机(或CSXM)进行模拟,这是基于FLAME代理的仿真环境的核心。接下来,kPWorkbench可以将kP-Lingua规范转换为FLAME模型,可以使用FLAME框架以顺序或并行(基于MPI)的方式进行模拟。此外,FLAME GPU框架可以在支持CUDA的GPGPU设备上高效模拟CSXM。本文提出了kPWorkbench框架的一个扩展,用于从kP-Lingua规范(包括结构规则)生成FLAME模型;并考虑将FLAME规范转换为FLAME GPU模型。此外,我们还分别在kPWorkbench和FLAME中对等效kP系统和CSXM模型进行了性能评估。
关于整个系列,请参见[Zbl 1358.68015号].

MSC公司:

2007年第68季度 受生物启发的计算模型(DNA计算、膜计算等)
2010年第68季度 计算模式(非确定性、并行、交互式、概率性等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bai,H.,Rolfe,M.D.,Jia,W.,Coakley,S.,Poole,R.K.,Green,J.,Holcombe,M.:大肠杆菌中基于试剂的氧反应转录因子建模。公共科学图书馆计算。生物10(4),e1003595(2014)·doi:10.1371/journal.pcbi.1003595
[2] Bakir,M.E.,Konur,S.,Gheorghe,M.,Niculescu,I.,Ipate,F.:内核P系统的高性能模拟。2014年IEEE高性能计算和通信国际会议,第六届IEEE网络空间安全国际研讨会,第十一届IEEE嵌入式软件和系统国际会议,HPCC/CSS/ICESS,法国巴黎,2014年8月20日至22日,第409至412页。IEEE(2014)·doi:10.1109/HPCC.2014.69
[3] Ciobanu,G.,Wenyuan,G.:在计算机集群上运行的P系统。收录于:Martín-Vide,C.、Mauri,G.、Pun,G..、Rozenberg,G.:、Salomaa,A.(编辑)WMC 2003。LNCS,第2933卷,第123–139页。斯普林格,海德堡(2004)。doi:10.1007/978-3-540-24619-09·doi:10.1007/978-3-540-24619-09
[4] Diez Dolinski,L.,Nüñez Hervás,R.,Cruz Echeandía,M.,Ortega,a.:通过地图还原对P系统进行分布式仿真:Hadoop和P-Lingua的第一步。摘自:Cabestany,J.、Rojas,I.、Joya,G.(编辑)IWANN 2011。LNCS,第6691卷,第457-464页。斯普林格,海德堡(2011)。doi:10.1007/978-3642-21501-8_57·Zbl 05959047号 ·doi:10.1007/978-3642-21501-8_57
[5] García-Quismondo,M.:膜计算中真实现象的建模和模拟。2013年11月,塞维利亚大学博士论文
[6] Gheorghe,M.,Ipate,F.,Dragomir,C.,Mierla,L.,Valencia-Cabrera
[7] Gheorghe,M.,Ipate,F.,Mierla,L.,Konur,S.,kPWorkbench:内核P系统的软件框架。收录于:Macías-Ramos,L.F.,Péun,G.,Riscos-Nüñez,A.,Valencia-Cabrera,L.(编辑)第十三届膜计算头脑风暴周,WBMC,西班牙塞维利亚,2015年2月2-6日,第179-194页。Fenix编辑(2015)
[8] Gheorghe,M.,Konur,S.,Ipate,F.,Mierla,L.,Bakir,M.E.,Stannett,M.:内核P系统的集成模型检查工具集。收录人:Rozenberg,G.,Salomaa,A.,Sempere,J.M.,Zandron,C.(编辑)CMC 2015。LNCS,第9504卷,第153-170页。斯普林格,海德堡(2015)。doi:10.1007/978-3-319-28475-0_11·Zbl 1473.68080号 ·doi:10.1007/978-3-319-28475-0_11
[9] Gutiérrez,A.,Fernández,L.,Arroyo,F.,Martínez,V.:基于微控制器的硬件架构设计,用于实现膜系统。摘自:第八届科学计算符号和数字算法国际研讨会,SYNASC 2006,第350–353页(2006)·doi:10.1109/SYNASC.2006.29
[10] Ipate,F.,Blnescu,T.,Kefalas,P.,Holcombe,M.,Eleftherakis,G.:通信流X机器系统的新模型。罗马·J·信息科学。Technol公司。6(1), 165–184 (2003)
[11] Ipate,F.、Lefticaru,R.、Mierlé,L.、Cabrera,L.V.、Han,H.、Zhang,G.、Dragomir,C.、Jiménez,M.J.P.、Gheorghe,M.:Kernal P系统:应用和实现。In,Z.,Pan,L.,Fang,X.(编辑)《第八届生物启发计算国际会议论文集:理论与应用》(BIC-TA),第1081–1089页。斯普林格,海德堡(2013)·doi:10.1007/978-3-642-37502-6_126
[12] Kirk,D.B.,Hwu,W.W.:《大规模并行处理器编程:实践方法》,第1版。Morgan Kaufmann Publishers Inc.,旧金山(2010)
[13] 科努尔(Konur,S.)、基兰(Kiran,MGPU上基于Agent的生物系统高性能模拟。摘自:第17届IEEE高性能计算与通信国际会议,HPCC,第7届IEEE网络空间安全与保障国际研讨会,CSS,以及第12届IEEE嵌入式软件与系统国际会议,ICESS,美国纽约州纽约市,2015年8月24-26日,第84-89页。IEEE(2015)·doi:10.1109/HPCC-CSS-ICESS.2015.253
[14] Macías Ramos,L.F.:为细胞机器开发高效的模拟器。2016年2月,塞维利亚大学博士论文
[15] 马丁内斯·德尔·阿莫尔,M.á.:使用GPU的高性能计算加速膜系统模拟器。2013年5月,塞维利亚大学博士论文
[16] Martínez-del-Amor,M.A.,GarcíA-Quismondo,M.,Macías-Ramos,L.F.,Valencia-Cabrera,L.,Riscos-Núóez,A.,Pérez-Jiménez,M.J.:在GPU设备上模拟P系统:一项调查。芬丹。通知。136(3), 269–284 (2015) ·Zbl 1356.68067号
[17] Martínez-del-Amor,M.A.,Macías-Ramos,L.F.,Valencia-Cabrera,L.,Riscos-Nüñez,A.,Pérez-Jiménez,M.J.:GPU上P系统的加速模拟:一项调查。收录人:Pan,L.,Péun,G.,Párez-Jiménez,M.J.,Song,T.(编辑)BIC-TA 2014。CCIS,第472卷,第308–312页。斯普林格,海德堡(2014)。doi:10.1007/978-3-662-45049-9_50·doi:10.1007/978-3-662-45049-9_50
[18] Munshi,A.,Gaster,B.R.,Mattson,T.G.,Fung,J.,Ginsburg,D.:OpenCL编程指南,第1版。Addison Wesley,波士顿(2011)
[19] Nickolls,J.、Buck,I.、Garland,M.、Skadron,K.:使用CUDA的可扩展并行编程。队列6(2),40-53(2008)·Zbl 05737681号 ·doi:10.1145/1365490.1365500
[20] Niculescu,I.,Gheorghe,M.,Ipate,F.,Stefanescu,A.:从内核P系统到X机器和FLAME。J.Automata语言梳。19(1–4), 239–250 (2014) ·Zbl 1355.68096号
[21] Owens,J.D.、Houston,M.、Luebke,D.、Green,S.、Stone,J.E.、Phillips,J.C.:GPU Computing。程序。IEEE 96(5),879–899(2008)·doi:10.1109/JPROC.2008.917757
[22] 鲍恩,G.:用膜计算。J.计算。系统。科学。61(1), 108–143 (2000) ·Zbl 0956.68055号 ·doi:10.1006/jcss.1999.1693
[23] Petreska,B.,Teuscher,C.:可重构硬件膜系统。收录于:Martín-Vide,C.、Mauri,G.、Pun,G..、Rozenberg,G.:、Salomaa,A.(编辑)WMC 2003。LNCS,第2933卷,第269-285页。斯普林格,海德堡(2004)。doi:10.1007/978-3-540-24619-0_20·doi:10.1007/978-3-540-24619-0_20
[24] Richmond,P.、Walker,D.C.、Coakley,S.、Romano,D.M.:GPU使用FLAME的高性能蜂窝级代理模拟。简介。生物信息。11(3), 334–347 (2010) ·doi:10.1093/bib/bbp073
[25] Takizawa,H.、Koyama,K.、Sato,K.,Komatsu,K.和Kobayashi,H.:CheCL:openCL应用程序的透明检查点和进程迁移。摘自:IEEE国际并行分布式处理研讨会(IPDPS),第864-876页(2011年)·doi:10.1109/IPDPS.2011.85
[26] Wang,L.、Tao,J.、Ranjan,R.、Marten,H.、Streit,A.、Chen,J.和Chen,D.:G-Hadoop:MapReduce跨分布式数据中心进行数据密集型计算。未来一代。计算。系统。29(3), 739–750 (2013). 专题:高性能计算和安全的最新发展·doi:10.1016/j.future.2012.09.001
[27] P-Lingua网站。http://www.p-lingua.org/
[28] kP工作台主页。http://kpworkbench.org/
[29] FLAME网站。网址:http://www.flame.ac.uk/
[30] FLAME GPU网站。网址:http://www.flamegpu.com/
[31] 消息传递接口(MPI)标准。http://www.mcs.anl.gov/research/projects/mpi/ ·兹伯利0875.68206
[32] NVIDIA网站。http://www.nvidia.com/content/global/global.php
[33] OpenCL标准网页。http://www.khronos.org/opencl
[34] 塞维利亚HPC服务器。http://www.gcn.us.es/gpucomputing网站/
[35] Open MPI项目。https://www.open-mpi.org/
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。