• Journal of Astronomy and Space Sciences
• /
• 제21권1호
• /
• pp.11-28
• /
• 2004

고위도의 이온권 전기장이 열권 역학에 어떻게 영향을 주는지를 이해하기 위하여, 미 국립대기연구소(NCAR)의 열권-이온권 전기역학적 대순환 모델(TIEGCM)을 이용하여 고위도 하부 열권의 바람을 연구하였다. 1992-1993년 기간의 남반구 여름철 조건에 대해 모델을 가동하였으며, 행성간 자기장(IMF)에 좌우되는 이온권 대류가 바람에 미치는 영향을 살펴보기 위하여 IMF와 열권 바람과의 관련성을 또한 조사하였다. 비록 모델로부터 추정된 바람의 세기가 WINDII관측치에 비해 대체적으로 약하긴 하지만, 바람의 형태는 잘 일치하였다. 고위도 여름철 열권 바람에 대한 이온권 대류의 영향이 105km까지 나타나는 것으로 확인되었다. IMF$\neq$O와 IMF=0인 경우의 바람차이(difference wind)는 IMF$B_y$성분이 양과 음일 때 각각 시계방향과 반시계방향의 강한 소용돌이 형태를 보이며, 이 소용돌이 양상은 고도 105km까지 나타났다. IMF $B_z$가 양인 경우의 바람차이는 극관에 아주 국한되는 반면, IMF $B_z$가 음일 경우에는 아오로라(subauroral) 위도까지 확장되었다. IMF $B_z$에 좌우되는 일주풍(diurnal wind) 성분과 이온권 대류 성분 사이에는 뚜렷한 상관관개를 보이며, 그 관련성은 고도 108km까지 나타나고, 그때 일주풍은 강한 회 전성을 나타냈다 하부 열권의 여름철 동서성분바람의 자기지방시(MLT) 평균에 대한 IMF $B_y$ 영향은 고위도에서 상당히 크며, 최대 풍속은 지자기 위도 $77^{\circ}$부근의 고도 130km에서 약$60ms^-1$로 나타났다.

• 한국문헌정보학회지
• /
• 제51권4호
• /
• pp.99-120
• /
• 2017

본 논문에서는 지속적으로 커져가는 산업 시장에 대해 관련 연구자들이 이를 효율적으로 분석할 수 있는 반자동 지원 체제개발을 위한 기술 용어와 기술 개념에 대한 정의문 및 설명문을 자동으로 생성하는 한국어 문장 생성 모델을 제시한다. 한국어 정의 문장 생성을 위하여 딥러닝 기술 중 데이터의 전/후 관계를 포함한 시퀀스 레이블링이 가능한 LSTM을 활용한다. LSTM을 근간으로 한 두 가지 모델은 기술명을 입력할 시 그에 대한 정의문 및 설명문을 생성한다. 다양하게 수집된 대규모 학습 말뭉치를 이용해 실험한 결과, 본 논문에서 구현한 2가지 모델 중 CNN 음절 임베딩을 활용한 어절 단위 LSTM 모델이 용어에 대한 정의문 및 설명문을 생성하는데 더 나은 결과를 도출시킨다는 사실을 확인하였다. 본 논문의 연구 결과를 바탕으로 동일한 주제를 다루는 문장 집합을 생성할 수 있는 확장 모델을 개발할 수 있으며 더 나아가서는 기술에 대한 문헌을 자동으로 작성하는 인공지능 모델을 구현할 수 있으리라 사료된다.

• 한국수자원학회논문집
• /
• 제39권10호
• /
• pp.881-890
• /
• 2006

