• Journal of Advanced Marine Engineering and Technology
• /
• v.38 no.5
• /
• pp.573-580
• /
• 2014

The electrical reliability of the power generation and distribution system of Floating Liquefied Natural Gas vessels has been analyzed according to the operating modes using Electrical Transient Analysis Program in this paper. Electricity is used for the topside processes, cargo pumps for off-loading, thrusters for heading control and marine equipment. It is very important to improve the safety, efficiency, and stability of the electrical power system for successful operation. The voltage variation of the high and the low voltage bus shall be within the primitive limitation range at normal operation loads both in steady state and in the transient state. The power system was simulated and compared with class rule for design verification.

• Proceedings of the KIPE Conference
• /
• 2006.06a
• /
• pp.213-215
• /
• 2006

Islanding phenomenon is undesirable because it lead to a safety hazard to utility service personnel and may cause damage to power generation and power supply facilities as a result of unsynchronized reclosure. In order to prevent the phenomenon, various anti-islanding methods have been studied. This paper proposes the variation method of inverter output current magnitude to prevent the islanding phenomenon as a novel method, which causes the large frequency variation of inverter output voltage after islanding. Unlike most active anti-islanding method deteriorating power quality, this novel method will have high performance of islanding detection and good power quality. For the verification of the proposed method, the simulated result and analyses are presented.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2017.05a
• /
• pp.31-32
• /
• 2017

The Korea is conducted performance based on design according to fire fighting law in 2009, but it came out problems related to PBD consistently. Especially, there is no specific guideline or code related to evacuation safety verification. so it came out different results according to designer. This study is looking for each country criteria and suggest the basis data for Manual composition through comparison.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.220-222
• /
• 2012

SaaS 어플리케이션 개발시 비즈니스 프로세스 자동화를 위한 과정에 검증 기능을 추가함으로써 보다 안전한 SaaS 어플리케이션을 개발 할 수 있는 방법을 제안하였다. 이를 활용하면 SaaS 어플리케이션에서 발생하는 프로세스들간 실행에서 deadlock, safety, liveness 등을 보장받을 수 있고, 비즈니스 프로세스들의 여러 버전들간의 일관성 및 어플리케이션 개발자가 개발한 결과물과 테넌트 관리자가 수정한 결과물에 대한 일관성을 보장받음으로써 신뢰할 수 있는 SaaS 어플리케이션을 개발 할 수 있다.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.21 no.1
• /
• pp.1-7
• /
• 2013

To have the competitiveness in the future worldwide small aircraft market, we should be able to develop the aircraft which is highly safe, easy to fly, and having excellent flight characteristics. FBW(Fly-By Wire) system is essential for the enhancement of flight safety and control easiness. FBW system that has been applied only to the modern fighter and transport aircraft is recently applied to smaller aircraft such as regional aircraft, business aircraft and even small aircraft. The purpose of this research includes the development of flight control computer, the definition of FBW system component, the design concept of each component for redundant management, OFP(Operational Flight Program) development, FBW system integration and HILS(Hardware In-the Loop Simulation) verification environment to test this FBW system.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2014.10a
• /
• pp.900-903
• /
• 2014

Fly-wheel, Gimbal antenna, CMG, Spaceborne cyrocooler generate micro-vibration during their on-orbit operation as well as implementing their own function. To comply with the mission requirement of high resolution observation satellite, additional technical efforts have been required to isolate the micro-vibration derived from such payloads by applying the vibration isolator. In this study, we proposed a passive isolator using SMA mesh washer, which guarantees the structural safety of both micro-vibration disturbance source and itself under harsh launch vibration loads without an additional holding mechanism and the micro-vibration isolation performance on orbit environment. To verify the micro-vibration isolation performance of the proposed vibration isolator, we performed the micro-vibration isolation measurement test using the dedicated micro-vibration measurement device proposed in this study.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.19-21
• /
• 2002

Writing requirements in formal notation for a safety-critical system can improve software quality and reduce the errors that may arise later on in the software development life cycle. In this paper, we propose a formal specification approach used to describe the nuclear control system. The approach is based on the existing AECL approach that was the only formal specification technique applied to nuclear control systems in the past. Although the approach is AECL-based, the complex descriptions of certain requirements have been reduced by using different specification techniques. We discuss the differences and how the proposed approach provides not only specification but also verification environment.

• Food Science and Biotechnology
• /
• v.18 no.2
• /
• pp.279-293
• /
• 2009

Quantitative risk assessments are related to implementing hazard analysis and critical control points (HACCP) by its potential involvement in identifying critical control points (CCPs), validating critical limits at a CCP, enabling rational designs of new processes, and products to meet required level of safety, and evaluating processing operations for verification procedures. The quantitative risk assessment is becoming a standard research tool which provides useful predictions and analyses on microbial risks and, thus, a valuable aid in implementing a HACCP system. This paper provides a review of microbial modeling in quantitative risk assessments, which can be applied to HACCP systems.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2009.03a
• /
• pp.512-517
• /
• 2009

Resistance factors for static bearing capacity of driven steel pipe piles were calibrated in the framework of reliability theory. A comprehensive foundation design case study on an actual bridge was performed using resistance factors developed in this study. Comparing with Allowable Stress Design (ASD), LRFD design method provides quantitative evaluation of safety level of designed foundation and exhibits considerable potential economy in design.

• Journal of Applied Reliability
• /
• v.13 no.1
• /
• pp.19-30
• /
• 2013

The requirements of reliability verification for new products and technology are increasing more and more in accordance with the trend change of strength for safety technology, functional skills and emotional quality. In order to conduct the purpose of robust design from the stage of product development recently, the application of reliability technology has gradually increased such as detecting the failure mode throughout the HALT technique, accelerated tests and so on. The main results are as follows; i) through the pre-test and analysis, detected the basic performance and predictable failure mode, ii) HALT technique and process has been developed that can be applied test methods for the next new products.