• Annual Conference of KIPS
• /
• 2011.04a
• /
• pp.1016-1019
• /
• 2011

RSA-CRT 알고리즘은 RSA 의 지수승 연산의 효율성을 향상시키기 위해 널리 사용되고 있으며, CRT 를 적용한 알고리즘은 다양한 방법의 부채널 분석(Side Channel Analysis)으로부터 약점이 노출되어 왔다. 그 중 Boer 등에 의해 발표된 MRED 분석 방법은, 등 간격의 데이터(Equidistant Data)를 이용하여 CRT 의 모듈러 리덕션 연산(Modular Reduction)결과로부터의 약점을 활용하여 일반적인 DPA 분석 법을 적용시킨 방법이다. 우리는 리덕션 결과의 데이터에 의존한 분석에서 벗어나, 리덕션 알고리즘 중간 연산 과정을 공격하는 새로운 공격 방법을 개발하였으며, 새로운 공격은 오직 "$256{\times}n$개"의 파형만으로 키 공간을 상당히 줄일 수 있기 때문에, 제한된 평문 수에서 이전에 알려져 있던 일반적인 MRED 분석 방법보다 향상된 분석 성능을 제공한다. 본 논문은 리더션 연산과정을 이용한 새로운 전력 분석 방법을 실제 MCU Chip 을 이용한 분석 결과를 제안한다.

• Proceedings of the KIPE Conference
• /
• 2020.08a
• /
• pp.115-117
• /
• 2020

본 논문에서는 300kW급 모듈형 NPC 인버터의 방열 설계를 위해 전력반도체 스위치 소자의 손실을 분석하여 열적 특성을 고려한 인버터 모듈을 설계하고 제작을 하였다. 전력반도체 스위치의 손실은 스위칭 손실과 도통손실로 구분되며, 대부분 열손실로 나타나기 때문에 발열량을 토대로 방열판의 구조 및 크기를 결정하였다. 인버터 높은 출력비를 얻기 위해서는 열 손실을 고려한 방열판 설계는 반드시 필요한 과정으로 설계 과정의 타당성을 검증하기 위해 PLECS를 통한 시뮬레이션과 실험결과를 비교하였다.

• Proceedings of the KIPE Conference
• /
• 2020.08a
• /
• pp.320-321
• /
• 2020

본 논문은 AC 계통 불평형 발생 시 출력전력의 동요를 저감시키기 위한 POD 전략을 수행하는 MMC-HVDC 시스템의 내부 동적상태를 분석하였다. POD 전략을 통해서 MMC 출력전류의 역상분을 제어하여 계통에 주입되는 유효 전력의 발진을 제거함으로써, MMC-HVDC 시스템이 연계된 인근 계통에 공급 신뢰도를 향상시킬 수 있다. POD 전략에서 유효 전력만 출력할 경우, MMC의 각 상에는 동일한 전력이 흐른다. 반면, 계통 전압 보상을 위해서 무효 전력을 동시에 공급할 경우, 각 상에 흐르는 전력은 불균형해지기 때문에 MMC의 암전류 불평형이 발생하여 스위치 소자의 정격 용량 및 열 스트레스를 증가 시켜 MMC의 안정성을 저해시킨다. 본 논문은 POD 전략을 수행하기 위해서 무효 전력이 MMC 암 전류에 미치는 영향을 분석하였으며, 200 MW MMC-HVDC 모델을 바탕으로 PSCAD/EMTDC 시뮬레이션 툴을 이용하여 분석 결과를 검증하였다.

• Nuclear Engineering and Technology
• /
• v.56 no.9
• /
• pp.3594-3601
• /
• 2024

It is difficult to detect a small-scale leakage in a nuclear power plant (NPP) quickly and take appropriate action. Delaying these procedures can have adverse effects on NPPs. In this paper, we propose leak flow rate prediction using the bidirectional gated recurrent unit (Bi-GRU) method to detect leakage quickly and accurately in small-scale leakage situations because large-scale leak rates are known to be predicted accurately. The data were acquired by simulating small loss-of-coolant accidents (LOCA) or small-scale leakage situations using the modular accident analysis program (MAAP) code. In addition, to improve prediction performance, data were collected by distinguishing the break sizes in more detail. In addition, the prediction accuracy was improved by performing both LOCA diagnosis and leak flow rate prediction in small LOCA situations. The prediction model developed using the Bi-GRU showed a superior prediction performance compared with other artificial intelligence methods. Accordingly, the accurate and effective prediction model for small-scale leakage situations proposed herein is expected to support operators in decision-making and taking actions.

