• 한국정보과학회논문지:시스템및이론
• /
• 제29권5호
• /
• pp.291-298
• /
• 2002

키 교환 프로토콜에서 상호 인증은 필수 요소이며, 사용자에게 편리하고 비용이 적게 드는 패스워드 기반의 인증 방식이 널리 사용되고 있다. 패스워드 기반의 프로토콜은 패스워드가 가지는 제약으로 인한 공격에 대해서 안전해야 할 뿐 아니라, 사용자의 작업량을 줄이기 위한 효율성도 매우 중요한 요건 이다. 본 논문에서는 서버와 사용자간의 인증을 제공하고 세션키를 공유하기 위한 키 교환 프로토콜 OTP-EKE(One Time Password based Encrypted Key Exchange)를 제안하였다. 키 교환을 위한 사용자 인증방식으로 패스워드 방식을 채택하였다. 특히 서버 디렉토리에 대한 공격 등에 대해서 안전도를 높이기 위하여 원-타임-패스워드 확인자와 서버의 공개 패스워드를 이용하였다. 제안한 프로토콜은 모듈라지수승 계산 횟수와 메시지 전송 횟수를 줄임으로써 효율성 향상을 보인다.

• 한국지리정보학회지
• /
• 제9권3호
• /
• pp.193-206
• /
• 2006

본 논문은 객체지향 디자인 패턴에 기반하여 지오센서 모델을 설계하고, JBuilder를 이용하여 지오센서 인터페이스 시스템을 구축하는 효율적인 방법을 제안하고자 한다. 이와 같은 지오센서 기술은 다량의 현장 정보를 실시간으로 원거리에서 네트워크를 구성하여 관리할 수 있는 지리정보시스템의 새로운 연구 분야가 될 것이다. 지오센서 네트워크와 지리정보시스템을 접목시키는 기술은 나날이 증가되고 있는 지리정보의 기능을 충족시키는데 필요한 요소이다. 따라서 본 논문은 객체 지향 지오센서 미들웨어를 개선하기 위해 GoF 디자인 패턴 활용하고자 한다. 본 논문은 객체지향 디자인 패턴의 활용함으로써 재사용, 모듈화, 그리고 수정이 용이한 소프트웨어를 개발할 수 있는 최적화된 지오센서 인터페이스의 구현에 기여할 것이다.

• 한국공간구조학회논문집
• /
• 제17권4호
• /
• pp.59-68
• /
• 2017

This paper aims at finding some lessons applicable to successful implementation of 'The 3D Printing R/D Project' through both examining the process of adopting overseas industrialized housing production technological knowhow by home builders during the 1970's~1980's period and thereafter until now the various efforts to adjust the technologies efficiently to the Korea's unique situation. Some meaningful lessons can be summarized as follows; I) Deep understanding of 3DP technological know-why along with its inheritance, II) Readjusting of R/D period and goals(cf. Global leader Winsun's 15 years experiment), III) Restructuring for more collaborative R/D B&E system among participating researchers IV) Fostering 3DP expert-engineers and technicians from the early stage, V) Clearing legal barriers in users' adopting 3DP methods necessary, VI) Development of appropriate building material besides concrete. Therefore, it is highly recommended that the above-mentioned 6 lessons positively accepted and applied to the Research Implementation Plan in due course, especially by KICT consortium and KAIA under the guidance of Ministry of Land, Infrastructure and Transport.

• 한국항행학회논문지
• /
• 제19권1호
• /
• pp.15-21
• /
• 2015

WA-DGNSS는 지상에서 수신한 GNSS 신호를 관련 오차 계산 후 보정 정보를 생성하여 위성을 통해 사용자에게 보정 정보를 제공하는 시스템을 말한다. 사용자는 이 시스템을 통해 위치 정확도 향상 및 GNSS 신호에 대한 신뢰성을 보장 받는다. 또한 국제 민간항공기구(ICAO)에서는 항공기 이착륙 절차에 광역 보정시스템의 적용을 권고하고 있다. 본 논문에는 항공관련 소프트웨어 개발 절차 관련 규격문서인 RTCA DO-278의 소프트웨어 검증 프로세스를 참고하여 기 구축된 WA-DGNSS 광역 기준국 소프트웨어의 모듈 및 통합 테스트 단계를 구성하여 검증을 위한 방법론을 제시한다. 또한 제시한 방법론을 통해 기준국 소프트웨어 테스트를 통계적으로 검증하였으며 이러한 검증을 통해 기준국 소프트웨어의 기능이 적절히 수행됨이 확인되었다.

