• 대한토목학회논문집
• /
• 제6권2호
• /
• pp.93-101
• /
• 1986

정지수역(靜止水域)에서 연직상향(鉛直上向)으로 방류(放流)되는 평면부력(平面浮力)?의 거동을 연속방정식(連續方程式), 운동량수송식(運動量輸送式) 및 추적물(追跡物) 수송식(輸送式)에 의하여 수치적(數値的)으로 해석한다. 이 해석은 유함수(流凾數)와 과수송식(過輸送式)을 도입하고 Prandtl 난류모형(亂流模型)을 이용하였다. 방류밀도(放流密度) Froude 수(數)가 4~32인인 부력(浮力)?의 발달된 흐름영역(領域)에서 구한 ?중심선의 속도(速度)와 온도변화(溫度變化), ?주변수역(周邊水域)의 온도분포(溫度分布)와 흐름양상은 기존자료와 잘 맞음을 확인할 수 있다. 적분형해석(積分型解析)에 필요한 퍼짐율과 확산비(擴散比)가 방류밀도(放流密度) Froude 수(數)와 방류구(放流口)로부터의 거리의 함수로 유도된다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제7권6호
• /
• pp.703-714
• /
• 2001

C 언어에서 스택에 할당된 지역변수가 넘칠 경우 주변에 위치한 제어정보가 손상을 입는다. 이러한 C언어 특성이 악의적으로 사용되어 주변의 복귀주소가 교묘하게 조작되면 그 시스템을 심각한 보안상 위험에 노출된다. 본 논문에서는 이러한 버퍼넘침을 유발하는 라이브러리 함수에 전달된 버퍼의 도메인 정보흐름을 추적하여 프로그램 작성자에게 버퍼넘침 가능성을 통지할 수 있는 정적 어셈블리 소스코드 탐색(static assembly source code scan)방안을 제안하고 그 실현 가능성 및 유의성을 펜티엄기반 리눅스 환경에서의 프로토타입 구현으로 진단한다.

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

지하수 인공함양은 수자원확보 및 비상시 용수를 목적으로 세계적으로 연구 및 프로젝트가 진행되고 있다. 인공함양의 방법에는 여러 가지의 방식이 있지만 본 연구는 관정을 통해 주입하는 ASTR(Aquifer Storage Transfer and Recovery)방법을 이용하여 연구하였다. ASTR이란 지표수를 인공적인 방법으로 대수층에 주입시키고, 일정기간 저장시키거나 유하시킨 후 양수하는 방법이다. 염수로 포화된 피압대수층에 담수를 주입하여 염수를 치환할 수 있는 주입-양수 시스템을 연구하였다. 염수로 포화된 대수층에서 인공함양기술을 성공시키기 위해서는 양수정으로 유입되는 염수비율이 0%을 만족하며, 주입으로 인한 수위상승량은 지반변형을 일으키지 않는 최소한의 값을 가지는 것이다. 본 연구는 앞서 언급한 인공함양기술을 성공시키기 위해 지하수 흐름모델과 최적화 모델을 결합한 최적전산모델을 이용하여 모의하였다. 지하수 흐름모델은 경계면모델을, 최적화 기법은 GA(Genetic Algorithm)을 이용하였다. 구축된 목적함수로는 양수정의 담수비율 최대화, 주입정에서의 수위상승량 최소화 그리고 양수개시시간 최소화로 구성하였다. 제약조건으로는 총 주입량 및 양수량 그리고 주입 및 양수정 개수이다. 서술한 목적함수와 제약조건을 만족하는 주입/양수정의 위치 및 유량을 최적전산모델로부터 얻을 수 있다. 기존 지하수 인공함양 및 개발은 사례별 연구 또는 전문가의 주관적 판단에 의존하는 경향이 있었다. 본 연구는 최적화 기법을 통해 복수의 관정에서 정량적인 산정이 가능하다. 현재 모델링에 의존한 연구로써 한계가 있지만, 추후 실제현장에 적용하여 모델 검정을 통해 신뢰도를 높이며 지하수 인공함양 개발에 많은 공헌을 할 수 있을 것으로 예상한다.

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

