• 한국컴퓨터정보학회논문지
• /
• 제22권2호
• /
• pp.29-35
• /
• 2017

In this paper, we present a 5W1H programming model for IT non-experienced people who are not familiar with computer programming and those who need programming education. Based on this model, we can design a development tool that can be easily programmed by beginners. This development tool is a programming method applying the 5W1H concept and constructs a sentence to satisfy the control condition of 'Who, When, Where, What, and How', which is the sentence element of 5W1H. Therefore, the user can easily develop the target system as if constructing the sentence without learning the programming language of the target system. In this paper, to verify the effectiveness of the 5W1H programming model proposed in this paper, we applied the concept of 5W1H programming to Arduino and developed the development tool and performed the first verification and applied the second verification to the speech recognition smart home development platform.

• 상하수도학회지
• /
• 제34권2호
• /
• pp.105-114
• /
• 2020

In this study, based on the System Dynamics (SD) methodology, the interrelationship between the factors inherent in the operation of the New Technology Certification System (NTCS) in Korea was identified by a causal map containing a feedback loop mechanism in connection with 'new technology development investment', 'commercialization of new technology', and 'sales by new technology'. This conceptualized causal map was applied to the simulation of the operations of the New Excellent Technology and Environmental Technology Verification System (NET&ETV) run by the Ministry of Environment among various NTCSs in Korea. A SD computer simulation model was developed to analyze and predict the operational performance of the NET&ETV in terms of key performance indices such as 'sales by new technology'. Using this model, we predicted the future operational status the NET&ETV and found a policy leverage that greatly influences the operation of the NET&ETV. Also the sensitivity of the key indicators to changes in the external variables in the model was analyzed to find policy leverage.

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

This study is to perform the rainfall-runoff analysis of the basin of Yongdam dam where is loacted in the Geumriver basin. The model used is the SAC-SMA model which was developed by U.S. National Weather Service. The Precipitation data used as the input data of the model are daily ones observed in 2002 and the mean of values recorded in 5 rainfall stations. The evaporation data are used observed in Daejeon meteorological station. The geographical data such as basin slope and stream gradient are elicited from the numerical map analysis. In the verification through the comparison of calculated daily inflow with observed one, parameters used in the model are estimated manually. As the result of verification, total annual calculated inflow is 13,547CMS and agree accurately with the observed one. During the period of one year of 2002, before 100 days and after 250 days, the soil moisture condition in the upper zone was significantly dry and in spite of the rainfall in this period, the runoff was not generated. Through this result, we can observe that the moisture condition in the soil affects strongly the runoff in a basin.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권9호
• /
• pp.529-537
• /
• 2008

병행 컴포넌트를 포함하는 소프트웨어는 디버깅하기가 매우 어렵다. 따라서 철저하면서도 자동화된 검증 도구의 사용이 필수적이다. 이러한 도구 개발의 노력 중 하나가 바운드 모델 체킹 도구이다. 바운드 모델 체킹은 주어진 바운드 k 안에서 시스템의 실행 경로에 에러가 존재하는지를 철저히 검사한다. 본 논문에서는 LTS로 모델링 된 병행 프로그램을 검증하는 바운드 모델 체킹 도구를 소개한다. 이 도구에서 속성은 FLTL로 기술되는데 FLTL은 LTS 모델에서 액션을 가지고 속성을 표현하기에 적합하다. 우리는 기존 모델 체커들과의 실험을 통해서 개발된 도구의 성능을 비교분석한다.

• 환경영향평가
• /
• 제9권1호
• /
• pp.13-24
• /
• 2000

This paper presents a study of water quality model applications in environmental impact statements which were submitted during recent years in Korea. Most of the applications have reported that the development projects would have significant impacts on the water quality, especially, of streams and rivers. The water quality models, however, were hardly used as an impact prediction tool. Even in the cases where models were used, calibration and verification studies were not performed and thus the predicted results would not be reliable. These poor model applications in environmental impact assessment can be attributable to the fact that there were no available model application guidelines as well as no requirements by the review agency. In addition, the expected waste loads were improperly estimated in most cases, especially in non-point sources, and the predicted parameters were not good enough to understand water quality problems expected from the proposed plans. The effects of mitigation measures were not analyzed in most cases. Again, these can be attributed to no formal guidelines available for impact predictions until now. A brief guideline is described in this paper, including model selection, calibration and verification, impact prediction, and analysis of effects of mitigation measures. The results of this study indicate that the model application should be required to overcome the current improper predictions of environmental impacts and the guidelines should be developed in detail and provided.

• 한국항공우주학회지
• /
• 제37권2호
• /
• pp.131-138
• /
• 2009

해석용 모델의 검증이란 완성된 모델이 실제 제품의 특성을 반영하고 있는지에 대한 확인절차이다. 일반적으로 해석모델작성 시 형상의 단순화 및 비선형특성의 반영에 대한 한계 등으로 공학적 가정을 이용하므로 실제 구조와는 다른 물리적, 기계적 특성을 갖게 된다. 본 연구에서는 순차적 2차계획법(Sequential Quadratic Programming, SQP)을 이용하는 목표달성기법(Goal-Attainment Method)의 다목적 최적화 기법을 이용하여 활공체 날개의 정적 처짐과 고유진동수 차이를 최소화하는 방법으로 구조모델의 최신화를 수행하였으며, 모드형상의 일치성을 정량적으로 판단하기 위하여 Modal Assurance Criterion(MAC)를 이용하였다.

