• Proceedings of the KOR-KST Conference
• /
• 2003.02a
• /
• pp.3-18
• /
• 2003

본 논문은 ATMS와 ATIS에서 요구되는 교통관리 및 정보제공의 효과분석을 위해, 운전자의 주행 및 경로선택 의사결정과 교통제어에 대한 반응등 운전자 행태를 모의실험에 반영함으로써 교통시스템의 실시간 특성을 모사할 수 있는 모형을 구축하고 이를 기반으로 하는 미시적 교통 모의실험기를 개발하는 것을 목적으로 하였다. 본 연구에서는 운전자, 차량, 교통망, 검지 및 신호시스템, 교통정보제공시스템 등을 교통시스템의 주요 구성요소로 설정하였으며 운전자 및 차량특성, 차두시간분포와 차량발생모형, 차량주행모형, 차로변경 및 간격수락모형, 경로선택모형을 주모의실험모형을 구성하는 부모형으로 결정하였다. 따라서 본 논문에서는 각각의 부모형들에 대한 최근의 연구결과들을 검토하고, 현실모사 능력과 함께 다른 부모형들과의 연계, 모의실험기의 구현상에서의 적합성 등을 고려하여 적정모형의 선정 및 수정, 새로운 부모형의 구축을 수행하였다. 구축된 부모형을 통합하여 교통모의실험기를 개발하였으며 구축된 모형의 타당성 및 적용성 검토를 위해 현장자료 및 가상자료를 이용한 검증을 수행하였다. 검증결과 모형의 목적인 교통제어 및 정보제공등의 시스템 대안의 평가에 이용 가능한 것으로 나타났다. 또한 본 논문의 연구결과는 교통제어 및 정보제공전략 대안의 평가뿐만 아니라 차량추종 및 차로변경 등의 미시적 교통모형 연구, 동적기종점 통행량 추정, 동적통행배정의 연구에도 활용할 수 있을 것으로 판단된다. 본 논문의 연구모형은 현단계에서는 현실의 모사 및 분석을 위한 도구보다는 새로운 대안들간의 비교평가를 위한 도구로 활용할 수 있을 것으로 판단된다. 이에 따라 현실모사의 정확도를 확보하기 위한 검증 및 개선이 필요할 것이며, 각 부모형들에 대한 계속적인 연구와 새롭게 발표되는 연구결과를 수용한 지속적인 개발이 필요할 것이다.유기적인 연계에 있음을 밝히고 있다. 건설을 위한 정책적 시사점과 동북아 연구개발정보 Portal 및 APEC APGrid 연구망 등의 구체적인 정보인프라 구축방안을 도출하였다.술 주기를 도출하고, 산업 내 평균 권리 청구 항목 수를 이용하여 각 산업의 기술 범위를 비교하였다. 각각의 동적 분석을 통해 시간에 따른 변화 양상이 관찰하였고, ANOVA 분석을 이용하여 통계적 유의성을 검증하였다. 본 연구는 현재의 기술 패러다임 내에서 Pavitt이 제시한 산업 분류의 근거를 보충 설명하였고 특허 정보를 이용하여 기술혁신의 산업별 유형에 대한 폭넓은 분석방법을 제시하였다.별 시간대별 효과분석을 통하여 정책의 시행여부가 결정되어야 할 것이다. 한편, 화물전용차선의 설치로 인한 물류비용의 절감을 보다 효과적으로 달성하기 위해서는 종합류류 전산망의 시급한 구축과 함께 화물차의 적재율을 높이고 공차율을 낮출 수 있는 운송체계의 수립이 필요한 것으로 판단된다. 그라나 이러한 화물전용차선의 효과는 단기적인 치유책일 수밖에 없기 때문에 물류유통 시설의 확충을 위한 사회간접자본의 구축을 서둘러 시행하여야 할 것이다.으로 처리한 Machine oil, Phenthoate EC 및 Trichlorfon WP는 비교적 약효가 낮았다.>$^{\circ}$E/$\leq$30$^{\circ}$NW 단열군이 연구지역 내에서 지하수 유동성이 가장 높은 단열군으로 추정된다. 이러한 사실은 3개 시추공을 대상으로 실시한 시추공 내 물리검층과 정압주입시험에서도 확인된다.. It was resulted from increase of weight of single cocoon. "Manta"2.5ppm produced 22.2kg of cocoon. It is equal to 9%

