• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.11a
• /
• pp.233-235
• /
• 2022

43차 산업혁명이 도래함에 따라 해운분야에도 자동화 및 무인화 기술을 접목한 안정성과 효율성을 향상시키기 위한 기술개발이 진행중이다. 그중 선박의 신속하고 안전한 이/접안을 돕도록 고안된 자동계류시스템은 선박의 식별 정보와 융합센서로부터 다양한 정보를 수집해 인력의 개입이 최소화하거나 무인화할 수 있으며, 이는 계류 라인을 이용한 기존 방법 대비 발생하는 위험 요소를 줄이고 효율적인 도선 지원이 가능하게 한다. 본 연구팀은 기초단계 연구로서 자율 운항 선박 구현을 위한 자동 계류 시스템 개념 설계를 제시한다. 연구내용은 크게 자동 계류시스템의 하드웨어 설계, 제어 및 운용 프로세스 설계, 선체 계측 기술 개발, 운동변위/계류력 산정 수치모델 개발, 항만 내 운영환경 및 시나리오 분석으로 분류할 수 있으며 본 발표에서는 연구현황과 추후 진행 방향에 대해 다루도록 한다.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.19 no.2
• /
• pp.101-106
• /
• 2024

For the commercialization of automated vehicles, it is necessary to create various scenarios that can evaluate driving safety and establish a data system that can verify them. Depending on the vehicle's ODD (Operational Design Domain), there are numerous scenarios with various parameters indicating vehicle driving conditions, but no systematic methodology has been proposed to create and combine scenarios to test them. Therefore, projects are actively underway abroad to establish a scenario library for real-world testing or simulation of autonomous vehicles. However, since it is difficult to obtain data, research is being conducted based on simulations that simulate real road. Therefore, in this study, parameters calculated through individual vehicle trajectory data extracted based on roadside CCTV image-based driving environment DB was proposed through the extracted data. This study can be used as basic data for safety standards for scenarios representing various driving behaviors.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.44 no.1
• /
• pp.57-67
• /
• 2008

Recently, Korean shipbuilding industry is keeping up the position of world wide No. 1 in world shipbuilding market share. It is caused by endless efforts to develope new technologies and methods and fast development of IT technologies in Korea, to raise up its productivities and efficiency in shipbuilding industry with many kinds of optimizing methods including genetic algorithm or artificial life algorithm... etc. In this paper, we have suggested the artificial life algorithm with relay search micro genetic algorithm. and we have improved a defect of simple genetic algorithm for its slow convergence speed and added a variety of solution candidates with applying relay search simple genetic algorithm. Finally, we have developed intelligent agent system for ship CAE modeling. We have tried to offer some conveniences a ship engineer for repeated ship CAE modeling by changing ship design repeatedly and to increase its accuracy of a ship model with it.

• Nuclear Engineering and Technology
• /
• v.41 no.1
• /
• pp.91-98
• /
• 2009

The "3+3 Process" for safety critical software for nuclear power plants' I&C (Instrumentation and Control system) has been developed in this work. The main idea of the "3+3 Process" is both to simplify the software development and safety analysis in three steps to fulfill the requirements of a software safety plan [1]. The "3-Step" software development process consists of formal modeling and simulation, automated code generation and coverage analysis between the model and the generated source codes. The "3-Step" safety analysis consists of HAZOP (hazard and operability analysis), FTA (fault tree analysis), and DV (design validation). Put together, these steps are called the "3+3 Process". This scheme of development and safety analysis minimizes the V&V work while increasing the safety and reliability of the software product. For assessment of this process, validation has been done through prototyping of the SDS (safety shut-down system) #1 for PHWR (Pressurized Heavy Water Reactor).

• Journal of Korea Multimedia Society
• /
• v.14 no.8
• /
• pp.1029-1040
• /
• 2011

Electronic identity (e-ID) card based on smartcard is a representative identity credential for on-line and off-line personal identification. The e-ID card can store the personal identity information securely, so that the information can be accessed fast, automated identity verification and used to determine the cardholder's authorization to access protected resources. Due to such features of an e-ID card, the number of government organizations and corporate enterprises that consider using e-ID card for identity management is increasing. In this paper, we present an authentication framework for access control system using e-ID cards by discussing the threat environment and security requirement against e-ID card. Specifically, to accomplish our purpose, we consider the Personal Identity Verification system as our target model.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.13 no.2
• /
• pp.27-33
• /
• 2014

