• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.2
• /
• pp.180-185
• /
• 2003

This paper proposes an intelligent navigation algorithm for multiple mobile robots under unknown dynamic environment. The proposed algorithm consists of three basic parts as follows. The first part based on the fuzzy rule generates the turning angle and moving distance of the robot for goal approach without obstacles. In the second part, using both fuzzy and neural network, the angle and distance of the robot to avoid collision with dynamic and static obstacles are obtained. The final adjustment of the weighting factor based on fuzzy rule for moving and avoiding distance of the robots is provided in the third stage. The experiments which demonstrate the performance of the proposed intelligent controller is described.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.237-243
• /
• 1996

최근, 한국원자력연구소에서 개발된 3차원 노심 거동분석 코드인 MASTER$^{[1]}$ 는 노심의 정상 및 과도상태에서 기존의 다른 코드와 비교해서, 보다 정확하면서 빠르게 노심 분석을 할 수 있다. 특히, 노심의 과도상태에서의 해석을 위해서는 간단한 입력체계와 신뢰할 수 있는 결과가 기대되었는데, 기존의 CE사와 KWU사의 코드체계인 ROCS/HERMITE및 MEDIUM/PANBOX는 과도상태에서의 노심 분석을 위해 1차원 및 3차원 과도해석 코드와의 연계로 인한, 부수적인 입력작성 및 정확도를 유지하기 위한 많은 Tuning 작업이 요구되나 MASTER 코드는 정상 및 과도상태에서의 노심 분석을 동시에 할 수 있어, 적은 노력으로 정확한 계산결과를 기대할 수 있다. 그래서, 과도상태에서 MASTER 코드의 신뢰성을 검증하기 위하여 IAEA Benchmark 계산 및 영광1호기의 5주기 노심을 대상으로 RIA(Reactivity Induced Accident) 분석을 수행하였다. 본 연구에서는, 미임계 노심에서의 Bank Withdrawal 사고와 전출력 및 영출력에서의 Rod Ejection 사고를 대표적인 RIA사고로서 연구를 수행하였으며, 그 결과를 기존 KWU사 코드인 PANBOX로 수행된 NSAR(Nuclear Safety Analysis Report)$^{[2]}$ 의 결과와 비교하였다. 결과에 의하면, MASTER 코드는 그 정확도를 충분히 신뢰할 수 있으며, NSAR 분석 시에 사용된 군정수, 코드의 해석 방법론 및 초기조건의 불 일치성으로부터 기인된 약간의 차이 외에는 PANBOX의 계산결과와 유사하였다.

• Korean Journal of Remote Sensing
• /
• v.36 no.5_1
• /
• pp.707-723
• /
• 2020

In this study, a decision tree type of quality control (QC) method was developed to improve the temporal-spatial representation and accuracy of the visibility data being operated by the Korea Meteorological Administration (KMA). The quality of the developed QC method was evaluated through the application to the 3 years (2016.03-2019.02) of 290 stations visibility data. For qualitative and quantitative verification of the developed QC method, visibility and naked-eye data provided by the KMA and QC method of the Norwegian Meteorological Institute (NMI) were used. Firstly, if the sum of missing and abnormal data exceeds 10% of the total data, the corresponding point was removed. In the 2nd step, a temporal continuity test was performed under the assumption that the visibility changes continuously in time. In this process, the threshold was dynamically set considering the different temporal variability depending on the visibility. In the 3rd step, the spatial continuity test was performed under the assumption of spatial continuity for visibility. Finally, the 10-minute visibility data was calculated using weighted average method, considering that the accuracy of the visibility meter was inversely proportional to the visibility. As results, about 10% of the data were removed in the first step due to the large temporal-spatial variability of visibility. In addition, because the spatial variability was significant, especially around the fog area, the 3rd step was not applied. Through the quantitative verification results, it suggested that the QC method developed in this study can be used as a QC tool for visibility data.

• Journal of KIISE:Software and Applications
• /
• v.34 no.3
• /
• pp.212-218
• /
• 2007

Not enough verification or enough design of test is not performing in many software developments organization as yet. Therefore, defects that can be detected and corrected during the beginning phases of development are usually found during dynamic testing, it is often observed that testing is inefficient compared to effort for testing. This study aims to suggest a method for effective testing through case study. It is useful in case of not verification and not enough design of test in the previous phase than coding. We show in a concrete way major activities that determine prioritization of testing and level of test case design through static testing, i.e. code review and analysis of code quality. And also we show role between test team and development team.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.4
• /
• pp.351-359
• /
• 2014

This paper introduces the lithium ion battery system for LEO(Low Earth Orbit) small satellites. This study proves the reliability of lithium ion batteries applying to the space application. The specifications for lithium ion battery unit are proposed to supply power to the satellite and the overall mechanical design including structural simulation to confirm the reliability of the lithium ion BMS(Battery Management System) under the space environment and launching conditions. The results of structural simulation, functional tests, and space environmental tests show the lithium ion battery system is space qualified. Space qualification of the small satellite battery system to secure reliability of BMS and lithium ion batteries lend credibility for using lithium ion batteries in space application.

