• Journal of Korean Society of Rural Planning
• /
• v.9 no.4 s.21
• /
• pp.43-51
• /
• 2003

This study aims to integrate the simulation models for rural settlement planning (SimRusep) in the district level (Myon) area of rural counties. The SimRusep, which has two modules of key villages selection and spatial planning for the selected villages, consists of four sub-models such as the spatial location-allocation model of center villages (SLAMCV), the potential centrality evaluation model (PCEM), the land use planning model (LUPM), and the 3-dimensional spatial planning modeller (3DSPLAM). Basically, map data of the integrated system which can be operated on the UNIX environment is inputted and treated using GIS (ARC/INFO) and then its village planning results is graphically presented on the AutoCAD. In order to verify the practical applicabilities of the SimRusep, an administrative area, Ucheon-myun, HoengSung-gun, KangWon-do, was selected as a case study area. It was well operated in the strategic application trials considering application of each sub-model in the study area. The operation results of the SimRusep showed the possibilities of realtime simulation from the selection of key village to its final stereoscopic presentation of planned results. Alternative village plan proposals can be swiftly drafted, which means very practical support for decision making process and public participation.

• Journal of applied mathematics & informatics
• /
• v.34 no.3_4
• /
• pp.239-247
• /
• 2016

In recent years, CA has been applied to image security due to its simple and regular structure, local interaction and random-like behavior. Since the initial state is regenerated after some iterations in the group CA, the receiver is able to decrypt by the same CA. Pries et al. showed that the all lengths of the cycles in the complemented group CA C with rules 195, 153, and 51 are equal to the order of C. Nandi et al. reported the encryption technique using C. These results can be made efficient use in cryptosystem by expanding the Nandi's key space. In this paper, we analyze the order of the complemented group CA derived from 90=150 group CA and show that all the lengths of the cycles in the complemented CA are equal to the order of the complemented CA.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.50 no.3
• /
• pp.91-104
• /
• 2008

This study developed the WSM (weighted scenario method)-AHP method that can optimize the weighting value for multi-criteria to make GIS grid-based potential surface. The potential surface has been used to simulate urban expansion using distributed cellular automata model and to generate land-use planning as basic data. This study formulated the WSM-AHP method in mathematically and applied to test region, Suwon city, which located on south area from Seoul. WSM-AHP method generates potential map for each pair of weighting value for all criteria, which one criterion is weighted with high weighting value and the others use low weighting value, considering that the summation for all criteria weighting values should be "1". The potential change rate to the step of weighted scenario for weighting value of criteria is standardized like AHP intensity matrix in this study. From the standard potential change rate, WSM-AHP intensity matrix is completed, and then the optimal weighting value is calculated from the maximum eigenvector of the WSM-AHP matrix, according to the new WSM-AHP method developed in this study. The applied results of new method showed that the optimal weighting value from WSM-AHP is more resonable than the general AHP specialists' evaluation for weighting value. The another new finding of this study is to suggest the deterministic approach to optimize the weighting value for the distributed CA model, which is used to find new city area and to generate rational land-use planning.

• Journal of Computing Science and Engineering
• /
• v.9 no.1
• /
• pp.9-19
• /
• 2015

The most important challenge in the region-based abstraction method as an approach to compute the state space of time Petri Nets (TPNs) for model checking is that the method results in a huge number of regions, causing a state explosion problem. Thus, region-based abstraction methods are not appropriate for use in developing practical tools. To address this limitation, this paper applies a modification to the basic region abstraction method to be used specially for computing the state space of TPN models, so that the number of regions becomes smaller than that of the situations in which the current methods are applied. The proposed approach is based on the special features of TPN that helps us to construct suitable and small region graphs that preserve the time properties of TPN. To achieve this, we use TPN-TCTL as a timed extension of CTL for specifying a subset of properties in TPN models. Then, for model checking TPN-TCTL properties on TPN models, CTL model checking is used on TPN models by translating TPN-TCTL to the equivalent CTL. Finally, we compare our proposed method with the current region-based abstraction methods proposed for TPN models in terms of the size of the resulting region graph.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.49 no.6
• /
• pp.105-114
• /
• 2007

