• 한국통신학회논문지
• /
• 제27권1C호
• /
• pp.78-83
• /
• 2002

유한 상태 기계(finite state machine)의 도달성 분석(reachability analysis)은 통신 프로토콜이나 마이크로 프로세서 설계 등의 다양한 컴퓨터 원용설계응용(computer-aided design applications)에 매우 유용하다. 도달성 분석은 정확한 도달가능상태를 계산하는 정해분석(exact analysis)과 도달 불가능상태의 일부만을 계산하는 근사분석(approximate analysis)으로 나뉘는데, 본 논문은 기존의 방법보다 크게 정확도를 향상시킨 근사 도달분석 기법을 소개하며, 그 기본적인 원리는 근사분석 알고리즘을 반복 적용하되 이전 근사분석 결과를 이후의 근사분석에 활용하는 반복적 근사 도달성 분석 (iterative reachability analysis)을 통해 근사분석의 정확도를 향상시킬 수 있도록 하는 것이다. 반복적 근사 도달성 방식을 이용하여 기존의 근사분석보다 크게 향상된 근사도달상태를 계산할 수 있음을 실험적으로 증명하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2021년도 학술발표회
• /
• pp.123-123
• /
• 2021

도시하천유역이나 복합유역 등 지역적 성향을 고려한 도달시간 산정에 관한 연구는 현재까지도 미흡한 실정이다. 소규모 유역의 홍수량을 산정할 경우 유하시간보다 유입시간 비중이 상대적으로 크다. 그러나 유하시간만을 고려하여 도달시간을 산정할 때, 소규모 유역의 경우 하도가 없고 유역면적이 5km² 내외 또는 하도의 저류 효과를 기대할 수 없는 경우 도달시간이 짧아 홍수량이 과대 산정된다. 이를 극복하고자 재해영향성평가등의 협의 실무지침에서는 도달시간 이외에 매개변수인 저류상수를 인위적으로 증가시키는 방법을 제안하고 있다. 하지만 이 방법 역시 유역의 물리적인 특성을 나타내는 변수를 왜곡한다는 근복적인 문제를 완전히 해결하지 못하였다. 이에 본 연구에서는 기존 중·대규모 하천을 대상으로 수행된 연구결과를 바탕으로 제안된 홍수 도달시간 산정방법의 한계를 극복하고, 유입시간이 지배적인 소규모 복합유역에 적용 가능한 도달시간 산정방안을 제시하고자 한다. 이를 위해 실증실험을 통해 기존 유입시간 산정식을 개선하고, 도시수문 모니터링 시범유역에 적용하여 정확성을 평가하고자 하였다. 먼저, 홍수도달 시간 측정을 위한 강우유출 실내 실험장치를 제작하였다. 실험장치는 본체(길이3m×폭1.2m×높이0.8m)와 경사조절 장치(0~15도)를 포함하고 있다. 본체 전면부를 타공(ø10mm)하고 상·하단에서 지표와 기저유출을 집수하여 티핑버킷으로 유량을 측정하였고, 토체 내에는 토양수분센서를 설치하여 강우유출 발생시간 동안 토양수분 변화를 측정하였다. 본 연구에서는 하도흐름인 유하시간(Kraven 공식)을 계산하여 도달시간을 산정하기 보다 지표면 흐름인 유입시간(Kerby 공식)에 보정계수를 도입하여 도달시간을 산정하는 방안을 검토하였다. 실험 결과, 불투수 면적비율이 증가함에 따라 도달시간은 감소하고, 불투수 유역이 하류에 위치할수록 유출발생시간이 빨라졌다. 실증실험 결과를 바탕으로 도시수문 모니터링 시범유역에 적용하여 기존 유하시간과 저류상수를 보정하는 도달시간 산정방식(연속형 Kraven)과 유입시간을 보정한 도달시간 산정(수정 Kerby)으로 도출된 유출량을 실측 유량과 비교하였다. 그 결과 제안된 홍수도달시간 산정식에서 모의된 홍수량이 기존 방식과 유사하거나 우수한 첨두홍수량을 보였으며, 설계자 임의성이 배제된 일관성있는 해석값을 제시해 줄 것으로 판단된다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2011년도 학술발표회
• /
• pp.310-310
• /
• 2011

