• 제목/요약/키워드: Automata

검색결과 538건 처리시간 0.022초

장래 기후변화와 토지이용 변화에 따른 농촌소유역의 수문 영향 분석 (Climate and Land use Changes Impacts on Hydrology in a Rural Small Watershed)

  • 김학관;강문성;이은정;박승우
    • 한국농공학회논문집
    • /
    • 제53권6호
    • /
    • pp.75-84
    • /
    • 2011
  • The objective of this study is to evaluate the hydrologic impacts of climate and land use changes in a rural small watershed. HadCM3 (Hadley Centre Coupled Model, ver.3) A2 scenario and LARS-WG (Long Ashton Research Station - Weather Generator) were used to generate future climatic data. Future land use data were also generated by the CA-Markov (Cellular Automata-Markov) method. The Soil and Water Assessment Tool (SWAT) model was used to evaluate hydrologic impacts. The SWAT model was calibrated and validated with stream flow measured at the Baran watershed in Korea. The SWAT model simulation results agreed well with observed values during the calibration and validation periods. In this study, hydrologic impacts were analyzed according to three scenarios: future climate change (Scenario I), future land use change (Scenario II), and both future climate and land use changes (Scenario III). For Scenario I, the comparison results between a 30-year baseline period (1997~2004) and a future 30-year period (2011~2040) indicated that the total runoff, surface runoff, lateral subsurface runoff, groundwater discharge, and evapotranspiration increased as precipitation and temperature for the future 30-year period increased. The monthly variation analysis results showed that the monthly runoff for all months except September increased compared to the baseline period. For Scenario II, both the total and surface runoff increased as the built-up area, including the impervious surface, increased, while the groundwater discharge and evapotranspiration decreased. The monthly variation analysis results indicated that the total runoff increased in the summer season, when the precipitation was concentrated. In Scenario III, the results showed a similar trend to that of Scenario II. The monthly runoff for all months except October increased compared to the baseline period.

DEVCS 및 Discrete Time CAM을 이용한 심근 전도 시스템의 시뮬레이션 (The Simulation of Myocardium Conduction System using DEVCS and Discrete Time CAM)

  • 김광년;남기곤;손경식;이영우;전계록
    • 대한의용생체공학회:학술대회논문집
    • /
    • 대한의용생체공학회 1997년도 춘계학술대회
    • /
    • pp.150-155
    • /
    • 1997
  • Modelling and Simulation of the activation process for the myocardium is meaningful to understand special excitation conduction system in the heart and to study cardiac functions. In this paper, we propose two dimensional cellular automata model for the activation process of the myocardium and simulated by means of discrete time and discrete event algorithm. In the model, cells are classified into anatomically similar characteristic parts of heart; SA node, internodal tracks, AV node, His bundle, bundle branch and four layers of the ventricular muscle, each of which has a set of cells with preassigned properties, that is, activation time, refractory duration and conduction time between neighbor cell. Each cell in this model has state variables to represent the state of the cell and has some simple state transition rules to change values of state variables executed by state transition function. Simulation results are as follows. First, simulation of the normal and abnormal activation process for the myocardium has been done with discrete time and discrete event formalism. Next, we show that the simulation results of discrete time and discrete event cell space model is the same. Finally, we compare the simulation time of discrete event myocardium model with discrete time myocardium models and show that the discrete event myocardium model spends much less simulation time than discrete time myocardium model and conclude the discrete event simulation method Is excellent in the simulation time aspect if the interval deviation of event time is large.

  • PDF

