×

非晶计算:示例、数学和理论。 (英语) Zbl 1352.68087号

摘要:细胞自动机模型由约翰·冯·诺依曼(John von Neumann)和他的朋友在20世纪50年代描述为多细胞组织中信息处理的代表。由于细胞的晶体阵列和同步活动,它错过了标记[作者和W.H.休斯,“异步、不规则自动机网络:未采用的路径”,Biosyst。55,编号1–3,107–117(2000年;doi:10.1016/S0303-2647(99)00088-X)]. 最近,作为多细胞信息处理中形态发生的有效模型,非晶计算开始填补这一空白。通过简单的例子和初等数学,本文开始了这一重要新方向的计算理论。

MSC公司:

2005年第68季度 计算模型(图灵机等)(MSC2010)
第68季度10 计算模式(非确定性、并行、交互式、概率性等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Anguin D(1980)处理器网络的局部和全局属性。附:第十二届计算理论研讨会论文集
[2] Aspnes J,Ruppert E(2007)人口协议简介。Bull Eur Assoc Theor计算机科学93:98-117·Zbl 1169.68326号
[3] Bennett CH(2003),关于朗道原理、可逆计算和麦克斯韦原理的注释。历史哲学科学研究B 34(3):501-510·Zbl 1222.81039号
[4] Broy M(1986)非确定性、并行性、通信和并发理论。计算机科学理论45:1-61·Zbl 0601.68022号 ·doi:10.1016/0304-3975(86)90040-X
[5] Burkes A(1970)细胞自动机论文。伊利诺伊大学出版社,乌尔班纳·Zbl 0228.94013
[6] Coore DN(1999)《植物计算:在非晶计算机上生成互连拓扑的发展方法》。麻省理工学院博士论文,剑桥·Zbl 0305.68048号
[7] Coore D(2005)《非晶态计算导论》。在Banátre J-P、Fradet P、Giavitto J-L、Michel O(编辑)《非传统编程范式》中,计算机科学讲义第3566卷。柏林施普林格,第99-109页·Zbl 0153.47006号
[8] Dereniowski D,Pelc A(2012),任意网络中匿名异步代理的领导者选举。arXiv:1205.6249·Zbl 1291.68044号
[9] Dijkstra EW(1974)尽管采用分布式控制,但仍具有自稳定系统。教规17(11):643-645·Zbl 0305.68048号 ·数字对象标识代码:10.1145/361179.361202
[10] Dijkstra EW(1988)关于“公平”的立场文件。软件工程注释13(2):18-20
[11] Feynman RP(1996)In:Hey AJG,Allen RW(编辑)Feynman关于计算的讲座。波士顿Addison-Wesley
[12] Floyd RW(1967a)《赋予程序意义》,第19卷。美国数学学会,普罗维登斯,第19-32页·Zbl 0189.50204号
[13] Floyd RW(1967b)非确定性算法。美国医学会期刊14(4):636-644·Zbl 0153.47006号 ·doi:10.1145/312120.321422
[14] Fuqua A(制片人)Varma SR、Lasker A、Cirillo P(编剧)(2003年)《太阳的眼泪》。新力影业
[15] Garey MR、Johnson DS(1979)《计算机与难处理性:NP完全性理论指南》。W.H.Freeman and Company,纽约·Zbl 0411.68039号
[16] Hubbell N,Han Q(2012)Dragon:无线传感器网络中动态非晶事件的检测和跟踪。IEEE跨并行配电系统23(7):1193-1204
[17] Le Lann G(1977)《分布式系统——走向形式化方法》。荷兰北部,阿姆斯特丹
[18] Schneider FB,Lamport L(1988)关于“公平”的另一份立场文件。软件工程注释13(3):18-19
[19] 薛定谔E(1944)什么是生命?剑桥大学出版社
[20] Shannon CE(1998)传播数学理论。伊利诺伊大学出版社,芝加哥
[21] Stark WR(2013)部分递归函数背景下的非晶态过程,未出版
[22] Stark WR,Hughes WH(2000)《异步、不规则自动机网络:未采用的路径》。生物系统55:107-117·doi:10.1016/S0303-2647(99)00088-X
[23] Stark WR,Kotin L(1987)《关于机械社会的思考:随机和变化架构中的分布式计算》。合并数字60:221-241·Zbl 0666.92021号
[24] Strogatz SH(2003)SYNC:宇宙、自然和日常生活中的混乱如何产生秩序。纽约州西娅
[25] Sutner K(1989)线性细胞自动机和伊登花园。数学智能11(2):49-53·Zbl 0770.68094号 ·doi:10.1007/BF03023823
[26] 图灵AM(1952)形态发生的化学基础。Philos Trans R索克237:5-72·Zbl 1403.92034号
[27] 冯·诺依曼J(1948)自动机的一般逻辑理论。收录:Taub AH(编辑)John von Neumann,作品集。牛津佩加蒙出版社
[28] Ward N,Hayes I(1991)天使决定论的应用。收件人:Bailes PAC(ed)第六届澳大利亚软件工程会议,第391-404页
[29] Wilson EO(1998)一致性。纽约州克诺普夫
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。