중력류 또는 밀도류는 주변 유체에 비해 상대적으로 밀도가 큰 유체가 밀도차에 의한 추진력으로 흐르는 것이다. 중력류의 수치모델링에는 두 가지 어려움이 있다. 즉, 적합한 지배방정식을 구성하여 적용하는 것 그리고 난류의 영향을 합리적으로 반영하는 것이다. 기존 중력류 해석을 위한 지배방정식들은 유체의 연속방정식과 운동량 방정식 그리고 밀도 또는 농도의 이송방정식을 조합하여 구성된다. 이들 지배방정식을 이용한 연구들은 대부분 두 유체 사이의 밀도차가 충분히 작아서 밀도 변동(variations)의 영향은 오로지 부력항에서만 유지된다는 Boussinesq 근사에 근거를 둔다. 그리고 이송방정식에서 밀도 또는 농도의 확산계수을 점성계수의 함수로 표현하기 위해서 Schmidt 수를 이용한다. 수치모델링에서 Schimdt 수는 상수값을 적용하지만, 이 값은 밀도의 연직방향 경사에 근거한 부력빈도(buoyancy frequency)와 난류량의 따라 큰 차이를 보이는 것으로 알려져있다. 한편, 표준 통계학적 난류모델과 벽함수를 적용한 수치모델링은 초기 중력에 의해서 무너지는(slumping) 단계를 넘어 관성력으로 추진되는 단계와 점성 효과가 지배적인 단계에서는 정확도에 현저히 낮아지기 때문에 대부분 큰와모의(large-eddy simulation, LES) 또는 DNS(direct numerical simulation)수준의 고해상도(high-resolution) 해석기법을 적용하여 공학적인 문제에 적용하는 데는 한계가 있다. 이 연구에서는 Boussinesq 근사와 Schmidt 수를 사용하지 않으며, LES 보다 적용이 용이한 DES (detached-eddy simulation)기법을 조합한 다상흐름 수치모델을 적용하여 중력류를 해석을 시도하였다. 수치해석결과를 실험값과 함께 기존 수치모델링 기법으로 구한 수치해와 비교분석하여 이 연구에서 개발 및 적용된 수치모델링 기법의 적용성을 평가한다.

• KDI Journal of Economic Policy
• /
• 제19권3호
• /
• pp.139-194
• /
• 1997

80년 이후 최근까지의 우리나라 통화정책과 관련하여 세 가지 질문을 던지고 그에 대한 답을 찾고자 하는 것이 본 논문의 목적이다. 첫 번째 질문은, '중간표적으로 이용되어온 M2의 물가와 산출량에 대한 예측력은 어떻게 변하여왔는가' 하는 것이다. 본 논문에서는 Granger인과성 검정과 VAR을 이용한 예측오차분산분해를 통하여 시간의 흐름과 함께 M2의 예측력이 약화되어왔음을 보일 것이다. 두 번째 질문은, '그렇다면 그 원인은 무엇인가' 하는 것이다. 본 논문에서는 통화수요함수의 장기적 안정성에 대한 공적분 검정을 통하여 90년까지의 표본에서 발견되던 안정성에 대한 증거가 96년까지의 표본에서의 사라짐을 보이고, 이같은 통화수요함수의 안정성 상실을 M2의 예측력 약화의 원인인 것으로 해석할 것이다. 본 논문의 마지막 질문은, 'M2타깃팅의 실제 운영이 인플레이션 및 성장률 안정과 일관되게 추진되어 왔는가' 하는 것이다. 본 논문에서는 통화정책의 반응함수 추정을 통하여 80년 이후 우리나라의 통화정책이 기간에 따라 정책목표가 변화되어 왔음을 보일 것이다. 85년 이전에는 인플레이션의 안정이 추구되었으나 86년에서 92년까지의 기간에는 경기부양이 중점적으로 추구되었던 것으로 보이고, 최근에 이르러서는 인플레이션 안정과 성장률 안정이 비교적 균형되게 추구되고 있는 것으로 평가된다.

• 한국정보처리학회논문지
• /
• 제5권1호
• /
• pp.191-201
• /
• 1998

지리 정보 시스템에서 수치지도 보정(rubber sheeting)이란 물리적으로 동일 지역을 나타내고 있지만 일치하지 않는 두 지도사이의 불일치한 부분이 일치되도록 보정해 주는 것을 말한다. 불일치 종류는 수치지도를 생성하는 방법과 과정 등에서 발생할 수 있으며 또한 시간의 흐름에 따라 변화는 지리 정보의 특성으로 인해 발생하기도 한다. 본 논문에서는 지리 정보 시스템의 성능을 저하시키는 중요한 원인인 불일치 문제를 해결하기 위한 새로운 수치지도 보정 알고리즘을 제시한다. 제시한 방법은 다각형 커널의 무게 중심을 이용하여 다각형을 삼각분할한 후 삼각형 매핑을 적용하는 것이다. 다각형 외부에 위치한 시설물에 대해서도 동일한 방법을 적용하기 위해 제한된 딜로니(Delaunay)삼각분할을 이용하여 외부 영역을 다각형의 집합으로 만들어 주는 방법을 제시한다. 또한 본 논문에서는 수치지도 보정 결과를 평가하기 위한 측정 함수를 제시하였다. 측정 함수는 지리 정보의 특성을 구분짓는 세 가지 중요한 요소인 방향적(directional), 위상적(topological), 측량적(metrical)특성을 이용한다. 그리고 수치지도와 다양한 테스트 데이터를 이용하여 제시한 기법의 성능을 실험하고 그 결과를 측정 함수로 분석하여 제시한 기법이 불일치 해결에 좋은 결과를 보여 줌을 밝힌다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2007년도 학술대회 1부
• /
• pp.1025-1030
• /
• 2007