차량전장용 소프트웨어의 API 제약사항 위배여부 탐지를 위한 실행경로 탐색방법과 모델검증 방법의 비교 (Comparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety)

  • 김동우;최윤자
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제5권12호
    • /
    • pp.615-622
    • /
    • 2016
  • 차량전장용 제어 소프트웨어는 표준에 명시된 시스템 호출 제약사항을 위배할 경우 심각한 안전성 위협을 초래할 수 있다. 그러나 제약사항 위배는 실행경로가 복잡해질 경우 수동분석으로 색출하기 어렵고 테스팅을 통해 찾아내기도 어려워 이에 특화된 검증 방법이 필요하다. 본 연구에서는 차량전장용 제어 소프트웨어의 시스템 호출 제약사항 위배 여부를 효과적으로 검증하기 위한 두 가지 방법을 소개하고 그 효과를 실험적으로 비교하였다. 첫 번째 방법은 애플리케이션의 모든 가능한 실행경로를 탐색하고 각 경로의 제약사항 준수여부를 확인하는 방법이며, 두 번째 방법은 모델 검증 도구를 이용하여 애플리케이션이 오토마타로 표현된 제약사항을 위배하는 경우가 발생가능한지 확인하는 방법이다. 각 방법을 구현하고 실험한 결과 실행경로를 이용한 방법은 오탐을 유발하고 몇 가지 제약사항 위반을 놓치는 경우가 있는데 반해서 모델 검증을 이용한 방법은 오탐이 없었으며 비교적 큰 애플리케이션을 대상으로 보다 빠른 시간 내에 검증을 수행할 수 있음을 보였다.

해상에서의 원유 확산 과정 예측을 위한 격자 기반 이산 사건 및 이산 시간 시뮬레이션 (Cell-based Discrete Event and Discrete Time Simulation for the Prediction of Oil Slick Movement and Spreading in Ocean Environment)

  • 하솔;차주환;구남국;이규열
    • 한국CDE학회논문집
    • /
    • 제17권1호
    • /
    • pp.45-53
    • /
    • 2012
  • In this paper, oil spreading simulation model is proposed for analyzing the oil spreading phenomenon rapidly when the ocean is polluted by the oil from a stranded ship. The space occupied by the ocean is converted into the latticed cell, and the each cell contains the information, such as the quantity of the oil, the temperature of the ocean, and the direction of current and wind. Two states, such as "clean" and "polluted" are defined in the each cell, and the oil in the cell spreads to the neighbor cells by the spreading rules. There are three spreading rules. First, the oil in the certain cell only spreads to the neighbor cells that contain larger oil than the certain cell. Second, the oil evaporates in proportion to the temperature of the ocean at the every time step. Third, the oil spreading property is affected by the direction and the speed of the current and the wind. The oil spreading simulation model of the each cell is defined by using the combined discrete event and discrete time simulation model architecture with the information and the spreading rules in the cell. The oil spreading simulation is performed when the oil of 10,000 kL is polluted in the ocean environment of 300 m by 300 m with various current and wind.

부산권 도시성장 잠재지역의 특성 및 토지이용규제 실태 분석 (Analysis of Characteristics and Land Use Regulation of Urban Growth Potential Area in Busan Metropolitan City)

  • 김호용;김지숙
    • 한국지리정보학회지
    • /
    • 제21권3호
    • /
    • pp.138-148
    • /
    • 2018
  • 토지이용의 합리화를 위하여 도입된 토지이용규제는 사회경제적인 발전과 함께 복잡다기화 되면서 국민경제생활에 불편을 초래한다는 이유로 최근 규제 완화로 패러다임이 변화하고 있다. 이에 본 연구에서는 CA 모델을 이용하여 시뮬레이션 함으로써 부산권 도시성장의 잠재지역을 도출하고, 토지이용 규제지역과 함께 공간적 특성을 분석하였다. 분석을 통해 토지이용규제 제도가 실제로 도시성장을 억제하고 토지이용의 효율화를 도모하고 있는지, 또는 국민생활에 불편을 초래할 수 있는 다른 요인이 있는지를 검토하였다. 분석결과 도시외부의 개발압력이 높은 지역에 존재하는 개발제한구역은 토지이용규제라는 역할을 수행하고 있었지만, 많은 지역에서 토지이용에 대한 다중규제가 존재하는 것으로 나타났다. 따라서 순기능을 하고 있는 토지이용규제는 최대한 유지하면서, 도시성장 잠재력이 높은 지역에 존재하는 다중규제를 재고하는 등 다양한 접근과 검토가 필요할 것으로 사료된다.