• Journal of Korea Water Resources Association
• /
• v.46 no.10
• /
• pp.1029-1040
• /
• 2013

This study aims to develop a multivariate daily rainfall simulation model considering spatial coherence across watershed. The existing Hidden Markov Model (HMM) has been mainly applied to single site case so that the spatial coherences are not properly addressed. In this regard, HMM coupled with Chow-Liu Tree (CLT) that is designed to consider inter-dependences across rainfall networks was proposed. The proposed approach is applied to Han-River watershed where long-term and reliable hydrologic data is available, and a rigorous validation is finally conducted to verify the model's capability. It was found that the proposed model showed better performance in terms of reproducing daily rainfall statistics as well as seasonal rainfall statistics. Also, correlation matrix across stations for observation and simulation was compared and examined. It was confirmed that the spatial coherence was well reproduced via CLT-HMM model.

• Journal of Educational Research in Mathematics
• /
• v.20 no.3
• /
• pp.255-274
• /
• 2010

The main goal of this study is to provide a practical help to teachers who want to practice Problem-Based Learning in mathematics for establishing and realizing PBL environment. This study also produces mathematics PBL Learning Model and Criteria to Judge to help practice and to vitalize PBL in mathematics. To solve the research topics, I reviewed theoretical issues related to PBL, which became theoretical bases of this study. And then, from the theoretical background, items of criteria to judge mathematical problems in mathematics PBL are abstracted. And, through checking on content validity by experts, criteria to judge mathematical problems in mathematics PBL are completed. Also, based on previous PBL models, learning model in mathematics PBL that takes characteristics of mathematics into account is suggested through case studies by observing, a qualitative research method, on PBL study to materialize it. This research is expected to help teachers who want to practice PBL in mathematics.

• Korean Journal of Optics and Photonics
• /
• v.28 no.5
• /
• pp.203-212
• /
• 2017

A scientific model refers to a conceptual system that can describe, explain, and predict a particular physical phenomenon. The co-construction of the scientific model is attracting attention as a new teaching and learning strategy in the field of science education and various studies. The evaluation and modification of models compared with the predicted models of data from the real world is the core of modeling strategy. However, there were only a limited data provided by the teacher in many studies of modeling comparing the students' predictions of their own models. Most of the students were not given the opportunity to evaluate the suitability of the model with the data in the real world. The purpose of this study was to develop a scientific model co-construction program that can evaluate the model by directly comparing the predicted models with the observed data from the real world. Through a collaborative discussion between teachers and researchers for 6 months, a 5-session scientific model co-construction program on the subject 'image formation by convex lenses' for second grade middle school students was developed. Eighty (80) students in 3 classes and a science teacher with 20 years of service from general public co-educational middle school in Gyeonggi-do participated in this 2-week program. After the class, students were asked about the helpfulness and difficulty of the class, and whether they would like to recommend this class to a friend. After the class, 95.8% of the students constructed the scientific model more than the model using the construction rule. Students had difficulties to identify principles or understand their friends, but the result showed that they could understand through model evaluation experiment. 92.5% of the students said that they would be more than willing to recommend this program to their friends. It is expected that the developed program will be applied to the school and contribute to the improvement of students' modeling ability and co-construction ability.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.12
• /
• pp.163-173
• /
• 2010

