Search

Computational functionality has been implemented successfully on chemical reactions in living systems. In the case of Belousov-Zhabotinsky (BZ) reaction, this was achieved by using collision-based techniques and by exploiting the light sensitivity of BZ. In order to unveil the computational capacity of the light sensitive BZ medium and the possibility to implement re-configurable logic, the design of multiple logic gates in a fixed BZ reservoir was investigated. The three basic logic gates (namely NOT, OR and AND) were studied to prove the Turing completeness of the architecture. Namely, all possible Boolean functions can be implemented as a combination of these logic gates. Nonetheless, a more complicated logic function was investigated, aiming to illustrate further capabilities of a fixed size BZ reservoir. The experiments executed within this study were implemented with a Cellular Automata (CA)-based model of the Oregonator equations that simulate excitation and wave propagation on a light sensitive BZ thin film. Given that conventional or von Neumann architecture computations is proved possible on the proposed configuration, the next step would be the realization of unconventional types of computation, such as neuromorphic and fuzzy computations, where the chemical substrate may prove more efficient than silicon., (Copyright © 2021 Elsevier B.V. All rights reserved.)

The development of novel hardware computing systems and methods has been a topic of increased interest for researchers worldwide. New materials, devices, and architectures are being explored as a means to deliver more efficient solutions to contemporary issues. Along with the advancement of technology, there is a continuous increase in methods available to address significant challenges. However, the increased needs to be fulfilled have also led to problems of increasing complexity that require better and faster computing and processing capabilities. Moreover, there is a wide range of problems in several applications that cannot be addressed using the currently available methods and tools. As a consequence, the need for emerging and more efficient computing methods is of utmost importance and constitutes a topic of active research. Among several proposed solutions, we distinguish the development of a novel nanoelectronic device, called a "memristor", that can be utilized both for storing and processing, and thus it has emerged as a promising circuit element for the design of compact and energy-efficient circuits and systems. The memristor has been proposed for a wide range of applications. However, in this work, we focus on its use in computing architectures based on the concept of Cellular Automata. The combination of the memristor's performance characteristics with Cellular Automata has boosted further the concept of processing and storing information on the same physical units of a system, which has been extensively studied in the literature as it provides a very good candidate for the implementation of Cellular Automata computing with increased potential and improved characteristics, compared to traditional hardware implementations. In this context, this paper reviews the most recent advancements toward the development of Cellular-Automata-based computing coupled with memristor devices. Several approaches for the design of such novel architectures, called "Memristive Cellular Automata", exist in the literature. This extensive review provides a thorough insight into the most important developments so far, helping the reader to grasp all the necessary information, which is here presented in an organized and structured manner. Thus, this article aims to pave the way for further development in the field and to bring attention to technological aspects that require further investigation. [ABSTRACT FROM AUTHOR]

This study presents an application that estimates all possible paths within an urban environment and proposes the optimal one according to objective criteria and individualized options. The application grounds its functionality on a Cellular Automaton (CA) that models the area of interest and provides the rule that activates the processing of input data. The model incorporates the term walkability as a discrete magnitude that integrates qualitative features of pedestrian mobility. The proposed application fosters sustainable forms of movement at a local level that undoubtedly improves the human physical status and upgrades civilian living conditions. In the context of this paper, we provide a thorough description of the operational principles of the model, and we test its validity by applying it in Xanthi, a medium size city located in northeastern Greece. Finally, we describe variants of the initial scenario to demonstrate the sensibility of the model in external assessments as well as its resilience in biasing manipulations. [ABSTRACT FROM AUTHOR]

One of the most famous problems in computer science and cellular automata (CAs) is the Firing Squad Synchronization Problem (FSSP). In the FSSP, a one-dimensional CA with just a single active cell (initially called "General") eventually reaches a state in which all the CA cells (called "soldiers" in analogy to real-world firing squad) are simultaneously active. Since the introduction of the FSSP as a well known problem in the 60's, and during the last decades, many FSSP solution algorithms have been proposed in the literature. Nevertheless, the inherited error correction capabilities of these algorithms have not been extensively studied. In this paper, an error detection and correction algorithm that utilizes the patterns appearing in 1-D Mazoyer's 8-state solution is analyzed and presented. Furthermore, the patterns of 2-D Umeo's FSSP algorithm are also thoroughly investigated. In such a case, extra patterns emerge from CA cells grouping, during the application of 1-D FSSP solution to 2-D CA grid, enhancing the error tolerance of the proposed algorithm, i.e. almost every possible error can be detected. Finally, another version, even more efficient, of error detection and correction algorithm with memory effect considering previous CA states usage, is also introduced. Although the usage of previous CA states results to increased utilization of computational resources, at the same time it enables the proposed algorithm to detect every possible error state in every possible CA cell, advancing significantly the algorithm's performance. [ABSTRACT FROM AUTHOR]

