当前位置: X-MOL 学术Phys. D Nonlinear Phenom. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
An asynchronous solution to the synchronisation problem for binary one-dimensional cellular automata
Physica D: Nonlinear Phenomena ( IF 4 ) Pub Date : 2020-07-23 , DOI: 10.1016/j.physd.2020.132554
Eurico L.P. Ruivo , Pedro Paulo Balbi , Kévin Perrot

Because cellular automata rely on totally local and synchronous processing at the neighbourhood of each cell, the issue of global synchronisation of the cell states has a long tradition in cellular automata literature. Here, the following benchmark synchronisation problem in the context of one-dimensional binary cellular automata rule is addressed: in periodic boundary condition, a rule needs to be conceived so as to lead any initial configuration to converge, at some time in future, to a cyclic regime of period 2 characterised by all cells alternating between fully homogeneous configurations of 0s and 1s. In spite of its simplicity, the problem has recently been shown not to have a solution by synchronously updating the cell states. In contrast, we provide a perfect solution to the problem, with a 4-neighbour rule, by replacing the synchronous update of the cells of the lattice with a deterministic, block sequential asynchronous update schedule. Achieving synchrony by asynchronous means represents an example that makes it evident the fact that asynchrony can be explored to give more freedom to the cells of a CA, in terms of the local information they exchange with each other. Since synchronisation phenomena and problems are pervasive in many contexts in science and engineering, it is a valuable resource to understand how synchronisation can be achieved and controlled in simple computational models, such as cellular automata.



中文翻译:

二进制一维元胞自动机同步问题的异步解决方案

因为细胞自动机依赖于每个细胞附近的完全局部和同步处理,所以细胞状态的全局同步问题在细胞自动机文献中已有很长的历史。在此,解决了在一维二进制元胞自动机规则的上下文中的以下基准同步问题:在周期性边界条件下,需要构思一个规则,以使任何初始配置在将来的某个时候收敛到周期2的循环方案,其特征在于所有单元在0和1的完全同质构型之间交替。尽管简单,但最近显示该问题没有通过同步更新单元状态来解决。相比之下,我们通过4条邻居规则为问题提供了完美的解决方案,通过用确定性的块顺序异步更新时间表替换晶格单元的同步更新。通过异步方式实现同​​步代表了一个示例,这清楚地说明了一个事实,即可以探索异步,从而根据CA单元之间相互交换的本地信息为它们提供更多的自由。由于同步现象和问题在科学和工程学的许多情况下无处不在,因此了解如何在简单的计算模型(如细胞自动机)中实现和控制同步是宝贵的资源。通过异步方式实现同​​步代表了一个示例,这清楚地说明了一个事实,即可以探索异步,从而根据CA单元之间相互交换的本地信息为它们提供更多的自由。由于同步现象和问题在科学和工程学的许多情况下无处不在,因此了解如何在简单的计算模型(如细胞自动机)中实现和控制同步是宝贵的资源。通过异步方式实现同​​步代表了一个示例,这清楚地说明了一个事实,即可以探索异步,从而根据CA单元之间相互交换的本地信息为它们提供更多的自由。由于同步现象和问题在科学和工程学的许多情况下无处不在,因此了解如何在简单的计算模型(如细胞自动机)中实现和控制同步是宝贵的资源。

更新日期:2020-07-23
down
wechat
bug