• Journal of applied mathematics & informatics
• /
• v.16 no.1_2
• /
• pp.571-583
• /
• 2004

In this paper we shall discuss the quasi-perfect automata associated with power automata. We shall give the fact that x(M)/ HX is normal subgroup of the characteristic semigroup x(M) if the automaton A is quasi-perfect and x(M)/HX = x$(M)_H$ if A is perfect. Moreover, it is a very interesting part that x$(M)_H$ is conjugate to x$(M)_{Ha}$ for every a $\in$ X. Also we shall give a characterization of Ha = Hb for x$(M)_H$.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.10 no.4
• /
• pp.379-389
• /
• 2000

A cellular automaton is well-known for self-organizing and dynamic behavions in the filed of artifial life. This paper addresses a new neuronic architecture called an evolvable celluar classifier which evolves with the genetic rules (chromosomes) in the non-uniform cellular automata. An evolvable cellular classifier is primarily based on cellular programming, but its mechanism is simpler becaise it utilizes only mutations for the main genetic operators and resmbles the Hopfield network. Therefore, the desirable bit-patterns could be obtained through evolutionary processes for just one individual agent, As a rusult, an evolvable hardware is derived which is applicable to clessification of bit-string information.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2000.05a
• /
• pp.236-240
• /
• 2000

A cellular automaton is well-known for self-organizing and dynamic behaviors in the field of artificial life. This paper addresses a new neuronic architecture called an evolvable cellular classifier which evolves with the genetic rules (chromosomes) in the non-uniform cellular automata. An evolvable cellular classifier is primarily based on cellular programing, but its mechanism is simpler because it utilizes only mutations for the main genetic operators and resembles the Hopfield network. Therefore, the desirable hi t-patterns could be obtained through evolutionary processes for just one individual agent. As a result, an evolvable hardware is derived which is applicable to classification of bit-string information.

• Journal of the Korean Society for Precision Engineering
• /
• v.11 no.5
• /
• pp.75-87
• /
• 1994

The demand for automatic manufacturing systems is increasing. One of the crucial obstacles to the Flexible Manufacturing System(FMS) is the lack of excellent strategies for efficient operations. The aim of this research is constructing an automaton scheme in the low level of factories where various machineries are involved. An operating strategy is established for an automation unit named as a cell which resides between the upper level computers and manufacturing shop floor. The cell is defined to fit into the total manufacturing system. The defined cell has more functions than conventional cells. A scheduling scheme is adopted for the shop floor operations. A set of software has been developed and tested through simulations and shop floor experiments.

• International Journal of Computer Science & Network Security
• /
• v.23 no.6
• /
• pp.147-154
• /
• 2023

Network intrusion refers to any unauthorized penetration or activity on a computer network. This upsets the confidentiality, integrity, and availability of the network system. One of the major threats to any system's availability is a Denial-of-Service (DoS) attack, which is intended to deny a legitimate user access to resources. Therefore, due to the complexity of DoS attacks, it is increasingly important to abstract and describe these attacks in a way that will be effectively detected. The automaton theory is used in this paper to implement a SYN Flood detection system based on Time-Dependent Finite Automata (TDFA).

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.10 no.9
• /
• pp.4307-4325
• /
• 2016

With the aim of solving the problems of long processing times, high memory consumption and low event throughput in the current processing approaches in out-of-order RFID event streams, an efficient complex event processing method based on INFA-HTS (Improved Nondeterministic Finite Automaton-Hash Table Structure) is presented in this paper. The contribution of this paper lies in the fact that we use INFA and HTS to successfully realize the detection of complex events for out-of-order RFID event streams. Specifically, in our scheme, to detect the disorder of out-of-order event streams, we expand the traditional NFA model into a new INFA model to capture the related RFID primitive events from the out-of-order event stream. To high-efficiently manage the large intermediate capturing results, we use the HTS to store and process them. As a result, these problems in the existing methods can be effectively solved by our scheme. The simulation results of our experiments show that our proposed method in this paper outperforms some of the current general processing approaches used to process out-of-order RFID event streams.

• Journal of the Korean Society for Precision Engineering
• /
• v.22 no.9 s.174
• /
• pp.85-92
• /
• 2005

