• 제목/요약/키워드: SAT 기법

검색결과 36건 처리시간 0.025초

Clark 모형 기반 홍수유출 앙상블 멤버 생성기법 개발 (Development of Flood Discharge Ensemble Member Generation Method Based on the Clark Model)

  • 윤성현;구정모;강민석;김길도;유철상
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2016년도 학술발표회
    • /
    • pp.550-550
    • /
    • 2016
  • 본 연구에서는 Clark 모형을 기반으로 한 홍수유출 앙상블 멤버 생성기법을 개발하였다. Clark 모형의 매개변수인 집중시간과 저류상수는 불확실성을 가진다. 본 연구에서는 집중시간과 저류상수가 가지고 있는 불확실성을 해결하기 위하여 적절한 확률분포를 선정하였다. 집중시간에 적절한 확률분포는 집중시간이 가지고 있는 특성과 확률분포가 가지고 있는 특성을 비교 및 분석하여 선정하였다. 선정된 확률분포는 감마분포와 대수정규분포이다. 저류상수에 적절한 확률분포는 저류 상수와 집중시간의 관계를 분석하여 선정하였다. 선정된 확률분포는 집중시간에서 선정한 확률분포와 동일하다. 본 연구에서는 이지호 등(2013)의 연구에서 집중시간과 저류상수 사이에 뚜렷한 관계를 확인하고 이에 적합한 이변량 확률분포를 선정하였다. 선정된 이변량 확률분포는 이변량 감마분포와 이변량 대수정규분포이다. 이변량 감마분포는 집중시간과 저류상수에 적용 가능한 Smith, Adelfang and Tubb's(SAT) 이변량 감마분포를 선정하였다. SAT 이변량 감마분포와 이변량 대수정규분포의 적합도 검정방법은 K-S 검정을 이용하였다. 본 연구에서는 SAT 이변량 감마분포와 이변량 대수정규분포로 Random Number Generation 실시하였다. 생성된 집중시간과 저류상수의 앙상블 멤버는 Clark 모형을 이용하여 홍수유출 앙상블 멤버를 생성한다. 제안된 홍수유출 앙상블 멤버 생성기법은 방림 유역을 대상 검토하였다.

  • PDF

토양수분을 이용한 가뭄평가기법 개발 (Development of Drought Assessment Scheme using Root Zone Soil Moisture)

  • 신용철;박경원;윤선권;정영훈
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2015년도 학술발표회
    • /
    • pp.24-24
    • /
    • 2015
  • 최근 원격탐사기법을 이용한 많은 가뭄평가기법들이 개발되었으나 산림과 함께 산악지형이 우세한 우리나라의 경우 지형특성으로 인하여 가뭄평가시 불확실성이 증가하게 된다. 특히, 농업가뭄은 기후와 지표특성에 큰 영향을 받기 때문에 기후특성만을 고려한 가뭄지수는 실제 필요한 농업가뭄의 특성을 반영하는데 있어서 한계가 있다. 따라서 본 연구에서는 기후와 지표특성을 함께 고려할 수 있는 토양수분을 이용한 가뭄평가기법(Drought Assessment Scheme)을 개발하였다. 가뭄평가기법을 위하여 역추적기법(Inverse Modeling-IM) 기반의 자료동화기법(Data Assimilation, DA)을 이용하였다. 자료동화기법은 1-Dimensional (1-D) 기반의 토양의 물리적 특성을 고려하는 SWMI_ST 모형과 최적화 알고리즘(유전자 알고리즘, Genetic Algorithm-GA)을 연계하여 실측 및 위성기반의 토양수분자료로부터 토양의 수리학적 매개변수(${\alpha}$, n, ${\Theta}_{res}$, ${\Theta}_{sat}$, $K_{sat}$)를 추출한다. 본 연구에서는 LANDSAT(30 m X 30 m) 및 MODerate Resolution Imaging Spectroradiometer(MODIS, 500 m X 500 m) 이미지자료를 이용하여 시 공간적으로 분포되어 있는 토양수분을 산정하였으며, 이후 자료동화기법을 이용하여 LANDSAT/MODIS 토양수분자료로 부터 공간적으로 분포되어 있는 토양의 매개변수를 추출하였다. 추출된 매개변수, GIS 기반의 지표피복 및 기상자료를 이용하여 장기간의 토양수분을 산정 및 예측 할 수 있다. 고해상도의 이미지 자료를 사용하는 가뭄평가기법은 필지~시 군 단위까지 실제 우리나라 지형특성을 고려하여 효율적으로 가뭄을 모니터링 및 예측 할 수 있다.

  • PDF

