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

검색결과 39건 처리시간 0.031초

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

  • 김성준;이용준
    • 한국지리정보학회지
    • /
    • 제10권2호
    • /
    • pp.58-70
    • /
    • 2007
  • 본 연구의 목적은 Landsat 시계열 영상으로 CA-Markov 기법에 의한 토지이용의 예측시 면적규모 및 공간해상도가 예측결과에 미치는 영향을 고려하여 미래의 토지이용 변화를 예측하는데 있다. 분석지역의 면적규모를 $31.26km^2$부터 $84.48km^2$까지 달리하면서 기법을 적용한 결과, 적용면적의 규모는 전체정확도에서 약 11% 차이를 보이면서 예측결과에 영향을 주었다. 공간해상도는 10m, 30m, 50m, 100m, 150m의 해상도에 대하여 비교한 결과, 30m의 공간해상도가 예측한 도심지의 총 면적과 도심지의 공간적인 분포 측면에서 가장 좋은 결과를 얻었다. 이와 같은 결과를 토대로, 1996년과 2001년의 토지피복도를 이용하여 CA-Markov기법으로 예측한 2004년의 토지피복결과와 2004년의 영상으로 최대우도법에 의한 토지피복결과를 비교하여 그 적용성을 평가한 후, 2030년, 2060년, 2090년에 대한 미래의 토지이용변화를 예측하였다. 현재를 기준으로 미래(2030, 2060, 2090)의 토지이용 면적변화는 도심지의 경우 지속적으로 증가하고, 산림의 경우는 크게 감소하는 일반적인 경향을 보이면서 예측되었다.

  • PDF

CA-Markov 모형을 이용한 대구시 녹지의 공간적 변화 모델링 (Modeling the Spatial Dynamics of Urban Green Spaces in Daegu with a CA-Markov Model)

  • 서현진;전병운
    • 대한지리학회지
    • /
    • 제52권1호
    • /
    • pp.123-141
    • /
    • 2017
  • 본 연구는 대구시를 사례로 셀룰라 오토마타-마르코프(Cellular Automata: CA-Markov) 모형을 활용하여 개발제한구역 유지 및 해제 시나리오별 2020년의 녹지를 예측하고, 토지피복 변화탐지기법 및 공간메트릭스를 이용하여 2009년과 2020년간 녹지의 공간적 변화를 분석하였다. 먼저, 마르코프 체인(Markov chain) 모형을 이용하여 1998년과 2009년의 환경부 토지피복도에 기초한 토지피복변화의 전이확률을 도출하였다. 마르코프 전이확률을 보다 현실에 가깝게 보정하기 위하여 대구시 녹지의 공간적 변화에 영향을 주는 제약요인을 선정하여 다기준 평가(Multi-Criteria Evaluation: MCE)를 통해 적합성 지도(suitability map)를 제작하였다. 최종적으로 마르코프 전이확률과 적합성 지도를 셀룰라 오토마타 모형과 결합한 CA-Markov 모형을 적용하여 개발제한구역의 해제 유무에 따른 두 가지 시나리오에 기반을 두고 2020년의 토지피복을 예측하였다. 모형의 타당성은 2009년의 예측된 토지피복도와 2009년의 실제 토지피복도를 비교하여 산출된 Kappa 계수로 검증하였다. 예측된 토지피복 가운데 녹지만을 대상으로 녹지피복변화를 탐지하고 이동창 샘플링을 적용한 공간메트릭스를 산출하여 2009년과 2020년간 녹지의 공간적 변화를 분석하였다. 분석결과에 따르면, 현재의 도시화 추세가 지속되고 개발제한구역이 유지되는 경우, 달성군, 달서구의 성서, 동구의 안심, 북구의 칠곡 등과 같은 교외 지역에서 2020년에 녹지의 파편화(fragmentation) 현상이 뚜렷하게 나타나는 것을 알 수 있었다. 개발제한구역이 해제되는 경우, 개발제한구역 경계 주변부에서 녹지의 파편화가 나타나는 것을 알 수 있었다. 따라서 미래 대구시의 지속가능한 녹지관리를 위해서는 이러한 공간적 변화 양상을 충분히 고려하여 체계적인 모니터링을 실시할 필요가 있다.

  • PDF