SWAT 모형을 이용하여 대전 3대 하천 유역의 수문 분석 및 도시화에 따른 영향을 평가하였다. 물수지 분석결과에 의하면, 전체적으로 총 유출량 중 지하수 유출량이 44%정도, 중간 유출량이 6% 그리고 지표유출량이 50%이다. 도시화 영향 분석 결과 전체적으로 1975년에서 2000년까지 갑천유역의 약 5%가량의 도시화는 총 유출량의 변화에 있어서는 현저한 차이를 보이지 않았으나, 도시화 율이 32%정도 증가한 소유역의 경우 유출 성분 분석에서 첨두 유량의 경우 $25{\sim}66%$의 증가를 보였고, 지하수 유출량의 경우 $68{\sim}73%$의 감소를 확인 할 수 있었다. 그리고 도시화의 영향으로 토양수분량은 건기를 제외한 모든 시기동안 감소한 반면 침투량은 모든 시기동안 감소하였다. 도시화의 영향은 강우량이 적고, 증발량이 많은 갈수년에 더 크게 나타났다. 이 결과로부터 도시화의 영향으로 풍수기 동안의 홍수피해 폰가 및 갈수기 동안의 하천의 건천화 문제를 유추 할 수 있을 것이다. 결론적으로 본 연구에서 수행한 수문분석 및 도시화 영향분석 결과는 향후 대천 3대 하천의 생태하천복원을 위한 물순환 정상화 대책마련 및 하천의 유량확보방안 마련을 위한 기초자료로 사용될 수 있을 것이다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권12호
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

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

현재 하천 건천화에 따른 수생태계 교란 및 수질악화 등의 근본적인 문제가 발생하고 있으며, 최근 정부의 저탄소 녹색성장기조에 따라 조성되고 있는 신도시, 소규모 및 대규모 택지개발사업의 경우는 환경 친화적인 단지조성 요구에 부응하기 위해 기존 도심하천의 복원 및 인공하천의 녹색성장을 고려한 친환경적 생태하천으로 조성하고자 하는 다양한 노력이 시도되고 있으나 안정적인 생태복원의 수원확보 방안을 마련하지 못해 실제 설계가 반영되지 못하고 있다. 또한, 조성하고자 하는 소하천 혹은 실개울 등의 수질보전 및 생태계 보호 등 하천이 본래의 기능을 유지할 수 있도록 생태하천유량을 확보하는 다양한 기술들이 개발되어 있지만, 공사 유형과 주변 환경에 적합한 생태하천유량 확보 방안을 선정할 수 있는 비구조적 대책마련이 부족한 실정이다. 이러한 실정과 문제점을 고려해 볼 때, 조성하고자 하는 도시 내 자연하천 및 인공하천 조성 등 수변환경을 고려한 단지조성에 맞는 생태하천유량 확보 방안 및 평가에 대한 연구가 단계적으로 이루어져야 할 것이다. 따라서 본 연구에서는 생태하천유량 확보와 하천수질 개선이 필요한 특정 지역 또는 다양한 유형의 공사 지구 내 하천이 정상적인 기능을 수행할 수 있도록 적용 가능한 생태하천유량 확보 방안들과 수리해석 모델인 HEC-RAS(River Analysis System), 생태하천유량 산정 모델인 PHABSIM(Physical HABitat SIMulation)을 연계한 물리서식처 평가 모듈을 개발하고, 이를 기초로 가중치부여매트릭스 평가(국토해양부, 2006) 기법을 적용한 최적의 생태하천유량 확보 방안과 수질개선 방안을 제시해 줄 수 있는 의사결정지원 시스템을 구축 하고자 한다. 본 연구에서 개발된 최적의 생태하천유량 확보 방안 도출을 위한 의사결정지원 시스템의 활용으로 필요유량은 물론, 기준을 만족하는 수질의 확보가 절실히 요구되는 중 소규모 하천에 실질적으로 적정수질의 생태하천유량을 확보함으로서 하천으로서의 역할을 위한 본 기능의 회복과 동시에 소하천, 도심하천 및 인공하천 등 중 소규모 수계의 수문순환을 정상화하여 하천의 지속 가능한 개발과 관리가 효율적으로 이루어지도록 하는데 이용될 수 있을 것으로 예상되어진다.

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

