×
迈克尔·帕尔默。;理查德·威廉姆斯（Richard A.Williams）。;德里克·盖泽尔

Rosen’s（（M，R））系统作为X机器。 （英语） Zbl 1352.92066号

J.西奥。生物。 408, 97-104 (2016).
概要：Robert Rosen的（M，R）系统是一种抽象的生物网络体系结构，据称它既不可简化为其组件状态的子模型，也不可在图灵机上计算\（M，R）是系统生物学简化论和机械论表达的障碍，主要是由于其自我参照结构。如果（M，R）具有声称的属性，计算系统生物学将不可能实现，或者充其量将是一门近似模拟科学，而不是精确模型。通过在软件体系结构中实例化\（M，R）\，已经在经验和理论层面上进行了多次尝试，以反驳这一断言。到目前为止，这些努力还没有定论。在本文中，我们试图通过展示有限状态机和流X机形式化体系结构如何无法捕获\（M，R）\的自引用需求来证明为什么。然后，我们展示了在X机器通信中可以找到一种解决方案，该解决方案使用并行计算消除自我引用，然后用面向对象的方法综合此类机器体系结构，为（M，R）系统的未来软件实例化创建形式化基础。

MSC公司：

92立方厘米 系统生物学、网络
2005年第68季度 计算模型（图灵机等）（MSC2010）

关键词：

系统生物学;可计算性;还原论;机制;自我参考;图灵机器;统一建模语言;统一建模语言;有限状态机;流X机器;通信X机
PDF格式BibTeX公司 XML格式引用
\textit{M.L.Palmer}等人，J.Theor。生物学408，97-104（2016；Zbl 1352.92066）
全文： 内政部 链接

参考文献：

