×
吉安·卢伊斯·贾维托；安托万·斯皮彻

拓扑重写和编程的几何化。 （英语） Zbl 1140.68409号

物理D 237，第9期，1302-1314（2008）.
摘要：空间计算是一个新兴领域，它认识到在三个层次明确处理空间关系的重要性：计算机架构、编程语言和应用程序。在此背景下，我们提出了MGS，这是一种实验性编程语言，其中数据结构是抽象空间上的字段。在MGS中，字段是使用规则进行转换的。我们表明，这种方法能够统一（至少出于编程目的）几个计算模型，如Lindenmayer系统和细胞自动机。使用代数拓扑中开发的概念对MGS拓扑收集和转换概念进行了形式化。我们建议使用变换来实现一些微分算子的离散版本。这些变换满足斯托克斯定理。这个结果构成了编程的几何视图，其中数据的处理就像物理中的字段一样。结论中讨论了这种方法对自主软件系统设计的相关性。

引用于三文件

MSC公司：

2012年第68季度 语法和重写系统

关键词：

空间计算；数据字段；拓扑集合；拓扑重写；离散微分算子；陈述性语言

软件：

GrAL公司
PDF格式BibTeX公司 XML格式引用
\textit{J.-L.Giavitto}和\textit{A.Spicher}，《物理学》D 237，第9期，1302--1314（2008；Zbl 1140.68409）
全文： 内政部

参考文献：

