• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.355-357
• /
• 2002

정보 흐름 보안성은 프로그램 보안성 검증 문제의 하나로서 주어진 프로그램이 각 변수들에 미리 정해진 보안수준이 허용하는 범위 내에서만 정보가 교환되는지를 검증하는 것이다. 프로그램 정적 분석을 위한 여러 가지 방법들 중에서 요약 해석법은 프로그램 분석의 기조를 마련할 뿐 아니라 저장기반 데이터흐름 분석 문제를 간략하게 해주는 장점을 가지고 있다. 본 논문에서는 요약해석을 이용하여 정보흐름 보안성을 검증하는 방법을 설명하고 이를 이용하여 프로그램 개발 시에 유용한 디버깅 정보를 제공하는 방법을 제시한다.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.8
• /
• pp.97-106
• /
• 2009

ABEEK, an independent non-governmental organization, is the recognized accreditor for the educational programs in engineering and related disciplines. ABEEK has developed the standard accreditation criteria to meet diverse needs of the engineering and related communities in Korea. A student attending at the accredited program has to complete the required courses and elective courses according to the curriculum flowchart to meet the accreditation criteria for a bachelor. Therefore an efficient and effective tool is necessary to support the adviser to monitor the completion of the required courses and elective courses according to the curriculum flowchart. In this paper, we describe an adviser tool developed. To develop an adviser tool. we established databases which contain the information of courses and their relations according to the curriculum flowchart. Adviser tool was developed to analyze student's DegreeAudit and represent the current completion information on the curriculum flowchart for effective monitoring. A closed test was performed and showed the increase of efficiency to meet the accreditation criteria for a bachelor.

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

최근 자연형하천 조성사업과 하천복원 등을 목적으로 하천의 치수, 이수적인 기능뿐만 아니라 생태적인 기능을 고려한 하천설계를 위하여 많은 노력들을 하고 있다. 이와 같은 목적으로 하천의 생태적 통로가 단절되는 것을 막기 위해 하천 횡단 구조물인 보와 낙차공에 어도를 설치하고 있다. 하지만 현재 어도 설계는 어도 내의 흐름특성을 정확히 고려하지 못하고 설계되어 어도 본래의 기능을 수행하지 못하는 경우가 많았다. 그 이유는 현장 상황에 따라 어도의 종류와 형태가 다양하게 설계되고 있는 것에 반해 이를 검토할 수 있는 방법이 수리실험으로 한정되어 있어서 어도내 흐름특성을 결정하기 어렵기 때문이다. 어도 설계를 위한 수리실험은 시간적, 공간적 및 경제적인 제약으로 인해 다양한 형태의 어도 조건과 수리조건을 검토하기에는 현실적으로 어려움이 있는 반면에 수치모의는 매개변수 결정에 어려움이 있지만 수리실험에 비해 다양한 형태와 수리조건에 대해 간편하게 흐름특성을 예측할 수 있는 장점이 있다. 따라서 본 연구에서는 어도 설계시 간편하게 어도내 흐름특성을 예측할 수 있도록 기존에 사용되고 있는 수리실험 결과와 수치모의 기법을 이용한 흐름해석 결과를 비교하여 보았다. 수치모의는 3차원 흐름모형인 FLOW-3D를 이용하였고, 어도 형태는 도류벽식 어도를 대상으로 수행하였다. 수행 결과 수리실험과 비교하여 수심별로 최대 13% 정도의 오차를 보이고 있으며, 최대유속 발생 지점을 비교한 결과 하폭의 6% 정도 오차를 보였다. 따라서 최종 설계 이전에 어도의 흐름특성을 예측하기 위한 방법으로 FLOW-3D를 사용한다면 충분히 활용 가능할 것으로 판단된다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.1460-1465
• /
• 2005

본 연구에서는 장수형 등(2005)이 제시한 실시간 저수지 유입량 예측모형과 통합하여 하나의 시스템을 구축한 후 하류 하도의 홍수통수능력과 현재 저수지 수위에서 방류 가능량을 고려하여 수문에서의 조절 방류 방안을 제시하였다. 또한, 현재시간 이후로 유입되는 홍수량을 감안하여 강우가 종료되어서도 이수용량이 확보되도록 하였다. 연구는 예당저수지에 적용하였으며, 방류량 계산시 최대 방류가능량은 저수위와 수문의 개도고에 따라 오리피스와 완전월류 흐름을 구분하여 계산하였으며 방류기준은 하류 하도의 통수능력, 강우종료 후 이수용량 확보 등을 감안하여 결정하였다. 연구의 적용결과, 본 연구에서 개발된 저수지 운영시스템을 적용한 결과 강우종료 후에도 이수용량 확보가 가능하였으며, 하류하도의 피해을 최대한 주지 않는 범위 내에서 저수지의 수문조작이 가능하여 예당지의 홍수조절능력을 극대화할 수 있는 방안을 제시하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2010.05a
• /
• pp.1780-1783
• /
• 2010