여러 학계와 산업계로부터 인체영상과 같은 정적인 볼륨 데이터뿐만 아니라, 유체 흐름과 같은 동적으로 움직이는 Time-Variant 볼륨 데이터에 대한 실시간 렌더링의 요구가 계속되고 있다. 일반적으로 Time-Variant 데이터는 그 크기가 정적 볼륨 데이터의 수배에서 수백 배에 이르러, 이를 실시간으로 가시화하는 데에 많은 어려움이 있어왔다. 한편, PC 그래픽스 하드웨어의 급격한 발전에 따라 슈퍼컴퓨터나 다수의 컴퓨터들을 이용한 병렬/분산 렌더링으로나 가능했던 Time-Variant 볼륨 데이터의 실시간 볼륨 렌더링을 한대의 일반 PC에서 수행하려는 시도가 계속되고 있다. GPU의 꼭지점 및 프래그먼트 쉐이더(vertex & fragment shader)는 수치 계산에 최적화된 벡터 연산과 사용자 프로그래밍 기능으로 빠른 볼륨 렌더링을 일반 PC에서도 가능하게 했다. 본 논문에서는 GPU를 이용해서 Time-Variant 볼륨 데이터를 빠르게 가시화하고, 이렇게 개발한 GPU 볼륨 렌더링 프로그램을 사용자가 사용하기 편리하도록 사용자 친화적인 유저 인터페이스를 설계하고 구현하였다. 특히, 시간에 따라 동적으로 변화해야 하는 전이함수를 최대한 편리하게 생성할 수 있도록 전이함수 에디터에 중점을 두었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.53-58
• /
• 2010

코드 난독화 기법 중의 하나인 인라인(Inline)은 코드의 복사를 통하여 함수의 호출 구조를 파괴하여서 코드의 복원과 이해를 어렵게 만든다. 하지만 적절한 전략 없이 인라인 기법을 적용하게 되면, 프로그램 성능이 저하되며 난독화의 결과도 기대 이하일 가능성이 존재한다. 따라서 지나친 성능의 저하를 막으면서 결과적으로 코드의 복원과 이해를 최대한 어렵게 하기 위한 인라인 수행 전략이 필요하다. 이를 위하여 본 논문에서는 정적 함수 호출 그래프를 기반으로 인라인의 적용 여부를 유전 알고리즘을 사용하여 결정하도록 한다. 그리고 인라인 전후의 효용을 보여주기 위하여 정보이론 및 제어 흐름의 복잡도에 기반하여 전체 프로그램의 복잡도를 정의하였다. 마지막으로 해당 기법의 효용을 실험을 통해 보였다.

• 대한의용생체공학회:의공학회지
• /
• 제20권6호
• /
• pp.531-537
• /
• 1999

본 연구에서는 FFT와 파라메트릭 방법에 의한 혈류 추정방법을 연구하고 디지털 신호처리 프로세서를 이용하여 레이저 도플러 혈률계를 구현하였다. 레이저 도플러 혈류계는 피부의 모세혈류의 흐름을 측정할수 있는 장비로서 다양한 분야에 활용이 가능하다. 구현된시스템은 TI사의 TMS320C32 DSP를 사용하였으며, 전력 스펙트럼의 모멘트값을 이용하여 혈류를 추정하였다. 혈류 추정 값은 매 0.5초마다 그래픽 사용자 인터페이스를 통해서 표시하도록 하였다. 시스템의 성능을 평가하기 위해서 혈류 시뮬레이터에 흐르는 혈류를 계단함수, 삼각함수, 사인함수로 제어하여 그 결과를 비교하였으며 인체 부위에 따른 혈류를 측정하였다. 실험결과 구현된시스템의 혈류 추정성 및 재현성이 보장되고있음을 확인할수 있었다.

• 한국콘텐츠학회논문지
• /
• 제12권7호
• /
• pp.445-452
• /
• 2012

본 연구는 충적하천에서 실측된 현장자료를 이용하여 흐름에 관한 저항계수와 관계식을 분석하고 유도하였으며, 연구에는 자연하천 자료 1,865개와 식생하천 자료 739개가 포함된 2,604개 자료가 사용되었다. 회귀분석에 의해 Manning 조도계수와 Darcy-Weisbach 마찰계수 관계식이 자연하천 하상재료와 식생하천 식생자료의 유량과 마찰경사를 함수로 하는 멱함수 형의 식으로 각각 유도되었다.