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

금강 하류부의 경우 '97년 금강홍수예경보 자료를 활용하고 있으나, 수치모형 결과 자료로 실측에 의한 검증이 이루어지지 않았으며, 이러한 문제점을 해결하기 위해서는 평수기 및 홍수기의 하류도달시간 실측 기술을 확보하여 실측을 통한 수치모형의 검증 및 보완이 필요한 실정이다. 또한, 보정된 수치모형을 이용한 도달시간 실시간 예측을 통해 댐 보 운영의 효율성을 확보하고 대 내외에 검증 결과를 제시할 필요가 있다. 하천 전 구간에서 실측할 수 있는 센서기술을 활용하여 금강의 일부 보 구간에 대하여 계측을 수행하였다. 계측결과 유출량-평균도달시간에 영향을 미치는 요인으로는 하상경사, 하폭, 지류유입량, 강우량, 식생, 하천구조물 등이 있으며, 이러한 요인을 수리학적 모형을 적용하여 모든 사상에 대해 정확한 해석을 한다는 것은 매우 어려운 일이다. 이로 인해 유출량-평균도달시간과의 관계 분석을 위해서는 여러 하도구간에 대한 지속적이고 많은 계측이 수반되어야 하며, 이로부터 얻어진 계측 결과를 토대로 각 하천별 유출량별 평균도달시간 관계에 대한 해석 방법을 제안할 수 있을 것으로 기대한다. 본 연구의 계측결과는 홍수기 8회, 평수기 10회를 통해 보 건설에 따른 하류 도달시간의 영향을 분석하기에는 계측 자료가 매우 부족한 실정이며, 향후 지속적인 관측자료 확보를 통해서 보 운영에 따른 도달시간의 영향을 분석할 수 있는 기초자료 확보가 매우 중요할 것이다. 또한, 지류 유입량을 고려한 실측자료를 기초로 기존 도달시간 산정 방법을 개선하고, 도달시간 계측 결과의 신뢰성 확보를 위한 지속적인 연구개발 수행하여 금강 전 유역으로 확대 적용하기 위한 방안 마련이 필요하다. 이를 통해 4대강살리기 사업 전 후의 도달, 지체시간 분석하여 사업구간에 대한 계측을 통한 금강에서의 보 건설 전 후의 영향 검토에 반영할 수 있도록 하여 수계별 관계분석 자료로 활용할 수 있도록 제공하여야 할 것이다.

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

국지성 호우의 증가로 인해 도시 지역의 내수침수피해가 빈번하게 발생하고 있다. 특히 배수의 흐름이 집중되는 저지대 지역과 노후화된 하수관거가 설치된 지역에서 특히 피해가 집중되고 있으며, 이는 도로 측면에 설치된 빗물받이와 같은 하수시설에서 원활하게 배수가 되지 않기 때문에 강우 발생시 도로표면에 노면수가 정체되어 피해가 발생하고 있다. 과거 도로 노면의 형상과 강우의 임계 지속시간을 고려한 적정 우수 유출량 산정에 관한 연구가 진행된 바 있으나, 현재 발생하는 국지성 호우의 형태나 강우강도의 변화에 따른 유출량의 변화가 발생하였으며, 도달시간 산정식에 따른 매개변수의 차이와 새로운 도달시간 산정식의 개발로 도달시간의 결과가 크게 차이가 날 수 있다. 따라서 도로의 침수피해를 막고 교통 안정을 유지하기 위해서는 도로 조건을 고려한 도로 입구 및 하수관의 적절한 설계 등 다양한 연구가 주기적으로 이루어져야 한다. 본 연구에서는 강우 유출 모델인 SWMM 모형과 계산식을 이용하여 도로 표면의 폭과 길이, 도로 종횡단의 변화량, 재 산정한 강우강도에 따른 유출량을 계산하였다. 도로 표면의 폭과 길이, 경사를 다양하게 입력하였으며, 또한 각 Case에 따라 최대 유출량을 생성하는 임계지속기간을 결정하고 다양한 도달시간 산정식의 결과와 비교하여 상관관계를 분석하였다. 분석결과 도달시간은 산정식의 매개변수에 따라 차이가 발생하였으며, 도로표면의 길이와 횡단경사에 크게 영향을 받는 것으로 분석되었으며, 횡단경사보다 종단경사가 클 경우 도달시간이 길어져 유량의 집중을 막는 효과가 있는 것으로 나타났다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.212-218
• /
• 2003