부분매칭 경로질의를 위한 포스트픽스 공유에 기반한 스트리밍 XML 데이타 필터링 기법 (A Filtering Technique of Streaming XML Data based Postfix Sharing for Partial matching Path Queries)

  • 박석;김영수
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제33권1호
    • /
    • pp.138-149
    • /
    • 2006
  • 센서 네트워크나 유비쿼터스 환경이 보급되면서 최근에는 저장되어 있는 데이타가 아닌 계속적으로 빠르게 지나가는 스트리밍 데이타에 대한 연구가 활발하게 이루어지고 있다. 기존의 Publish-Subscribe 시스템도 인터넷의 발달로 데이타가 실시간으로 빠르게 들어오는 스트리밍 데이터의 형태를 가지게 되면서 스트리밍 데이타 연구에 관심을 가지게 되었고 이 중에서도 웹 환경의 표준으로 많이 사용되는 XML에 관심을 가지게 되었다. Publish-Subscribe 시스템에서 서버에 들어오는 스트리밍 XML 데이타에 대해서 질의에 빠르게 매치(match)되는 것을 찾기 위한 스트리밍 XML 데이타 필터링 기법이 오토마타를 이용해서 연구되었으며, 이중에서 비결정적 오토마타를 사용한 방법이 YFilter이다. 비결 정적 오토마타를 사용하는 YFilter의 경우 질의 앞부분의 공통된 오퍼레이터를 한번에 계산하기 위해서 XPath 질의의 공통된 앞부분을 공유하고 질의의 루트부터 처리하는 하향식 방식을 사용하고 있다. 하지만, 부분매칭 경로질의의 경우에는 질의의 앞부분 공유를 방해하고 질의를 루트에서부터 처리할 필요가 없기 때문에 YFilter에서 부분매칭 경로질의가 증가하면 처리량이 떨어지는 문제가 발생한다. 본 논문에서는 이 문제 대해 XPath 질의의 공통된 뒷부분 공유에 기반한 상향식 방식을 사용하는 PoSFilter를 한가지 해결책으로 제시한다. 그리고 YFilter와 PoSFilter의 처리량을 비교를 통해서 PoSFilter의 경우 부분매칭 경로질의가 증가할 때 YFilter보다 좋은 처리량을 나타내는 것을 검증한다.

실시간 모델 체커를 이용한 풀트 트리의 체계적 검증 (Systematic Evaluation of Fault Trees using Real-Time Model Checker)

  • 지은경;차성덕;손한성;유준범;구서룡;성풍현
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제29권12호
    • /
    • pp.860-872
    • /
    • 2002
  • 폴트 트리 분석(Fault Tree Analysis)은 산업계에서 가장 널리 사용되는 안전성 분석 기법 중의 하나이다. 하지만, 이 기법은 보통 수작업으로 이루어지며, 분석 결과를 체계적이고 자동적으로 검증할 수 있는 방법이 없다는 약점을 지닌다. 본 논문에서는 실시간 모델 체커인 UPPAAL을 이용하여 안전성이 중요한 소프트웨어의 요구 사항들을 정형 명세하고, 수작업으로 찬성된 폴트 트리의 정확성을 검증하는 방법을 제안하고 있다. 제안된 방법을 유용성을 확인하기 위해서 월성 원자력 발전소의 비상 정지 소프트웨어(Wolsung SDS2)에서 사용된 기능 요구 사항들을 예제로서 사용하였다. 폴트 트리는 월성 SDS2에 대한 전문적인 지식을 지니고 폴트 트리를 이용한 안전성 분석을 여러 번 수행해 본 경험이 있는 대학원생들에 의해 작성되었다. 기능 요구 사항들은 UPPAAL의 입력으로서 사용되기 위해서 시제 오토마타의 형태로 수작업으로 변환되었으며, 이 폴트 트리의 정확성을 검증하기 위해서 모델 체킹을 사용하였다 본 논문에서 제안된 방법을 월성 SDS2 예제에 적용해 본 결과, 수작업으로 작성된 폴트 트리에 존재하는 오류를 찾을 수 있었으며, 이러한 작업을 통하여 제안된 방법이 폴트 트리 분석에 대한 신뢰도를 높이는데 유용함을 발견하였다.

