• Journal of Korean Society of Disaster and Security
• /
• v.12 no.4
• /
• pp.63-72
• /
• 2019

There is an increasing demand for catchment runoff estimation to cope with the natural disasters such as typhoon, extreme rainfall. However, the ungauged catchments are common case in practices. This study suggested a rationalization of conceptual rainfall-runoff model for typhoon flood events in Geum river region. And the developed models were validated based on the observed hydrological data. Therefore, developed regionalization models could estimate catchment runoff for Typhoon flood events. It will be used as basic data for the river management for extreme flood conditions.

• Journal of Korean Port Research
• /
• v.7 no.1
• /
• pp.25-42
• /
• 1993

지난 20여년간 화물수송 분야에는 큰 변화가 있었다. 수송 공급 측면에서는 보다 다양하고 기술적으로 앞선 수송수단들이 등장했으며, 수송 수요 측면에서는 로지스틱스 개념의 도입으로 화주들의 보다 높은 수송 서비스가 요구 되었다. 수송수단의 수송 분담에 있어서도 특히 철도에서 공로로의 두드러진 화물이동 현상이 나타났다. 이러한 변화는 수송 현안 해결에 대한 관심을 높이고 화물수송수요 예측기법의 이론적, 개념적인 발달을 가져왔다. 그 중 두드러진 발달은 화주의 행태를 반영하는 행태모형의 개발과 새로운 자료수집 방법 및 자료형태이다. 전통적으로 화물수송 및 교통 연구에 널리 사용된 행태모형은 확률표본을 사용하여 왔으나, 80년대 부터 비확률 표본 사용에 관심이 높아졌다. 그 대표적인 것으로 기반근거 데이터를 들 수 있다. 이 데이터는 제한된 정보를 제공한다는 자료자체의 한계를 지니고 있으나, 자료수집이 용이하고 비용이 저렴하다는 장점을 가지고 있다. 화물수송 분야에서 선택기반 데이터를 이용한 연구는 현재까지 두 편이 발표 되어 있다. 따라서 볼 연구는 선택기반 데이터를 이용한 개별선택모형의 잠재력을 검증하는 것을 그 목적으로 하고, 네 종류의 제조품 그룹을 대상으로 기반근거 데이터를 수집하여 로짓모형을 추정하였으며, 추정결과를 이전 연구들의 결과와 비교하여 그 타당성을 검토 하였다. 추정된 결과는 통계적으로 유의하며 직관적으로 타당한 것으로 나타난다. 또한 그 결과는 문헌의 결과와도 일치하였다. 수송계획에 있어서 자료수집비용 절감의 필요성을 생각할 때 이것은 중요한 의미를 지닌다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.775-779
• /
• 2009

최근 이상기후 및 국지성 돌발호우 등 여러 가지 형태의 예기치 못한 기상이변으로 인하여 매년 수재해는 빈번히 발생하고 있으며, 이를 위해 하천에서 실시간으로 신속하고 안정성있는 수리학적 하도추적모형의 구축은 지속적으로 연구해야 할 사항이다. 현재 주요 수계 홍수통제소에서는 홍수예보를 위해 주로 수리학적 및 수문학적 모형이 병행되어 적용되고 있으나, 한강과 금강하류를 제외한 나머지 수계에서는 아직까지 개념적 수문학적 모형만을 이용하여 홍수예보를 수행하고 있는 실정이다. 그러나, 신속하고 안정적인 수문학적 모형이 가지고 있는 몇가지 장점에도 불구하고, 실시간 분석 및 신속한 상황대처를 위해서는 정교한 하천흐름해석 기술인 수리학적분석이 반드시 필요하다. 그러나, 대부분의 모형운영자가 직면하게 되는 수리학적 하도추적모형에서 발생하는 수치적 불안정성인 발산의 문제점은 상당한 어려움으로 작용하고 있다. 이는 다양한 원인들이 있을 수 있으나, 대표적으로 단면의 불규칙성을 고려할 수 있다. 실제단면들을 모형에 반영할 때 수치계산의 과정 중에 급확대/급축소/특이단면에 따른 잦은 발산이 발생하게 되며, 이를 방지하기 위해서 단면의 보간 및 평활화 작업 등을 수행하게 된다. 이때 단면의 형상을 최대한 반영한 보간 및 평활화 작업이 되지 않으면, 물리적 개념이 무시된 비합리적인 계산이 수행될 수 있다. 발산의 요인을 제거한 최적의 단면형태를 선정하는 것은 모형의 안정성을 확보하는 데 중요한 요인이 된다. 또한 모형수행에 있어 발산의 요인으로서 하구와 만나게 되는 지점에서의 경계조건으로서 조위영향이 있다. 수리학적 하도추적모형의 중요한 요인인 하구에서의 흐름을 조위와 연계하여 가장 합리적인 하류 경계조건을 제시하는 것이 모형의 발산 방지 및 정확도를 향상시키는데 중요한 인자로 작용하고 있다. 본 연구에서는 이와 같은 수리학적 하도추적모형의 안정성 검증을 위하여, 아직까지 수리학적 하도추적모형이 구축되어 있지 않는, 금강상류구간인 용담댐$^{\sim}$대청댐구간을 설정하여 수리학적 모형의 입력자료를 구축하고, 그에 따른 영향검토를 지속적으로 추진할 계획이다. 대상구간에서 향후 검증될 다양한 수리학적 안정화 기술은 향후 타 수계에서 적용시, 신속하고 합리적인 입력자료 구축에 많은 도움을 줄것이며, 현재 하천에서 발생하는 계산의 불안정성을 빠르게 수정하는 것이 가능하다.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.13 no.5
• /
• pp.395-411
• /
• 2011

