×
阿曼，博格丹;加布里埃尔·乔巴努

有成本的纸巾P系统中的旅行推销员问题。 （英语） 兹比尔1469.68018

J.成员。计算。 3，第2期，97-104（2021）.
总结：我们定义了组织P系统，将执行成本分配给用于在细胞间传输物体的突触。我们使用Priced-Timed Maude重写引擎以成本提供组织P系统的实现。该实施使我们能够分析和验证组织P系统的一些行为方面的成本。我们通过提供旅行推销员问题的解决方案来说明这些纸巾P系统的应用及其成本。

引用于1文件

MSC公司：

2007年第68季度 受生物学启发的计算模型（DNA计算、膜计算等）
2012年第68季度 语法和重写系统
90C27型 组合优化

关键词：

膜计算;旅行推销员问题;重写引擎;Priced-Timed莫德

软件：

莫德
PDF格式BibTeX公司 XML格式引用
\textit{B.Aman}和\textit{G.Ciobanu}，J.Membr。计算。3，第2号，97-104（2021；兹bl 1469.68018）
全文： 内政部

参考文献：

[1] Agrigoroaiei，O。；Ciobanu，G.，《改写含促进剂和抑制剂的膜系统的逻辑规范》，《理论计算机科学电子笔记》，238，5-22（2009）·Zbl 1347.68125号 ·doi:10.1016/j.entcs.2009.05.010
[2] 阿曼，B。；Ciobanu，G.，使用三个移动膜的图灵完备性，计算机科学讲义，5715，42-55（2009）·Zbl 1253.68121号 ·doi:10.1007/978-3642-03745-0_12
[3] 阿曼，B。；Ciobanu，G.，《简单、增强和相互移动膜》，《计算机科学讲义》，5750，26-44（2009）·Zbl 1260.68143号 ·doi:10.1007/978-3642-04186-02
[4] 阿曼，B。；Ciobanu，G.，《膜系统和Petri网中的时间延迟》，《理论计算机科学中的电子程序》，57，47-60（2011）·Zbl 1457.68092号 ·doi:10.4204/EPTCS.57.4
[5] Aman，B.，Ciobanu，G.（2016）。使用Priced-Timed Maude验证P系统的成本。第14届膜计算头脑风暴周会议记录，塞维利亚。
[6] 阿曼，B。；Ciobanu，G.，《移动膜》。IEEE，接入，8147439-147450（2020）·doi:10.1109/ACCESS.2020.3011803
[7] 苹果酸，DL；比克斯比，RE；克瓦塔尔，V。；库克，WJ，《旅行推销员问题》（2006），计算研究：普林斯顿大学出版社，计算研究·Zbl 1130.90036号 ·doi:10.1007/978-3642-03741-231
[8] Bendiksen，L。；奥？lveczky，PC，The Priced-Timed Maude工具，计算机科学课堂讲稿，5728443-448（2009）·doi:10.1007/978-3642-03741-231
[9] 布胡拉，A。；Jouannaud，J-P；Meseguer，J.，《隶属关系方程逻辑的规范和证明》，《理论计算机科学》，23635-132（2000）·Zbl 0938.68057号 ·doi:10.1016/S0304-3975（99）00206-6
[10] 乔巴努，G。；普恩，Gh；Rozenberg，G。；Salomaa，A.，《P系统的语义》，《牛津膜计算手册》，413-436（2010），牛津：牛津大学出版社，牛津·Zbl 1237.68001号
[11] 乔巴努，G。；马库斯，S。；Péun，Gh，《最大限度地使用P系统规则的新策略：权力和复杂性》，《罗马尼亚信息科学与技术杂志》，第12期，第157-173页（2009年）
[12] Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；梅塞盖尔，J。；Quesada，JF，Maude:重写逻辑中的规范和编程，《理论计算机科学》，285187-243（2002）·Zbl 1001.68059号 ·doi:10.1016/S0304-3975（01）00359-0
[13] 库克，W.J.（2012）。追求旅行推销员：计算极限下的数学。普林斯顿大学出版社·Zbl 1236.00007号
[14] 库珀，J。；Nicolescu，R.，《cP系统中的哈密顿循环和旅行商问题》，《信息基础》，164，2-3，157-180（2019）·Zbl 1414.68028号 ·doi:10.3233/FI-2019-1760
[15] 丹齐格，R。；Fulkerson，R。；Johnson，S.，大型旅行推销员问题的解决方案，运筹学，2393-410（1954）·Zbl 1414.90372号
[16] 他，J。；Zhang，K.，解决多目标多旅行商问题的基于膜计算的混合分布算法，《基础信息》，136199-208（2015）·Zbl 1345.90075号 ·doi:10.3233/FI-2015-1151
[17] Ionescu，M.、Péun，Gh.和Yokomori，T.（2006）。尖峰神经P系统。《信息基础》，71，279-308·Zbl 1110.68043号
[18] Karp，RM，组合问题中的约简性，计算机计算的复杂性，Plenum（1972）·Zbl 1187.90014号 ·doi:10.1007/978-3-540-68279-08
[19] Leporati，A。；赞德隆，C。；Mauri，G.，用基于能量的P系统模拟Fredkin门，《通用计算机科学杂志》，10600-619（2004）·doi:10.3217/jucs-010-05-0600
[20] 马丁·维德（Martín-Vide，C.）、佩恩（Pun，Gh。）、帕佐斯（Pazos，J.）和罗德里格斯·帕顿（Rodríguez-Patón，A.）（2003年）。组织P系统。理论计算机科学，296295-326。doi:10.1016/S0304-3975（02）00659-X·兹比尔1045.68063
[21] Meseguer，J.，作为并发统一模型的条件重写逻辑，理论计算机科学，96，73-155（1992）·Zbl 0758.68043号 ·doi:10.1016/0304-3975（92）90182-F
[22] R.Milner。并发进程的操作语义和代数语义。理论计算机科学手册B，1201-1242，Elsevier（1990）。doi:10.1016/b978-0-444-88074-1.50024-x·Zbl 0900.68217号
[23] Papadimitriou，CH，欧几里德旅行推销员问题是NP-完全的，理论计算机科学，4237-244（1977）·Zbl 0386.90057号 ·doi:10.1016/0304-3975（77）90012-3
[24] Păun，Gh，膜计算：导论（2002），柏林：施普林格，柏林·Zbl 1034.68037号 ·doi:10.1007/978-3-642-56196-2
[25] Păun，Gh.，Rozenberg，G.和Salomaa，A.（编辑）。（2010年）。牛津膜计算手册。牛津大学出版社·Zbl 1237.68001号
[26] 宋，B。；胡，Y。；阿多尔纳，HN；Xu，F.，《组织样P系统的快速调查》，《罗马尼亚信息科学与技术杂志》，21，310-321（2018）
[27] 宋，X。；Wang，J.，结合P系统和主动进化算法的旅行推销员问题近似算法，国际计算机、通信与控制杂志，10，89-99（2015）·doi:10.15837/ijccc.2015.1.1567
[28] 张，G。；Cheng，J。；Gheorghe，M.，旅行推销员问题的薄膜启发近似算法，罗马尼亚信息科学与技术杂志，14，3-19（2011）
[29] 张，G。；荣，H。；Neri，F。；Pérez-Jiménez，MJ，用于近似求解组合优化问题的优化峰值神经P系统，《国际神经系统杂志》，24，5，1440006（2014）·doi:10.1142/S012906571440061
[30] 张，H。；向，L。；Liu，X.，旅行推销员问题的SN-P系统，计算机科学讲义，11354，339-346（2018）·doi:10.1007/978-3-030-15127-0_33
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。