본 연구에서는 금강의 평수기 하류 평균도달시간을 산정하고 이를 통해 이수, 치수, 환경적인 측면을 고려하여 유역의 유하량별 하류지점의 도달시간을 실측하고, 측정 자료를 근거로 하여 수학적모델링을 통해 지류 및 본류의 시나리오별 유출량-평균도달시간 관계를 분석하여 수자원의 개발 이용과 보전, 관리를 위한 기초자료를 제공하고자 하였다. 이를 위해 하천 전 구간에서 실측할 수 있는 센서기술을 활용하였으며, 활용한 센서부자를 이용하여 금강의 금남보~공주대교 구간에 대하여 계측을 수행하였다. 계측결과 유출량-평균도달시간에 영향을 미치는 요인으로는 하상경사, 하폭, 지류유입량, 강우량, 식생, 하천구조물 등이 있으며, 이러한 요인을 수리학적 모형을 적용하여 모든 사상에 대해 정확한 해석을 한다는 것은 매우 어려운 일이다. 이로 인해 유출량-평균도달시간과의 관계 분석을 위해서는 많은 계측이 수반되어야 하며, 계측 결과를 토대로 각 하천별 유출량별 평균도달시간 관계에 대한 정확한 해석 방법을 제안하고자 하였다. 본 연구의 계측결과는 평 갈수기 수질사고로 인한 위기상황 대처시 도달시간 참조 자료로 활용이 가능할 것이며, 향후 지속적인 예측을 위해 수치모형의 매개변수를 보정하여 신뢰성 높은 도달시간표 제작이 가능하다. 또한, 기존 홍수예보 자료를 보완할 수 있는 유비쿼터스 기반 실측기술을 개발하고 이를 적용할 수 있는 기반을 구축함으로써 홍수예보의 신뢰성을 확보하고 홍수기댐 운영의 효율성을 확보할 수 있을 것으로 기대된다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2008년도 학술발표회 논문집
• /
• pp.2238-2243
• /
• 2008