최근 물부족이나 빈번한 홍수와 가뭄을 발생시키는 것으로 예측되는 기후변화에 대응하고 하천을 문화생태공간으로 회복시키기 위해 국가하천에 대한 대규모의 사업이 실시되고 있다. 따라서 하천의 효율적인 이수 및 치수 방안을 수립하고, 그 적용방안을 논의하여 보다 나은 결과를 얻기 위한 논의가 필요하다는 인식이 확산되고 있다. 본 연구에서는 2차원 수리모형인 SMS(Surface Water Modeling System)와 1차원 수리모형인 HEC-RAS를 이용하여 낙동강의 지류인 밀양강에서의 흐름 특성을 분석하였다. 밀양시에서 낙동강 하류 합류점까지의 흐름을 HEC-RAS를 이용하여 1차원 분석을 실시하고, 이를 이용하여 2차원 모형인 RMA2를 모의한 후 대상 유역의 흐름을 분석하여 수리학적 특성을 파악하고 홍수기 시 대상유역에 대한 효과적인 관리방안을 수립하고자 한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2020.06a
• /
• pp.20-20
• /
• 2020

신곡수중보는 한강종합개발사업(1982년~1986년) 중 하도정비로 인하여 상시 수위가 저하됨으로써 조수의 과도한 역류 등으로 발생하는 이수상의 문제점을 해결하고 상류에 설치된 잠실수중 보 사이의 수위유지 및 하천 공간 이용의 극대화, 연안 농경지의 용수공급 및 하천환경 보전을 목적으로 건설되어, 「잠실 및 신곡수중보 관리규정(1986)」 및 「신곡수중보 운영 매뉴얼」에 의해 관리·운영되고 있다. 신곡수중보는 준공된 이래로 한강하류의 흐름 해석에 있어 중요한 기준과 경계로서 이와 관련한 다양한 연구가 진행되었다. 신곡수중보로 인한 흐름의 변화가 하상과 생태에 미치는 영향에 관한 연구와 하구역에서의 조위 및 흐름특성과 밀도류의 거동에 관한 1, 2차원 수치해석연구가 활발히 진행되었다. 본 연구에서는 그동안 1, 2차원 수치해석연구로 한정되었던 신곡수중보 흐름특성에 관련하여 실제 수문 운영 방식을 반영한 3차원 수치해석을 수행하여 구조물의 상·하류에서 발생하는 와류 및 이차류와 같은 3차원적 흐름 구조와 이에 따른 지형의 침식·퇴적 및 구조물에 미치는 영향 등을 구체적으로 분석하였다. 우선, 신곡수중보 운영 매뉴얼과 실제 가동보 운영시스템을 비교하여 수문개방 시기, 유량 기준의 수문 운영 방법, 수위 변화에 따른 수문 운영 방법, 수문개방 순서를 분석하고 신곡수중보 주변 흐름에 대한 3차원 수치해석모형 구축을 위한 경계조건을 산정하였다. 수치해석에는 상용프로그램인 FLOW-3D를 사용하였으며, 경계처리기법 및 난류해석을 위해 FAVOR 기법과 RNG k-ε 모델을 적용하였다. 수문 동시개방 개수, 수문 개방 위치 및 순서, 개방 높이에 대한 조건을 변화시켜 구성한 시나리오에 대해 수치해석 후, 유속, 난류에너지, 이차류 등의 흐름특성을 분석하고 상·하류 수위차에 따른 방류량을 산정하여 시설물의 관리안을 도출하고 운영 매뉴얼의 개정안을 제시하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.257-257
• /
• 2019

최근 기후변화에 따른 대응을 위해 기존 수자원 활용의 고도화 및 배수능력 증대를 위해 다양한 방안이 추진되고 있으며, 그에 따라 기존 개수로에 신규 수로를 연결하여 합류와 분류를 시키는 사례가 증가하고 있다. 특히 신규 개수로 연결을 위한 분류부 형상은 관련 설계기준, 분류유량의 규모, 해당 지점의 하상변동 경향, 지형여건, 흐름 분류시설 및 구조물의 형태(양수펌프장, 스크린이나 수문, 암거설치)와 같은 구조적 요인 등에 의해 달라지지만, 이와 관련된 연구가 매우 부족한 실정이다. 따라서 본 연구에서는 2차원 수치모형을 이용하여 분류부 평면형상 변화에 따른 분류유량비와 흐름분리구역 분포 등에 대한 흐름특성을 분석하고 이수와 치수계획 수립 등에 활용하고자 한다. 본 연구에서는 TELEMAC-2D 모형을 이용하여 주수로 상류 유입흐름의 프루우드 수가 0.74, 0.52인 두 흐름에 대해 형상변화 폭을 주수로 폭(B)의 1B, 주수로 형상변화를 급확대, 점진적 확대 구간길이를 1B~3B로 변화시키며 분류유량비(분류수로 유입유량/상류 유입유량)와 흐름분리구역의 위치와 크기 등에 대한 분석을 수행하였다. 분류부 상류 유입흐름의 프루우드 수가 0.74, 분류유량비는 0.33인 흐름은 주수로 형상변화 구간길이가 1B 일 때 0.44~0.46, 3B일 때 0.54~0.60으로 점차 분류유량비가 증가한다. 반면 상류 유입흐름의 프루우드수가 0.52, 분류유량비가 0.52인 흐름은 주수로 형상변화 구간길이가 1B일 때 0.77~0.82에서 3B일 때 0.70~0.80으로 점차 분류유량비 증가율이 감소하는 경향을 나타내게 된다. 주수로 형상변화 폭을 0.5B, 1B로 달리하여 수로 형상변화를 시킨 경우 분류유량비 증가율은 각각 135~162%, 134~176%로 나타났으며, 이는 수로 형상변화 폭보다 변화구간 길이가 더 큰 분류유량비 변화에 영향을 미치는 것을 확인할 수 있다. 흐름분리구역은 상류 유입흐름의 프루우드 수가 0.74인 경우 수로형상 변화구간과 분류수로 입구에 형성되지만, 상류유입흐름의 프루우드 수가 0.52인 경우 수로형상변화 구간과 주수로 하류에도 형성된다. 수치실험 결과 동일수로 폭 직사각형 $90^{\circ}$ 분류수로에서 분류부 평면형상의 변화에 따라 주수로 하류방향흐름의 관성력은 감소하는 반면 분류수로로 향하는 횡압력경사와 흐름분리구역 발생위치 변화로 인해 분류 수로내 통수능이 증가하여 분류유량비가 급격하게 증가하게 된다. 또한 분류부 상류 유입흐름의 관성력이 작은 경우 분류부 평면형상 변화시 주수로 하류방향에서도 흐름분리구역이 형성되고 주수로 종방향 수위가 상승함에 따라 분류흐름 계획수립 시 세심한 주의가 필요하다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2010.05a
• /
• pp.630-634
• /
• 2010