상태 불변식은 도달 가능한 모든 상태에서 만족되는 속성이다. 불변식은 복잡한 소프트웨어 시스템의 분석과 이해에 사용될 뿐만 아니라 안전성, 궁극성, 일관성 등과 같은 시스템 검증에도 사용된다. 이와 같은 이유로 인해서, 유한 상태 기계 모델로부터 상태 불변식을 추출하는 연구가 활발히 진행되고 있다. 상태 불변식을 생성하는 기존 연구에서는 도달 가능한 상태가 모두 고려됐다. 따라서 생성된 상태 불변식은 길고 복잡해서, 사용자가 이해하기 어려웠다. 본 논문에서는 '어떻게 상태 불변식을 단순화 할 것인가\ulcorner` 란 질문에 대한 답을 보인다. 상태 불변식의 복잡성은 고려되어진 상태의 크기에 강하게 좌우된다. 고려된 상태들이 작으면 작을수록, 상태 불변식의 길이는 짧다. 단순한 상태 불변식을 생성하기 위해서는, 전체 상태 공간보다는 관심 있는 특정 부분(즉 범위)에 집중해야 한다. 관심 있는 범위를 표현하기 위하여 본 논문에서는 CTL 논리를 사용한다. CTL로 범위가 표현되면, 혼합 도달성 분석을 이용하여 범위 내에 속하는 상태들을 찾는다. 명백히, 이 방법으로 계산된 상태 집합은 도달 가능한 모든 상태의 부분 집합이다. 따라서, 더 약하지만 더 이해력 있는 상태 불변식을 얻는다.

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

본 연구의 목적은 대청댐 수문방류에 의한 하류 주요지점까지의 방류수 도달시간을 검토하여 수문방류에 따른 홍수피해 예방 및 방류 증가 등 홍수조절업무에 만전을 기하고자 함이며, '06년 홍수기 대청댐 수문방류량에 의한 하류 주요 수위국 지점별 수위상승과의 연관성을 가지고 하류 홍수도달시간을 실측, 산정하고 기존 도달시간 산정 자료의 신뢰성을 검토하고자 한다. 도달시간 산정방법은 평균유속 상승에 따른 검토, 하류 수위상승 기점에 따른 검토, 수리학적 홍수추적에 따른 검토(FLDWAV, LOOPNET, HEC-RAS, Muskingum), 수문학적 홍수추적에 따른 검토(Progressive lag method)을 시행하고자 한다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2013년도 제45회 하계 정기학술대회 초록집
• /
• pp.196.1-196.1
• /
• 2013

반도체의 device design rule이 shrink 됨에 따라 공정이 난이도가 높아지고 이에 따른 관리가 어려워지고 있다. 특히 미세 particle에 대한 제어의 필요성은 보다 커졌다. 진공 chamber 발생하는 미세 particle의 주요 원인으로는 공정 중 발생한 polymer, chamber 내 부품의 식각 및 스퍼터링에 의한 부산물 등이 있다. Plasma 공정 도중 발생한 particle은 plasma 내 전자에 의해 대전되어 음의 전하량을 가지게 된다. 음의 전하량을 가진 particle은 plasma와 wafer의 경계면에서 형성되는 sheath 때문에 wafer에 도달하지 못하고 plasma 내에 부유하게 된다. 이러한 particle은 plasma가 꺼지게 되면 sheath가 사라지면서 wafer에 도달하게 되고 wafer의 오염을 유발하게 되고 생산 수율을 저하시키는 요인이 된다. 이러한 이유로 최근 plasma 공정에서는 공정 중 발생하는 부유성 particle에 대한 관리가 중요해졌다. 이를 관리하기 위해 plasma를 끄기 전 부유성 particle을 제거하는 방안을 고안하고 평가를 진행하였다. 공정이 끝나고 plasma가 꺼지기 전 plasma를 유지하여 부유성 particle이 wafer에 도달하지 못하는 상태에서 gas purge를 실시한다. 이러한 과정 후 plasma를 끄게 되면 부유성 particle이 wafer에 도달하는 것을 감소시키게 된다. 이번 평가를 통해 부유성 particle에 대해서 대략 20%의 감소 효과를 볼 수 있었다. 이를 토대로 향후 조건 최적화 후 적용 시 particle 감소뿐 만 아니라 수율 향상에도 기여할 수 있을 것이라 기대된다.