선형 회귀분석 기반 합산영역테이블 정밀도 향상 기법 (Linear Regression-Based Precision Enhancement of Summed Area Table)

  • 정주현;이성길
    • 정보처리학회논문지:소프트웨어 및 데이터공학
    • /
    • 제2권11호
    • /
    • pp.809-814
    • /
    • 2013
  • 합산영역테이블은 이미지 픽셀 주변 임의의 사각 영역 내 픽셀 값의 합을 4개 픽셀의 합차로 표현할 수 있는 자료구조이다. 그러나 합산영역테이블은 픽셀의 값을 한쪽 모서리에서 다른 쪽 모서리로 순차 누적하므로, 이미지의 크기가 큰 경우에 부동소수점 방식의 표현 범위를 초과하는 문제가 일어날 수 있다. 이를 해결하기 위해 본 논문은 선형 회귀분석을 이용하여 이미지를 근사하고, 회귀분석식과의 차이만을 누적하여 정밀도 누적 오차를 감소시킬 수 있는 제안한다. 또한, 이미지의 복원 시 회귀분석식의 합을 2중 적분을 이용하여 상수시간에 구할 수 있는 방법을 함께 제안 한다. 이미지의 복원에 대한 실험을 수행하였고, 결과는 제안하는 방식이 일반적인 고정오프셋 방식보다 누적 오차를 감소시킴을 보였다.

효율적인 연속 충돌감지를 위한 프리즘 기반의 메쉬 컬링 기법 (Prism-based Mesh Culling Method for Effective Continuous Collision Detection)

  • 우병광;유효선;최유주
    • 한국컴퓨터그래픽스학회논문지
    • /
    • 제15권4호
    • /
    • pp.1-11
    • /
    • 2009
  • 본 연구에서는 다각형 메쉬 모델들에 대한 시뮬레이션 수행시 주요 병목현상으로 제기되는 충돌감지의 효율성을 높이기 위하여, 연속 시간사이에서 이산시간 스위프트로 형성된 프리즘을 단위로 하는 효율적 메쉬 컬링 기법을 제안한다. 제안 기법에서는 우선, 연속 시간사이에서 대응되는 두 삼각형을 이용하여 프리즘을 정의하고, 프리즘 단위의 폐쇄검사(Occlusion Query) 기반 가시성 테스트(Visibility Test)를 실시하여, 교차 가능성이 없는 프리즘을 세부 충돌테스트의 대상에서 제외시킨다. 또한, 가시성 테스트 결과로 추출된 프리즘의 충돌가능 집합(PCS: Potential Colliding Set)에서 충돌 가능성이 없는 프리즘의 쌍들을 분리축 테스트(SAT: Separating Axis Test)을 기반으로 분류하는 협대역 컬링(Narrow Band Culling)을 수행한다. 분리축 테스트 시, 두 프리즘의 영역을 각각의 반공간(Half Space)에 포함시키는 평면을 정의하고 이에 수직인 주축을 정의하여, 단일 주축에 대한 분리 검사를 수행함으로써 수행 효율성을 높인다. 제안기법의 성능을 평가하기 위하여 서로 다른 크기의 벤치마크 모델을 선정하고, 제안 기법 적용 전후의 세부 층돌검사 대상 프리즘 쌍의 수를 비교하였다. 또한, 단일 주축에 대한 분리축 테스트 기반 컬링의 효율성을 입증하기 위하여, 프리즘 쌍에 대한 가시성테스트 실험 결과와 비교하였다. 2916개와 2731개의 삼각형으로 구성된 두 메쉬모델에 대한 컬링 실험에서, 제안 컬링기법 적용시 99%의 효과적인 컬링결과를 얻었다.

  • PDF