During the last years, a well studied biological substrate, namely Physarum polycephalum, has been proven efficient on finding appropriate and efficient solutions in hard to solve complex mathematical problems. The plasmodium of P. polycephalum is a single-cell that serves as a prosperous bio-computational example. Consequently, it has been successfully utilized in the past to solve a variety of path problems in graphs and combinatorial problems. In this work, this interesting behaviour is mimicked by a robust unconventional computational model, drawing inspiration from the notion of Cellular and Learning Automata. Namely, we employ principles of Cellular Automata (CAs) enriched with learning capabilities to develop a robust computational model, able of modelling appropriately the aforementioned biological substrate and, thus, capturing its computational capabilities. CAs are very efficient in modelling biological systems and solving scientific problems, owing to their ability of incarnating essential properties of a system where global behaviour arises as an effect of simple components, interacting locally. The resulting computational tool, after combining CAs with learning capabilities, should be appropriate for modelling the behaviour of living organisms. Thus, the inherent abilities and computational characteristics of the proposed bio-inspired model are stressed towards the experimental verification of Physarum's ability to model Logic Gates, while trying to find minimal paths in properly configured mazes with food sources. The presented simulation results for various Logic Gates are found in good agreement, both qualitatively and quantitatively, with the corresponding experimental results, proving the efficacy of this unconventional bio-inspired model and providing useful insights for its enhanced usage in various computing applications. [ABSTRACT FROM AUTHOR]

Games-of-chance require high-levels of trust between participants that is often uncertain and difficult to enforce. The unique characteristics introduced by the blockchain technology can be leveraged to inform a verifiable but transparent pseudo-random generation process that at the same time eliminates the need of an external trustee service or oracle to guarantee the fair execution of the process. We propose a process that builds on a one-dimensional Cellular Automaton (CA) where the evolution of the CA aligns to the evolution of a blockchain. Given an initial seed defined as the point in time where the evolution of the CA is triggered, the set of transition rules, along with the finite number of evolution steps, any external oracle is able to verify and backtrack (but not predict) the outcome of the process. The effectiveness of the implemented system is confirmed by the use of various statistical testing suites that confirm the existence of a set of statistical properties required to produce sufficient pseudo-random number sequences. [ABSTRACT FROM AUTHOR]

Various synchronization algorithms have been introduced in literature during the last decades to deal with the firing squad synchronization problem on cellular automata (CA). Among others defective CA algorithms, where the CA cell is able to transmit information without previous processing, have been also presented. In our case, originating from the classical Mazoyer’s paper, where a minimum-time solution is presented with 6 states, a one-dimensional CA where one cell may permanently fail is presented. In the proposed algorithm, the defective cell can neither process nor transmit information any longer, while it is considered that such dynamic defects may become apparent in any time step of computation. A thorough analysis of the synchronization, in terms of location and time at which cell fails, for the cells found in both sides of defective cell is delivered to decipher the corresponding maximal possible number of synchronized cells in each part of the cut, due to defect, CA array. The proposed algorithm is properly extended to consider more than one defective cells that may occur in the under study one-dimensional CA. Based on the aforementioned analysis, we provide the generalization of synchronization with multiple totally defective cells, while application examples of the generalized CA algorithm in case of two defective cells are also presented. Finally, another intriguing aspect refers to handling of states that could be tentatively characterized as unknown, in a confrontation similar to the previous defective state but also different, since now this(these) cell(s) are not stated as faulty but unknown. As a result, a new one-dimensional CA with less states, compared to the previous CA defective algorithms, able to synchronize the maximal possible number of cells in each part occurs. [ABSTRACT FROM AUTHOR]

Cellular Automata (CA) have been considered one of the most pronounced parallel computational tools in the recent era of nature and bio-inspired computing. Taking advantage of their local connectivity, the simplicity of their design and their inherent parallelism, CA can be effectively applied to many image processing tasks. In this paper, a CA approach for efficient salt-n-pepper noise filtering in grayscale images is presented. Using a 2D Moore neighborhood, the classified "noisy" cells are corrected by averaging the non-noisy neighboring cells. While keeping the computational burden really low, the proposed approach succeeds in removing high-noise levels from various images and yields promising qualitative and quantitative results, compared to state-of-the-art techniques. [ABSTRACT FROM AUTHOR]

The reaction-diffusion (RD) models describe the change in the behavior of one or more chemical substances through space and time. The RD interaction can create waves of chemical concentration when the chemical systems used are far from equilibrium. The velocity and direction of those waves can be controlled and altered using excitable media or inhibitors. In particular, excitable media are spatially distributed systems characterized by their ability to propagate signals undamped over long distances, while inhibitors are used to reduce the propagation of those signals. The behavior of chemical oscillators are based on such media. The concept of this article is the proposal of a Cellular Automaton (CA) model which exploits the wave propagation characteristics on an excitable medium using inhibitors to create a switching element which is capable of distinguishing two binary states and present a form of amplification, like a basic transistor. In such a sense an unconventional chemical made device with properties similar to the conventional basic element of todays electronics, namely CMOS transistor is conceived. Furthermore, and in order to properly explore the potential of the proposed device, we design a combination of two of those transistors to prove that they can reproduce Boolean algebra by creating two of the most well known and important component, i.e. the inverter NOT logic gate and the universal logic gate NAND. [ABSTRACT FROM AUTHOR]