• 통상정보연구
• /
• 제1권2호
• /
• pp.183-204
• /
• 1999

현재 세계적으로 전자적 정보매체중 인터넷의 여러 기술적 방편인 Web, E-Mail, usenet 등을 통한 인터넷 무역이 보편화되어가고 있는 실정이다. 기존의 부가가치통신망(VAN)을 이용한 EDI에서 보다 보편적이며 접근이 용이하면서 개방적인 인터넷 EDI로 대체되고 있다. 인터넷을 이용한 무역계약의 체결은 기존 방식에 비해 신속성, 경제성, 편리성에 있어 뛰어난 장점을 지니고 있어 조만간 많은 이용이 뒤따를 것으로 예견되나 현재 준거법, 문서의 법적효력, 계약의 유효성, 청약의 유인, 계약성립시점 둥의 법적 문제가 해결되어야 할 것으로 여겨진다. 특히 계약성립시점에 관하여 인터넷을 통한 승낙의 의사전달이 대화자간인지, 격지자간인지의 여부가 불투명한 실정이다. 대화자간 법리와 격지자간법리의 구분기준은 발신과 도달의 시간적 동시성을 기준으로 분석하는 것이 보다 합리적일 것으로 여겨진다. 본 연구는 현재 인터넷을 이용한 의사전달 중 가장 많은 이용이 예상되는 E-Mail을 중심으로 기타 인터넷기술을 이용한 의사전달의 효력발생시점에 관한 법리를 분석하고 만일 대화자간의 법리가 적용된다면 문제시될 도달시점에 대해서 논의하는데 그 목적이 있다. 결론적으로 본 연구를 통해 살펴보았을 때, 인터넷을 통한 승낙의 의사전달은 대화자간의 법리가 적용되어 영 미법이나 한국, 일본법이 준거법으로 채택된다 하더라도 도달 주의가 지지되어야 하며, 이 경우 도달시점은 E-Mail의 경우 수신측 사용자 컴퓨터가 아닌 수신자가 지정한 수신서버컴퓨터에 기록되는 시점이 되어야 한다는 견해이다.

• 대한의용생체공학회:의공학회지
• /
• 제22권2호
• /
• pp.133-138
• /
• 2001

동맥계에서 맥파의 전달속도는 혈관의 긴장도에 따라 결정된다. 동맥혈관의 긴장도는 혈압에 의존적이며 순간적인 혈압의 증가에 따른 혈관긴장도의 변화는 순환기계의 질병을 야기할 수 있다. 본 연구에서는 말초맥파를 이용한 동맥 긴장도 평가 방법의 유용성을 밝히기 위하여 말초맥파 도달시간을 체위에 따라 측정하고, 체위 변화에 따른 정수압 변화와 말초맥파도달시간의 관계를 관찰하였다. 말초맥파도달시간의 측정은 심전도의 QRS파 피크로부터 말초에서 나타나는 광전용적맥파의 최대기울기점까지 시간을 측정하였다. 생체 신호를 아날로그-디지털 변환하여 PC에서 매번 심장주기마다 맥파도달시간을 분석하였으며 결과는 스플라인 보간법을 사용하여 그래프로 결과를 제시하였다. 소프트웨어는 C＋＋을 사용하여 windows 환경에서 운용하였다. 앙아위에서 말초맥파도달시간은 233.38$\pm$1.84 ms이었으며 서있는 자세에서는 226.77$\pm$2.16 ms로 유의하게 감소하였다. 앙아위의 자세에서 손을 수직으로 들어올림에 따라 말초맥파도달시간은 각도에 비례하여 증가하는 특성을 보였다. 이러한 실험결과는 말초맥파도달시간이 동맥계의 일시적인 압력 변화에 매우 민감하게 반응하는 것을 제시하였으며, 고혈압 및 동맥경화가 있는 환자에서 예후를 판단하는 방법으로 유용하게 사용될 것이라 사료된다.

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