본 연구에서는 순물소모량 개념의 농업용수 수요량 추정방법을 적용하여 기후변화에 따른 제주도의 미래 수요량 변화를 추정 분석하였다. 지하수를 주 수원으로 하고 관정에 의한 밭작물 위주의 작물재배와, 일정 규모 이상의 강우시에만 유출이 발생하며, 유출량의 대부분이 지하수로 침투되는 물순환 특성 등을 고려할 수 있는 제주도 지역에 적합한 순물소모량 산정방법을 적용하였다. 순물소모량 산정에 필요한 실제증발산량 및 잠재증발산량 등은 유역모형인 SWAT을 이용하여 산정하였다. SWAT 모형의 구동에 필요한 미래 기후자료는 10개의 대표적인 대순환모델(General Circulation Model, GCM) 결과로부터 상세화(Downscaling) 기법을 통해 적용하였으며, RCP 4.5와 RCP 8.5 시나리오를 중심으로 미래 기후변화에 따른 영향을 분석하였다. 미래(2010-2099)의 수문성분별 변화를 살펴본 결과, 연도별 증감과 GCM 모델별 차이는 있으나, 평균적으로 강수량, 잠재증발산량, 실제증발산량, 함양량 등이 점차 증가하는 것으로 나타났으며, RCP 4.5보다는 RCP 8.5 시나리오에서 증가현상이 좀 더 크게 나타났다. 순물소모량 또한 2010년에 비해 2099년을 기준으로 약 100~200mm 정도 증가하는 것으로 나타났으며, RCP 8.5 시나리오에서 증가폭이 크게 나타났다. 그러나 이는 자연적인 기후변화에 따른 단위면적당 순물소모량으로서, 인위적인 요인인 농업형태의 변화(관개면적의 증감, 작물품종의 변화, 인위적 용수절감 등)에 따라 실제 지역별 농업용수 수요량은 다른 경향을 나타낼 수도 있다. 특히 농업용수는 계절별, 지역별 편차가 크게 나타나므로, 자연적 조건에 의한 가용수자원량과 지역별 공급시설에 의한 용수공급량 및 수요예측량의 상호분석을 통해 안정적 물수급을 위한 대응책 마련이 필요할 것으로 판단된다.

• 한국지반공학회논문집
• /
• 제23권7호
• /
• pp.17-25
• /
• 2007

연약점토지반에 도로, 대규모 단지조성공사에 따른 지지력의 부족과 과대한 침하량으로 인하여 여러 가지 어려운 문제가 발생하며 최종 침하량 및 침하시간의 정확한 예측은 지반개량공법의 선정은 물론 사업비, 사업기간에 중대한 영향을 미치게 된다. 현재 사용되고 있는 침하량 예측기법으로는 Terzaghi의 압밀이론을 응용한 Asaoka법과 경험식인 Hyperbolic법, Hoshino법 등이 있다. 그러나 이러한 방법들에 의하여 예측된 침하량과 실제 침하량이 정확히 일치하지 않는 경향이 있다고 알려지고 있다. 게다가 이런 방법 등은 계측결과가 없는 설계단계에서는 사용할 수 없는 단점을 가지고 있다. 본 논문에서는 국내 단지조성공사에서의 데이터와 다양한 테스트 결과값를 이용하여 성토시 침하를 보다 정확하게 예측하기 위해 인공신경망 기법인 Jordan 모델과 Elman-Jordan 모델을 적용하여 가장 적합한 모델구조를 얻고자 하였다. 개선된 인공신경망 모델에 의한 예측치를 실측치와 비교하였고, 결과값에 의하면 Jordan 모델이 Elman-Jordan 모델보다 실측치와 잘 일치하고 콘관입 저항을 이용한 예측치가 표준관입시험을 이용한 결과치보다 실제에 더 가깝다는 것을 알 수 있다. 따라서 더 많은 현장실험 데이터가 확보된다면 콘관입시험을 이용한 순환형 인공신경망 기법이 침하량 예측에 있어 가장 효과적인 방법이 될 것이라 사료된다.