• Journal of Power Electronics
• /
• 제13권4호
• /
• pp.679-691
• /
• 2013

High-power electromagnetic transmitter power supplies are an important part of deep geophysical exploration equipment. This is especially true in complex environments, where the ability to produce a highly accurate and stable output and safety through redundancy have become the key issues in the design of high-power electromagnetic transmitter power supplies. To solve these issues, a high-frequency switching power cascade based emission power supply is designed. By combining the circuit averaged model and the equivalent controlled source method, a modular mathematical model is established with the on-state loss and transformer induction loss being taken into account. A triple-loop control including an inner current loop, an outer voltage loop and a load current forward feedback, and a digitalized voltage/current sharing control method are proposed for the realization of the rapid, stable and highly accurate output of the system. By using a new algorithm referred to as GAPSO, which integrates a genetic algorithm and a particle swarm algorithm, the parameters of the controller are tuned. A multi-module cascade helps to achieve system redundancy. A simulation analysis of the open-loop system proves the accuracy of the established system and provides a better reflection of the characteristics of the power supply. A parameter tuning simulation proves the effectiveness of the GAPSO algorithm. A closed-loop simulation of the system and field geological exploration experiments demonstrate the effectiveness of the control method. This ensures both the system's excellent stability and the output's accuracy. It also ensures the accuracy of the established mathematical model as well as its ability to meet the requirements of practical field deep exploration.

• 한국환경복원기술학회지
• /
• 제11권5호
• /
• pp.92-103
• /
• 2008

Development of new approaches to achieve naturally good ecological potential of forest road cut-slope by making the best use of advantages of gabion systems with vegetation base materials to prevent slope failure and erosion, in the area with highly erodible soil. As a result on the type analysis of gabion systems already installed in road cut-slopes, gabion systems were generally established to prevent slope failure. Existing gabion systems can be divided into monolithic and modular system and can be divided into ten subtypes according to the purpose of establishment and combination of other measures. As a result on the monitoring of erosion amount from forest road cut-slopes in the test applications, the order of erosion amount from largest to smallest is as follows : the curved road cut-slope site where normal gabion system was established ($7,911cm^3$); the control site ($7,632cm^3$); the straight road cut-slope site where normal gabion system was established ($7,301cm^3$); the curved road cut-slope site where the new gabion system was established ($5,684cm^3$); and the straight road cut-slope site where the new gabion system ($5,325cm^3$). Therefore, the result shows that the new gabion system is more effective than the normal gabion system to reduce erosion amount from forest ! road cut-slopes. During the study period, vegetation coverages of the straight and curved road cut-slope site where the new gabion system was established were about 45% and about 36%, so average vegetation coverage of the sites where the new gabion systems was established was higher than the sites where the normal gabion systems was established. Therefore, it was concluded that the new gabion system can be more effective for cut-slope revegetation.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2018년도 추계학술대회
• /
• pp.190-192
• /
• 2018

NIST 표준으로 정의된 이진체 상의 5가지 pseudo-random 타원곡선과 5가지 Koblitz 타원곡선을 지원하는 타원곡선 암호 (Elliptic Curve Cryptography; ECC) 프로세서를 설계하였다. Lopez-Dahab 투영 좌표계를 적용하여 모듈러 곱셈과 XOR 연산으로 스칼라 곱셈 (scalar multiplication)이 연산되도록 하였으며, 32-비트${\times}$32-비트의 워드 기반 몽고메리 곱셈기를 이용한 고정 크기의 하드웨어로 다양한 키 길이의 ECC가 구현될 수 있도록 설계하였다. 설계된 ECC 프로세서는 FPGA 구현을 통해 하드웨어 동작을 검증하였으며, 0.18-um CMOS 셀 라이브러리로 합성한 결과 100 MHz의 동작 주파수에서 10,674 GEs와 9 킬로비트의 RAM으로 구현되었고, 최대 154 MHz의 동작 주파수를 갖는다.

