• Nuclear Engineering and Technology
• /
• v.32 no.6
• /
• pp.537-548
• /
• 2000

The requirement of ultra high reliability of the safety critical software can not be demonstrated by testing alone. The specification based on formal method is recommended for safety system software. But there exist various kinds of formal methods, and this variety of formal method is recognized as an obstacle to the wide use of formal method. In this paper six different formal method have been applied to the same part of the functional requirements that is calculation algorithm intensive. The specification results were compared against the criteria that is derived from the characteristics that good software requirements specifications should have and regulatory body recommends to have. The application experience shows that the critical characteristics should be defined first, then appropriate method has to be selected. In our case, the Software Cost Reduction method was recommended for internal condition or calculation algorithm checking, and statechart method is recommended for the external behavioral description.

• Proceedings of the KIEE Conference
• /
• 1999.07g
• /
• pp.3141-3143
• /
• 1999

Fuel cell systems offer high energy efficiencies for transportation application. In addition, they can use alcohols and alternative fuels as the fuel, while producing little or no noxious emissions. Fuel cell-powered energy source should be competitive in performance characteristics and in capital and maintenance costs with internal combustion engine systems. From computer simulation program, battery and fuel cell energy output and total power profile, motor power, battery energy output, fuel cell energy output. It simulates the performance of fuelcell/battery powered energy source operation over any user inputted transit route cycle, and provides performance criteria through user specifications for preliminary design consideration.

• Journal of Electrical Engineering and Technology
• /
• v.7 no.2
• /
• pp.200-206
• /
• 2012

In order to develop a deep-underground great train express (GTX) in South Korea, the specifications decision and development of a traction control system (including an inverter and a traction motor), which considers a variety of route conditions, must be advanced. In this study, we examined the running resistance properties of a high-speed traction system based on a variety of tunnel types and vehicle organization methods. Then, we studied the power requirements necessary for the traction motor to maintain balanced speed in the high-speed traction system. From this, we determined the design criteria for the development of a high-speed traction system for use in the deep-underground GTX. Finally, we designed a linear induction motor (LIM) for a propulsion system, and we used the finite element method (FEM) to analyze its performance as it travelled through deep-underground tunnels.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2006.03a
• /
• pp.133-140
• /
• 2006

This paper addresses a fundamental research subject to complement and improve current domestic design specifications for the strong motion duration criterion and the envelop function of artificial accelerograms that can be applied to the earthquake-proof design of nuclear structures. The criteria for design response spectra and strong motion duration suggested by WRC RG 1.60 and ASCE Standard 4-98 are commonly being used in the profession, and they are first compared with each other and reviewed. By applying 152 real strong earthquake records that are over magnitude of 5 in the rock sites to the strong motion duration criterion in ASCE 4-98, an empirical regression model that predicts the strong motion duration as a function of earthquake magnitude is then developed. Using synthetically generated earthquake time histories for the five cases whose strong motion durations vary from 6 to 15 seconds, a seismic analysis is conducted to identify effects of the strong motion durations on the seismic responses of nuclear structures.

• 한국연소학회:학술대회논문집
• /
• 2006.10a
• /
• pp.282-292
• /
• 2006

Various kinds of coals are supplied for coal fired power plants as the coal market situations are fluctuated with the high prices of oil and coals over the world. The quality of coal is decreasing as coal consumption increased and some specifications of coals are out of boiler design criteria. It could make combustion troubles such as coal clogging, spontaneous combustion, coal firing in the coal handling equipments, ash slag and clinker issues, etc. This paper covers combustion troubles, issues and countermeasures in the biggest coal fired power plant in Korea.

• Transactions of Materials Processing
• /
• v.13 no.3
• /
• pp.242-247
• /
• 2004

Literature review on reliability test method for developing high performance optical/thermofluidic components. Since the miniaturization by the conventional mechanical process is limited to milli-structure, i.e. $10^{-3}m$, new technology for fabricating of mechanical components is needed to match cost, reliability, and integrability criteria of micro-structure. Although numbers of various researches on MEMS/MOEMS devices and components, including material characterization, design and optimization, system validation, etc., the lack of standards and specifications make the researches and developments difficult. For that reason, this paper is intended to propose the methods of reliability test for measuring the mechanical property of optical/ thermofluidic components.

• Journal of Information Technology Services
• /
• v.2 no.1
• /
• pp.85-97
• /
• 2003

This research has designed and implemented the standard conformance test system for e-Business solutions that supports the ebXML, which is currently being focused on as the leading electronic commerce framework. The adoption of standards such as ebXML is probably the best way to achieve interoperability among electronic commerce systems, and more and more e-Business solutions around the world are supporting ebXML. This research primarily discusses the concept and needs for the standard conformance tests on e-Business solutions. The standard conformance test system is developed based on the detailed specifications of the ebXML framework. This system was used to test commercial e-Business solutions supporting ebXML. The system implemented in this research will provide a significant basis for the standard conformance certification of e-Business solutions, and could also provide clear decision criteria for e-Business solutions currently in market, thus activate the overall e-Business market.

• Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
• /
• 2009.10a
• /
• pp.387-390
• /
• 2009

앞으로 국제경쟁력 확보를 위해서는 성능중심의 건설기술기준 적용이 필요하다. 성능중심의 건설기준을 개발하고, 성능계약제도 도입방안을 구축함으로써 시설물의 성능을 향상시키고, 생애주기비용 (LCC)을 절감하며, 설계 및 시공자의 기술개발을 유도하는 것이 필요하다. 본 연구에서는 건축전기설비분야를 중심으로 에너지절약 요소기술을 발굴하고, 설계기준에 기술하기 곤란한 사항, 기술자가 효율적인 업무수행을 위하여 필요한 사항들을 도출하여 실무에 쉽게 활용하도록 설계편람을 작성하는데 있다.

• Journal of the Korean Society for Advanced Composite Structures
• /
• v.6 no.3
• /
• pp.62-68
• /
• 2015

As a preparation of a design standard regarding road facilities, such as cantilever columns for traffic lights, street lights on highways is proposed. Currently these minor structures are designed based on guidelines which are mixed with multiple old foreign specifications without any criteria in terms of safety and economy, which could lead irregular safeties and the loss of national properties. In the considered two cases for effective projected area, it is found that following efficient way of design without critical analyses could make significant errors and miscalculations. Therefore, a fundamental research on the minor structures is urgently needed.

• Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
• /
• 2008.10a
• /
• pp.341-344
• /
• 2008

앞으로 국제경쟁력 확보를 위해서는 성능중심의 건설기술기준 적용이 필요하다. 성능중심의 건설기준을 개발하고, 성능계약제도 도입방안을 구축함으로써 시설물의 성능을 향상시키고, 생애주기비용(LCC)을 절감하며, 설계 및 시공자의 기술개발을 유도하는 것이 필요하다. 본 연구에서는 건축전기 설비분야의 에너지성능 기준 개념과 외국의 도입사례를 살펴보고, 에너지성능기준 개발 대상 및 범위를 설정하고 성능기준 개발을 위한 접근방법을 도출하였다.