IMT-2000 위성부문 무선인터페이스 표준을 위한 임의 접속 기법 (Random access method for radio interface specification of IMT-2000 satellite component)

  • 임광재;김수영
    • 한국통신학회논문지
    • /
    • 제26권11B호
    • /
    • pp.1583-1594
    • /
    • 2001
  • 본 논문에서는 IMT-2000 위성 부문 무선 인터페이스 표준을 위한 임의 접속 채널의 전송 구조 및 접속 과정을 제시한다. 제안된 임의 접속에 관한 표준 내용은 IMT-2000 지상 부문 무선 인터페이스 표준의 하나인 3GPP FDD 모드의 임의 접속 기법과 많은 부분에서 공통성을 가지며, 위성 부문의 채널 특징을 고려하여 프리엠블의 반복 전송, 프리엠블과 메시지의 동시 전송, 그리고 물리 계층 레벨에서의 빠른 검출 확인이라는 특징을 갖는다. 현재, 제안된 임의 접속 기술은 한국 TTA에 의해 제안되어 IMT-2000 위성 부문의 하나의 무선 인터페이스로 ITU-R에서 승인된 SAT-CDMA의 임의 접속 기술로 포함되었다. 또한, 본 논문에서는 SAT-CDMA에 적용된 임의 접속 채널을 이용한 시그널링 과정과 지연 특성을 분석하였으며, 기존의 ALOHA 방식과 3GPP에서 사용하는 임의 접속 방식과 시그널링 지연 측면에서 비교하였다. SAT-CDMA의 고도 1600 km LEO 위성 궤도를 고려할 때, SAT-CDMA 임의 접속 방식은 기존 ALOHA 방식에 비해 전송 회수가 증가함에 따라 100 ms 이상의 적은 지연 시간을 보이며, 3GPP 방식에 비해 약 30 ms의 적은 지연 시간을 갖는다.

  • PDF

매립물 특성 조사를 위한 다변량 통계분석 기법의 응용 (Application of Multivariate Statistical Analysis Technique in Landfill Investigation)

  • 권병두;김차섭
    • 한국지구과학회지
    • /
    • 제18권6호
    • /
    • pp.515-521
    • /
    • 1997
  • 난지도 매립장 매립물의 특성을 조사하기 위해서 중력, 자력, LandSat TM 열적외선 밴드 자료, 매립장의 표면에서 측정한 침하량 자료 등을 다변량 통계분석기법을 응용하여 분석하였다. 분석에 이용한 자료들은 각기 상이한 깊이에 관한 정보를 제공하기 때문에 측정된 총 자력자료와 중력자료는 자극화변환된 자력이상과 매립장의 3차원 밀도분포로 각기 전환하였으며, 본 연구에서는 이 중 매립장의 상부층에 관한 정보를 이용하였다. 통계분석은 침하량 측정 지점들을 대상으로 수행하였으며, 이들 지점에서의 자극화변환 자력이상, 매립물의 밀도, LandSat TM 열적외선 밴드 값들은 내삽방법을 이용하여 구하였다. 자료분석에 사용한 다변량 통계분석 기법은 개체간의 기하학적인 거리를 이용하여 군집화하는 집락분석으로, 개체간의 거리 계산시 각 자료간의 상이한 측정단위가 주는 효과를 제거하기 위해서 사전에 표준화를 실시하였다. 군집화는 체계적 군집화 방법을 이용하여 수행하였다. 물리적 특성을 바탕으로 분류된 최적의 군집수는 수상도에서 나타난 결과에 따르면 총 6개의 군집으로 나타났다. 본 연구의 결과는 통합된 지구물리자료에 다변량 통계분석 기법을 적용함으로써 복합적 인 쓰레기 매립장의 특성 규명이 가능함을 시사한다.

  • PDF