홍수 방류량 하류 도달시간 산정은 댐운영 및 홍수예경보의 기초자료로 인식되고 있어 정확한 유하시간 산정이 필요하다. 수자원공사에서는 댐 방류에 따른 하류도달시간을 댐운영실무편람('06)에 있는 자료를 활용하여 댐 운영에 활용하고 있다. 금강 하류부의 경우 '97년 금강홍수예경보 자료를 활용하고 있으나, 수치모형 결과 자료로 실측에 의한 검증이 이루어지지 않았다. 댐 방류수에 대한 하류도달 시간에 대한 실측 기술을 확보하여 실측을 통한 수치모형의 검증 및 보완 필요하며, 보정된 수치모형을 이용한 홍수도달시간 실시간 예측을 통한 댐운영의 효율성 확보 및 대내외 검증된 결과 제시가 요구되고 있다. 현재 댐 방류에 따른 하류도달 시간에 대한 실측이 요구되고 있으나, 관련 기술에 대한 국내외 개발 및 적용 사례가 전무한 실정으로 본 연구에서는 현장계측과 수치모형을 연계한 신뢰성 높은 도달시간을 분석하는 기술을 개발하고자 하였다. 이를 위해 장구간 내에서 홍수의 흐름과 동일하게 하천에 흘러갈 수 있는 부유물을 개발하였으며, 주야간에 상관없어 주요 계측지점에서 도달시간 산정을 위해 자동 인식될 수 있는 센서기술을 개발하였다. 또한, 인식된 센서를 안정적으로 통신망에 연동하여 실시간 계측이 가능하며, GIS 기반의 원격 모니터링이 가능하도록 시스템을 구성하였다. 나아가. 기존 수치모형에 의존하여 예측된 도달시간 산정방법을 개선하기 위하여 수치모형의 매개변수를 검보정을 위한 시계열 및 지속적으로 자료를 취득하였다. 이러한 센서기술, 모니터링기술, 분석기술을 융합하여 향후 매개변수를 보정한 홍수도달시간 수치모형을 이용하여 신뢰성 높은 예측결과를 홍수예경보 및 댐 운영에 있어 활용함으로써 홍수재해로부터 안전성을 확보하고 물관리의 효율화를 달성할 수 있을 것으로 판단된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권3호
• /
• pp.210-216
• /
• 2000

Place/Transition(P/T) nets은 병행성 기술이 용이하고 도달성 분석 등 다양한 분석 방법이 제공되므로 프로토콜, 병행적 시스템 검증 등에 많이 이용되어 왔으며 또한 실시간 시스템, 객체지향 시스템 등 다양한 분야에 이용되는 고급 Petri nets과 객체 지향 Petri nets 등의 기반 정형적 기법으로 이용되고 있다. 하지만 P/T nets과 확장된 Petri nets 등에서는 모델에 내재된 병행성을 다루지 않으면 복잡한 병행적 모델의 도달성 분석 시에 시스템 상태가 급증하는 상태 폭발(state explosion)이 발생할 수 있다. 이 연구에서는 다양한 확장된 고급 Petri nets의 근간이 되는 P/T net 모델에서 구조적 병행성을 정의하고 이를 기반으로 시스템을 병행적인 단위로 분할, 합성적인 도달성 그래프를 생성하는 방법을 제시하여 복잡한 P/T net 모델을 효율적으로 분석할 수 있는 방법을 제시한다. 그리고 합성적 도달성 그래프를 이용하여 플레이스의 유한성, 트랜지션의 수행가능성 등의 특성을 효율적으로 분석할 수 있도록 한다. 이러한 분할 분석 기법은 P/T net 모델 뿐만 아니라 P/T nets에 기반을 두고 있는 모든 고급 Petri net model 분석에도 이용될 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.489-491
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2004년도 학술발표회
• /
• pp.1042-1046
• /
• 2004

본 연구는 국내 실무에서 사용되고 있는 유역응답시간 산정식의 적용성을 검토하기 위하여 기존의 8개의 도달시간 산정식과 6개의 지체시간 산정식을 유역면적이 $50\~500km^2$인 중규모유역에 적용하였으며, 실측수문 자료로부터 두가지 정의에 의해 산정한 도달시간과 지체시간을 비교, 검토하였다. 기존의 도달시간 산정식에 의한 도달시간은 실측 도달시간에 비해 모든 대상유역에서 과소한 값을 나타내었으며, 지체시간 산정식의 경우 Clark 공식과 SCS 공식은 모든 대상유역에서 과소한 값을 나타내었고 Snyder 공식, Linsley 공식, Eagleson 공식, Rao와 Delleur 공식은 대상유역에 따라 과다 또는 과소한 경향을 나타내었다. 따라서 실측수문자료에서 산정된 유역응답시간과 기존의 산정식에서 결정된 값들이 상이하게 나타나 중규모유역에서 기존의 유역응답 시간 산정식의 적용성이 떨어진다고 판단되었다. 대상유역에서 적합한 유역응답시간 공식을 유도하기 위하여 유역응답시간과 유역특성인자간의 회귀분석을 실시하였으며, 국내 중규모유역에서 적용할 수 있는 도달시간과 지체시간 산정식을 제안하였다.

• 경영과정보연구
• /
• 제33권2호
• /
• pp.63-79
• /
• 2014

선행연구를 통해 모바일 특성에 영향을 미치는 변수를 보안성, 위치성, 편이성, 개인혁신성, 인터페이스, 도달성을 도출하고 m-commerce 신뢰와 사용의도에 미치는 과정을 실증적으로 검증하였다. 모바일 특성 하에서 m-commerce 신뢰와 사용의도에 미치는 영향을 중국과 한국 사용자간 차이를 비교하는 것을 목적으로 하고 있으며 연구 결과를 요약하면 다음과 같다. 첫째, 모바일 특성이 m-commerce 신뢰에서는 한국과 중국이 유사한 형태를 나타내지만, m-commerce 사용의도에서는 한국과 중국이 다른 경향을 나타내고 있다. 이는 신뢰개념에서는 한국과 중국이 동일하게 생각되지만, 사용의도개념에서 한국은 모바일 시장이 성숙되었지만 중국은 초기시장이라는 특성이 반영된 것으로 보인다. 둘째, 한국과 중국 사용자의 차이점을 살펴보면 한국의 경우 보안성, 개인혁신성, 도달성이 신뢰에 영향을 미치고 있었다. 그리고 보안성, 위치성, 편이성, 개인혁신성, 인터페이스, 도달성은 사용의도에 영향을 미치고 있었다. 중국의 경우는 개인혁신성이 신뢰에 영향을 미치고 있으며, 편이성이 사용의도에 영향을 미치고 있었다. 따라서 공통적으로 한국과 중국의 모바일 특성에서는 개인혁신성이 신뢰에 중요한 요소로 생각하며, 편이성이 사용의도를 중시하고 있다. 셋째, 한국과 중국 m-commerce에서 모두 신뢰가 사용의도에 영향을 미치는 것으로 나타났다. 신뢰가 높을수록 사용의도가 높아진다고 할 수 있다. 따라서 m-commerce 사용자들의 사용의도를 높이기 위해서는 신뢰를 수용할 수 있는 서비스를 제공할 필요가 있다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2010년도 학술발표회
• /
• pp.1191-1195
• /
• 2010

도달시간 또는 집중시간이란 어떤 유역에 강우가 발생하였을 때 유역의 최상류부에서 내린 강우가 유역의 최하류부 출구점까지 도달하는 데 소요되는 시간으로 정의된다. 일반적으로 유역출구점에서의 첨두홍수량은 도달시간만큼 지체되어 발생하고, 하천의 치수 시설물을 설계하는데 있어 기준이 되므로 정확한 홍수도달시간의 산정은 매우 중요한 과업 중 하나이다. 현재 국내에서는 Kirpich 공식, Rziha 공식, Kraven 공식, SCS(NRCS; Natural Resources Conservation Service) 공식 등을 이용하여 도달시간을 산정한 후 그 유역에 적절한 것을 채택하는 방식으로 홍수도달시간을 산정하고 있다. 이러한 경험식들은 모두 유역의 지배적인 유로의 연장과 하도경사에 의해 결정되어 홍수의 이동특성을 물리적으로 반영할 수 없으며, 유역면적이나 하도 경사에 따라 적용성이 한정되어 있다. 또한 각 경험식들에 따라 산정된 도달시간은 경우에 따라 수십 배의 차이가 나타날 수도 있다, 따라서 본 연구에서는 보다 정확한 유역의 홍수도달시간을 산정하기 위하여 상세 지형정보를 이용하며, 임의의 격자점에 내린 강우의 흐름방향을 결정하고 인접 격자점에서 유입되는 홍수의 이동경로를 보다 물리적이고 현실적으로 모의하고자 하였다.

• 한국정보과학회논문지:정보통신
• /
• 제32권6호
• /
• pp.745-752
• /
• 2005

BGP[1]는 광대역 인터넷에 사용되는 유일한 라우팅 방식으로서 인터넷의 계층구조와 자신의 정책에 의해서 경로를 선정한다. BGP 라우터는 일부의 인근 BGP 라우터에 대해서만 선택적으로 라우팅 정보를 공표하기 때문에 링크가 연결되었다고 해서 출발지 노드에서 목적지 노드까지의 라우팅 정보가 도달되지는 않는다. 특히 바이러스나 재난으로 인하여 광범위에 걸쳐서 많은 BGP 라우터가 다운되는 유사시에 인터넷의 연결성을 유지하기 위하여 BGP는 평소에 도달할 수 없는 경로도 제한적으로 도달할 수 있어야 한다. 이 논문은 BGP 백업 라우팅의 요구사항을 나열한 후 이러한 사항을 최대로 만족하는 백업 라우팅 규칙을 찾아본 결과 기존 방식이 안고 있던 대부분의 단점이 해결된 백업방식을 도출하였다. 제안되는 백업방식은 우선 BGP 백업 라우팅은 네트웍의 피해정도에 따라 3단계로 동작한다. 이 규칙 하에서 BGP 라우터는 평소에는 0단계에서 정의되는 경로만을 사용하다가 BGP 라우터의 손상범위에 따라서 1단계로, 손상범위가 더 커지면 2단계로 사용범위를 확장한다. 또한 이 논문은 제안된 백업 방식이 네크웍의 안정성(stability)과 안전성(safeness)을 보장함을 증명하였다. 그 결과 제안된 백업방식은 사소한 지역적인 네트웍 사고에서부터 전체적인 심한 네트웍 사고에 이르는 모든 사고에 대해서 적응력 있게 대처하여서 강력한 경로의 도달성을 항시 제공한다.