首页> 外文会议>International Symposium on Computing and Networking Workshops >Formalization of Asynchronous Cellular Automata Using Asynchronous Protocol for Communications
【24h】

Formalization of Asynchronous Cellular Automata Using Asynchronous Protocol for Communications

机译:使用异步协议进行通信的异步元胞自动机的形式化

获取原文

摘要

Asynchronous cellular automata (ACAs) allow cells to change their states independently at random times. Nevertheless, whenever a cell is activated for state transition, its new state is decided by the state of the cell itself, together with the current states of all neighboring cells. This implies that the cell, from being activated till undergoing a transition, must access every neighbor to acquire their present states and complete all communications in due time. In this paper, we formalize a novel type of ACAs which use asynchronous communicating protocol to exchange states between neighboring cells. This enables a cell in the ACA to change the state based on some preceding states, rather than the current states, of each neighboring cell.
机译:异步细胞自动机(ACA)允许细胞在随机时间独立更改其状态。但是,无论何时激活某个单元进行状态转换,其新状态都由该单元本身的状态以及所有相邻单元的当前状态决定。这意味着从激活到经历转变的小区必须访问每个邻居以获取其当前状态并在适当的时间内完成所有通信。在本文中,我们将一种新型的ACA形式化,该ACA使用异步通信协议在相邻小区之间交换状态。这使得ACA中的小区能够基于每个相邻小区的一些先前状态而不是当前状态来改变状态。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号