[1] Abelson，H。；Allen博士。；科尔·D。；Hanson，C。；霍姆西，G。；Knight，T.F。；Nagpal，R。；Rauch，E。；苏斯曼，G.J。；Weiss，R.，《非晶计算》，CACM:Commun。ACM，43（2000）
[2] Aksak，B。；巴特，P.S。；坎贝尔，J。；DeRosa，M。；Funiak，S。；吉本斯，P.B。；Goldstein，S.C。；Guestrin，C。；古普塔，A。；Helfrich，C。；霍伯格，J.F。；Kirby，B。；J.库夫纳。；李·P。；莫瑞，T.C。；皮莱，P。；拉维坎德兰，R。；立管，B.D。；Seshan，S。；Sitti，M。；Yu，H.，Claytronics：高度可扩展的通信、传感和驱动网络，（Redi，J.；Balakrishnan，H.；Zhao，F.，《第三届嵌入式网络传感器系统国际会议论文集》，SenSys，2005年。第三届嵌入式网络传感器系统国际会议论文集，SenSys 2005，美国加利福尼亚州圣地亚哥，2005年11月2-4日（2005），ACM），299
[3] Banátre，J.-P。；弗雷德，P。；Le Métayer，D.，《伽马与化学反应模型：十五年后》（计算机科学讲义，第2235卷（2001）），17-44·Zbl 1052.68037号
[4] Banátre，J.-P。；Le Métayer，D.，GAMMA模型及其编程学科，科学。计算。程序。，15, 1, 55-77 (1990) ·Zbl 0715.68054号
[5] （Banátre，J.-P.；Le Métayer，D.，《高级并行编程语言的研究方向：Mont Saint-Michel》。《高级并行程序语言研究方向：蒙圣米歇尔》，LNCS，第574卷（1992），斯普林格出版社）
[6] Banátre，J.-P。；拉德纳克，Y。；Fradet，P.，《自主系统化学规范》（IASSE（2004），ISCA），72-79·Zbl 1122.68057号
[7] 巴比尔·德雷伊勒（Barbier de Reuille），P。；Bohn-Courseau，I。；Ljung，K。；莫林，H。；北卡罗来纳州卡拉罗。；戈丁，C。；Traas，J.，计算机模拟揭示了拟南芥茎尖细胞-细胞信号网络的特性，Proc。国家。阿卡德。科学。，103, 5, 1627-1632 (2006)
[8] Bergeron，F。；标签，G。；Leroux，P.，（组合种和树状结构。组合种和树状结构，数学及其应用百科全书，第67卷（1997），剑桥大学出版社）
[9] G.Berti，科学计算通用软件组件，科特布斯技术大学博士论文，2001年6月；G.Berti，科学计算通用软件组件，博士论文，科特布斯工业大学，2001年6月·Zbl 0972.68506号
[10] Boas，M.L.，《物理科学中的数学方法》（1983），John Wiley and Sons·Zbl 0506.0004号
[11] S.Brin，L.Page，《大型超文本网络搜索引擎的剖析》，摘自：Proc。第七届国际万维网大会，1998年4月14日至18日；S.Brin，L.Page，《大型超文本网络搜索引擎的剖析》，摘自：Proc。第七届国际万维网大会，1998年4月14日至18日
[12] 布迪乌，M。；Venkataramani，G。；Chelcea，T。；Goldstein，S.C.，空间计算，ACM SIGPLAN通告，39，11，14-26（2004）
[13] 查德·J·A。；Shapiro，V.，微分形式和方程的多向量数据结构，数学。计算。模拟。，54, 1-3, 33-64 (2000)
[14] 陈，M。；il Choo，Y。；Li，J.，Crystal:生成高效并行代码的理论和语用学，（Szymanski，B.K.，并行函数语言和编译器。前沿系列（1991），ACM出版社：纽约ACM出版社），255-308，（第7章）
[15] 科夫曼，E.G。；Elphick，M.J。；Shoshani，A.，系统死锁，计算。调查。，3, 2, 67-78 (1971) ·Zbl 0226.68015号
[16] 库西诺，G。；Mauny，M.，《函数式编程方法》（1998），剑桥大学出版社·Zbl 0951.68016号
[17] A.De Hon、J.-L.Giavitto和F.Gruau（编辑），面向空间计算的计算媒体和语言：编号06361，在：Dagsthul研讨会论文集，Dagsthul。http://www.dagstuhl.de/en/program/calendar/semhp/？semnr=2006361; A.De Hon、J.-L.Giavitto和F.Gruau（编辑），面向空间计算的计算媒体和语言：第06361号，摘自：Dagthul研讨会论文集，Dagthul。http://www.dagstuhl.de/en/program/calendar/semhp/？semnr=2006361
[18] Dershowitz，N.，（重写系统的品味。重写系统的体验，计算机科学讲稿，第693卷（1993），Springer Verlag），199-228
[19] M.Desbrun，E.Kanso，Y.Tong，《计算建模的离散微分形式》，载于：P.Schröder，《离散微分几何：应用导论》。2006年sIGGRAPH’06课程笔记，第39-54页；M.Desbrun，E.Kanso，Y.Tong，《计算建模的离散微分形式》，载于：P.Schröder，《离散微分几何：应用导论》。2006年sIGGRAPH课程笔记，第39-54页·Zbl 1152.58001号
[20] H.Ehrig，M.Ppender，H.J.Schneider，《图文法：代数方法》，收录于：IEEE计算机科学基础研讨会，FOCS，1973年；H.Ehrig，M.Ppender，H.J.Schneider，《图文法：代数方法》，收录于：IEEE计算机科学基础研讨会，FOCS，1973年
[21] 费曼（Feynman，R.P.），底部有足够的空间——邀请人们进入一个新的医学领域，即工程科学。《加利福尼亚理工学院杂志》，23，22（1963年），（1959年12月29日在美国物理学会年会上的演讲）
[22] Giavitto，J.-L.，《受邀演讲：拓扑集合、变换及其在动力学系统建模和仿真中的应用》（重写技术和应用，RTA’03）。重写技术与应用，RTA'03，LNCS，第2706卷（2003年6月），施普林格：施普林格-巴伦西亚），208-233·Zbl 1038.68066号
[23] 贾维托，J.-L。；Michel，O.，《作为拓扑空间的数据结构》，第三届非传统计算模型国际会议论文集，UMC02。第三届非常规计算模型国际会议论文集，UMC02，Himeji，日本。第三届非常规计算模型国际会议论文集，UMC02。第三届非常规计算模型国际会议论文集，UMC02，日本Himeji，计算机科学讲义，第2509卷（2002年10月），137-150·Zbl 1029.68046号
[24] 贾维托，J.-L。；Michel，O.，《膜计算的拓扑结构》，基金会。通知。，49, 107-129 (2002)
[25] Henle，M.，《拓扑组合导论》（1994），多佛出版物：多佛出版物，纽约·Zbl 0852.55002号
[26] 西德州希利斯。；Steele Jr.，G.L.，数据并行算法，Commun。ACM，29，12，1170-1183（1986）
[27] A.N.Hirani，离散外部微积分，博士论文，加州理工学院，2003年；A.N.Hirani，离散外部微积分，博士论文，加州理工学院，2003年
[28] P.Horn，《自主计算：IBM对信息技术现状的看法》，技术代表，IBM Research。http://www.research.ibm.com/autonomic/manifesto/autonomic_computing.pdf; P.Horn，《自主计算：IBM对信息技术现状的看法》，技术代表，IBM Research。http://www.research.ibm.com/autonomic/manifesto/autonomic_computing.pdf
[29] IGEM，国际基因工程机器竞赛。iGEM网站，网址：http://parts.mit.edu/igem07; IGEM，国际基因工程机器竞赛。iGEM网站，网址：http://parts.mit.edu/igem07
[30] IGEM，《合成多细胞细菌建模》，载于：2007年IGEM巴黎团队维基的建模页面，http://parts.mit.edu/igem07/index.php/Paris/Modeling; IGEM，《合成多细胞细菌建模》，载于：2007年IGEM巴黎团队维基的建模页面，http://parts.mit.edu/igem07/index.php/Paris/Modeling
[31] 卡普·R·M。；米勒，R.E。；Winograd，S.，《统一递推方程的计算组织》，J.ACM，14，3，563-590（1967）·Zbl 0171.38305号
[32] Klette，R.，《细胞复合物随时间的变化》（Latecki，L.J.；Mount，D.M.；Wu，A.Y.，《视觉几何IX.视觉几何IX》，SPIE学报，4117（2000）），134-145
[33] Kovalevsky，V.，《计算机拓扑的算法和数据结构》，38-58（2001）·Zbl 1052.68772号
[34] Kung，H.T.，为什么是收缩结构？，计算机，15，1，37-46（1982）
[35] Lienhardt，P.，边界表示的拓扑模型：与（n）维广义映射的比较，计算。辅助设计。，23，1，59-82（1991年）·Zbl 0754.65018号
[36] Lindenmayer，A.，《发育中细胞相互作用的数学模型》，第一部分和第二部分，J.Theoret。生物学，18，280-315（1968）
[37] Lisper，B.，《关于函数式编程语言和数据并行编程语言之间的关系》，（第六届函数式语言和计算机体系结构国际会议（1993年），美国计算机学会，美国计算机协会出版社）
[38] Margolus，N.H.，《晶体计算》（Feynman and computation:Exploring the Limits of Computers（1999），珀尔修斯图书：珀尔修斯·Books Cambridge，MA，USA），267-305·Zbl 0991.01513号
[39] Meijer，E。；福克加，M。；Paterson，R.，《用香蕉、透镜、信封和铁丝网进行函数式编程》，（第五届ACM函数式编程语言和计算机架构会议，第五届APM函数式程序语言和计算机构架会议，计算机科学讲稿，第523卷（1991），Springer:Springer Berlin，Cambridge，MA）， 124-144
[40] O.Michel，对于非传统编程语言或动态系统（具有动态结构）的声明性模拟，有很大的空间。《习惯化手稿》，2007年。http://www.ibisc.univ-evry.fr/michel/Hdr/Hdr.pdf；O.Michel，对于非常规编程语言或动态系统的声明性模拟（具有动态结构）有很大的空间。《习惯化手稿》，2007年。http://www.ibisc.univ-evry.fr/michel/Hdr/Hdr.pdf
[41] R.Milner，S.Stepney，《纳米技术：计算机科学的机遇和挑战》。技术代表，英国计算研究委员会提交给皇家学会和皇家工程学院纳米技术工作组的文件，2003年；R.Milner，S.Stepney，《纳米技术：计算机科学的机遇和挑战》。技术代表，英国计算研究委员会提交给皇家学会和皇家工程学院纳米技术工作组的文件，2003年
[42] Mitchinson，G.J.（Mitchinson，G.J.）。；Wilcox，M.，《厌氧菌细胞分裂规则》，《自然》，239110-111（1972）
[43] MOKA，MOKA网站。http://www.sic.sp2mi.univ-poitiers.fr/moka/; MOKA，MOKA网站。http://www.sic.sp2mi.univ-poitiers.fr/moka/
[44] Monro，G.P.，《多集合的概念》，Z.数学。日志。格伦尔。数学。，33, 171-178 (1987) ·Zbl 0609.04008号
[45] Munkres，J.，《代数拓扑元素》（1984），Addison-Wesley·Zbl 0673.55001号
[46] NSF、NSF网络物理系统研讨会。http://varma.ece.cmu.edu/cps/; NSF、NSF网络物理系统研讨会。http://varma.ece.cmu.edu/cps/
[47] Oram，A.（《点对点：利用颠覆性技术的力量》（2001），O'Reilly&Associates，Inc.：O'Reilly&Associates，Inc.，美国加利福尼亚州塞瓦斯托波尔）
[48] Prusinkiewicz，P。；Hanan，J.，L systems:from formalism to programming languages，（Ronzenberg，G.；Salomaa，A.，Lindenmayer systems，Impacts on Theory Computer Science，Computer Graphics and Development Biology（1992），Springer Verlag），193-211年·Zbl 0769.68025号
[49] A.Spicher，O.Michel，神经生长类过程的声明性建模，生物系统，2005年；A.Spicher，O.Michel，神经生长类过程的声明性建模，生物系统，2005年
[50] Spicher，A。；Michel，O.，《在动力学系统模拟中使用重写技术：在精子爬行建模中的应用》，（第五届国际计算科学会议，ICCS'05，第一部分，第五届计算科学国际会议，ICCS’05，第I部分，LNCS，第3514卷（2005），Springer:Springer Atlanta，GA，USA）， 820-827 ·Zbl 1129.68444号
[51] 斯蒂尔，G.L。；Hillis，W.D.，连接机LISP：细粒度并行符号编程，（1986年美国计算机学会LISP与函数编程会议论文集（1986），马萨诸塞州坎布里奇。美国计算机学会：马萨诸塞洲坎布里奇，美国计算机学会纽约），279-297
[52] Stepney，S。；Braunstein，S.L。；克拉克·J·A。；Tyrrell，A.M。；Adamatzky，A。；史密斯，R.E。；亚的斯亚贝巴，T.R。；约翰逊，C.G。；蒂米斯，J。；韦尔奇，P.H。；米尔纳，R。；Partridge，D.，《非经典计算中的旅程II：初始旅程和航路点》，并行算法应用。，21, 2, 97-125 (2006)
[53] Toffoli，T.，《行人对时空结晶学的介绍》，IBM J.Res.Dev.，48，1，13-30（2004）
[54] Toffoli，T。；Margolus，N.，《元胞自动机机器》（1987），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥·兹比尔0655.68055
[55] E.Tonti，《物理理论的代数拓扑结构》，收录于：Glockner，P.G.，Sing，M.C.（编辑），《力学中的对称性、相似性和群论方法》，加拿大卡尔加里，1974年8月，第441-467页；E.Tonti，《物理理论的代数拓扑结构》，收录于：Glockner，P.G.，Sing，M.C.（编辑），《力学中的对称性、相似性和群论方法》，加拿大卡尔加里，1974年8月，第441-467页
[56] Witten，T.A。；Sander，L.M.，扩散限制聚集，动力学临界现象，物理学。修订稿。，47, 1400-1403 (1981)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。