×
费迪南达·坎波西;杰罗姆·费雷特;亨氏Koeppl;塔贾纳·彼得罗夫

合并模型简化。 （英语） Zbl 1342.68077号

Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记26573-96（2010）。
摘要：分子生物学模型通常会发生大规模的组合爆炸。事实上，蛋白质形成复合物并相互修饰，这导致形成大量不同的化学物种（即蛋白质的非同构连接成分）。因此，我们无法明确生成这些模型的定量语义，更不用说计算它们的属性了。模型简化旨在通过提供另一种观测来降低这种复杂性。在本文中，我们提出了两个用于组合模型约简的统一框架：我们提出了一个用于组合随机语义的模型约简的对称乘积算子，并说明了如何通过线性投影进一步抽象现有的约简微分系统。我们应用这两个框架，通过考虑蛋白质中结合位点之间的对称性，进一步抽象出用Kappa编写的模型的现有简化定量语义。
关于整个系列，请参见[Zbl 1281.68037号].

引用于7文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
68问题55 计算理论中的语义学
92C40型 生物化学、分子生物学

关键词：

基于规则的建模;模型简化;抽象解释;对称

软件：

生物网络生成
PDF格式BibTeX公司 XML格式引用
\textit{F.Camporesi}等人，《电子》。注释Theor。计算。科学。26573--96（2010年；Zbl 1342.68077）
全文： 内政部

参考文献：

[1] 布林诺夫，M.L。；Faeder，J.R。；Hlavacek，W.S.，BioNetGen:基于分子域相互作用的信号转导规则建模软件，生物信息学，20（2004）
[2] 鲍里索夫，N.M。；新泽西州Markevich。；Kholodenko，B.N。；Gilles，E.D.，《通过受体和支架的信号传递：独立相互作用降低组合复杂性》，《生物物理杂志》，89（2005）
[3] Buchholz，P.，有限马尔可夫链中的精确集总和普通集总，应用概率杂志，31（1994）·Zbl 0796.60073号
[4] Buchholz，P.，加权自动机的互模拟关系，Theor。公司。《科学》，393（2008）·Zbl 1136.68032号
[5] Conzelmann，H。；Saez-Rodriguez，J。；Sauter，T。；Kholodenko，B.N。；Gilles，E.D.，《降低信号转导网络组合复杂性的面向域方法》，BMC生物信息学，7（2006）
[6] 库索，P.和R.库索，程序分析框架的系统设计，单位：人口1979.; 库索，P.和R.库索，程序分析框架的系统设计，单位：1979年6月. ·Zbl 1323.68356号
[7] Danos，V.、J.Feret、W.Fontana、R.Harmer和J.Krivine，抽象基于规则模型的差异语义：精确和自动化的模型约简，单位：LICS2010年，出现。；Danos，V.、J.Feret、W.Fontana、R.Harmer和J.Krivine，抽象基于规则模型的差异语义：精确和自动化的模型约简，单位：LICS2010年，以显示·Zbl 1151.68723号
[8] Danos，V.、J.Feret、W.Fontana和J.Krivine，蜂窝信号网络的可扩展模拟，作者：Z.Shao，编辑，应用程序2007、LNCS4807.; Danos，V.、J.Feret、W.Fontana和J.Krivine，蜂窝信号网络的可扩展模拟，作者：Z.Shao，编辑，2007年APLAS、LNCS4807.
[9] Danos，V。；Laneve，C.，核心形式分子生物学，Theor。计算机科学，325（2003）·Zbl 1033.92013年
[10] Feret，J.、V.Danos、J.Krivine、R.Harmer和W.Fontana，分子系统的内部粗粒度，程序。国家科学院106(2009).; Feret，J.、V.Danos、J.Krivine、R.Harmer和W.Fontana，分子系统的内部粗粒度，程序。国家科学院106(2009). ·兹比尔1311.92202
[11] Feret，J.、H.Koeppl和T.Petrov，随机片段：基于规则模型的随机语义精确简化框架，国际焦耳。将出现的软件和信息学。；Feret，J.、H.Koeppl和T.Petrov，随机片段：基于规则模型的随机语义精确简化框架，国际焦耳。软件和信息学将出现。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。