×
雅各布·L·安德森。；克里斯托夫·弗拉姆；丹尼尔·默克尔；彼得·斯塔德勒（Peter F.Stadler）。

用于化学启发图形转换的软件包。 （英语） Zbl 1344.68105号

Echahed，Rachid（编辑）等人，《图形变换》。2016年7月5日至6日，作为2016年STAF的一部分，在奥地利维也纳举行了第九届2016年ICGT国际会议，以纪念Hartmut Ehrig。诉讼程序。查姆：施普林格（ISBN 978-3-319-40529-2/pbk；978-3-3169-40530-8/电子书）。计算机科学讲义9761，73-88（2016）。
概述：化学反应网络可以从图文法描述中自动生成，其中转换规则用于模拟反应模式。由于分子图是连通的，反应通常涉及多个分子，因此必须在多组图上进行变换。我们为这种类型的图形转换系统提供了一个通用软件包，可以用于化学系统建模。该软件包包含一个C++库，其中包含用于在双重推出形式中处理转换规则的算法，例如，规则的组合和用于编程图形语言生成的领域特定语言。Python接口使这些功能易于访问。该软件包还具有广泛的程序，不仅可以自动可视化图形和转换规则，还可以以有向超图的形式自动可视化双外推图和图形语言。该软件是一个开源软件包，可以在附带的网页上找到交互式示例。
关于整个系列，请参见[Zbl 1339.68007号].

引用于10文件

MSC公司：

2012年第68季度 语法和重写系统
65年第68季度 形式语言和自动机
92E20型 化学中的经典流动、反应等

关键词：

双重推出；化学图形转换系统；图形文法；规则组成；战略框架

软件：

MedOlDatschgerl公司；BGL公司；前列腺素f；打开巴别塔；蟒蛇；GGL公司；PORGY公司；促进；TikZ公司；AGG公司
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Andersen}等人，Lect。注释计算。科学。9761、73--88（2016年；Zbl 1344.68105）
全文： 内政部 arXiv公司

参考文献：