The continuous increment in the performance of classical computers has been driven to its limit. New ways are studied to avoid this oncoming bottleneck and many answers can be found. An example is the Belousov-Zhabotinsky (BZ) reaction which includes some fundamental and essential characteristics that attract chemists, biologists, and computer scientists. Interaction of excitation wave-fronts in BZ system, can be interpreted in terms of logical gates and applied in the design of unconventional hardware components. Logic gates and other more complicated components have been already proposed using different topologies and particular characteristics. In this study, the inherent parallelism and simplicity of Cellular Automata (CAs) modeling is combined with an Oregonator model of light-sensitive version of BZ reaction. The resulting parallel and computationally-inexpensive model has the ability to simulate a topology that can be considered as a one-bit full adder digital component towards the design of an Arithmetic Logic Unit (ALU). [ABSTRACT FROM AUTHOR]

In this paper we present a model based on the parallel computational tool of cellular automata (CA) capable of simulating the process of disembarking in a small airplane seat layout, corresponding to Airbus A320/ Boeing 737 layout, in search of ways to make it faster and safer under normal evacuation conditions, as well as emergency scenarios. The proposed model is highly customizable, with the number of exits, the walking speed of passengers, depending on their sex, age and height, and the effects of retrieving and carrying luggage. Additionally, the presence of obstacles in the aisles as well as the emergence of panic being parameters whose values can be varied in order to enlighten the disembarking and emergency evacuation processes are considered in detail. The simulation results were compared to existing aircraft disembarking and evacuation times and indicate the efficacy of the proposed model in investigating and revealing passenger attributes during these processes in all the examined cases. Moreover, we parallelized our code in order to run on a graphics processing unit (GPU) using the CUDA programming language, speeding up the simulation process. Finally, in order to present a fully dynamical anticipative real-time system helpful for decision-making we implemented the proposed CA model in a field programmable gate array (FPGA) device, and recreated the results given by the software simulations in a fraction of the time. We then compared and exported the performance results among a sequential software implementation, the implementation running on a GPU, and a hardware implementation, proving the consequent acceleration that results from the parallel CA implementation in specific hardware. [ABSTRACT FROM AUTHOR]

The Microbial Fuel Cell (MFC) is a bio-electrochemical transducer converting waste products into electricity using microbial communities. Cellular Automaton (CA) is a uniform array of finite-state machines that update their states in discrete time depending on states of their closest neighbors by the same rule. Arrays of MFCs could, in principle, act as massive-parallel computing devices with local connectivity between elementary processors. We provide a theoretical design of such a parallel processor by implementing CA in MFCs. We have chosen Conway’s Game of Life as the ‘benchmark’ CA because this is the most popular CA which also exhibits an enormously rich spectrum of patterns. Each cell of the Game of Life CA is realized using two MFCs. The MFCs are linked electrically and hydraulically. The model is verified via simulation of an electrical circuit demonstrating equivalent behaviours. The design is a first step towards future implementations of fully autonomous biological computing devices with massive parallelism. The energy independence of such devices counteracts their somewhat slow transitions—compared to silicon circuitry—between the different states during computation. [ABSTRACT FROM AUTHOR]

In this paper, an automated electronic system able to reproduce the complex dynamic behaviors of the train movement is presented. In specific, a Cellular Automaton (CA) model was developed in order to provide efficient control of the railway traffic flow under different complicated situations such as trains of greater and different speed and length, priority at level crossings, more than one station platforms, different and probably longer station dwell times, possible deceleration for sudden cause, i.e. railway blockage, etc. Furthermore, in order to take full advantage of the inherent parallelism and fundamental features of the CAs, the proposed model was implemented on Field Programmable Gate Array (FPGA). The FPGA design which results from the automatically produced synthesizable VHDL code of the CA model is considered as basic component of a portable, low total cost electronic system. The latter also includes a high performance Global Positioning System (GPS) wireless communication module for the monitoring of train activity in the under study railway. This module in conjunction with the proposed fully automatically programmable FPGA device minimizes the design burden offering the chance of real-time train control operation based on the CA model. Finally, some real case experiments took place in the railway network of Eastern Macedonia-Thrace of Greece and the experimental results validate the calibration of the CA model as well as of the proposed electronic system and their ability to control train movement. [ABSTRACT FROM AUTHOR]

The wasteful consumption of freshwater in heavily populated coastal areas usually consist the basic reason for the intrusion of saltwater into the coastal aquifers. In order to avoid such catastrophic scenarios, their prediction is of utter significance. Underground water systems are highly complex and the water flow is extremely dynamic, thus making the prediction of this phenomenon a difficult task. For this reason, a two dimensional Cellular Automaton (CA) was designed enabling both the qualitative and quantitative simulation and illustration of the saltwater intrusion into an unconfined coastal aquifer. The presented results ensure the robustness of the proposed CA model taking full advantage of its inherent parallelism and local connectivity. [ABSTRACT FROM AUTHOR]