• 한국차세대컴퓨팅학회논문지
• /
• 제14권6호
• /
• pp.57-65
• /
• 2018

BLE 또는 Wi-Fi 기반 지문인식과 같은 기존의 RF 신호 기반 실내 위치인식 기술은 RF 신호의 불안정한 수신 신호 세기로 인해 소규모 실내 환경에서도 작지 않은 오차를 발생시키며 공항, 백화점과 같은 대규모 실내 환경에 적용하기가 어렵다. 이 논문에서는 RF 신호보다 안정적인 신호 강도를 갖는 자기장 신호를 이용한 실내측위 시스템을 제안한다. 유사한 자기장 값이 같은 실내 공간에 여럿 존재하지만, 사용자의 이동이 계속됨에 따라 자기장 신호는 고유 시퀀스를 가지게 된다. 본 논문에서는 시간에 따라 변화하는 센서 데이터 시퀀스를 인식하는 데 효과적인 순환 신경망 (Recurrent neural network, RNN)이라 불리는 심층 신경망 모델을 사용하여 사용자의 현재 위치와 이동 경로를 추적한다. 제안된 신경망 기반의 지자기 실내측위시스템의 평가를 위해 약 $94m{\times}26$ 크기의 교내 테스트베드에서 자기장 맵을 구축하고 자기장맵으로부터 추출한 다양한 이동 경로와 위치 정보를 이용하여 RNN을 학습한 결과, 테스트베드에서 제안된 시스템은 평균 1.20 미터의 테스트 측위 오차를 달성할 수 있었다.

• Journal of Chest Surgery
• /
• 제38권2호
• /
• pp.101-109
• /
• 2005

배경: 심정지와 같은 위급상황에서 관상동맥의 혈류를 유지하는 것은 심장근육의 보존과 회복 및 환자의 생명을 보존하는 데 중요하다. 최근 들어 Extra-Corporeal Life Support System (ECLS)의 기계식 순환장치의 사용으로 심정지 환자의 생명을 보존하고자 하는 노력이 시도되고 있다 본 연구는 체외순환 모델에서 박동성 혈류와 비박동성 혈류가 관상동맥의 혈류량 및 심근에 미치는 영향에 대해 알아보고자 하였다. 대상 및 방법: 실험은 $25\~35Kg$의 돼지 14마리를 각각 7마리씩 두 군으로 나누어 진행하였다. 제 1군은 비박동성 혈류 펌프인 원심펌프를 사용하였고 제2군은 이중 박동형 펌프를 사용하였다. 체외순환은 우심방에서 상행대동맥으로 심폐바이패스를 하고, 9V의 전기 충격으로 심실세동을 만들었다. 체외순환은 2시간 동안 유지하였으며, 펌프량은 두 군 모두 2 L/min로 유지하였다. 초음파를 이용한 관상동맥 혈류 측정장치를 이용하여 좌전하행지의 관상동맥 관류량을 펌프 시작 전(기초치)과 시작 후 20분마다 측정하였다. 또한 관상 정맥동의 혈액을 펌프 시작 전(기초치)과 시작 후 1시간, 2시간에 채취하여 두 군간의 심근효소의 차이와 대사물질의 차이를 비교하였다. 각 관찰지표의 군간 비교는 STATISTICA 통계프로그램(Version 6.0)의 Mann-Whitney U test를 이용하였고 통계적 유의수준은 p값이 0.05 이하인 경우로 하였다. 결과: 관상동맥의 저항지수는 제 2군에서 낮게 나타났으며, 펌프 구동 후 40분, 80분, 100분, 120분에서 통계적으로 의미 있게 나타났다 (p<0.05). 관상동맥의 평균 혈류 속도는 제 2군에서 펌프 구동 후 20분부터 의미 있게 높게 유지되었다(p<0.05). 관상동맥의 혈류량도 제2군에서 높게 유지되었으며, 펌프 구동 후 40분, 60분, 100분, 120분에서 통계적으로 의미 있는 차이를 보였다(p<0.05). 그러나, 관상정맥동의 혈액학적 검사에서는 두 군간에 차이가 없었다. 결론: 박동성 혈류는 비박동성 혈류보다 좌전하행지 관상동맥의 저항지수를 낮추고, 관상동맥의 관류속도를 빠르게 하여, 관상동맥으로의 혈류량을 높게 유지하였다.