• Design & Manufacturing
• /
• 제18권2호
• /
• pp.64-73
• /
• 2024

The purpose of this paper is to introduce a fusion method that combines the design of experiments (DOE) and machine learning to optimize the bias of plastic products. The study focuses on the plastic motor housing used in automobiles, which is manufactured through plastic injection molding. Achieving optimal molding for the motor housing involves the optimization of various molding conditions, including injection pressure, injection time, holding pressure, mold temperature, and cooling time. Failure to optimize these conditions can lead to increased product deformation. To minimize the deformation of the motor housing, the widely used Taguchi method, which is one of the design of experiment techniques, was employed to identify the injection molding conditions that affect deformation. Machine learning was then applied to various models based on the identified molding conditions. Among the models, the Random Forest model emerged as the most effective in predicting deformation amounts. The validity of the Random Forest model was also confirmed through verification. The verification results demonstrated the excellent prediction accuracy of the trained Random Forest model. By utilizing the validated model, molding conditions that minimize deformation were determined. Implementation of these optimal molding conditions led to a reduction of approximately 5.3% in deformation compared to the conditions before optimization. It is noteworthy that all injection molding outcomes presented in this paper were obtained through robust injection molding simulations, ensuring both research objectivity and speed.

• 정보보호학회논문지
• /
• 제25권6호
• /
• pp.1503-1514
• /
• 2015

인터넷은행 환경 조성과 관련하여 금융당국이 발표한 비대면 실명확인 정책은 대면 이상의 정확성을 기하기 위해 다중확인을 원칙으로 하고 있다. 인터넷은행은 기존 인터넷뱅킹과 법적 실체와 사업모델이 다른데, 본인확인 구조로써 인터넷뱅킹의 본인확인 구조를 유지한 채 실명확인만 대면에서 비대면으로 대체하는 것은 최초 가입자에게 불편을 줄 뿐 아니라, 엄격한 대면확인을 거치는 인터넷뱅킹보다 보안위험에 더 노출될 수 있다. 본 연구는 인터넷은행의 서비스 단계를 등급화하고, 등급에 따라 차등화된 서비스등록 및 이용이 이루어지도록 개선된 본인확인 구조를 제안한다. 또한, 인터넷은행에 대해 발생할 수 있는 보안취약점과 공격모델을 수립하고, 각 공격모델에 대한 인증매체의 보안특성과 서비스 단계별 안전성을 분석한 결과 등급에 따라 기존 인터넷뱅킹보다 비슷하거나 더 높은 안전성을 제공하고, 이용자 가입 유도 측면에서 유용함을 확인하였다.

• 한국항공우주학회지
• /
• 제45권6호
• /
• pp.508-516
• /
• 2017

항공우주 시스템 개발에 있어 M&S (Modeling and Simulation)의 광범위한 사용이 보편화되고 있고 인증(Certification) 혹은 인정 (Accreditation)을 통해 부적절한 M&S의 사용으로 인한 사고나 위험을 제도적으로 방지하려는 노력이 있어 왔다. 본 연구는 이와 관련된 M&S의 VV&A (Verification, Validation, and Accreditation) 활동을 다루었다. 항공우주 M&S는 항공우주시스템 개발에 활용을 목적으로 하고 대부분 물리법칙 기반의 모델링 기법을 사용한다. 또한, 시제제작 후 검증용 데이터가 비행시험을 통해 최종 확보된다는 점에서 여타의 M&S와는 다른 접근방법이 필요하다. 본 연구는 이러한 특성을 고려하여 M&S 개발과 VV&A의 시작점이라 할 수 있는 항공우주 시스템 개발에 적합한 M&S의 수명주기 모델과 개발 패러다임을 다양한 문헌 연구를 토대로 제안하였다.

• 한국가스학회지
• /
• 제5권2호
• /
• pp.43-51
• /
• 2001

본 연구에서는 상용프로그램(STONER) 상에 천연가스 전국 배관망 모델이 수립되었다. 이를 위해 STONER 상에 전국 배관망도가 작성되었으며, 배관망도 상에 기존 자료를 토대로 전국 각 배관의 배관 관경, 연장 길이가 입력되었다. 그리고 배관내를 흐르는 가스를 정의하기 위해 천연가스의 비중값이 입력되었다. 마지막으로 배관의 성질과 가스 온도를 결정하기 위해 실측치와의 비교 검증을 통하여 오류를 최소화하였다. 이에 먼저 주 배관성질 값이 가정되었고, 이에 대해 실측 수요 자료를 가지고 배관망 분석이 수행되었다. 그리고 분석 결과 계산된 공급압력과 실측된 공급 압력을 분산 비교하여 최종적으로 배관의 성질값을 결정하였다. 이렇게 배관의 성질 결정에 있어서 기존의 배관망 모델 수립 방법과는 다르게 실측자료와의 검증 방법을 사용하여 좀더 실제에 접근한 모델을 수립할 수 있었다.