×
保罗·迪尼;尼哈尼夫（Nehaniv）、克里斯托弗（Chrystopher L.）。;埃里克·罗斯斯坦;丹尼尔·施雷克林;戈博尔·霍瓦思

生物：交互计算理论。 （英语） Zbl 1436.68114号

Stepney，Susan（编辑）等人，《计算物质》。查姆：斯普林格。自然计算。序列号。，249-268（2018）。
总结：本章总结了BIOMICS项目的结果，特别是从数学框架的发展角度，该框架可以支持细胞生物化学、动力系统、代数自动机理论和规范语言之间的生产性协作，导致交互计算（IC）理论。
BIOMICS项目的主要目标是以我们称之为交互计算的新计算模型的形式，将细胞生物化学的自发有序构建能力映射到计算机科学。该项目没有实现这一目标，但它为开发集成电路的数学理论奠定了基础，它开发了一个可以支持基于抽象状态机（ASM）扩展的集成电路的计算框架[E.Börger公司和R.Stärk公司抽象状态机。一种高级系统设计和分析方法。柏林：施普林格（2003；Zbl 1040.68042号)]抽象状态交互机器（ASIM），并实现了一些中间目标。
关于整个系列，请参见[Zbl 1443.68021号].

MSC公司：

2007年第68季度 受生物启发的计算模型（DNA计算、膜计算等）
92立方37 细胞生物学
92C40型 生物化学、分子生物学

引文：

Zbl 1040.68042号

软件：

核心ASM
PDF格式BibTeX公司 XML格式引用
\textit{P.Dini}等人，in：计算物质。查姆：斯普林格。249--268（2018年；Zbl 1436.68114）
全文： 内政部

参考文献：

[1] Bellman，R.E.（1957）。动态编程。普林斯顿大学出版社·Zbl 0077.13605号
[2] Bluman，G.W.和J.D.Cole（1974年）。微分方程的相似方法。斯普林格·Zbl 0292.35001号
[3] B¨orger，E.和R.St¨ark（2003年）。抽象状态机：一种高级系统设计和分析方法。斯普林格·兹比尔1040.68042
[4] B¨orger、Egon和Klaus-Dieter Schewe（未注明日期）。抽象状态机中的通信。（准备中）。
[5] Dini，P.，F.Karimi，C.Nehaniv，´A。博尼夫·阿特（Boniv’art），G.Horv’ath，Z.Muzsnay，'A。Figula、T.Milkovszki、A.J.Munro和F.Ruzsnavszky（2016年）。D3.2：细胞通路的进一步分析。BIOMICS可交付成果，欧洲委员会。网址：BIOMICS项目。欧盟/文件-储存库/类别/11-公共文件可交付成果。
[6] Dini，P.，C.L.Nehaniv，M.J.Schilstra，F.Karimi，G.Horv´ath，Z.Muzsnay，K.Christodoulides，´A。Boniv´art，N.Y.den Breems，A.J.Munro和A.Egri-Nagy（2013）。D1.1.1：用于数值离散和李群分析的可牵引动力和生物系统。BIOMICS交付物，欧盟委员会。网址：biomicsproject.eu/file-repository/category/11公共文件交付物。
[7] Farahbod、Roozbeh和Uwe Glaesser（2011年）。“CoreASM建模框架”。柔和。实际。实验41（2）：167-178。
[8] 图A。，Z.Halasi、G.Horv´ath和K.Podoski（2014）。D1.3.2：基于李群和SNAG之间的契瓦利对应的示例。BIOMICS.网址：www.biomicsproject.eu。
[9] Freidlin，M.I.和A.D.Wentzell（1998年）。动力系统的随机扰动。斯普林格·Zbl 0922.60006号
[10] Halasi，Z.、G.Horv´ath和K.Podoski（2013年）。D1.3.1：介绍李群和SNAG之间的契瓦利对应关系。生物。网址：www.biomicsproject.eu。
[11] Horsman，C.、Susan Stepney、R.Wagner和Viv Kendon（2014年）。“物理系统什么时候计算？”英国皇家学会会刊a 470（2169）：20140182·Zbl 1353.68077号
[12] Ibragimov，N.K.（1992年）。“普通微分方程组分析和数学物理中的不变性原理（纪念索菲斯·李诞辰150周年）”。俄罗斯数学调查47（4）：89-156。
[13] Krohn，K.和J.Rhodes（1965年）。“机器代数理论。I.有限半群和机器的素分解定理”。美国数学学会学报116:450-464·Zbl 0148.01002号
[14] Morris、Eric Rothstein和Daniel Schreckling（2015）。D4.2：人性化、基于行为的交互计算规范语言。BIOMICS交付物，欧洲委员会。网址：www.biomicsproject.eu。
[15] Nehaniv，C.L.、F.Karimi、E.Rothstein和P.Dini（2015a）。D2.2：稳定动态组织、逻辑和交互机器的受限实现。BIOMICS交付物，欧洲委员会。网址：biomicsproject.eu/file-repository/category/11-公共文件交付物。
[16] Nehaniv，C.L.、J.Rhodes、A.Egri-Nagy、P.Dini、E.Rothstein Morris、G.Horv´ath、F.Karimi、D.Schreckling和M.J.Schilstra（2015b）。“生物化学系统离散模型中的对称结构：由相互作用驱动的新计算模型中的自然子系统和弱控制层次”。《皇家学会哲学学报》A 373:20140223·兹比尔1353.92043
[17] Nehaniv，C.、F.Karimi和D.Schrecking（2014a）。D2.1：离散和连续动态细胞系统对称性的函数和伴随。BIOMICS.网址：www.biomicsproject.eu。
[18] Nehaniv、Chrystopher L.、John Rhodes、Attila Egri-Nagy、Paolo Dini、Eric Rothstein Morris、G´abor Horv´ath、Fariba Karimi、Daniel Schreckling和Maria J.Schilstra（2014年b）。D3.1.1：交互计算的数学框架。BIOMICS交付物，欧洲委员会。网址：www.biomicsproject.eu。
[19] Rothstein，E.和D.Schreckling（2015）。D4.1：（协同）代数交互计算规范语言候选人。BIOMICS可交付成果，欧洲委员会。网址：BIOMICS项目。eu/file-存储库/类别/11公共-文件交付。
[20] Stewart，I.（1989）。伽罗瓦理论。伦敦：查普曼和霍尔·Zbl 0694.12001号
[21] Zeiger，H.P.（1967年）。“单位状态机的级联合成”。信息与控制10（4）：加上勘误表，419-433·Zbl 0164.32301号
[22] X·周。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。