멀티 에이전트 기반의 지능형 시뮬레이션 도구의 개발 (A Development of Intelligent Simulation Tools based on Multi-agent)

  • 우종우;김대령
    • 한국컴퓨터정보학회논문지
    • /
    • 제12권6호
    • /
    • pp.21-30
    • /
    • 2007
  • 시뮬레이션이란 실세계의 다양한 객체들의 구조와 행위에 대한 자료를 수집하여 모델링하고 이를 컴퓨터 프로그램으로 모의 실험함을 말하며, 주요 기반기술들로서 DEVS (Discrete Event System Specification) 형식론을 비롯하여 페트리 넷 이나 구조적 오토마타 등이 연구되고 있다. 그러나 이러한 시뮬레이션의 연구영역이 보다 다양화되고 복잡하게 발전됨에 따라, 최근에는 인공지능의 지능형 에이전트기법을 도입하여 해결하는 연구가 활성화되고 있다. 본 연구에서는 시뮬레이션에 관한 모의실험을 보다 원활히 수행하기 위해서 지능형 멀티 에이전트기반의 시뮬레이션 도구를 개발하고자 한다. 이러한 도구의 특징은 첫째, 인공지능의 기능들을 라이브러리로 제공할 수 있고, 둘째, 유한상태기계(FSM)기반으로 에이전트 시스템을 설계하여, 시뮬레이션의 설계 모델을 보다 단순화 할 수 있는 장점이 있으며, 셋째, 모델러, 스크립터, 시뮬레이터등의 보조툴들을 제공함으로서 사용자들이 보다 편리하게 시뮬레이션 시스템을 개발할 수 있는 프레임워크를 제공한다. 시스템의 구성은 코어 시뮬레이션 엔진 유틸리티, 그리고 기타 보조툴들로 구성하였으며, 현재까지 개발된 시스템으로 몇 가지 영역을 대상으로 실험을 하였고 그 결과를 기술하였다.

  • PDF

지화 인식을 위한 동영상 처리에 관한 연구 (The Study on Dynamic Images Processing for Finger Languages)

  • 강민지;최은숙;손영선
    • 한국지능시스템학회논문지
    • /
    • 제14권2호
    • /
    • pp.184-189
    • /
    • 2004
  • 본 논문에서는 흑백 CCD 카메라를 이용하여 청각 장애인의 의사전달 수단인 지화 동작을 동영상으로 입력받아 인식하여, 편집 가능한 텍스트 문서로 변환하는 시스템을 구현하였다. 일련의 입력 영상들 중에서 흐린 영상과 선명한 영상의 구분은 영상의 잔상을 이용하였고, 촬영된 연속 영상들의 배열로부터 문자 자소를 구하고, 오토마타를 적용하여 완성된 문자를 문서 편집기에 출력시켰다. 획득된 선명한 영상 데이터 중 변화가 심한 손목 부분을 제거한 후, 최대 원형 이동법을 이용하여 손의 무게 중심점을 구하고, 원형 패턴 벡터 알고리즘을 적용하여 지화 해석에 필요한 손을 인식하였다. 손 중심으로부터 거리 스펙트럼을 이용하여 지화 인식에 사용되는 손 모양의 특징 벡터를 추출하고, 퍼지 추론을 적용하여 표준 패턴과 입력 패턴의 특징벡터를 비교, 지화 동작을 인식하였다.

