• Proceedings of the Korean Nuclear Society Conference
• /
• 2005.10a
• /
• pp.442-443
• /
• 2005

• Proceedings of the Korean Nuclear Society Conference
• /
• 1999.10a
• /
• pp.221.1-221
• /
• 1999

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.153-158
• /
• 1997

This paper describes a formal safety analysis technique which is demonstrated by performing empirical formal safety analysis with the case study of beamline hutch door Interlock system that is developed by using PLC(Programmable Logic Controller) systems at the Pohang Accelerator Laboratory. In order to perform formal safety analysis, we have built the Z formal specifications representation from user requirement written in ambiguous natural language and target PLC ladder logic, respectively. We have also studied the effective method to express typical PLC timer component by using specific Z formal notation which is supported by temporal history. We present a formal proof technique specifying and verifying that the hazardous states are not introduced into ladder logic in the PLC-based safety critical system.

• Nuclear Engineering and Technology
• /
• v.48 no.4
• /
• pp.1015-1021
• /
• 2016

Structures, systems, and components (SSCs) important to safety of nuclear facilities shall be designed, fabricated, erected, and tested to quality standards commensurate with the importance of the safety functions. Although SSC classification guidelines for nuclear power plants have been well established and applied, those for research reactors have been only recently established by the International Atomic Energy Agency (IAEA). Korea has operated a pool-type research reactor (the High Flux Advanced Neutron Application Reactor) and has recently exported another pool-type reactor (Jordan Research and Training Reactor), which is being built in Jordan. Korea also has a plan to build one more pool-type reactor, the Kijang Research Reactor, in Kijang, Busan. The safety classification of SSCs for pool-type research reactors is proposed in this paper based on the IAEA methodology. The proposal recommends that the SSCs of pool-type research reactors be categorized and classified on basis of their safety functions and safety significance. Because the SSCs in pool-type research reactors are not the pressure-retaining components, codes and standards for design of the SSCs following the safety classification can be selected in a graded approach.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.4 no.4
• /
• pp.401-409
• /
• 2006

Regulatory systems for decommissioning of nuclear power plants in several countries, such as Japan, United States of America, Germany, United Kingdom, France, and Republic of Korea, are surveyed. In the survey, regulatory policies, legislations, licensing process, inspection and public involvements for decommissioning are identified and compared. Afterwards, the survey results will be utilized as a reference to establish the improvement directions of domestic regulatory system.

• Nuclear Engineering and Technology
• /
• v.36 no.4
• /
• pp.364-373
• /
• 2004

This study investigates the fluidelastic instability characteristics of helical steam generator type tubes used in operating nuclear power plants. To obtain a natural frequency, corresponding mode shape, and participation factor, modal analyses using various conditions are performed for helical type tubes. Investigated are the effects of the number of turns, the number of supports, and the status of the inner fluid on the modal and fluidelastic instability characteristics of the tubes, which are expressed in terms of the natural frequency, the corresponding mode shape, and the stability ratio.

• Korean Journal of Culture and Social Issue
• /
• v.13 no.3
• /
• pp.1-21
• /
• 2007

The present research was conducted 1) to explore the factor structure of 'effective safety' and 2) to develop an index of effective safety. We recuited a total of 800 residents of the nuclear plant sites and 187 nuclear plant employers. Study 1 developed a scale of nuclear effective safety which consisted of four factors: Communication, Trust, Coping Ability of nuclear power plants, Emergency Coping Skills. We created the index of effective safety by converting the scale scores into a number 0 to 100. Overall, the index was very low 38..22, indicating that the residents of nuclear power plants sites were feeling very insecure about the safety of nuclear power plants. Moreover we found a consistent pattern of regional and sex difference. In Study 2, we asked the employees of nuclear power plants to answer the scale as if they were the residents, and we compared these numbers with the numbers the actual residents provided. We found that the level of safety that the employees expected the residents to experience was significantly higher than the level of safety the residents were actually experiencing. We discussed the pratical implications of the present findings.