This study is to predict the spatial expansion of urban areas by applying CA(Cellular Automata)-Markov technique considering MCE(multi-criteria evaluation) and MOLA(multi-objective land allocation) of factor analysis. For the 10 administration districts$(3677.3km^2)$ including the whole Anseong-cheon watershed, the past six temporal land use data(1973, 1981, 1985, 1990, 1994, 2000) from Landsat satellite images were prepared. During this period, the urban area increased $233.71km^2$. Using the 36 indices composed of topological characteristics, population and land use change, the final factor map of MOLA was produced through 5 maps of MCE. Using 1990 and 1994 land use data, the 2000 predicted urban area of CA-Markov with factor map showed 0.06% improvement of absolute error comparing with that of CA-Markov without factor map. By the CA-Markov technique considering factor map, the 2030 and 2060 urban area increased $58.94km^2(0.78%)\;and\;60.14km^2(0.81%)$ respectively comparing with 2000 urban area$(313.19km^2)$. The 2030 and 2060 paddy area decreased $93.28km^2(2.54%)\;and\;93.65km^2(2.55%)$ respectively comparing with 2000 paddy area$(1383.23km^2)$.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

• Journal of Korean Society of Rural Planning
• /
• v.10 no.4 s.25
• /
• pp.9-18
• /
• 2004

The purpose or this study is to simulate spatially the urban expansion phenomena with a cellular automata (CA) technique using GIS. A study area, Suwon city, was selected for test of model verification and application with the classified land-use maps of three data years: 1986, 1996, and 2000. The urbanized potential maps were generated with seven criteria of one geographic factor (slope of land), and six accessibility factors (time distances from city, national road, Seoul, station, and built-up boundary), considering their weighting values, which were optimized by WSM (weighted scenario method for intensity order) combined a ranking method and a AHP technique. The optimized weighting values at the urban expansion between 1986 and 1996 were applied to verify the CA model for the other expansion between 1996 and 2000. The results of model application showed that urban sprawl phenomena of the urban expansion toward rural area can be simulated spatially and temporally with several boundary conditions considering various scenarios for the criteria and parameters of the model. Ultimately, this study can contribute to reference data for land-use planning of urban fringe areas.

• Journal of the military operations research society of Korea
• /
• v.32 no.2
• /
• pp.114-130
• /
• 2006

This paper deals with complexity theory to describe amphibious warfare situation using EINSTein (Enhanced ISAAC Neural Simulation Tool) simulation model. EINSTein model is an agent-based artificial "laboratory" for exploring self-organized emergent behavior in land combat. Many studies have shown that existing Lanchester equations used in most war simulation models does not describe changes of combat. Future warfare will be information warfare with various weapon system and complex combat units. We have compared and tested combat results with Lanchester models and EINSTein model. Furthermore, the EINSTein model has been applied and analyzed to amphibious warfare model such as amphibious assault and amphibious sudden attack. The results show that the EINSTein model has a possibility to apply and analyze amphibious warfare more properly than Lanchester models.

• Honam Mathematical Journal
• /
• v.36 no.3
• /
• pp.569-596
• /
• 2014

In several applied disciplines like control engineering, computer sciences, error-correcting codes and fuzzy automata theory, the use of fuzzied algebraic structures especially ordered semi-groups and their fuzzy subsystems play a remarkable role. In this paper, we introduce the notion of (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy subsystems of ordered semigroups namely (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy generalized bi-ideals of ordered semigroups. The important milestone of the present paper is to link ordinary generalized bi-ideals and (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy generalized bi-ideals. Moreover, different classes of ordered semi-groups such as regular and left weakly regular ordered semigroups are characterized by the properties of this new notion. Finally, the upper part of a (${\in},{\in}{\vee}\bar{q}_k$)-fuzzy generalized bi-ideal is defined and some characterizations are discussed.

• The Journal of the Acoustical Society of Korea
• /
• v.14 no.1
• /
• pp.81-89
• /
• 1995

In this paper, we report the continuous speech recognition system using the continuous HMM with discrete duration control and the regression coefficients. Also, we do recognition experiment using One Pass DP method(for 25 sentences of robot control commands) with finite state automata context control. In the experiment for 4 connected spoken digits, the recognition rates are $93.8\%$ when the discrete duration control and the regression coefficients are included, and $80.7\%$ when they are not included. In the experiment for 25 sentences of the robot control commands, the recognition rate are $90.9\%$ when FSN is not included and $98.4\%$ when FSN is included.