We introduce a new class of two-dimensional cellular automata (CAs) whose inter-cell communication is restricted to 1-bit and propose a linear-time connectivity recognition algorithm for two-dimensional binary images....
详细信息
We introduce a new class of two-dimensional cellular automata (CAs) whose inter-cell communication is restricted to 1-bit and propose a linear-time connectivity recognition algorithm for two-dimensional binary images. Precisely, it is shown that a set of two-dimensional connected binary images of size m x n can be recognized in 2(m + n) + O(1) steps by a two-dimensional CA with 1-bit inter-cell communication. (C) 2001 Elsevier Science B.V. All rights reserved.
cellular automata might be implemented as programmable special-purpose processors controoled by universal computer systems. This configuration is appropriate, because in general only special tasks of complex problems ...
详细信息
cellular automata might be implemented as programmable special-purpose processors controoled by universal computer systems. This configuration is appropriate, because in general only special tasks of complex problems are efficiently parallelizable. Many task for image processing like window operators for filtering, smoothing or edge detection may be presented in a way particularly suitable for cellular automata. In this paper we present CELIP, a cellular Language for Image Processing. It has been developed for prototyping cellular algorithms for image processing.
In this paper a lattice model (here ‘lattice’ means a net of points) is introduced for homogeneous cellular algorithms. On the basis of this model a transformation methodology is developed, which makes it possible t...
详细信息
In this paper a lattice model (here ‘lattice’ means a net of points) is introduced for homogeneous cellular algorithms. On the basis of this model a transformation methodology is developed, which makes it possible to produce many different versions of a given cellular algorithm. These versions may have quite different structural properties, but they perform the same computation as the original algorithm. In this way a great variety of cellular algorithms can be offered to choose the best version in practice and, on the other hand, cellular algorithms can be classified according to their inherent structures.
In a Petri net, a decision point is raised when two or more transitions are simultaneously enabled in a given marking. The decision to be made at such a point is the selection of an enabled transition for firing. Deci...
详细信息
In a Petri net, a decision point is raised when two or more transitions are simultaneously enabled in a given marking. The decision to be made at such a point is the selection of an enabled transition for firing. Decision making in Petri nets is accomplished by a so called controlling mechanism. Whenever a Petri net is used to represent an algorithm, the application of a different controlling mechanism results in a different instance of that algorithm. Recently, an adaptive controlling mechanism has been introduced for Petri nets in which several learning automata are used as decision makers during the evolution of the Petri nets. A Petri net with this adaptive controlling mechanism is referred to as APN-LA. Using APN-LA, one may be able to design adaptive algorithms to solve problems. There are problems for which designing a single APN-LA is tedious and results in a large and complex model. One class of such problems is the cellular problem, in which an identical algorithm must be executed in each cell and the solution to the problem is generated from the cooperation of these identical algorithms. To avoid having large and complex APN-LAs for cellular problems, a cellular adaptive Petri net called CAPN-LA is proposed in this paper, which consists of a cellular structure and a number of identical APN-LAs. In CAPN-LA, each APN-LA represents the algorithm which must be executed in each cell, and the required cooperation between the neighboring cells is handled by means of cooperation between the APN-LAs in those cells. The notation of expediency for this model is defined, and, using the steady-state analysis of the behavior of the CAPN-LA model, conditions under which this model is expedient are stated. A measure of expediency is defined for comparing different CAPN-LAs according to their expected reward;a CAPN-LA which receives a higher expected reward is regarded as more expedient. The proposed CAPN-LA is then used to design different algorithms for the classic prob
Realized cellular automata may be operated by universal computer systems as programmable special-purpose processors for parallelizable problems. Because of their architecture (local neighbourhood, small storage size p...
详细信息
Realized cellular automata may be operated by universal computer systems as programmable special-purpose processors for parallelizable problems. Because of their architecture (local neighbourhood, small storage size per cell, they are well suited for processing systolic algorithms. A cellular programming language — named CEPROL — is presented which offers means for programming and controlling cellular automata processing such algorithms.
A description is given of a parallel O(log n) algorithm for the drawing of algebraic curves in the digital plane. The algorithm, which contains a systolic subroutine, is implemented in a parallel computer structure c...
详细信息
A description is given of a parallel O(log n) algorithm for the drawing of algebraic curves in the digital plane. The algorithm, which contains a systolic subroutine, is implemented in a parallel computer structure called pyramid cellular automation. The constructibility of conics and particularly of circles in O(log n) time follows are considered as a special case. Thus, Sakoda's (1981) exact circle problem is solved by an O(log n) algorithm. Finally, it is shown that every construction with ruler and compasses in the Euclidean plane can be executed in O(log n) time. This holds because every such construction is a sequence of one of the following O(log n) basic constructions, namely, drawing a line through 2 given points, drawing a circle with given center and radius, and constructing intersection points of these curves.
The firing squad synchronization problem on cellular automata has been studied extensively for more than 50 years, and a rich variety of synchronization algorithms have been proposed for not only one-dimensional (1D) ...
详细信息
The firing squad synchronization problem on cellular automata has been studied extensively for more than 50 years, and a rich variety of synchronization algorithms have been proposed for not only one-dimensional (1D) arrays but also 2D arrays. In this paper, we construct a survey on a design and implementation of optimum-time synchronization algorithms for 2D square arrays.
暂无评论