This paper describes the recognition method of small-obstacles using a camera for a mobile robot in indoor environment. The technique of image processing using a camera has been widely used for an automaton of industrial system, an inspection of inferior goods, a lookout of an invader, and a vision sensor of intelligent robot. Mobile robot could meet small-obstacles such as a small plastic bottle of about 0.5 l in quantity, a small box of $7{\times}7{\times}7cm^3$ in volume, and so on in its designated path, and could be disturbed by them in the locomotion of a mobile robot. So, it is necessary to research on the recognition of small-obstacles using a camera and program. In this paper, 2-D image processing algorism and method fur recognition of small-obstacles using a camera for a mobile robot in indoor environment was developed. The characteristic test of the developed program to confirm the recognition of small-obstacles was performed. It is shown that the developed program could judge the size and the position of small-obstacles accurately.

• Journal of the Korean Institute of Rural Architecture
• /
• v.11 no.3
• /
• pp.11-18
• /
• 2009

The purpose of this paper is to find out the investigation of overseas case in Street Furnitures of Public Design. Thus this research regions select among the waterfront cities; Tokyo/Yokohama(Japan), Nies/Cannes(France), Shanghai(China), Vancouver(Canada), in addition to the city of art and romance; Paris. Above all, it is necessary to study concept of public design and definition of street furnitures. The survey data collected from forenamed cities and the items of street furnitures are various installments such as kiosk, bench, bollard, litter-bin, sign board, toilet, bus/taxi station, fence, shelter, lighting column, fountain, telephone-booth, clock-tower, automaton, bicycle stand, playing object etc. In this study street spaces are analysed that is related to regional surroundings and pedestrian's culture. Consequently, design trend of street furniture in foreign case analysis are going into thoroughly modern image as well as checking of form, color, material and maintenance system. According to the above findings, this paper will provide basic data for establishing of the street furniture and improving of public design to the regional citizen, local government officials and regional experts.

• Journal of KSNVE
• /
• v.10 no.4
• /
• pp.610-614
• /
• 2000

Cellular Automata(CA)s are used as a simple mathematical model to investigate self-organization in statistical mechanics, which are originally introduced by von Neumann and S. Ulam at the end of the 1940s. CAs provide a framework for a large class of discrete models with homogeneous interactions, which are characterized by the following fundamental properties: 1) CAs are dynamical systems in which space and time are discrete. 2) The systems consist of a regular grid of cells. 3) Each cell is characterized by a state taken from a finite set of states and updated synchronously in discrete time steps according to a local, identical interaction rule. 4) The state of a cell is determined by the previous states of a surrounding neighborhood of cells. A cellular automaton has been attracted wide interest in modeling physical phenomena, which are described generally, partial differential equations such as diffusion and wave propagation. This paper describes one and two-dimensional analysis of wave propagation phenomena modeled by CA, where the local interaction rules were derived referring to the Lattice Gas Model reported by Chen et al., and also including finite difference scheme. Modeling processes by using CA are discussed and the simulation results of wave propagation with one wave source are compared with that by finite difference method.

• Advances in Computational Design
• /
• v.3 no.1
• /
• pp.35-47
• /
• 2018

Design of settlement space is a complicated process while reasonable spatial layout bears great significance on the development and resource allocation of a settlement. The study proposes a weighted L-system generation algorithm based on CA (Cellular Automation) model which tags the spatial attributes of cells through changes in their state during the evolution of CA and thus identifies the spatial growth mode of a settlement. The entrance area of the Caidian Botanical and Animal Garden is used a case study for the model. A design method is proposed which starts from the internal logics of spatial generation, explores possibility of spatial rules and realizes the quantitative analysis and dynamic control of the design process. Taking a top-down approach, the design method takes into account the site information, studies the spatial generation mechanism of settlements and further presents a engine for the generation of multiple layout proposals based on different rules. A optimal solution is acquired using GA (Genetic Algorithm) which generates a settlement spatial layout carrying site information and dynamically linked to the surround environment. The study aims to propose a design method to optimize the spatial layout of the complex settlement system based on parametric generation.