• Journal of Korea Game Society
• /
• v.16 no.6
• /
• pp.59-68
• /
• 2016

Many researchers have paid attention to contents generation within the area of game artificial intelligence these days with various reasons. Efforts on automatic contents generation without game level designers' help were continuously progressed in various game contents. This study suggests an automatic map generation without an isolated cave using cellular automation enhanced by binary space partitioning(BSP). In other words, BSP makes it possible to specify the number of desired area and cellular automation reduces the time to search a path. Based upon our preliminary simulation results, we show the usefulness of our automatic map generation by applying the contents generation using cell automation, which is enhanced by BSP to games.

• The Journal of the Korea Contents Association
• /
• v.6 no.1
• /
• pp.23-30
• /
• 2006

A clustering method for temporal data takes a model-based approach. This uses automata based model for each cluster. It is necessary to construct global models for a set of data in order to elicit individual models for the cluster. The preparation for building individual models is completed by determining the number of clusters inherent in the data set. In this paper, BIC(Bayesian Information Criterion) approximation is used to determine the number clusters and confirmed its applicability. A search technique to improve efficiency is also suggested by analyzing the relationship between data size and BIC values. A number of experiments have been performed to check its validity using artificially generated data sets. BIC approximation measure has been confirmed that it suggests best number of clusters through experiments provided that the number of data is relatively large.

• Journal of Internet Computing and Services
• /
• v.12 no.6
• /
• pp.161-170
• /
• 2011

Despite some practical confusion over the variations in the diagram which may be drawn differently depending upon the CASE, the statechart of UML has been widely used to show the dynamic behaviour of the systems. Prior research has employed either simple switch-case statement or the state design pattern to generate source code from the statechart, which may result in varying source codes. This paper made an attempt to formally define the statechart and generate source codes from it. Firstly we cleaned up the XMI which was generated from different CASEs. This XMI has been translated to the EHA to identify automata contained in it. Then the elements of the statechart metamodel were mapped to the java programs. We also verified the quality of source codes by measuring functionality and maintainability. The case employed in this study was the air conditioner. The reason was that the case includes various states and transitions of interest. It was found that XMI was well extracted by removing some legacy codes in the CASE and the source codes were then successfully generated with the concurrency and hierarchy of the statechart. Further research is required to validate it practical significance with a larger case.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.5
• /
• pp.467-474
• /
• 2001