• 자원환경지질
• /
• 제34권5호
• /
• pp.423-435
• /
• 2001

무극 광화대는 인리형 분지인 백악기 음성분지와 단층 접촉하는 백악기 흑운모 화강암을 모암으로 하여 배태된 광상들로 구성되며, 광화대 북측에서 남측으로 무극${\cdot}$금왕${\cdot}$금봉 태극 광산의 순서로 배태된다. 맥의 산상, 광물학적, 유체포유불 및 등위원소 연구결과에 의하면, 북측 광화대의 무극광산은 상대적으로 높은 금-은비를 나타내는 전형적 복성맥의 구조를 보이며, 대체로 견운모화작용${\cdot}$녹니석화작용${\cdot}$녹염석화작용이 우세하게 관찰된다. 무극광산의 광화유체는 비교적 고온${\cdot}$고염도(=$300^{\circ}C$, 1~9 equiv. wt. % NaCl)와 물- 암석 상호반응이 진행된 광화유체($\delta^{18}O$; -1.2~3.7$\textperthousand$)로부터 냉각 및 희석작용의 진화양상을 보이며, 에렉트럼과 황화광물의 광물조합을 보이는 금광화기의 유황분압 및 정출온도는 $10^{-11.5}$~$10^{-13.5}$ atm과 267~$220^{\circ}C$를 보인다. 반면, 남측의 금왕${\cdot}$금봉${\cdot}$태극광산에서는 북측에 비해 낮은 금-은비를 보이는 단성맥 또는 망상세맥이 우세하게 산출되며, 캐올린화작용${\cdot}$규화삭용${\cdot}$탈산염화작용${\cdot}$스멕타이 트화작용이 광범위하게 분포하는 특징을 보인다. 이들 광산의 광화유체는 지표수의 다량 혼입에 의한 순환수 기원 ($\delta^{18}O$; -1.2~3.7$\textperthousand$)의 저온${\cdot}$저염 광화유체(<$230^{\circ}C$, <3 equiv. wt. % NaCl)로부터 $CO_2$ 비등 및 냉각작용에 의한 진화양상을 보인다. 황화광물과 에렉트림 이외에도 다양한 함은황염 광물이 우세하게 산출되는 이들 광산의 은광화기는 $10^{-15}$ ~$10^{-18}$ atm 과 200~15$0^{\circ}C$의 유황분압 및 정출온도를 보인다. 이들 연구결과는 무극광화대가 지표수의 다량 유입이 가능한 천부 지질환경임을 시사하며, 성 인적으로는 저유황형 천열수 광상으로 해석된다. 또한 광화대 북측과 남측에서의 광석광물, 이차변질광물 및 열수변질대의 분포, 광화유체 특성에 따른 전반적인 차이는 광화대내의 열적 중심부(무극광산)으로부터 열수계 최외각부(태극광산)가지의 열수계의 진화과정을 반영한 광산들의 시${\cdot}$공간적 분포에 기인한 것으로, 이는 열수계 진화과정시 유체간 혼합과정 및 광화유체 희석작용, 그리고 온도감소에 따른 금은광물 의 상이한 정출 환경에 기인한 것으로 해석된다.