PKI(Public Key Infrastructure)-based information certification technology has some limitations to be universally applied to mobile banking services, using smart phones, since PKI is dependent on the specific kind of web browser, Internet Explorer. OTP(One Time Password) is considered to be a substitute or complementary service of PKI, but it still shows low acceptance rate. Therefore, in this research, we analyze why OTP has not been very popular, and provide useful implications of making OTP more extensively and frequently used in the mobile environment. Perceived security of OTP was set as a higher-order construct of integrity, confidentiality, authentication, and non-repudiation. Research findings show that security awareness and perceived security of OTP is positively associated, and the relationship between perceived security and trust on OTP is statistically significant. Also, trust is positively related to intention to use OTP continuously.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.257-257
• /
• 2018

서울특별시를 비롯한 주요 도시지역의 하수관망은 그 개수는 많고 복잡하여 실시간 도시홍수예보에 적합하지 않다. 따라서 전체 하수관망을 사용하여 구축한 강우-유출모형에 단순화를 실시하여 분석하지만 연구자의 주관과 단순화 방식에 따라 유출결과가 크게 달라지며 정확한 단순화 범위에 대한 가이드라인이 제시되어 있지 않다. 따라서 본 연구에서는 하수관망의 개수 및 분포가 각각 다른 여러 도시지역의 하수관망을 일정기준으로 단순화하여 유출, 침수분석을 통한 단순화 적정성을 판단하고 도시지역의 획일적인 하수관망 단순화 가이드라인을 산정하고자 한다. 분석대상지역은 문래, 구로, 도림천 유역으로, 각 유역을 대상으로 구축한 강우-유출모형의 관망개수는 각각 2000, 10000, 40000여개이다. 하수관망 단순화는 SWMM에서 노드의 누가유역면적을 단순화의 범위 산정을 위한 기준으로 설정하였으며 총 5가지 범위의 누가유역면적을 기준으로 단순화하였다. 이를 통해 산정된 획일적인 단순화의 범위는 실시간 도수홍수예보에 적합한 합리적이고 정확도 높은 유출모형 구축에 기여할 수 있을 것으로 판단된다.

• Journal of Korea Multimedia Society
• /
• v.8 no.8
• /
• pp.1119-1133
• /
• 2005

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. The implemented formal checker is able to verify whether properties expressed in modal logic are true in specifications using modal mu-calculus. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification. The suggested tools are implemented by C++ language under Windows NT.

• Journal of the Korean Data and Information Science Society
• /
• v.26 no.2
• /
• pp.289-299
• /
• 2015