[1] 卡德纳斯，M.L。；Letelier，J.C。；古铁雷斯，C。；Cornish-Bowden，A。；Soto-Andrade，J.，《有效因果关系、可计算性和人工生命的终结》，J.Theor。《生物学》，26379-92（2010）·兹比尔1406.92013
[2] 卡纳普，R.，《科学的统一》，1995年（1934年），托姆出版社：托姆出版社，布里斯托尔·Zbl 0873.01045号
[3] 朱，D。；Ho，W.K.，《反对人工生命可能性的范畴理论论证：重新审视罗伯特·罗森的中心证据》，Artif。生命，12117-134（2006）
[4] 朱，D。；Ho，W.K.，生命系统的计算实现，Artif。生活，13，369-381（2007）
[5] 朱，D。；Ho，W.K.，《本地化假设与机器》，Artif。生活，13（2007）
[6] 科克利，S。；斯莫尔伍德，R。；Holcombe，M.，《使用X机器作为描述基于代理建模中代理的正式基础》（Hamilton，J.a.；等，《2006年春季模拟多会议论文集》（SpringSim’06）（2006），国际建模与仿真学会：国际建模与模拟学会，加利福尼亚州圣地亚哥），33-40
[7] 孔德，A.，《积极的哲学课程》（Cours de Philosophie Positive）（1830年），《巴克莱尔：巴克莱尔巴黎》（Bachelier Paris）
[8] 克里克·F·《分子与人》（1966），华盛顿大学出版社：西雅图华盛顿大学出版社
[9] 克里克·F·，《生命本身：起源和性质》（1981年），西蒙和舒斯特：西蒙和舒斯特纽约
[10] Elsasser，W.M.，《关于有机体理论的思考》。《生物学中的整体论》（1998），约翰·霍普金斯大学出版社：约翰·霍普金森大学出版社巴尔的摩
[11] Gatherer，D.，《少即是多：摩尔定律与系统生物学领域的Bremermann极限之战》，BMC系统。《生物学》，第1期，增刊，第53期（2007年）
[12] Gatherer，D.，那么当我们说系统生物学是整体的时候，我们真正的意思是什么？，BMC系统。生物学，4，22（2010）
[13] Gatherer，D。；Galpin，V.，《过程代数中的Rosen（M，R）系统》，BMC系统。生物学，7128（2013）
[14] Ginsburg，S.，《数学机器理论质量导论》（1962年），Addison-Wesley：Addison-Whesley阅读·Zbl 0102.33804号
[15] Goertzel，B.，附录2。戈泽尔与罗森：关于生命和心灵的自生本性的对立观点。《创建互联网智能》（2002年），Kluwer Academic/Plenum Publishers:Kluwer-Academic/Plenum Publishers New York
[16] Goudsmit，A.L.，对Rosen语义和终结性概念的一些思考，化学。生物多样性。，4, 2427-2435 (2007)
[17] 古铁雷斯，C。；贾拉米洛，S。；Soto-Andrade，J.，对A.H.Louie的《超越生命本身：对形式系统和生物学的反思》的一些思考，21439-454（2011）
[18] Holcombe，M.，X-Machines作为动态系统规范的基础，Softw。《工程师杂志》，3，69-76（1988）
[20] Kefalas等人。；Eleftherakis，G。；Kehris，E.，《通信X机器：大型系统正式和模块化规范的实用方法》，Inf.Softw。技术。，45, 269-280 (2003)
[21] Kefalas等人。；Eleftherakis，G。；Kehris，E.，《交流X机器：从理论到实践》，Adv.Inform。，2563316-335（2003年）·Zbl 1026.68550号
[23] Lenzer，G.，Auguste Comte和实证主义：基本写作（1998），交易出版商：交易出版商新泽西州新不伦瑞克
[24] Letelier，J.C。；Cardenas，M.L。；Cornish-Bowden，A.，《从L'Homme机器到代谢封闭：理解生命的步骤》，J.Theor。《生物学》，286100-113（2011）·Zbl 1397.92013年9月
[25] Letelier，J.C。；索托·安德拉德，J。；Guinez Abarzua，F。；Cornish-Bowden，A。；Cardenas，M.L.，《组织不变性和代谢封闭：（M，R）系统分析》，J.Theor。《生物学》，238949-961（2006）·Zbl 1445.92123号
[26] Loeb，J.，《生命的机械概念》（1912），芝加哥大学出版社：芝加哥大学出版社
[27] Louie，A.H.，（M，R）-系统的任何实质实现都必须具有无可争辩的模型，J.Integr。神经科学。，4, 423-436 (2005)
[28] Louie，A.H.，生活系统必须有无可争辩的模型，Artif。生活，13，293-297（2007）
[29] Louie，A.H.，A Rosen词源学，化学。生物多样性。，4, 2296-2314 (2007)
[30] Louie，A.H.，《超越生命本身》。关系生物学的合成延续（2009），Ontos Verlag:Ontos Verlag Frankfurt
[31] Louie，A.H.，《关于“超越生命本身”的论文》，《公理》，第21473-489页（2011年）
[32] Mazzocchi，F.，《系统生物学中的复杂性和还原论-整体论辩论》，威利国际出版社。版本系统。生物医学，413-427（2012）
[34] Monod，J.，《机会与必要》；《现代生物学自然哲学论文》（1971年），克诺普夫：克诺普夫·纽约
[35] 莫西奥，M。；朗戈，G。；Stewart，J.，用λ-演算表示有效因果关系的闭包，J.Theor。生物学，257489-498（2009）·兹比尔1400.92008
[36] Polanyi，M.，《生命的不可约结构：DNA中的生命机制和信息是边界条件，其上有一系列边界，科学》，160，1308-1312（1968）
[37] Prideaux，J.A.，（M，R）-系统的动力学模型，《公理数学》，21，373-392（2011）
[38] Radó，T.，《关于不可计算函数》，贝尔系统。《技术期刊》，41，877-884（1962）·兹比尔1497.68176
[39] Rashevsky，N.，《物理学、生物学和社会学的统一方法》（Rosen，R.，《数学生物学基础》，3：超细胞系统，3（1973），学术出版社：纽约学术出版社），177-190年·Zbl 0356.92008号
[40] Rosen，R.，《将生物系统抽象为序列机器》，布尔。数学。生物物理学。，26, 103-111 (1964) ·Zbl 0131.01101号
[41] Rosen，R.，《将生物系统抽象为顺序机器》。二、。强大的连通性和可逆性，公牛。数学。生物物理学。，26 (1964), 239-46 ·Zbl 0216.54903号
[42] Rosen，R.，将生物系统抽象为序列机器。3.一些代数方面，布尔。数学。生物物理学。，28, 141-148 (1966) ·Zbl 0138.17003号
[43] Rosen，R.，《生命本身：对生命的本质、起源和制造的综合探究》（1991），哥伦比亚大学出版社：哥伦比亚大学出版社，纽约
[44] Rosen，R.，《生活本身的论文》（2000），哥伦比亚大学出版社：哥伦比亚大学出版社纽约
[45] Stamatopoulou，I。；Kefalas等人。；Gheorghe，M.，《生物状态系统动态结构建模》，生物系统，87，142-149（2007）
[46] 图灵，A.M.，《关于可计算数字，以及对Entscheidungsproblem的应用》，Proc。伦敦。数学。Soc.，42230-265（1936年）·Zbl 0016.09701号
[47] Waddington，C.H.，《生物学的基本思想》（Waddingon，C.，走向理论生物学。《序言》，第1卷（1968年），爱丁堡大学出版社：爱丁堡学院出版社，167-173
[48] Wells，A.J.，《为机制辩护》，Ecol。心理医生。，第18页，第39-65页（2006年）
[49] Whitehead，A.N。；罗素，B.，《数学原理》，1963（1927），剑桥大学出版社：剑桥大学出版社
[50] 张，L。；威廉姆斯，R.A。；Gatherer，D.，统一建模语言中的Rosen（M，R）系统，生物系统，139，29-36（2016）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。