• Title/Summary/Keyword: Automata

Search Result 538, Processing Time 0.024 seconds

The Effect of Spatial Scale and Resolution in the Prediction of Future Land Use using CA-Markov Technique (면적규모 및 공간해상도가 CA-Markov 기법에 의한 미래 토지이용 예측결과에 미치는 영향)

  • Kim, Seong-Joon;Lee, Yong-Jun
    • Journal of the Korean Association of Geographic Information Studies
    • /
    • v.10 no.2
    • /
    • pp.58-70
    • /
    • 2007
  • The purpose of this study is to predict future land use using Landsat images through assessing the effect of spatial scale and resolution in applying CA (Cellular Automata)-Markov technique. The scale for areas ranging from $31.26km^2$ to $84.48km^2$ showed about 11% difference of overall accuracies. Among the five spatial resolutions (10m, 30m, 50m, 100m, 150m), 30m resolution showed the best result in the prediction of area and spatial distribution of urban areas. Based on the results, the 2004 land use by CA-Markov was predicted using 1996 and 2001 land use data and compared with the 2004 land use by maximum likelihood classification. After that, future land uses of 2030, 2060 and 2090 were predicted and the results showed a tendency of gradual increase in urban area and high decrease in forest area.

  • PDF

Taxonomy of XML Document Types (XML 문서 타입의 분류)

  • Lee Jung-Won;Park Seung-Soo
    • Journal of KIISE:Databases
    • /
    • v.32 no.2
    • /
    • pp.161-176
    • /
    • 2005
  • oping and applying XML techniques. One key aspect of our taxonomy is the support of the credibility of the result by evaluating which XML document types can be processed by a method. Another key aspect is to provide a basis for determining which is the best for target XML document types. Application with preparations for XML document mining shows that our taxonomy may present XML document types to be able to consider during the preparation process and target XML document types to be used for experiments.

Index Transitivity and Transformation of Separable Systems (분리가능 시스템의 지수 추이성과 변환)

  • 변석우
    • Journal of KIISE:Software and Applications
    • /
    • v.31 no.5
    • /
    • pp.658-666
    • /
    • 2004
  • Separable systems are defined in term rewriting systems, respecting the notion of separability in the λ-calculus. In this research, we generalize separable systems of term rewriting systems, which was studied in restrictive systems such as constructive systems. We also associate separability with index-transitivity and with forward branching Separability is identified with forward branching, and strong sequentiality with index-transitivity satisfies separability. These are such good properties that enable us to describe the procedure of pattern-matching as an index tree, which is a sort of automata, and to transform separable systems into a constructor system with a simple pattern. Separable systems, in particular, can be translated into the λ-calculus. This research can serve a theoretical basis which allows functional languages to be explained by the λ-calculus, since functional languages such as ML and Haskell belong to a subclass of separable systems.

Color Image Encryption using MLCA and Bit-oriented operation (MLCA와 비트 단위 연산을 이용한 컬러 영상의 암호화)

  • Yun, Jae-Sik;Nam, Tae-Hee;Cho, Sung-Jin;Kim, Seok-Tae
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2010.05a
    • /
    • pp.141-143
    • /
    • 2010
  • This paper presents a problem of the existing encryption method using MLCA or complemented MLCA and propose a method to resolve this problem. With the existing encryption methods, the result of encryption is affected by the original image because of spatial redundancy of adjacent pixels. In this proposed method, we transform spatial coordinates of all pixels into encrypted coordinates. We also encrypt color values of the original image by operating XOR with pseudo-random numbers. This can solve the problem of existing methods and improve the levels of encryption by randomly encrypting pixel coordinates and pixel values of original image. The effectiveness of the proposed method is proved by conducting histogram, key space analysis.

  • PDF

Multi-directional Pedestrian Model Based on Cellular Automata (CA기반의 다방향 보행자 시뮬레이션 모형개발)

  • Lee, Jun;Bae, Yun-Kyung;Chung, Jin-Hyuk
    • International Journal of Highway Engineering
    • /
    • v.12 no.4
    • /
    • pp.11-16
    • /
    • 2010
  • Various researches have been performed on the topic of pedestrian traffic flow. At the beginning, the modeling and simulation method for the vehicular traffic flow was simply applied to pedestrian traffic flow. Recently, CA based simulation models are frequently applied to pedestrian flow analysis. Initially, the square Lattice Model is a base model for applying to pedestrians of counterflow and then Hexagonal Lattice Model improves its network as a hexagonal cell for more realistic movement of the avoidance of pedestrian conflicts. However these lattice models express only one directional movement because they express only one directional movement. In this paper, MLPM (the Multi-Layer Pedestrian Model) is suggested to give various origins and destinations for more realistic pedestrian motion in some place.

Judgment about the Usefulness of Automatically Extracted Temporal Information from News Articles for Event Detection and Tracking (사건 탐지 및 추적을 위해 신문기사에서 자동 추출된 시간정보의 유용성 판단)

  • Kim Pyung;Myaeng Sung-Hyon
    • Journal of KIISE:Software and Applications
    • /
    • v.33 no.6
    • /
    • pp.564-573
    • /
    • 2006
  • Temporal information plays an important role in natural language processing (NLP) applications such as information extraction, discourse analysis, automatic summarization, and question-answering. In the topic detection and tracking (TDT) area, the temporal information often used is the publication date of a message, which is readily available but limited in its usefulness. We developed a relatively simple NLP method of extracting temporal information from Korean news articles, with the goal of improving performance of TDT tasks. To extract temporal information, we make use of finite state automata and a lexicon containing time-revealing vocabulary. Extracted information is converted into a canonicalized representation of a time point or a time duration. We first evaluated the extraction and canonicalization methods for their accuracy and investigated on the extent to which temporal information extracted as such can help TDT tasks. The experimental results show that time information extracted from text indeed helps improve both precision and recall significantly.