This paper presents a new supporting system using steel ribs. In order to perform this research, experimental and numerical studies were performed. In the experimental study, the scaled model tests for the new supporting system consisting of the steel ribs and rock bolts were carried and compared with the conventional existing supporting system. The numerical simulation was carried out to evaluate the new supporting system to verify the experimental results. It was found that the new tunnel supporting system will reduce the tunnel damage.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2008.05a
• /
• pp.458-462
• /
• 2008

교육에서 수월성의 문제가 처음 제기된 문제는 아니지만 국가 간의 경쟁력이란 차원에서뿐만 아니라 교육환경의 개선이란 차원에서도 현대사회에서 창의적인 사고력을 지닌 학생의 교육이 무엇보다 강조되고 있다. 이 논문에서는 정보 영재의 교육 중에서 프로그래밍을 위한 사고력 신장에 적합한 교수-학습 모형 개발 및 적용에 목적을 두고 있다. 제안된 교수-학습 모형에서 자료구조로는 트리를 구성하고 제어구조로는 recursion 개념을 학습하도록 하고 있다. 정보 영재 지도에 도입할 수 있는 가능성을 모색하기 위해 교수-학습 모형을 현장에 적용하여 교육 프로그램 개발의 타당성을 검증한다. 예제로 선택한 하노이 타워를 트리로 구성하는 방법과 트리 탐색의 방법으로서 recursion 개념을 적용하는 교수-학습 활동으로 사고력 신장을 위한 교육 프로그램 개발의 타당성을 검증한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.1052-1058
• /
• 2005

연구개발 프로그램을 체계적으로 평가하려는 노력은 선진국의 경우 이미 상당히 정착된 단계에 이르고 있으며, 국내에서도 1999년부터 국가 연구개발 프로그램의 효율성 제고를 목적으로 국가과학기술위원회 조사${\cdot}$분석${\cdot}$평가를 실시하고 있다. 이러한 배경에는 정부 내에서 연구개발 프로그램이 다원화되고 다양화되고 있는 가운데 국가 전체적인 차원의 전략적 중요성은 계속 높아지고 있기 때문인 것으로 풀이된다. 따라서 본 연구에서는 일반적인 프로그램 평가 모형을 고찰하고, 특히 국가 연구개발 프로그램 특성을 고려하여 연구개발 성과(Performance), 프로세스(Process), 사람(People)의 체계적인 평가를 위한 개념적 모형으로서 ${\ulcorner}$연구개발 프로그램 행동-프로세스 모형${\lrcorner}$을 제시하고자 한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1996.04a
• /
• pp.602-605
• /
• 1996

가상경로의 개념은 ATM망의 효율적인 전송체게임이 이미 여러 연구에 의하여 밝혀져 있다[1,2,7,9,10]. 본 논문에서는 등가대역의 개념을 이용하여 가상경로가 가질 수 있는 QoS를 다양하게 고려한 새로운 가상경로 설정모형(MVCAP)과 해법을 제사하였다. 모형 MVCAP은 (1) 가상경로의 설정에 따르는 용량비용(capacity cost)과 제어비용(control cost)간의 trade-off을 반영하였으며 (2) 가상경로의 QoS를 다양하게 고려하여 통계적 다중화 효과를 충분히 반영하도록 하였고 (3) 가상경로의 설정방법들인 분리설정법(segregation method)와 통합설정법(integration method)을 동시에 고려한 모형을 수립하였으며 (4) 등가대역식의 선형근사를 이용하여 목적함수를 단조 감소시키는 발견적 해법을 제시하였다. 소형문제에 대한 실험결과, 본 논문의 모형은 가상경로의 설정을 실시간 안에 이룰 수 있는 가능성을 열어 보였다.

• Journal of the Korean Society for Library and Information Science
• /
• v.37 no.2
• /
• pp.319-342
• /
• 2003

Catalog serves a dual purposes. One is finding function(or identifying function) that is identified and located specific items and the other is collocating function which is displayed specific author's all works and all related editions. This study is re-examined the functions of catalog. For catalog's effective serving this study is provided and overviewed the FRBR(Functional Requirements for Bibliographic Record) models as reference conceptual model for functions of catalog.

• Journal for History of Mathematics
• /
• v.25 no.4
• /
• pp.21-36
• /
• 2012

It is commonly believed that the model-theoretic account of logical consequence is originated from Tarski' s 1936 paper. But Etchemendy has denied this. This paper discusses and evaluates the recent controversies over whether the definition of logical consequence presented in Tarski' s paper is based on the fixed-domain conception or the variable-domain conception.

• Proceedings of the Korean System Dynamics Society
• /
• 1999.08a
• /
• pp.59-86
• /
• 1999

조직행동론의 제 분야들 중에서 가장 다양한 이론들이 제시되고 있는 영역은 개인의 성취동기와 관련된 분야이다. 개인의 성취동기와 관련된 현상을 이해하고 설명하며 예측을 시도하려는 노력으로 다양한 이론들 내지는 개념적 모형들이 제시되어 왔다. 그러나 이론들을 일관성 있는 체계로서 통합하기란 상당히 어렵다. 이는 다양한 이론들을 통해 일관성 있게 정의된 구성개념이 없어 이론이나 모형들 간의 분명한 비교와 평가가 어렵기 때문이다. 또한 만족과 같은 주요 변수들에 대한 명확한 정의가 부족하기 때문이다 (Schwab ＆ Cummings, 1970)(중략)