×
李，贾;苏苏木阿达奇;夏云妮;朱庆生

异步系统中可逆局部跃迁产生的普遍全局行为。 （英语） Zbl 1355.68092号

信息科学。 282, 38-56 (2014).
摘要：可逆计算通常关注如何在计算系统中建立全局可逆性和局部可逆性之间的有效等价。迄今为止，在细胞自动机、组合电路和量子计算机中精确地发展了等价性，但它隐含地假设底层系统是同步计时的。替代系统包括延迟敏感（DI）电路和异步细胞自动机（ACA），其中每个组件（细胞）的本地操作可以在随机时间独立执行。尽管异步定时具有随机性，但在两种DI-电路中都可以简单地实现全局和局部可逆性之间的等价[森田康夫，莱克特。注释计算。科学。2055, 102–113 (2001;Zbl 0984.68512号)]和ACAs[第一作者等，Lect.Notes Compute.Sci.2509220-229（2002；Zbl 1029.68101号)]，前提是它们的本地操作（转换）已完全序列化。然而，在局部行为中完全排除并发将严重降低DI-电路的并行处理效率以及ACA固有的大规模并行性。本文旨在探讨局部可逆并发操作可能产生何种复杂的全局行为。为此，我们表明由可逆元素组成的DI-电路实际上可以表现出通用的输入和输出行为，通用性是从可逆局部操作的并发性中产生的。同样，通过将所有电路进一步嵌入到细胞空间中，可以在ACA中准确识别可逆局部跃迁产生的普遍全局跃迁，由于其局部函数的双客体性，与其他模型相比，ACA的复杂度大大降低。

引用于三文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
68问题80 细胞自动机（计算方面）
94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010）

关键词：

局部可逆性;全局可逆性;异步电路;细胞自动机;并发;内在普遍性

引文：

兹伯利0984.68512;Zbl 1029.68101号
PDF格式BibTeX公司 XML格式引用
\textit{J.Lee}等人，《信息科学》。282、38-56（2014年；Zbl 1355.68092）
全文： DOI程序

参考文献：