• Journal of the Korea Society for Simulation
• /
• v.21 no.4
• /
• pp.35-46
• /
• 2012

As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.

• Korean Journal of Construction Engineering and Management
• /
• v.20 no.4
• /
• pp.114-125
• /
• 2019

Off-Site Construction (OSC) is a new construction method based on factory production. OSC (Off-Site Construction) is a new construction method based on factory production. Researches such as OSC-related design and production standardization, transport methods are actively conducted in the U.S., UK and other parts of the world as this new method has an edge over existing methods in terms of productivity, economy and quality. As the emergence of this new area requires reasonable management, an analysis of the scope of construction project management is required accordingly. Therefore, this research analyzed the study trends and relationships at the CM/PM range's "Operation level" to identify areas of study, relationship between studies and deficiencies in current research. This study carried out a comprehensive literature review of the OSC (CM/PM) research by analyzing 94 papers in Operation level as of September 3, 2018, and the analysis results are as follows. (1) Working stage level researches have been increasing rapidly since 2006. (2) Non-volumetric type is contributing most significantly at work stage level. In the building sector, it has been identified that problems such as residential: living, quality issues, non-residential: economic difficulties, factory: productivity problems have been addressed. (4) The Non-volumetric pre-assembly type dealt with the economic feasibility of residential and non-residential buildings, whereas the modular type was studied in regards to assembly quality. (5) From 2006, project management areas (e.g., quality, human resources, risks) have been expanded. It is expected that this research will help find new areas of research for OSC. If the analysis is carried out to the level of the industrial, corporate and project phases in the future, it is deemed that the overall research flow and area of the OSC industry can be identified.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.18 no.1
• /
• pp.16-25
• /
• 2014

The system analysis and design program of the liquid rocket engine has been developed for preliminary conceptual design process. The program consists of modular programs analyzing the main thruster, the gas-generator, turbo-pumps, the turbine, pipes, valves and so on. Each module has been developed in order to estimate performance, weight, and shape parameters of the components. The results of them have been verified with experimental data or other programs.

• Journal of the Society of Naval Architects of Korea
• /
• v.42 no.4 s.142
• /
• pp.411-420
• /
• 2005

World leading company and research centers have invested much cost and effort into a PLM and digital manufacturing field to obtain their own competitiveness. We have been trying to apply a digital manufacturing, especially simulation to ship production process as a part of PLM implementation for a shipyard. A shipbuilding production system and processes have a complexity and a peculiarity different from other kinds of production systems. So, new analysis and modeling methodology is required to implement digital shipyard. which is a digital manufacturing system for a shipbuilding company. This paper suggests an analysis and simulation modeling methodologies for an implementation of a digital shipyard. New methodologies such as a database-merged simulation, a distributed simulation, a modular simulation with a model library and a 3-tire simulation framework are developed.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.4
• /
• pp.1579-1602
• /
• 2020

In the design of production system, buffer capacity allocation is a major step. Through polymorphism analysis of production capacity and production capability, this paper investigates a buffer allocation optimization problem aiming at the multi-stage production line including unreliable machines, which is concerned with maximizing the system theoretical production rate and minimizing the system state entropy for a certain amount of buffers simultaneously. Stochastic process analysis is employed to establish Markov models for repairable modular machines. Considering the complex structure, an improved vector UGF (Universal Generating Function) technique and composition operators are introduced to construct the system model. Then the measures to assess the system's multi-state reliability and structural complexity are given. Based on system theoretical production rate and system state entropy, mathematical model for buffer capacity optimization is built and optimized by a specific genetic algorithm. The feasibility and effectiveness of the proposed method is verified by an application of an engine head production line.

• Journal of Korea Society of Industrial Information Systems
• /
• v.7 no.5
• /
• pp.167-174
• /
• 2002

This paper analyzes the characteristics of three multipliers and squarers in finite fields GF(2/sup m/) from the point of view of processing time and area complexity. First, we analyze structures of three multipliers and squarers: 1) Systolic array structure, 2), LFSR structure, and 3) CA structure. To make performance analysis, each multiplier and squarer was modeled in VHDL and was synthesized for FPGA implementation. The simulation results show that CA structure is the best from the point view of processing time, and LFSR structure is the best from the point of view of area complexity.