• Journal of Electrical Engineering and Technology
• /
• 제9권5호
• /
• pp.1471-1481
• /
• 2014

This paper presents the new power dissipation model of individual switching device in a high-level modular multilevel converter (MMC), which can be mostly used in voltage sourced converter (VSC) based high-voltage direct current (HVDC) system and flexible AC transmission system (FACTS). Also, the voltage balancing method based on sorting algorithm is newly proposed to advance the MMC functionalities by effectively adjusting switching variations of the sub-module (SM). The proposed power dissipation model does not fully calculate the average power dissipation for numerous switching devices in an arm module. Instead, it estimates the power dissipation of every switching element based on the inherent operational principle of SM in MMC. In other words, the power dissipation is computed in every single switching event by using the polynomial curve fitting model with minimum computational efforts and high accuracy, which are required to manage the large number of SMs. After estimating the value of power dissipation, the thermal condition of every switching element is considered in the case of external disturbance. Then, the arm modeling for high-level MMC and its control scheme is implemented with the electromagnetic transient simulation program. Finally, the case study for applying to the MMC based HVDC system is carried out to select the appropriate insulated-gate bipolar transistor (IGBT) module in a steady-state, as well as to estimate the proper thermal condition of every switching element in a transient state.

• Nuclear Engineering and Technology
• /
• 제41권6호
• /
• pp.785-796
• /
• 2009

A KALIMER-600 concept which is a type of sodium-cooled fast reactor, has been developed at KAERI. It uses sodium as a primary coolant and is a pool-type reactor to enhance safety. Also, a supercritical carbon dioxide ($CO_2$) Brayton cycle is considered as an alternative to an energy conversion system to eliminate the sodium water reaction and to improve efficiency. In this study, a simplified model for analyzing the thermodynamic performance of the KALIMER-600 coupled with a supercritical $CO_2$ Brayton cycle was developed. To develop the analysis model, a commercial modular modeling system (MMS) was adopted as a base engine, which was developed by nHance Technology in USA. It has a convenient graphical user interface and many component modules to model the plant. A new user library for thermodynamic properties of sodium and supercritical $CO_2$ was developed and attached to the MMS. In addition, some component modules in the MMS were modified to be appropriate for analysis of the KALIMER-600 coupled with the supercritical $CO_2$ cycle. Then, a simplified performance analysis code was developed by modeling the KALIMER-600 plant with the modified MMS. After evaluating the developed code with each component data and a steady state of the plant, a simple power reduction and recovery event was evaluated. The results showed an achievable capability for a performance analysis code. The developed code will be used to develop the operational strategy and some control logics for the operation of the KALIMER-600 with a supercritical $CO_2$ Brayton cycle after further studies of analyzing various operational events.

• Smart Structures and Systems
• /
• 제6권5_6호
• /
• pp.423-438
• /
• 2010

Wireless smart sensors enable new approaches to improve structural health monitoring (SHM) practices through the use of distributed data processing. Such an approach is scalable to the large number of sensor nodes required for high-fidelity modal analysis and damage detection. While much of the technology associated with smart sensors has been available for nearly a decade, there have been limited numbers of fulls-cale implementations due to the lack of critical hardware and software elements. This research develops a flexible wireless smart sensor framework for full-scale, autonomous SHM that integrates the necessary software and hardware while addressing key implementation requirements. The Imote2 smart sensor platform is employed, providing the computation and communication resources that support demanding sensor network applications such as SHM of civil infrastructure. A multi-metric Imote2 sensor board with onboard signal processing specifically designed for SHM applications has been designed and validated. The framework software is based on a service-oriented architecture that is modular, reusable and extensible, thus allowing engineers to more readily realize the potential of smart sensor technology. Flexible network management software combines a sleep/wake cycle for enhanced power efficiency with threshold detection for triggering network wide operations such as synchronized sensing or decentralized modal analysis. The framework developed in this research has been validated on a full-scale a cable-stayed bridge in South Korea.