Temporal 데이터의 최적의 클러스터 수 결정에 관한 연구 (A Study for Determining the Best Number of Clusters on Temporal Data)

  • 조영희;이계성;전진호
    • 한국콘텐츠학회논문지
    • /
    • 제6권1호
    • /
    • pp.23-30
    • /
    • 2006
  • Temporal 데이터의 클러스터링 방법론 중의 하나로 모델기반 방법론이 있다. 이는 각 클러스터에 대하여 오토마타기반의 모델을 가정하는 것이다. 개별 모델을 추출하기 위해서는 먼저 전체 데이터에 대한 적합한 모델을 찾는 것이 필요하다. 전체에 대한 모델은 데이터집합에 대한 최적의 클러스터의 수를 결정함으로 개별 모델 구축의 준비를 완료한다. 본 연구에서는 클러스터 수를 결정하기 위한 기준인 베이지안 정보기준(BIC : Bayesian Information Criterion) 근사법의 활용도를 검증하고 데이터 크기와 BIC 값의 상관관계를 파악함으로 탐색 효율을 높이는 방안을 제안한다. 실험에서는 인위적 모델을 통하여 생성된 인공적인 여러 형태의 데이터집합을 활용하여 BIC근사 측도의 활용성에 대해 살펴보았다. 실험결과에서 보여주는 것처럼 BIC 근사 측도는 데이터의 크기가 비교적 클 경우에 올바른 파티션의 사이즈를 추정함을 확인하였다.

  • 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
    • 대한원격탐사학회지
    • /
    • 제24권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.

SLURP 모형을 이용한 기후, 식생, 토지이용변화가 농업용 저수지유역과 하천유역에 미치는 기여도 평가(I) - 모형의 입력자료 구축 - (Assessment of the Contribution of Weather, Vegetation, Land Use Change for Agricultural Reservoir and Stream Watershed using the SLURP model (I) - Preparation of Input Data for the Model -)

  • 박근애;이용준;신형진;김성준
    • 대한토목학회논문집
    • /
    • 제30권2B호
    • /
    • pp.107-120
    • /
    • 2010
  • 본 연구에서는 기후변화를 평가하기 위해 장기수문유출모형인 SLURP 모형이 선택되었으며, 모형의 적용성을 평가하기 위하여, 고도, 기상, 토지이용, 토양, 식생과 같은 기본 입력 자료를 구축하였고 공도 수위관측소 상류유역을 대상으로 유역 내에 포함되어 있는 농업용 저수지인 고삼과 금광저수지를 고려하기 위하여 저수위, 저수량, 내용적 곡선 자료를 수집하였다. 한편, 미래 기후변화를 분석하기 위해 미래 기상, 토지이용, 식생자료를 구축하였다. 미래 기상자료는 IPCC에서 제시하고 있는 SRES 특별보고서에 의한 GCMs 중 CCCma CGCM2 A2, B2 시나리오 결과자료를 수집한 후, 편이보정(bias correction) 및 CF(Change Factor) 다운스케일 기법을 적용하여 각 기상관측소별 기상자료를 재구축하였으며, 미래 토지이용자료는 과거 토지이용자료를 이용하여 개선된 CA-Markov기법에 의해 전망하였다. 또한 미래 식생자료는 NOAA/AVHRR을 이용하여 구축한 과거의 월 NDVI와 평균온도와의 선형 회귀식을 이용하여 기후변화 시나리오별 월 NDVI를 구축하였다.