• Nuclear Engineering and Technology
• /
• v.51 no.7
• /
• pp.1758-1764
• /
• 2019

As the safety level of nuclear power plants (NPPs) relates to the safety of individuals, society, and the environment, it is important to establish NPP safety goals. In Korea, two quantitative health objectives and one large release frequency (LRF) criterion were formally set as quantitative safety goals for NPPs by the Nuclear Safety and Security Commission in 2016. The risks of prompt and cancer fatalities from NPPs should be less than 0.1% of the overall risk, and the frequency of nuclear accidents releasing more than 100 TBq of Cs-137 should not exceed 1E-06 per reactor year. This paper reviews the hierarchical structure of safety goals in Korea, its relationship with those of other countries, and the relationships among safety goals and subsidiary criteria like core damage frequency and large early release frequency. By analyzing the effect of the release of 100 TBq of Cs-137 via consequence analysis codes in eight different accident scenarios, it was shown that meeting the LRF criterion results in negligible prompt fatalities in the surrounding area. Hence, the LRF criterion dominates the safety goals for Korean NPPs. Safety goals must be consistent with national policy, international standards, and the goals of other counties.

• Nuclear Engineering and Technology
• /
• v.52 no.2
• /
• pp.381-396
• /
• 2020

Investigations of the commercial aircraft impact effect on nuclear island infrastructures have been drawing extensive attention, and this paper aims to perform the safety assessment of Generation III nuclear power plant (NPP) buildings subjected to typical commercial aircrafts crash. At present Part I, finite element (FE) models establishment and validations for both the aircrafts and NPP buildings are performed. (i) Airbus A320 and A380 aircrafts are selected as the representative medium and large commercial aircrafts, and the corresponding fine FE models including the skin, beam, fuel and etc. are established. By comparing the numerically derived impact force time-histories with the existing published literatures, the rationality of aircrafts models is verified. (ii) Fine FE model of the Chinese Zhejiang Sanao NPP buildings is established, including the detailed structures and reinforcing arrangement of both the containment and auxiliary buildings. (iii) By numerically reproducing the existing 1/7.5 scaled aircraft model impact tests on steel plate reinforced concrete (SC) panels and assessing the impact process and velocity time-history of aircraft model, as well as the damage and the maximum deflection of SC panels, the applicability of the existing three concrete constitutive models (i.e., K&C, Winfrith and CSC) are evaluated and the superiority of Winfrith model for SC panels under deformable missile impact is verified. The present work can provide beneficial reference for the integral aircraft crash analyses and structural damage assessment in the following two parts of this paper.

• Nuclear Engineering and Technology
• /
• v.52 no.2
• /
• pp.397-416
• /
• 2020

Investigations of the commercial aircraft impact effect on nuclear island infrastructures have been drawing extensive attention, and this paper aims to perform the safety assessment of Generation III nuclear power plant (NPP) buildings subjected to typical commercial aircrafts crash. At present Part II, based on the verified finite element (FE) models of aircrafts Airbus A320 and A380, as well as the NPP containment and auxiliary buildings in Part I of this paper, the whole collision process is reproduced numerically by adopting the coupled missile-target interaction approach with the finite element code LS-DYNA. The impact induced damage of NPP plant under four impact locations of containment (cylinder, air intake, conical roof and PCS water tank) and two impact locations of auxiliary buildings (exterior wall and roof of spent fuel pool room) are evaluated. Furthermore, by considering the inner structures in the containment and raft foundation of NPP, the structural vibration analyses are conducted under two impact locations (middle height of cylinder, main control room in the auxiliary buildings). It indicates that, within the discussed scenarios, NPP structures can withstand the impact of both two aircrafts, while the functionality of internal equipment on higher floors will be affected to some extent under impact induced vibrations, and A380 aircraft will cause more serious structural damage and vibrations than A320 aircraft. The present work can provide helpful references to assess the safety of the structures and inner equipment of NPP plant under commercial aircraft impact.