[1] Bennett，C.H.，《计算热力学——综述》，国际期刊Theor。物理。，21, 12, 905-940 (1982)
[3] Durand-Lose，J.，《台球模型内的计算》（Adamatzky，A.，基于碰撞的计算（2002），Springer-Verlag），135-160
[4] Feynman，F.，《量子机械计算机》，Found。物理。，16, 6, 507-531 (1986)
[5] M.弗兰克。；Knight，T。；Margolus，N.，最佳可伸缩计算机体系结构中的可逆性，（非传统计算模型国际会议论文集（1998年），Springer:Springer-Berlin）·Zbl 0901.68069号
[6] 弗雷德金，E。；Toffoli，T.，《保守逻辑》，国际期刊Theor。物理。，21, 3-4, 219-253 (1982) ·Zbl 0496.94015号
[7] Goles，E。；Meunierc，体育。；拉帕波特，I。；Theyssier，G.，《细胞自动机中的通信复杂性和内在普遍性》，Theor。计算。科学。，412, 2-21 (2011) ·Zbl 1207.68213号
[8] 古普塔，P。；阿格拉瓦尔。；Jha，N.K.，可逆逻辑电路综合算法，IEEE Trans。CAD，25，11，2317-2330（2006）
[9] Hauck，S.，《异步设计方法：概述》，Proc。IEEE，83，1，69-93（1995）
[10] 霍利安，B.L。；Wm·胡佛。G。；Posch，H.A.，Loschmidt悖论的解决：可逆原子动力学中不可逆行为的起源，物理学。修订稿。，59, 10-13 (1987)
[11] Wm·胡佛。G。；胡佛，C.G.，《冲击波的时间之箭》；比特可逆Lyapunov和协变向量；对称破坏，计算。方法科学。技术。，19, 2, 69-75 (2013)
[12] Imai，K。；Morita，K.，《计算-通用二维八状态三角形可逆细胞自动机》，Theor。计算。科学。，231, 181-191 (2000) ·Zbl 0951.68086号
[13] 凯恩，B.E.，《基于硅的核自旋量子计算机》，《自然》，393133-137（1998）
[14] Kari，J.，2D细胞自动机的可逆性是不可判定的，Physica D，45，379-385（1990）·Zbl 0729.68058号
[15] Kari，J.，可逆细胞自动机，语言理论的发展，LNCS，3572，2-23（2005）
[16] Keller，R.M.，《通用速度相关模块理论》，IEEE Trans。计算。，C-23、1、21-33（1974年）·Zbl 0277.94021号
[17] 基尔宾斯基，D。；门罗，C。；Wineland，D.J.，《大型离子阱量子计算机的架构》，《自然》，417709-711（2002）
[18] Landauer，R.，《计算过程中的不可逆性和热量生成》，IBM J.Res.Dev.，5183-191（1961）·Zbl 1160.68305号
[19] Lee，J。；佩珀，F。；阿达奇，S。；森田，K。；Mashiko，S.，异步细胞自动机中的可逆计算，UMC2002，LNCS，2509220-229（2003）·Zbl 1029.68101号
[21] Lee，J。；佩珀，F。；阿达奇，S。；Morita，K.，实现2状态2输入2输出反向双可逆元件的异步细胞自动机，ACRI 2008，LNCS，5191，67-76（2008）·Zbl 1159.68497号
[22] Lee，J。；Imai，K。；朱庆生，基于保数元胞自动机的波动驱动计算，信息科学。，187, 266-276 (2012) ·Zbl 1267.68149号
[23] Lee，J。；Yang，R.L。；Morita，K.，基于可逆逻辑元件的1-带2-符号可逆图灵机的设计，Theor。计算。科学。，460, 78-88 (2012) ·Zbl 1279.68081号
[26] Margolus，N.，《类物理计算模型》，Physica D，10，81-95（1984）·Zbl 0563.68051号
[27] 马斯洛夫，D。；杜克·G·W。；Miller，D.M.，可逆Toffoli网络合成技术，ACM Trans。设计。自动。电子。系统。，12, 4 (2007)
[28] Milner，R.，《通信系统演算》（LNCS，第92卷（1980），Springer）·Zbl 0452.68027号
[29] 森田，K。；Nishihara，北。；山本，Y。；Zhang，Z.，《唯一可分析文法类和确定性受体的层次结构》，《国际学报》，第34期，第389-410页（1997年）·Zbl 0865.68076号
[30] Morita，K.，《用于可逆计算的简单通用逻辑元件和细胞自动机》，Proc。第三届国际机器、计算和普遍性会议，基希讷乌，LNCS，2055，102-113（2001）·Zbl 0984.68512号
[31] Morita，K.，《可逆计算和细胞自动机——一项调查》，Theor。计算。科学。，395, 1, 101-131 (2008) ·Zbl 1145.68036号
[32] Ollinger，N.，《细胞自动机的普遍性：一项（简短）调查》，（Durand，B.，JAC’08（2008），MCCME出版社：MCCME莫斯科出版社），102-118
[33] 帕特拉，P。；Fussell，D.S.，保守延迟敏感电路，车间物理。计算。，248-259 (1996)
[34] 佩珀，F。；Isokawa，T。；北库达。；松井，N.，《自时细胞自动机及其计算能力》，《未来世代》。计算。系统。，18, 893-904 (2002) ·Zbl 1042.68080号
[35] 佩珀，F。；Lee，J。；阿达奇，S。；Mashiko，S.，在异步蜂窝阵列上布置电路：走向可行的纳米计算机的一步？，纳米技术，14，4，469-485（2003）
[36] 佩珀，F。；Lee，J。；Abo，F。；Isokawa，T。；阿达奇，S。；松井，N。；Mashiko，S.，《纳米计算机的容错：细胞阵列方法》，IEEE Trans。纳米技术。，3, 1, 187-201 (2004)
[37] 佩珀，F。；Lee，J。；Isokawa，T.，布朗细胞自动机，J.Cell。自动。，5, 3, 185-206 (2010) ·Zbl 1203.68112号
[38] 佩珀，F。；Lee，J。；J·卡莫纳。；科尔塔德拉，J。；Morita，K.，《布朗城市：基础》，ACM J.Emerg.Technol。计算。系统。，9, 1, 3:1-3:24 (2013)
[39] 菲利普斯一世。；Ulidowski，I.，《可逆性和并发模型》，Electron。注释Theor。计算。科学。，192, 93-108 (2007) ·Zbl 1278.68220号
[40] Schönfisch，B。；de Roos，A.，细胞自动机中的同步和异步更新，生物系统，51，123-143（1999）
[41] Seck-Tuoh-Mora，J.C。；马丁内斯，G.J。；Alonso Sanz，R。；Hernandez-Romero，N.，具有记忆的初等细胞自动机中的可逆行为，信息科学。，199, 125-132 (2012) ·Zbl 1248.68345号
[42] Siap，I。；Akin，H。；Sah，F.，2D细胞自动机的伊甸园配置，规则2460 N，Inf.Sci。，180, 3562-3571 (2010) ·Zbl 1206.68205号
[43] Slotterback，S。；Mailman，M。；Ronaszegi，K。；van Hecke，M。；Girvan，M。；Losert，W.，《颗粒填料循环剪切不可逆性的开始》，Phys。E版，85，021309（2012）
[44] 瓦苏德万，D.P。；Lala，P.K。；Di，J。；Parkerson，J.P.，具有在线可测试性的可逆逻辑设计，IEEE Trans。仪器。测量。，55, 2, 406-414 (2006)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。