최근의 기후변화는 강우강도의 증가로 인한 홍수의 빈도 및 홍수량의 증가로 인한 홍수 피해의 증가를 유발하고 있으며, 갈수기 및 평수기의 유량감소로 인한 수질의 악화와 부유사의 증가로 인한 피해가 증가하고 있는 실정이다. 이러한 피해에 대한 대책으로는 기후변화를 유발하는 전 지구적인 온난화의 대책이 가장 선행되어야 하겠으며, 또한 이수, 치수를 위한 정확한 하천해석을 통한 하천관리가 매우 중요한 실정이다. 하천관리는 경제 산업적 측면에서 중요한 분야이며, 바람직한 하천관리를 위해서는 하천의 거동에 대한 정확한 해석이 필수적이다. 많은 흐름 해석에서 섬이나 하천 구조물의 주위에서 복잡한 2차원적인 하천 흐름의 특성을 잘 나타낸다. 2차원 수치모형들은 이러한 불규칙한 경계면에서 발생하는 난류흐름을 처리하는데 어려움이 있다. 이는 대부분의 실제하천이나 홍수파 해석, 댐 붕괴류 해석, 조수영향과 같은 해안공학의 문제에서도 발생한다. 본 연구에서 개발한 난류해석기법의 적용성을 검증하기 위하여 내부경계가 존재하는 실험하도에 대한 수치모의를 수행하고 결과를 실험치, 해석해와 비교를 통하여 모형의 적용성과 적정 난류교환계수를 선정하였다. 실측치와 비교검토를 통하여 본 연구에서 개발된 2차원 난류해석을 유한요소모형의 적용성을 검증하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 1992.07a
• /
• pp.101-108
• /
• 1992

하천에서의 2차원 흐름특성 해석을 위하여 2차원 shallow water식을 기본방정식으로 하고 이를 불연속보간 함수와 upwinding weighting을 도입한 petrov-Galerkin 방법에 의하여 해석하는 RIV-FEM2를 개발하였다. RIV-FEM2는 전처리(pre-processing), 주처리(analysis-processing), 후처리과정(post-processing)으로 구성되어 있다. 2차원 가상하도의 경우와 실제 하천에 대하여 본 모형을 적용한 결과 유속분포, 수면형 및 해석영역내에서의 mass flux의 보존등의 면에서 수렴성과 안정성이 뛰어나고 계산속도도 작게 나타나 본 모형의 적용성을 입증할 수 있었다. 본 연구를 통하여 개발된 RIV-FEM2는 실제의 하천에서의 수자원의 이수 및 치수관리면에서 크게 기여할 수 있을 것으로 판단된다.

• Journal of the Korean Chemical Society
• /
• v.61 no.1
• /
• pp.34-44
• /
• 2017

The purpose of this study was to analyze the conception type change and to investigate the effect of understanding on concepts in electrochemistry after general chemistry lessons. The significant differences in concept understanding of electrochemistry were shown in both groups. Statistically significant gains in both groups were as shown in distinguishing the chemical cell, in identifying the anode and cathode, and in understanding current formation and flow, while, significant achievements in understanding the role of the salt bridge, and the need for a standard half-cell were not found. Taking elective chemistry II in high school had an effect on understanding related concepts of electrochemistry in general chemistry lessons. It was shown that many freshmen had difficulties in understanding exact related concepts in several kinds after general chemistry lessons. In order to solve these problems, it is necessary to teach contents of the basic concepts in electrochemistry exactly and to hold supplementary lessons.