This paper proposes a gradation image processing method for the development of a Road Sign Recognition Platform (RReP), which aims to facilitate the rapid and accurate management and surveying of approximately 160,000 road signs installed along the highways, national roadways, and local roads in the cities, districts (gun), and provinces (do) of Korea. RReP is based on GPS(Global Positioning System), IMU(Inertial Measurement Unit), INS(Inertial Navigation System), DMI(Distance Measurement Instrument), and lasers, and uses an imagery information collection/classification module to allow the automatic recognition of signs, the collection of shapes, pole locations, and sign-type data, and the creation of road sign registers, by extracting basic data related to the shape and sign content, and automated database design. Image division and merging, which were applied in this study, produce superior results compared with local binarization method in terms of speed. At the results, larger texts area were found in images, the accuracy of text recognition was improved when images had been gradated. Multi-threshold values of natural scene images are used to improve the extraction rate of texts and figures based on pattern recognition.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.05a
• /
• pp.368-371
• /
• 2020

반도체 제조시설의 효율성을 위해 대부분의 현장에서는 물류 자동화 시스템 (AMHS, Automated Material Handling System)을 도입하여 운영하고 있다. OHT(Overhead Hoist Transfer)는 반도체 공정에서 주로 활용되는 Monorail 컨베이어 형태의 자동 반송 시스템의 일종으로 작업물을 들고 제조라인 위에 설치된 레일을 따라 자율적으로 이동하는 방식으로 운영된다. 도체 물류 시스템의 계층적인 구조적 특징과 고가의 재료를 다루고, 외부유출이 어려운 실제 공정 현장, 실험 환경의 시간, 공간적 구축 등의 현실적 특징 때문에 반도체 제조 공정의 자동화 물류시스템에 대한 모델링 및 시뮬레이션을 통한 연구의 필요성이 대두되고 있다. 본 논문에서는 OHT를 효율적으로 제어하기 위해 DEVS(Discrete Event System Specifications) 형식론을 기반으로 OHT 시스템 모델링 및 시뮬레이션 설계 방법을 제안한다. 이를 위해 반도체 제조 시스템의 전반적인 물류 과정에 대해 분석하고, DEVS 형식론에 대해 연구하며, 이를 바탕으로 반도체 물류 시스템을 위한 모델링 및 시뮬레이션을 설계하였으면, 실험을 통해 제안된 모델리 반도체 물류 시스템 시뮬레이션을 수행할 수 있음을 보인다.

• Solar Energy
• /
• v.11 no.3
• /
• pp.3-8
• /
• 1991

There are fifteen solar radiation measurement stations over the entire country in Korea. However, they are not capable of supplying reliable solar radiation data for remote areas including islands. The un-manned automated insolation measurement station is suitable for these areas due to the electric power shortage and the maintenance problems at these isolated areas. Our main aim in this work is to develop a solar radiation measurement system which collects and stores data by itself utilizing a PV module and a battery as power source for entire system irregardless of the environmental condition. A developed KIER's prototype system along with an independent HWS reference system has been installed at the designated remote island, Dok-do. Global solar radiation has been measured every hour for a 6-month period of time by both systems at this site. A comparison between the measured solar radiation data by each system indicates that there is an excellent agreement showing average 3.0% of an absolute error. It has been observed that the 8-month average global solar radiation was $2,330W/m^2$ day at this island. We came to the conservative conclusion that the developed KIER system is applicable for measuring solar radiation and for supplying reliable fundamental design data for solar energy utilization system at the remote areas.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.8
• /
• pp.229-234
• /
• 2020

This paper presents the design and the implementation of CRESTIVE-DX, a concolic testing tool that distribute the concolic testing process over the embedded target system and the host system for efficient test generation of a target embedded program. CRESTIVE-DX conducts the execution of a target program on the target embedded system to consider possible machine-dependent behaviors of a target program execution, and conducts machine-independent parts, such as search-strategy heuristics, constraint solving, on host systems with high-speed computation unit, and coordinates their concurrent executions. CRESTIVE-DX is implemented by extending an existing concolic testing tool for C programs CREST. We conducted experiments with a test bed that consists of an embedded target system in the Arm Cortex A54 architecture and host systems in the x86-64 architecture. The results of experiments with Unix utility programs Grep, Busybox Awk, and Busybox Ed show that test input generation of CRESTIVE-DX is 1.59 to 2.64 times faster than that of CREST.

• Journal of the Korean Society for information Management
• /
• v.21 no.3
• /
• pp.227-250
• /
• 2004

In order to design effective electronic records management systems, it is viable to consider both traditional principles of records management, proven to be effective, and the characteristics of digital information. ISO 15489, an international standard for records management, is acknowledged as the most useful guidelines for this goal. The present study extracted basic principles of electronic records management from its provisions of 7 functional steps. It then compared the principles to system requirements of three system design criterion, developed by Department of Defense(U.S.A.) Public Records Office(Britain). and European Union respectively. Common requirements, included in all three criterion. were then searched in the Korean standard of developing automated systems for records centers. Finally, suggestions were made to develop a Korean standard for electronic records management system, elaborating from the core requirements of the system found by the present study.