• Journal of applied mathematics & informatics
• /
• 제24권1_2호
• /
• pp.155-165
• /
• 2007

We consider a possible generalization of nondeterministic finite automata. The goals of this consideration are: to apply some obtained algorithms for various problems of minimization of classical nondeterministic automata; to use such automata for describing practical anytime algorithms for the same problems of minimization; to simplify some proofs for algorithms of simplification for usual nondeterministic automata.

• 정보과학회 논문지
• /
• 제43권10호
• /
• pp.1079-1084
• /
• 2016

단일상태파싱오토마톤은 구문 분석할 때 행동의 결정이 현재 상태로만 가능하다는 특징이 있고, LR오토마톤과 비교하여 상태수가 적고 구문 분석 시간이 단축된다는 장점이 있다. 한편 단일 상태파싱오토마톤은 적용 가능한 문법 클래스가 LR문법보다 작다는 단점이 있다. 본 논문에서는 단일상태파싱오토마톤을 LR문법 클래스에 적용 가능하도록 확장하는 방법을 제시한다. 기존 방법에서는 파싱오토마톤 생성 과정에서 싸이클릭 상태가 생성되는 경우에 대한 처리 방법을 제시하지 못하였다. 본 논문은 싸이클릭 상태에 대한 입력스트링에 따른 동적 처리 작업을 제시하여, 싸이클릭 상태에 대한 문제를 해결한다. 본 논문에서 확장한 방법은 모든 LR 문법에 대해 단일상태파싱오토마톤을 생성할 수 있게 한다.

• 한국지능시스템학회논문지
• /
• 제11권4호
• /
• pp.311-314
• /
• 2001

최근 지능 정보 처리에 대한 연구가 여러 분야에서 활발히 진행되고 있으며, 불확실하고 복잡한 동적 환경에서도 적응할 수 있도록 그 영역을 확장해 가고 있다. 본 논문에서는 다치 논리함수의 차분의 성질을 이용하여 동적 환경에 적응할 수 있는 다치 오토마타 모델을 제시하였다. 즉, 입력 스트링을 다치 함수의 치에 사상시키고, 다치 함수의 차분의 성질을 상태의 전이에 적용시켜 동적 변화에 자율적으로 적응할 수 있도록 하였다. 따라서, 다치 오토마타는 동적으로 변화하는 환경을 모델링하는데 광범위하게 응용될 수 있을 것이다.

• 한국지능시스템학회논문지
• /
• 제11권8호
• /
• pp.701-708
• /
• 2001

최근 컴퓨터의 지능에 대한 연구가 활발히 진행되고 있으며, 불확실하고 복잡한 동적 환경에서도 적응할 수 있도록 그 영역을 확장해 가고 있다. 본 논문에서는 다치논리를 기반으로 한 다치오토마타 모델을 신경망으로 구현한 다치-신경망 시스템을 제안한다. 또한, 다치오토마타는 신경망으로 구현될 수 있고, 다치-신경망 모델은 다치오토마타로 시뮬레이션될 수 있음을 입증하였다. 그 결과, 다치-신경망 모델은 지능시스템, 뇌의 모델링과 같은 여러 응용 분야에 널리 사용될 수 있을 것으로 기대된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제41권7호
• /
• pp.518-522
• /
• 2014

단일 상태 파싱 오토마톤은 오토마톤의 행동이 과거 전이 경로에 의존하지 않고 현 상태로만 결정가능하다는 특징을 가진다. 이런 특징으로부터 대표적인 오토마톤인 LR 오토마톤과 비교시에, 단일상태 파싱 오토마톤은 구문 분석에 관한 시간 단축과 메모리 용량의 감소라는 장점을 가진다. 한편 단일상태 파싱 오토마톤을 생성하는 문법 클래스에 관해서는 현재까지 알려진 바가 없다. 본 논문에서는 단일상태 파싱 오토마톤을 생성하는 문법 클래스에 관한 연구 결과를 제시한다. 또한 이들 문법 클래스에 대한 단일 상태 파싱 오토마톤의 생성 방법을 제시한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권6호
• /
• pp.367-376
• /
• 2002