• Proceedings of the KIEE Conference
• /
• 2005.10c
• /
• pp.6-8
• /
• 2005

스프링 조작기는 초고압 GIS, GCB 등의 개폐장치를 구동시키는 조작 장치로서 동작 중 부품에 큰 충격력 및 힘이 작용하여 파손되는 경우가 발생한다. 이에 개발 설계 단계에서 스프링 조작기의 구조적 건전성 확보를 위해 각 부품에 작용하는 힘을 예측하여 평가, 검증하는 해석 및 시험 기술이 요구된다. 본 논문에서는 145kV GIS용 스프링 조작기를 ADAMS로 다물체 동역학 해석을 수행하여 추출한 부품의 조인트 반력을 이용하여 응력 해석을 수행하였다. 그리고 그 결과와 응력측정 시험 데이터와의 비교를 통해 해석의 신뢰성을 검증할 수 있었다. 여기서는 한 예로 커넥팅 로드에 대한 신뢰성 평가를 시행하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.235-235
• /
• 2023

하천 내에서 하상변동은 치수나 생태계에 직간접적인 영향을 끼치는 것으로 알려져 있다. 하상변동의 예측을 위한 여러 가지 모델들이 존재하지만 하상변동의 양상을 직관적으로 파악하기에는 어려움이 있다. 최근 수행된 연구결과에 따르면 하천의 수리 기하학적 형상이 부유사 농도와 유량과의 관계와 관련이 있는 것으로 밝혀졌다(Kim et al., 2018). 본 연구에서는 하상변동과 부유사의 농도를 밀접한 관련이 있다고 가정하여 수리기하(Hydraulic Geometry) 이론을 이용하여 하상변동의 경향성을 표현하여 하상변동의 경향성을 직관적으로 유추할 수 있는 기법을 제시하고자 한다. 이를 위해 본 연구에서는 하상변동을 수리기하적표현을 이용하여 해석적으로 제시하였고 수치모의를 실시하였으며 실제 자연하천에 대해 검증을 수행하였다. 수치모의는 자연에 존재할 수 있는 다양한 하천형상을 표현하기 위해 수리기하 이론에서의 수심과 폭을 나타내는 인자들을 이용하여 하천의 형상을 넓고 얕은 하천, 좁고 깊은 하천, 중간 정도의 하천으로 분류하였으며 흐름조건을 정상류와 부정류조건으로 분류하였다. 또한 하상경사와 하상재료의 입경분포를 고려하였다. 그리고 실제 하천에 대한 검증은 대한민국에 존재하는 갑천, 미호천, 남강, 임진강, 원주천, 금호강의 하상변동 자료를 이용하여 실시하였다. 하상변동의 경향성을 직관적으로 표현하기 위해 Manning 공식을 이용하여 하상전단력의 수리기하 지수를 수심, 유속, 조도계수의 수리기하지수들로 표현하였다.

• Journal of Digital Convergence
• /
• v.19 no.1
• /
• pp.99-105
• /
• 2021

This study aimed to verify the positive effect of work meaningfulness(WM) on flourishing(FL) with the successive positive effects of work engagement(WE) and job performance(JP) as dual mediators. We conducted an online survey of 395 incumbents working in the companies of different types and statistically analyzed data using SPSS and SPSS Process macro for hierarchical regression and bootstrapping. The results are as follows: 1. correlation coefficients of all combinations from four variables are significant, 2. simple mediation effects(WM-WE-FL and WE-JP-FL) are significant, 3. dual mediation effet(WM-WE-JP-FL) is verified. This study showed practical guide for the efficient management of employees in recent autonomous work environment and further studies with longitudinal method will be needed in order to verify substantially the dual mediation.

• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.1-12
• /
• 2000

Model checking is a formal verification technique which checks the consistency between a requirement specification and a behavior model of the system by explorating the state space of the model. We apply model checking to the formal verification of the concurrent object-oriented system, using an existing model checker SPIN which has been successful in verifying concurrent systems. First, we propose an Actor-based modeling language, called APromela, by extending the modeling language Promela which is a modeling language supported in SPIN. APromela supports not only all the primitives of Promela, but additional primitives needed to model concurrent object-oriented systems, such as class definition, object instantiation, message send, and synchronization.Second, we provide translation rules for mapping APromela's such modeling primitives to Promela's. As an application of APromela, we suggest a verification method for UML models. By giving an example of specification, translation, and verification, we also demonstrate the applicability of our proposed approach, and discuss the limitations and further research issues.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.2
• /
• pp.31-40
• /
• 2008

Various coding styles for C language have been proposed so far but there has been a lack of synthetic review about them. In this paper, I propose a new C coding style by analyzing coding rules that are included in the representative C coding styles and by adding new coding rules besides them. In addition, I designed an automated C coding style checker named CStyler which was implemented using Lex and Yacc. It is designed to be able to verify unpreprocessed source code as well as preprocessed source code. And I improved its flexibility by being able to add a new coding rule by end user. I think that the new C coding style and coding style checker, CStyler, can be utilized for education and for future research to develop and extend a static analysis tool.