The objective of the present study is to develop statistical quantitative forecast model for PM10 concentration over Seoul. We used three types of data (weather observation data in Korea, the China's weather observation data collected by GTS, and air quality numerical model forecasts). To apply the daily forecast system, hourly data are converted to daily data and then lagging was performed. The potential predictors were selected based on correlation analysis and multicollinearity check. Model validation has been performed for checking model stability. We applied two models (multiple regression model and threshold regression model) separately. The two models were compared based on the scatter plot of forecasts and observations, time series plots, RMSE, skill scores. As a result, a threshold regression model performs better than multiple regression model in high PM10 concentration cases.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2017.05a
• /
• pp.83-83
• /
• 2017

수자원공학에서 일강수량 모의기법은 다양한 목적으로 활용되고 있지만, 일반적으로 홍수와 가뭄의 영향을 고려할 수 있는 수공구조물의 위험도 및 신뢰성 평가 및 수자원 계획을 수립하기 위한 입력 자료생성을 목적으로 활용된다. 유역 단위의 분석시 단일 지점에 대한 강수 모의 기법을 적용할 경우 각각의 지점에서 관측된 강수 자료의 시계열 및 통계치 특성이 효과적으로 재현되지만 공간적으로 발생하는 즉, 지점 간의 종속관계를 재현하지 못하는 문제가 발생한다. 이러한 이유로 공간적인 전이 특성이 있는 가뭄 분석 및 유역내 유출량의 공간적 변동 특성 분석에 단일지점별 모의 결과를 이용할 경우 관측 자료와 상반된 공간적 변동성으로 인하여 잘못된 가뭄 및 유출 분석 결과가 도출되는 문제점이 있다. 따라서, 실제적으로 발생하는 강수 특성을 반영한 유역 단위의 홍수 및 가뭄 등의 수문 분석을 위해서는 지점간의 종속성을 반영할 수 있는 다지점 강수 모의 모형의 적용이 필수적이다. 본 연구에서는 다지점 모의에 있어서, Wilks 모형의 지점별 시변동 특성과 공간상관성 재현 능력, HMM 모형이 갖는 강수 사상별로 분포된 양적 분포 패턴 재현 능력을 복합적으로 나타낼 수 있는 새로운 다지점 일강수량 모의 모형인 기계학습 기반 범주화 기법을 이용한 다지점 일강수량 모의 모형(ML-MRS)을 개발하였다. 또한, 지점별 강수량에 적용되는 확률분포모형은 Gamma 분포로 구성된 혼합모형을 적용하여 단일 확률 분포 모형의 자료 적합 문제를 개선하였다. 모의를 통한 일강수량 시계열 자료는 일 강수자료의 통계량을 효과적으로 모의하였으며, 다지점 모형의 모의 결과를 적용한 가뭄 모의 결과 관측 자료에서 나타나는 공간적 패턴이 재현되었다. 본 모형은 시 공간적 사상을 효과적으로 재현함으로서 지역의 변동특성을 반영한 가뭄, 홍수, 기상 현상 분석 등 활용도가 매우 높을 것으로 판단된다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.349-349
• /
• 2022

기후변화가 고착화되면서 강우와 기온 변동으로 인한 가뭄 및 홍수 발생이 점차 증가하고 있다. 유역 단위의 유출량 예측은 기후변화로 인한 자연재해에 대비하기 위한 수자원 관리의 시작이라 할 수 있다. 하지만, 기후변화와 유출모형의 불확실성은 정확한 유출 분석을 어렵게 한다. 본 연구에서는 위에 제시된 불확실성을 완화하기 위하여 기후 스트레스 시나리오에 따른 두 개의 집중형 수문모형, 즉 airGR과 IHACRES를 이용하여 강우 및 온도 변화에 따른 유출량 변화를 비교, 분석하였다. 연구 대상 지역은 합천댐과 섬진강댐 유역이며, 각 모형을 NSE(Nash-Sutcliffe Efficiency) 및 KGE(Kling Gupta Effieicncy)를 목적함수로 하여 매개변수를 최적화를 하였다. 모형의 보정과 검정은 20년(1995년~2014년)의 유출 자료를 활용하였으며, 보정 및 검정 기간은 각각 6:4 비율로 설정하였다. 두 모형 모두 보정과 검정 기간에 비교적 높은 신뢰도(NSE>0.7, KGE>0.8)를 보여, 모형이 과거 사상을 재현하기에 적합하고, 모의 결과가 비교적 유사함을 확인하였다. 다음으로, 기후 스트레스 시나리오를 구축하기 위해 위 20년 입력 자료를 바탕으로, 강우는 -50%에서 +50%의 범위를 1%씩 구분하였으며, 기온은 0℃에서 8℃까지 0.1℃ 범위로 하여 총 8,181개의 시나리오를 구축하였다. 이후, 기후 스트레스 시나리오에 따른 두 모형의 풍수량, 최대 유량, 평수량을 비교, 분석하였다. 기후 스트레스 영향을 반영한 풍수량과 연최대유량의 경우, 강우 증가에 따른 유출 증가 등의 패턴은 두 모형에서 비슷하였으나, 강우와 기온의 변화가 커질수록 더욱 상이한 결과를 얻었다. 이와 반대로, 평수량의 경우 강우와 온도의 변화가 증가함에 따라 더욱 유사한 결과를 얻었다. 즉, 유역의 탄력적 기후변화 대응을 위해서는 모형의 불확실성에 대한 정량적 평가가 필요하다는 것을 시사한다.