A Study on Determining the Prediction Models for Predicting Stock Price Movement (주가 운동양태 예측을 위한 예측 모델결정에 관한 연구)

  • Jeon Jin-Ho;Cho Young-Hee;Lee Gye-Sung
    • The Journal of the Korea Contents Association
    • /
    • v.6 no.6
    • /
    • pp.26-32
    • /
    • 2006
  • Predictions on stock prices have been a hot issue in stock market as people get more interested in stock investments. Assuming that the stock price is moving by a trend in a specific pattern, we believe that a model can be derived from past data to describe the change of the price. The best model can help predict the future stock price. In this paper, our model derivation is based on automata over temporal data to which the model is explicable. We use Bayesian Information Criterion(BIC) to determine the best number of states of the model. We confirm the validity of Bayesian Information Criterion and apply it to building models over stock price indices. The model derived for predicting daily stock price are compared with real price. The comparisons show the predictions have been found to be successful over the data sets we chose.

  • PDF

Evaluation of Future Climate Change Impact on Streamflow of Gyeongancheon Watershed Using SLURP Hydrological Model

  • Ahn, So-Ra;Ha, Rim;Lee, Yong-Jun;Park, Geun-Ae;Kim, Seong-Joon
    • Korean Journal of Remote Sensing
    • /
    • v.24 no.1
    • /
    • pp.45-55
    • /
    • 2008
  • The impact on streamflow and groundwater recharge considering future potential climate and land use change was assessed using SLURP (Semi-distributed Land-Use Runoff Process) continuous hydrologic model. The model was calibrated and verified using 4 years (1999-2002) daily observed streamflow data for a $260.4km^2$ which has been continuously urbanized during the past couple of decades. The model was calibrated and validated with the coefficient of determination and Nash-Sutcliffe efficiency ranging from 0.8 to 0.7 and 0.7 to 0.5, respectively. The CCCma CGCM2 data by two SRES (Special Report on Emissions Scenarios) climate change scenarios (A2 and B2) of the IPCC (Intergovemmental Panel on Climate Change) were adopted and the future weather data was downscaled by Delta Change Method using 30 years (1977 - 2006, baseline period) weather data. The future land uses were predicted by CA (Cellular Automata)-Markov technique using the time series land use data of Landsat images. The future land uses showed that the forest and paddy area decreased 10.8 % and 6.2 % respectively while the urban area increased 14.2 %. For the future vegetation cover information, a linear regression between monthly NDVI (Normalized Difference Vegetation Index) from NOAA/AVHRR images and monthly mean temperature using five years (1998 - 2002) data was derived for each land use class. The future highest NDVI value was 0.61 while the current highest NDVI value was 0.52. The model results showed that the future predicted runoff ratio ranged from 46 % to 48 % while the present runoff ratio was 59 %. On the other hand, the impact on runoff ratio by land use change showed about 3 % increase comparing with the present land use condition. The streamflow and groundwater recharge was big decrease in the future.

A Study on Comparison of Improved Floor Field Model and Other Evacuation Models (개선된 Floor Field Model과 다른 피난시뮬레이션 모델의 비교 연구)

  • Nam, Hyunwoo;Kwak, Suyeong;Jun, Chulmin
    • Journal of the Korea Society for Simulation
    • /
    • v.25 no.3
    • /
    • pp.41-51
    • /
    • 2016
  • In this study, we propose an improved Floor Field Model(FFM) that considers the physical characteristics of pedestrians, i.e., body size, shape, and posture. Also we analyse limits of FFM and features of improved model compared with existing evacuation simulation models. FFM is a typical microscopic pedestrian model using CA, but it does not reflect the physical characteristics of pedestrians. Because of this, FFM is difficult to modeling phenomena such as collision, friction between pedestrians. As a result, FFM calculates a very short evacuation time when compared with the other models. We performed a computational experiment to compare improved model with other models such as FFM, Simulex, Pathfinder in an actual campus building. We carried out a comparison of evacuation aspect according to the change in number of evacuees. Also we compared evacuation aspect by exit. Finally, we confirmed that improved model reflects physical phenomena which were not reflected in FFM. Especially, experimental results were very similar to the Simulex.

Medical Image Encryption based on C-MLCA and 1D CAT (C-MLCA와 1차원 CAT를 이용한 의료 영상 암호화)

  • Jeong, Hyun-Soo;Cho, Sung-Jin;Kim, Seok-Tae
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.14 no.2
    • /
    • pp.439-446
    • /
    • 2019
  • In this paper, we propose a encryption method using C-MLCA and 1D CAT to secure medical image for efficiently. First, we generate a state transition matrix using a Wolfram rule and create a sequence of maximum length. By operating the complemented vector, it converts an existing sequence to a more complex sequence. Then, we multiply the two sequences by rows and columns to generate C-MLCA basis images of the original image size and go through a XOR operation. Finally, we will get the encrypted image to operate the 1D CAT basis function created by setting the gateway values and the image which is calculated by transform coefficients. By comparing the encrypted image with the original image, we evaluate to analyze the histogram and PSNR. Also, by analyzing NPCR and key space, we confirmed that the proposed encryption method has a high level of stability and security.