셀룰라 신경회로망의 연상메모리를 이용한 영상 패턴의 분류 및 인식방법 (Image Pattern Classification and Recognition by Using the Associative Memory with Cellular Neural Networks)

  • 신윤철;박용훈;강훈
    • 한국지능시스템학회논문지
    • /
    • 제13권2호
    • /
    • pp.154-162
    • /
    • 2003
  • 셀룰라 신경회로망의 연상 메모리를 이용하여 시각적인 입력 데이터의 연산을 통하여 영상 패턴의 분류와 인식을 수행한다. 셀룰라 신경회로망은 일반적인 신경회로망과 같이 비선형 데이터의 실시간 처리가 가능하고, 세포자동자와 같이 이 격자구조의 셀로 이루어져 인접한 셀과 직접 정보를 주고받는다. 응용 분야로는 최적화, 선형/비선형화, 연상 메모리, 패턴인식, 컴퓨터 비전 등에 적용할 수 있다. 영상의 이미지 픽셀을 셀룰라 신경회로망의 셀에 대응하여 전체 이미지 영상을 모든 셀룰라 신경회로망의 셀에서 동시에 병렬로 처리할 수 있어 2-D 이미지 처리에 적합하다. 본 논문은 셀룰라 신경회로망에 의한 연상 메모리 구조를 설계하고, 학습된 하중값 메모리에서 가장 적당한 하중값을 선택하여 학습된 영상과 정확히 일치하는 출력을 얻는 방법을 제시한다. 학습을 통한 연상 메모리 구현에는 각각의 뉴런에서 일정하지 않은 다른 템플릿을 사용한다. 각각의 템플릿은 뉴런들 간의 연결 하중값을 나타내고 학습에 따라 갱신된다. 학습방법으로는 템플릿 하중값 학습에 뉴런들 간의 연결 하중값을 조정하는 가장 단순한 규칙인 Hebb의 학습방법이 사용되었고 분류값 학습에 LMS 알고리즘이 사용되었다.

MLCA와 좌표변환을 이용한 컬러 영상의 암호화 (Color Image Encryption using MLCA and Transformation of Coordinates)

  • 윤재식;남태희;조성진;김석태
    • 한국정보통신학회논문지
    • /
    • 제14권6호
    • /
    • pp.1469-1475
    • /
    • 2010
  • 본 논문에서는 기존의 MLCA(Maximum Length CA) 및 여원 MLCA 기반의 난수열을 이용한 영상 암호화 방법의 문제점을 제시하고 이를 해결하기 위한 암호화 방법을 제안한다. 기존의 암호화 방법은 영상에서 인접한 픽셀간의 유사한 색상 값을 가지는 특성으로 인해 암호화된 영상에 원영상의 윤곽이 나타나는 문제점이 발생한다. 본 방법은 MLCA 기반의 난수열을 생성하고, 이를 이용해서 픽셀의 색상 값뿐만 아니라 공간좌표를 무질서하게 변환함으로써 영상을 암호화한다. 이러한 방법은 영상 데이터를 시각화하기 위한 영상의 기본 정보인 픽셀의 색상 값과 공간좌표를 변환시키기 때문에 기존 암호화 방법보다 향상된 암호화 결과를 얻을 수 있다. 히스토그램 및 키 공간 분석을 통해 본 암호화 방법의 안정성을 평가한다.

지문자를 포함한 연속된 한글 수화의 실시간 인식 시스템 구현 (Implementation of Real-time Recognition System for Continuous Korean Sign Language(KSL) mixed with Korean Manual Alphabet(KMA))

  • 이찬수;김종성;박규태;장원;변증남
    • 전자공학회논문지C
    • /
    • 제35C권6호
    • /
    • pp.76-87
    • /
    • 1998
  • 본 논문에서는 동적 제스처인 수화와 정적 제스처인 지문자가 섞여 있으며 연속으로 수행하는 손 제스처를 실시간으로 인식하는 시스템을 구현하였다. 연속적인 손 제스처는 동작의 시작과 끝에 대한 명확한 표시가 없고 제스처의 형태가 복잡하다. 본 논문에서는 연속적인 손 제스처에서 개별 제스처를 구분하기 위하여 제스처의 속력과 속력 변화를 이용한 상태 오토마타를 구현하였으며, 다양한 손 제스처의 의미를 인식하면서도 확장이 쉬운 시스템을 구현하기 위하여 14가지 손운동, 23가지 손모양, 그리고 14가지 손방향의 기본 요소 인식기를 구현하였다. 양손 사이버글러브와 자장 추적 장치를 이용하여, 구현된 시스템은 131개의 한글수화와 31개의 지문자를 실시간으로 인식하며, 수화의 인식률은 기각인 경우를 제외한 경우 94.3%, 지문자의 인식률은 96.7%에 이른다.

  • PDF