큐브위성용 평면배열안테나의 isoflux 방사특성 유도에 관한 연구 (A Study on the Derivation of isoflux Radiation Characteristics of Planar Array Antenna for CubeSAT)

  • 정진우;표성민
    • 전기전자학회논문지
    • /
    • 제24권3호
    • /
    • pp.917-920
    • /
    • 2020
  • 본 논문에서는 Ku대역 통신시스템을 사용하는 큐브 위성에 장착이 가능한 평면배열안테나 있어, isoflux 방사특성을 유도하기위한 급전신호 가중치 분석에 관하여 연구하였다. 평면배열안테나는 큐브위성 장착성을 고려하여 8*8개의 방사소자를 평면 배열하였으며, 각 축 기준 방사소자 간 간격은 0.5 lambda로 설정하였다. isoflux 방사특성 유도를 위한 급전신호 가중치는 저대역 통과필터 설계에 활용되는 신호처리 기법을 이용하여 산출하는 방법을 제시하였다. 본 논문에서 제안된 방법의 분석 결과 원활한 isoflux 패턴을 유도할 수 있음을 확인하였다.

만족가능성 처리기를 이용한 이진 변수 서브시퀀스 추출 (Extracting Subsequence of Boolean Variables using SAT-solver)

  • 박사천;권기현
    • 정보처리학회논문지D
    • /
    • 제15D권6호
    • /
    • pp.777-784
    • /
    • 2008
  • 최근 정형 검증 분야에서 상태 폭발 문제를 극복하기 위해 만족가능성(Satisfiability) 처리기를 사용하는 방법이 많이 연구되고 있다. 만족가능성 처리기를 사용하려면 대상을 CNF 식으로 변환해야 하는데, 이진 기수 제약 조건은 시스템을 CNF 식으로 변환하기 위해 많이 사용되는 기법이다. 그러나 이진 기수 제약 조건은 이진 변수들의 집합을 다루기 때문에 이진 변수들의 순서 정보는 변환할 수 없었다. 본 논문에서는 이진 변수의 시퀀스에서 길이가 k인 서브시퀀스 추출 문제에 대한 CNF 변환 방법을 제안한다. 또한 실험을 통해 제안된 방법이 순서정보를 고려치 않고 적용한 변환 방법보다 훨씬 더 좋은 결과를 얻을 수 있었다.

유비쿼터스 컴퓨팅을 위한 초음파 위치인식 시스템의 인식영역 확장 기법에 관한 연구 (A Study on the Recognizing Range Expansion Techniques of the Ultrasonic Location Awareness System for the Ubiquitous Computing)

  • 박종진;이동활;김수용;문영성
    • 한국통신학회논문지
    • /
    • 제31권7B호
    • /
    • pp.595-601
    • /
    • 2006
  • 이 연구는 유비쿼터스 컴퓨팅 환경에서 절대 위치 좌표를 제공할 수 있는 초음파 위치인식 시스템에 관한 것이다. 무선(RF: Radio Frequency) 신호에 의해 동기화된 다수의 고정된 발신기가 순차적으로 초음파를 발신하며, 초음파 신호들을 수신한 수신기에서 TOF를 파악하여 이를 거리로 환산한 다음 위치정보를 계산한다. 초음파의 전파시간(TOF: Time of Flight)은 주기인식 방법을 통해 파악한다. 또한 유비쿼터스 컴퓨팅을 위한 인식 영역의 확장을 위해 셀 매칭 기법과 부호화된 초음파 기법을 제안한다. 초음파 위치인식 시스템인 U-SAT을 사용하여 주기인식 기법의 유용성을 입증하기 위하여 다양한 거리에서 실험을 수행하였다. 또한 셀 매칭 기법에 의한 영역 확장에서도 위치 측정의 정확도를 검증하였으며 부호화된 초음파 기법의 분석으로 그 유용성도 입증하였다. 그 결과로 인해 저가격, 높은 갱신율, 그리고 상대적으로 뛰어난 정밀도의 입장에서 GPS가 적용될 수 없는 환경에서의 유비쿼터스 컴퓨팅의 위치인식 시스템으로서의 가능성을 입증하였다.