• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2021.11a
• /
• pp.192-193
• /
• 2021

Recently, the need to strengthen the Air Environment Conservation Act and secure alternative heat sources during the winter by carbon neutrality policies has been raised. Accordingly, winter construction, which has safety and quality measures, is emerging as an essential factor. It is believed that eco-friendly tropical type electric hot air heaters will be able to solve most of the problems of winter construction at construction sites, especially prevention of suffocation and fire accidents. In addition, as a result of on-site performance verification, it has secured more than the same performance as the existing curing method, and the curing technology can create an eco-friendly and pleasant working environment while considering safety and construction.

• Journal of the Korean Society of Safety
• /
• v.14 no.2
• /
• pp.192-199
• /
• 1999

We propose a rotation invariant fingerprint identification system based on the circular harmonic filter(CHF) and binary phase extraction joint transform correlator(BPEJTC) for validation and security verification. It is shown that this system has the shift and rotation robust properties and can recognize the fingerprint in real-time. The complex circular harmonic filter, which is used to obtain the rotation invariance, is converted into the real-valued filter for real-time implementation. Experimental results show that this system has a good performance in the rotated fingerprints.

• Journal of Auto-vehicle Safety Association
• /
• v.16 no.2
• /
• pp.60-66
• /
• 2024

Computer simulation significantly reduces the high costs associated with actual crash tests and is expanding due to its ability to analyze various test results quantitatively that are difficult to measure in real tests. Research on evaluation technologies is limited according to the finite element analysis, which aims to replace structural verification testing. In this study, considerations for virtual crash tests were derived, and the validity of the zero-energy mode (hourglass mode) was analyzed as part of the considerations for validating the results of vehicle crash simulations. The study reflects on the considerations for virtual crash tests and the variation in hourglass coefficient values affects the occurrence of the hourglass mode. As the hourglass coefficient changes, the maximum hourglass energy reaches over 5% of the maximum internal energy, necessitating a conservative review. A comprehensive study of the maximum hourglass energy is required, considering additional analysis results for various models and collision conditions.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.292-298
• /
• 2010

Recently, with the beginning of the commercial operation of high-speed railway, there have been a number of changes in track structure fields. Also, it is expected that the development and introduction of new technology will be increased afterwards. However, it accompanies a lot of risk to install new track structures of which performance and safety are not verified on permanent ways with high traffic density. Therefore, to minimize the risk and enhance the adoption of new technology, it is required to develop a systemic verification system for track structure. To do this, in this paper, main contents of a draft of guidelines for track structure verification, and main issues in debate such as criteria and method for verification, test conditions and test periods are discussed. Also, a process to choose a most appropriate one for a specific project out of proven track structures by the above verification system, the selection process by the technical investigation committee and the VE process to analyze the economical and maintenance aspects based on LCC concept in Korea Rail Network Authority is introduced.

• Nuclear Engineering and Technology
• /
• v.44 no.8
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• Nuclear Engineering and Technology
• /
• v.27 no.1
• /
• pp.84-95
• /
• 1995

Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.

• Journal of the Korean Society of Safety
• /
• v.26 no.6
• /
• pp.111-117
• /
• 2011

Risk-based railway safety management has been mandatory in Korea as by relevant laws and regulations enacted since the Railway Safety Act 2004. In particular, the Railway Vehicle Safety Guidance came into effect on Jan 1, 2008 specifies the details of methodology for hazard analysis, risk assessment and safety verification and validation. Fundamentals for success of the risk-based safety management are systematic hazard identification and risk assessment by use of reasonable risk assessment criteria, but the principle of risk-based safety management has not been applied in an effective way to introduction and maintenance of railway vehicle systems because definite risk assessment criteria have not been set down for each railway system or railway network. The purpose of this study is to suggest a risk matrix development principle for risk assessment of domestic urban metro vehicles by analyses of relevant rules and railway operating environment of Korea.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2002.10a
• /
• pp.100.2-100
• /
• 2002

• Proceedings of the Korean Nuclear Society Conference
• /
• 2003.10a
• /
• pp.224-224
• /
• 2003

• Proceedings of the Korean Nuclear Society Conference
• /
• 1999.10a
• /
• pp.115.1-115
• /
• 1999