XML 문서가 가지고 있는 태그의 자유로운 정의와 내포된 구조 정보는 정보 검색 및 문서 관리 분야에 많은 이점을 제공할 수 있다. 본 논문은 XML 요소(element)의 의미와 구조 정보를 반영한 문서간의 유사성을 검사할 수 있는 XML 문서 분석 기법을 제시하고자 한다. 도출된 문서간 유사성은 많은 정보 검색 및 마이닝 등의 기초 자료로 사용될 수 있다. 먼저 XML 요소를 시소러스를 이용하여 유사어와 합성어로 구성된 확장-요소 벡터로 확장하고 유사 행렬을 구축하여 요소간 유사성을 판별한다. 또한 오토마타(NFA(Nondeterministic Finite Automata)와 DFA(Deterministic Finite Automata)(를 이용하여 XML 문서의 내포된 구조를 발견하고 최소화 한다. 요소간의 유사 행렬과 최소화된 XML 구조를 이용하여 구조간의 유사성을 판별한다. 본 논문의 XML의 의미를 반영한 유사성 분석 기법은 온라인 서점의 실제 문서의 카테고리를 인식하는 데 있어 100% 정확도를 보였다.

• 대한지리학회지
• /
• 제43권1호
• /
• pp.117-133
• /
• 2008

개발밀도는 현대 도시 관리의 주요 관심사임에도 불구하고 이론 실증적으로 분석할 수 있는 지원 체계가 미비하다. 본 연구에서는 셀룰러 오토마타 기반의 도시 모델링 방법론을 확장하여 개발밀도를 고려한 도시 토지이용 변화 모델을 개발하고 그 타당성을 평가하고자 한다. 제안된 모델은 구조적인 측면에서 개발밀도를 명시적으로 고려할 분만 아니라 국지적인 밀도 변화를 직접적으로 추정한다. 개발된 모델을 1980년대 초$\sim$2000년대 초의 서울 도심부 토지이용 변화에 적용하였으며, 그 결과를 다양한 방법을 통해 검토하였다. 검토 결과 제안된 모델은 토지의 용도 변화 뿐만 아니라 밀도 변화에도 유의미하게 적용될 수 있는 것으로 평가되었다. 하지만 제안된 모델은 데이터 구득의 한계로 인해 공간적, 시간적 제약을 가지게 되었다. 더불어 모델의 보정 및 타당성 검토 방법론은 본 연구에서 충분히 검토되지 못하였으며, 향후 지속적으로 연구될 필요가 있다.

• 한국농공학회지
• /
• 제44권5호
• /
• pp.67-78
• /
• 2002

The purpose of this study is to apply land use planning model (LUPM) to a test village. The LUPM was tested to Uhang village, Ucheon-myeon, Gangwon-do, and its parameters calibrated by land use data from 1973 to 1980. When two test cases were considered of its extended built areas of 10,600㎡ from 1980 to 1985 and 51,300㎡ from 1985 to 1992, there was good similarities between simulated and observed results with R$^2$ being more than 0.95. Land use transfer patterns to residential use could be very similarly simulated from LUPM when comparing the observed patterns, so, LUPM can be applied to the comprehensive simulation of land use change due to the village growth.

• 호남수학학술지
• /
• 제41권4호
• /
• pp.837-849
• /
• 2019

Extended elementary cellular automata (EECA) is used to analyze the pattern of genetically modified (GM) gene dispersion to wild genes. Pollination of GM maize mainly occurs by wind. Wind direction was set to two directions left to right and up to down on the cells. Sixteen cases were analyzed to show six kinds of classes of pattern for sixteen iterations. Wind directions were fixed for the simulations to see the effect of the GM maize dispersion by the wind.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제7권5호
• /
• pp.467-474
• /
• 2001

사용자가 하나의 캐릭터 이상을 애니메이션 하기를 원할때 캐릭터들 사이에 충돌과 같은 기대되지 않은 동작 애니메이션을 생성할 수 있다. 그러므로, 이러한 문제가 적절한 제어 메커니즘을 이용하여 해결되어야 한다. 본 논문은 사용자의 의도를 반영한 애니메이션 시나리오를 표현하기 위해 캐릭터의 동작 애니메이션을 제어하는 에이전트 기반 시스템을 제안한다. 이 시스템은 3차원 공간상에서 캐릭터가 움직이는 경로에 따라 캐릭터들간의 충돌을 회피하고 동작의 형태를 조정하는 방법을 제공한다. 에이전트는 동작을 동기화하기 위해 다른 에이전트와 통신한다. 에이전트는 캐릭터의 동작을 조정하는 여러 지능적인 에이전트로 확장되어진다. 에이전트 시스템은 의도된 동작 애니메이션 뿐만 아니라 전체 캐릭터 애니메이션에 대한 동작의 스케쥴링을 가능하게 한다. 에이전트들의 정보를 전달하고 에이전트들의 현 상태를 추론하는 방법으로써 에이전트의 대화를 위한 페트리넷 분석을 이용하여 오토마타 모델을 디자인한다. 에이전트 기술을 이용하여 캐릭터의 동작을 제어하기 위한 에이전트 시스템을 구현한다. 인체 모델 캐릭터의 동작을 제어하는 예를 보이고, 동작 제어의 가능성을 보인다.