When user wants to animate more than one character, some unexpected motion animation like a collision between characters may occur. Therefore, this problem must be resolved using a proper control mechanism. Therefore, this problem must be resolved using a proper control mechanism. This paper proposes an agent-based system that controls the motion animation of the character for representing animation scenario reflecting user\`s intention. This system provides a method that coordinates a type of motion and avoids collision between characters according to the moving path of a character in three-dimensional space. Agent communicates with others for motion synchronization. Agent is extended into several intelligent agents that coordinate character\`s motion. Agent system enables not only an intended motion animation, but also the scheduling of motion to an entire character animation. It designs automata model using Petri-net analysis tool for the agent\`s interaction as a method that passes the agent\`s information and infers the current state of agents. We implement this agent system to control the motion of character using agent technology and show an example of controlling the motion of human character model to prove the possiblity of motion control.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.3
• /
• pp.251-258
• /
• 2007

With the increase of a web service technology, a new access control mechanism has developed for XML documents. As a result, as legacy access control systems, access control systems has become an active research topic. In this paper, we propose a methodology to translate access control policies for XML documents into formal specification language CSP. To do this, first, we introduce a method to translate a hierarchical access to XML documents using XPath language into CSP process algebra. Second, we explain a method to represent a XML schema as a formal model like automata. Third, we present a method for representing the semantics of access control policies such as the scope of rules and confliction resolution into a process algebra language. Finally, a CSP specification example of an XML schema and path expressions aye shown to illustrate the validity of our approach.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.9 no.6
• /
• pp.673-679
• /
• 2014

The important requirements of designing a pattern classifier are high throughput and low memory requirements, and low cost hardware implementation. A pattern classifier by using Multiple Attractor Cellular Automata(MACA) proposed by Maji et al. reduced the complexity of the classification algorithm from $O(n^3)$ to O(n) by using Dependency Vector(DV) and Dependency String(DS). In this paper, we generate a pattern classifier using LFSR to improve efficiently the space and time complexity and we propose a method for finding DV by using the 0-basic path. Also we investigate DV and the attractor of the generated pattern classifier. We can divide an n-bit DS by m number of $DV_i$ s and generate various pattern classifiers.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.23 no.2
• /
• pp.18-26
• /
• 2009

Daylight responsive dimming systems are one of lighting control systems which are to control artificial lightings using available daylight for energy savings. This system is not popular because useful daylight is usually blocked by uncontrolled passive shading systems in buildings. It is necessary to integrate daylight responsive dimming systems and automata! roller shading systems. In this research, mock-up test is performed to analyze the daylight distributions in three different rooms for integrated systems. Roller shades are installed in two rooms. One is fully downed and the other is controlled by sun profile angle. The other room has no shading system as a reference room.

• The KIPS Transactions:PartA
• /
• v.14A no.1 s.105
• /
• pp.31-38
• /
• 2007

Code Optimization is converting to a code that is equivalent to given program but more efficient, and this process is processed in Code Optimizer. This paper designed and processed Code Optimizer Generator that automatically generates Code Optimizer. In other words Code Optimizer is automatically generated for DFA Pattern Matching which finds the optimal code for the incoming pattern description. DFA Pattern Matching removes redundancy comparisons that occur when patterns are sought for through normalization process and improves simplification and structure of pattern shapes for low cost. Automatic generation of Code Optimization for DFA Pattern Matching eliminates extra effort to generate Code Optimizer every time the code undergoes various transformations, and enables formalism of Code Optimization. Also, the advantage of making DFA for optimization is that it is faster and saves cost of Code Optimizer Generator.

• The KIPS Transactions:PartB
• /
• v.14B no.5
• /
• pp.391-400
• /
• 2007

An interactive Hangul input method using the numeric phone keypad, which is applicable for mobile devices is introduced. In the proposed method, user only selects the corresponding keys by single tapping, for the alphabet of Korean letter which is desired to enter. The interface generates the subset of eligible letters for the key sequence, then the user selects the desired letter in the set. Such an interactive approach transforms the text entry interface into a multi-level interactive letter-oriented style, from the preexisting passive and single-level alphabet-oriented interface. The annoyance of key-operations, the major disadvantage of the previous methods, derived from multi-tap to clear the ambiguity of multi-assigned alphabets for the Hangul automata, can be eliminated permanently, while the additional letter selection procedure to finalize the desired letter is essential. Also the complexity of Hangul text entry is reduced since all letters can be compounded from basic alphabet selection of the writing sequence order. The advantage and disadvantage of the proposed method are analyzed through comparing with pre-existing method by experiments.

• Spatial Information Research
• /
• v.9 no.2
• /
• pp.185-206
• /
• 2001

Cellular Automata(CA) have been investigated and utilized as a theoretical framework and/or methodology for analyzing and simulating the properties and behaviors of many complex systems in various physical science and engineering field. Due to the conceptual elegance and effectiveness of implementing spatio-temporal dynamic models and the compatibility with raster GISs, recently a variety of modeling works using both CA and GIS have been published in GIS fields Most of spatial dynamic models introduced in previous research, however, were very limited and furthermore integrated CA-GIS system for practical modeling purpose are not developed yet. This study aims to develop an integrated CA-GIS system in which a CA simulator is used as an analytical engine for GIS providing a multipurpose spatial dynamic modeling functionalities. This integrated CA-GIS system is anticipated radically enhancing the current lacking dynamic modeling functionalities of GIS and being utilized as an powerful and effective tool for practical spatial dynamic modeling research.