SWAT 모형을 이용한 미래 기후변화 및 토지이용 변화에 따른 안성천 유역 수문 - 수질 변화 분석 (II) (Assessment of Future Climate and Land Use Change on Hydrology and Stream Water Quality of Anseongcheon Watershed Using SWAT Model (II))

  • 이용준;안소라;강부식;김성준
    • 대한토목학회논문집
    • /
    • 제28권6B호
    • /
    • pp.665-673
    • /
    • 2008
  • 본 연구에서는 SWAT(Soil and Water Assessment Tool) 모형을 이용하여 (I)연구에서 기구축된 현재의 유역 수문환경 조건을 활용하여 미래수문환경에 따른 유역 수문-수질 변화 분석하는데 목적이 있다. 미래의 수문자료 중 기후변화 시나리오는 Downscaling된 GCMs 자료를 이용하였으며, 미래 토지이용 시나리오는 미래 토지이용 예측 기법인 개선된 CA-Markov 기법으로 분석하여 구축하였다. 그 결과 미래의 토지이용 시나리오에 따라 주거지와 나지 등의 도시지역의 꾸준한 증가와 산림과 농경지 등의 감소가 예측되었고 미래의 기후변화 경우 강우의 변동성이 커 현재보다 더욱 더 기후변화의 대응전략이 필요할 것으로 판단된다. 미래 토지이용 시나리오와 기후변화 시나리오를 결합한 미래의 수문환경을 30-40년 주기로 나누어 장기적인 미래의 특정기간에 대한 자료를 가지고 수문 변화 분석을 실시한 결과, 강우에 의해 양상이 변할 수 있으며 그에 따라 영양물질의 부하량 또한 Sediment는 120%, T-N은 16%, T-P는 10% 증가할 수 있는 것으로 분석되었다. 따라서 수문환경의 전반적인 변화에 따른 유출 영향의 평가가 필요하다고 판단되고 향후 수자원 분배와 물자원 관리와 기후변화 적응전략을 수립하는데 있어 본 연구가 도움이 될 것이라고 판단한다.

CA-Markov 기법을 이용한 기후변화에 따른 소양강댐 유역의 수문분석 (Analysis of Hydrological Impact Using Climate Change Scenarios and the CA-Markov Technique on Soyanggang-dam Watershed)

  • 임혁진;권형중;배덕효;김성준
    • 한국수자원학회논문집
    • /
    • 제39권5호
    • /
    • pp.453-466
    • /
    • 2006
  • 본 연구는 CCCma CGCM2 기후모형을 이용하여 SRES A2, B2 시나리오 모의를 통한 기후변화가 2050년, 2100년 소양강댐유역의 수문환경에 미치는 변화양상을 SLURP 수문모형을 이용하여 분석하는데 목적이 있다. 수문영향을 평가하기 위해 사용된 모형의 입력자료는 NDVI의 경우, 1998년부터 2002년까지 5개년에 걸친 월별 NDVI를 사용하여 기온-NVDI와의 선형회귀분석을 통해 A2, B2 각 시나리오별 NDVI 값을 추정하였으며 대상유역의 토지이용에 따른 각 항목의 경년변화를 분석하기 위해 Landsat TM 위성영상을 이용하여 1985년부터 2000년의 5년 시간간격을 갖는 4장의 토지피복도를 생성하였다. 생성된 토지피복도를 사용하여 CA-Markov 연쇄기법을 통한 향후 50년, 100년 후의 토지이용변화상태를 모의하였다. 각 시나리오별 50년, 100년 후의 추정된 기상, NDVI, 토지이용도를 통하여 SLURP 모형에 적용한 결과, 토지이용현황은 CA-Markov 연쇄기법을 통해 모의된 향후 50년, 100년의 이용현황은 산림의 분포면적은 감소하는 반면 주거지, 나지, 초지 등은 두드러지게 증가하였다. 또한, 연쇄기법의 모의 시간간격 이 관측값의 모집단의 시간해상도에 비해 지나치게 클 경우 각 항목별 추이경향은 일정부분에서 수렴되었다. 또한, 기후변화에 따른 수문영향을 분석하기 위해 가상시나리오에 대한 증발산량 평가를 실시하였다. 증발산량 평가는 FAO Penman-Monteith 산정 공식을 통하여 기온, 일사량, 풍속에 대한 가상시나리오를 적용하여 분석하였다. 기후변화와 가상시나리오에 따른 수문분석 결과, 모의유출량은 SRES A2, B2 시나리오상에서 현재의 관측자료보다 대략 50%의 감소를 보이고 있으며 토지이용변화가 현재와 동일할 경우 SRES 시나리오를 적용한 경우보다 약 3$\sim$5%가량 더 감소됨을 확인하였다.