본 연구는 강우에 내한 유역의 반응시간에 관한 연구로써 우리나라 자연하천유역에 적합한 도달시간 및 저류상수 산정공식을 개발하기 위하여 섬진강 유역을 대상으로 유역특성인자 및 강우 특성인자를 분석하고, 이를 다중회귀분석방범 중 최적의 회귀모형을 추출하기 위한 단계별 회귀분석방법을 이용하여 산정공식을 개발하였다. 그리고 개발된 산정공식으로부터의 도달시간 및 저류 상수들을 기존 경험공식의 값들과 비교하였으면, 또한 이를 Clark 모형에 적용하여 실제 호우사상들에 대한 유출수문곡선을 분석하여 관측수문곡선과 비교 검토하였다. 그 걸과 계산된 유출수문곡선과 관측수문곡선은 첨두유량 및 첨두발생시간에서 비교적 적은 오차를 보였으며, 유출수문곡선의 양상에서도 상호 높은 상관성을 보여 개발된 산정공식에 대한 적합성을 잘 나타내주고 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 춘계학술발표대회
• /
• pp.966-968
• /
• 2010

컴퓨팅 자원의 확보가 용이해짐에 따라 이러한 자원을 최대한 활용하려는 시도가 늘어나고 있다. 시스템을 검사하는 정형적 기법으로써 많이 사용되고 있는 모델 체킹은 상태폭발 문제를 완화하기 위해서 여러 컴퓨팅 자원을 한꺼번에 사용하려는 연구가 이루어져 왔다. 하지만 이 기법 역시 여러 상태 모델들이 하나로 합쳐지면서 여전히 상태폭발 문제를 발생 시킨다. 본 논문에서는 이러한 문제가 나타나는 원인을 지적하고 이를 해결하기 위해 모델 체킹의 기본 요소인 새로운 병렬적 도달성 분석 기법을 제시한다.

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

임진강 수계는 북측 지역이 다수를 차지하는 유역 특성으로 예고 없는 상류 급방류, 강우 등으로 인해 댐 운영에 근본적 어려움이 있으며, 이에 따라 홍수조절지 및 댐 하류 계측 가능 지역의 취득 자료를 고려한 하천 수위 변화에 대한 사전 예측을 필요로 하고 있다. 홍수기 하천 도달시간 및 수위예측 기법으로는 물리 기반 및 데이터 기반 모델들이 다양하게 연구되어 왔으며, 일부 연구성과들은 현업에 활용하고 있다. 물리기반 모델은 하천 지형 변화에 대한 자료 취득 및 분석에 많은 시간을 요하는 단점은 있으나, 설명 가능한 모델을 구현할 수 있을 것으로 사료 된다. 반면, 데이터 기반 인공지능 모델은 짧은 시간 및 비용으로 모델을 개발할 수 있으나, 복잡한 알고리즘구현 시 설명이 불가하여 일관성을 의심 받을 수 있다. 본 논문에서는 홍수 도달시간과 하류 수위 상승에 대하여 설명 가능한 인공지능 알고리즘 및 시뮬레이션 프로그램을 개발하고자 하였다. 홍수 도달시간 예측은 기존 조견표 방식에서 고려하지 않았던 홍수파의 영향을 추가 변수화 하고, 데이터의 전후처리를 통하여 도달시간을 예측하였다. 실시간 하류 수위 예측은 댐 방류량, 주변 강우, 조위 등을 고려하여 도달시간 후 수위를 예측할 수 있도록 구현하였으며, 자료 동화 기술을 일부 적용하였다. 미래 방류조건에 대한 시뮬레이션을 위해서는 미래 방류량, 예상 강우 입력 시 하천 지점별 수위 상승을 예측할 수 있도록 알고리즘 및 프로그램을 개발하였다. 이를 구현하기 위하여 다양한 인공지능 알고리즘을 이용한 학습, 유전자 알고리즘을 이용한 가중치 학습 제한 조건내 최적화, 수위파와 조위파의 중첩의 정리 등을 이용하여 예측 정확도 및 신뢰성을 제고 하였다. 인공지능 분석결과의 현업활용성 제고를 위하여 시뮬레이터 프로그램을 개발하여 현업에 적용하였다.