[1] 安德森，J.L.，安德森，T.，弗拉姆，C.，汉奇克，M.M.，默克尔，D.，斯塔德勒，P.F.：HCN聚合和水解的化学空间导航：质谱数据的指导图语法。熵15（10），4066–4083（2013）·Zbl 1341.82105号 ·doi:10.3390/e15104066
[2] Andersen，J.L.、Flamm，C.、Merkle，D.、Stadler，P.F.：使用图形文法中的规则组合推断化学反应模式。J.系统。化学。4(1), 4 (2013) ·doi:10.1186/1759-2208-4-4
[3] Andersen，J.L.，Flamm，C.，Merkle，D.，Stadler，P.F.：50种规则构图。收录：Fages，F.，Piazza，C.（编辑）FMMB 2014。LNCS，第8738卷，第117-135页。斯普林格，海德堡（2014）·Zbl 1402.92166号 ·doi:10.1007/978-3-319-10398-39
[4] Andersen，J.L.，Flamm，C.，Merkle，D.，Stadler，P.F.：化学空间探索的一般策略。国际期刊计算。生物药物设计。7(2/3), 225–258 (2014). 信托收据：网址：http://arxiv.org/abs/11302.4006
[5] Andrei，O.、Fernández，M.、Kirchner，H.、Melançon，G.、Namet，O.和Pinaud，B.：PORGY：策略驱动的图形交互转换。摘自：第六届术语和图形计算国际研讨会论文集（TERMGRAPH 2011）。理论计算机科学电子论文集，第48卷，第54–68页（2011年）·doi:10.4204/EPTCS.48.7
[6] Benkö，G.，Flamm，C.，Stadler，P.F.：基于图形的化学玩具模型。化学杂志。Inf.计算。科学。43(4), 1085–1093 (2003) ·doi:10.1021/ci0200570
[7] Braatz，B.，Golas，U.，Soboll，T.：如何彻底删除两个推出补语结构。J.塞姆。计算。46(3), 246–271 (2011). 应用和计算范畴理论·Zbl 1215.18002号 ·doi:10.1016/j.jsc.2010.09.007
[8] Cordella，L.，Foggia，P.，Sansone，C.，Vento，M.：匹配大型图的（子）图同构算法。IEEE传输。模式分析。机器。智力。26(10), 1367 (2004) ·Zbl 05112469号 ·doi:10.1109/TPAMI.2004.75
[9] Cordella，L.P.，Foggia，P.，Sansone，C.，Vento，M.：匹配大型图形的改进算法。摘自：第三届IAPR-TC15模式识别中基于图形的表示研讨会论文集，第149-159页（2001年）
[10] Corradini，A.，Montanari，U.，Rossi，F.，Ehrig，H.，Heckel，R.，Löwe，M.：图变换的代数方法——第一部分：基本概念和双推出方法。收录于：Rozenberg，G.（编辑）《图形语法和图形变换计算手册》。第3章，第163-245页。《世界科学》，新加坡（1997年）·doi:10.1142/9789812384720003
[11] Ehrig，K.，Heckel，R.，Lajios，G.：利用图形变换进行代谢途径的分子分析。收录：Corradini，A.、Ehrig，H.、Montanari，U.、Ribeiro，L.、Rozenberg，G.（编辑）ICGT 2006。LNCS，第4178卷，第107–121页。斯普林格，海德堡（2006）·Zbl 1156.92316号 ·doi:10.1007/11841883_9
[12] Fernández，M.，Kirchner，H.，Namet，O.：用于图形重写的策略语言。收录：Vidal，G.（编辑）LOPSTR 2011。LNCS，第7225卷，第173-188页。斯普林格，海德堡（2012）·Zbl 1239.68008号 ·doi:10.1007/978-3-642-29344-3
[13] Flamm，C.、Ullrich，A.、Ekker，H.、Mann，M.、Högerl，D.、Rohrschneider，M.，Sauer，S.、Scheuermann，G.、Klemm，K.、Hofacker，I.L.、Stadler，P.F.：代谢网络的进化：计算框架。化学。1(4), 4 (2010) ·doi:10.1186/1759-2208-1-4
[14] 增量游戏：加泰罗尼亚语（2011）。http://www.increpare.com/2011/01/catalan网站/
[15] Gansner，E.R.，North，S.C.：开放式图形可视化系统及其在软件工程中的应用。实际。实验30（11），1203-1233（2000）·Zbl 1147.68782号 ·doi:10.1002/1097-024X（200009）30:11<1203:：AID-SPE338>3.0.CO；2-牛顿
[16] Himsolt，M.：GML：一种可移植的图形文件格式。http://www.fim.uni-passau.de/fileadmin/files/lehrstul/brandenburg/projekte/gml/gml-technical-report.pdf
[17] Kreowski，H.J.，Kuske，S.：图多集变换：受DNA计算启发的大规模并行计算的新框架。自然计算。10(2), 961–986 (2011) ·Zbl 1217.68162号 ·doi:10.1007/s11047-010-9245-6
[18] Mann，M.，Ekker，H.，Flamm，C.：图形文法库——化学图形重写系统的通用框架。摘自：Duddy，K.，Kappel，G.（编辑）ICMB 2013。LNCS，第7909卷，第52-53页。斯普林格，海德堡（2013）·Zbl 06279271号 ·doi:10.1007/978-3-642-38883-55
[19] O'Boyle，N.M.、Banck，M.、James，C.A.、Morley，C.、Vandermeersch，T.、Hutchison，G.R.：开放巴别塔：一个开放的化学工具箱。《化学信息学杂志》3，33（2011）·doi:10.1186/1758-2946-33
[20] Rosselló，F.，Valiente，G.：通过图形变换分析代谢途径。发表于：Ehrig，H.，Engels，G.，Parisi-Presicce，F.，Rozenberg，G.（编辑）ICGT 2004。LNCS，第3256卷，第70-82页。斯普林格，海德堡（2004）·Zbl 1116.92312号 ·doi:10.1007/978-3-540-30203-27
[21] Rosselló，F.，Valiente，G.：化学图、化学反应图和化学图转换。电子。注释Theor。计算。科学。127(1), 157–166 (2005). 基于图形的工具国际研讨会（GraBaTs 2004）会议记录·doi:10.1016/j.entcs.2004.12.033
[22] Siek，J.G.，Lee，L.Q.，Lumsdaine，A.：Boost图形库：用户指南和参考手册。皮尔逊教育，上鞍河（2001）。http://www.boost.org/libs/graph/
[23] Sylvester，J.J.：关于新原子理论在二元量子化的因瓦和协变图形表示中的应用，附三个附录。美国数学杂志。1(1), 64–128 (1878) ·doi:10.2307/2369436
[24] Taentzer，G.:AGG：用于软件建模和验证的图形转换环境。收录：Pfaltz，J.L.，Nagl，M.，Böhlen，B.（编辑）AGTIVE 2003。LNCS，第3062卷，第446–453页。斯普林格，海德堡（2004）·doi:10.1007/978-3-540-25959-6_35
[25] Tantau，T.：TikZ和PGF软件包（2013）。http://sourceforge.net/projects/pgf/
[26] Weininger，D.：SMILES，一种化学语言和信息系统。1.方法和编码规则介绍。化学杂志。Inf.计算。科学。28(1), 31–36 (1988) ·doi:10.1021/ci00057a005
[27] Yadav，M.K.，Kelley，B.P.，Silverman，S.M.：化学图形转换系统的潜力。发表于：Ehrig，H.，Engels，G.，Parisi-Presicce，F.，Rozenberg，G.（编辑）ICGT 2004。LNCS，第3256卷，第83-95页。斯普林格，海德堡（2004）·Zbl 1116.92326号 ·doi:10.1007/978-3-540-30203-28
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。