×

基于P-Lingua的组织P系统模拟器。 (英语) Zbl 1209.68260号

摘要:目前正在组织样P系统领域进行研究,一方面研究其计算效率,另一方面探索将其用作生物现象计算模型框架的可能性。在这两种情况下,都有必要开发软件,为现有各种组织P系统提供模拟工具(模拟器)。这样的模拟器允许我们在某些(小)实例上对计算困难的问题进行解决方案的计算。此外,它们还提供了一种通过实验数据验证真实生物过程的组织样模型的方法。本文介绍了P-Lingua(一种旨在成为专用于P系统的软件标准的规范语言)的扩展,以涵盖前一版本中未考虑的类组织P系统。此扩展一方面涉及定义要使用的语法,另一方面引入了一个新的内置模拟算法,该算法已添加到P-Lingua的核心库中。

MSC公司:

2010年第68季度 计算模式(非确定性、并行、交互式、概率性等)

软件:

P-语言
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 卡多纳,M。;Colomer,医学硕士。;Pérez-Jiménez,M.J。;萨努伊,D。;Margalida,A.,《使用P系统建模生态系统:长胡子秃鹫》,案例研究,计算机课堂讲稿。科学。,5391, 137-156 (2009) ·Zbl 1196.92038号
[2] D.Díaz-Pernil,Sistemas celulares de tejidos:formalicacienia computacial,塞维利亚大学博士论文,2008年。;D.Díaz-Pernil,Sistemas celulares de tejidos:formalicacienia computacial,博士论文,塞维利亚大学,2008年。
[3] Díaz-Pernil,D。;Gutiérrez Naranjo,硕士。;Pérez-Jiménez,M.J。;Riscos-Nüñez,A.,《利用具有细胞分裂的组织样P系统解决独立集问题》,《计算机课堂讲稿》。科学。,5601, 213-222 (2009)
[4] Díaz-Pernil,D。;Gutiérrez-Naranjo,文学硕士。;Pérez-Jiménez,M.J。;Riscos-Nüñez,A.,《细胞分裂在线性时间内解决3-COL的组织P系统的统一家族》,Theoret。计算。科学。,404, 1-2, 76-87 (2008) ·Zbl 1151.68016号
[5] Díaz-Pernil,D。;佩雷兹·赫塔多,I。;Pérez-Jiménez,M.J。;Riscos-Nüñez,A.,《膜计算的P-Lingua编程环境》,《计算讲义》。科学。,5391, 187-203 (2009)
[6] García-Quismondo,M。;Gutiérrez-Escudero,R。;佩雷兹·赫塔多,I。;Pérez-Jiménez,M.J。;Riscos-Núñez,A.,P-Lingua 2.0概述,计算机讲义。科学。,5957, 264-288 (2010) ·Zbl 1273.68123号
[7] 马丁·维德,C。;ă联合国,Gh。;Rozenberg,G.,《带载体的膜系统》,Theoret。计算。科学。,270, 779-796 (2002) ·Zbl 0988.68075号
[8] Martín-Vide,哥伦比亚。;Pazos,J。;ă联合国,Gh。;Rodríguez-Patón,A.,《组织P系统》,Theoret。计算。科学。,296, 295-326 (2003) ·Zbl 1045.68063号
[9] Gh.Pun,《膜计算》,J.Compute。系统。科学。61(1)(2000)108-143(和图尔库计算机科学中心-图尔库大学2008年报告,1998年)。;Gh.Pun,《膜计算》,J.Compute。系统。科学。61(1)(2000)108-143(以及图尔库计算机科学中心-图尔库大学第2008号报告,1998年)。
[10] ă《带有活性膜的联合国、加纳、波兰系统:应对NP完全问题》,J.Automat。语言梳。,6, 1, 75-90 (2001)
[11] Gh.Péun,M.J.Pérez-Jiménez,A.Riscos-Nüñez,《细胞分裂的组织P系统》,国际计算机杂志。Commun公司。控制III(3)(2008)295-303(初步版本,Gh.Pun,A.Riscos-Nüni-ez,A.Romero-Jiménez,F.Sancho-Caparini(编辑),第二次膜计算头脑风暴周,塞维利亚,RGNC 01/2004报告,2004,第380-386页)。;Gh.Péun,M.J.Pérez-Jiménez,A.Riscos-Nüñez,《细胞分裂的组织P系统》,国际计算机杂志。Commun公司。Control III(3)(2008)295-303(Gh.Păun,A.Riscos-Núñez,A.Romero Jiménez,F.Sancho Caparrini(编辑)的初步版本,第二届膜计算头脑风暴周,塞维利亚,报告RGNC 01/2004,2004,第380-386页)。
[12] ă联合国,Gh。;Sakakibara,Y。;Yokomori,T.,限制形式图上的P系统,Publ。数学。德布勒森,60,635-660(2002)·Zbl 1006.68048号
[13] Pérez-Jiménez,M.J。;Romero-Jiménez,A。;Sancho Caparrini,F.,《细胞膜计算中的复杂性分类》,美国国家计算机科学院。,2, 3, 265-285 (2003) ·Zbl 1048.68043号
[14] Pérez-Jiménez,M.J。;Romero-Jiménez,A。;Sancho-Caparini,F.,使用膜分割的P系统中的多项式复杂性类,J.Automat。语言梳。,11, 4, 423-434 (2006) ·Zbl 1145.68426号
[15] 罗梅罗,F.J。;Pérez-Jiménez,M.J.,使用P系统的鱼类弧菌群体感应系统模型,人工生命,14,1,95-109(2008)
[16] Rozenberg,G.,纤毛虫的DNA加工。体内DNA计算的奇迹,(Antoniou,I.;Calude,C.S.;Dinneen,M.J.,《非传统计算模型》,UMC'2K(2000),Springer),116-118·Zbl 0973.68521号
[17] P系统<http://www.ppage.psystems.eu/>.; P系统<http://www.ppage.psystems.eu/>.
[18] P-Lingua<http://www.p-lingua.org/>.; P-Lingua<http://www.p-lingua.org/>.
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。