• Proceedings of the Korean Nuclear Society Conference
• /
• 2001.10a
• /
• pp.107-107
• /
• 2001

• Proceedings of the Korean Nuclear Society Conference
• /
• 2005.10a
• /
• pp.370-371
• /
• 2005

• 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.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2004.10a
• /
• pp.509-510
• /
• 2004

• Nuclear Engineering and Technology
• /
• v.52 no.12
• /
• pp.2918-2927
• /
• 2020

This paper proposes a simplified elastic-plastic analysis procedure using the penalty factors presented in the Code Case N-779 for strain-based fatigue assessment of nuclear safety class 1 components under severe seismic loads such as safety shutdown earthquake and beyond design-basis earthquake. First, a simplified elastic-plastic analysis procedure for strain-based fatigue assessment of nuclear safety class 1 components under the severe seismic loads was proposed based on the analysis result for the simplified elastic-plastic analysis procedure in the Code Case N-779 and the stress categories corresponding to normal operation and seismic loads. Second, total strain amplitude was calculated directly by performing finite element cyclic elastic-plastic seismic analysis for a hot leg nozzle in pressurizer surge line subject to combined loading including deadweight, pressure, seismic inertia load, and seismic anchor motion, as well as was derived indirectly by applying the proposed analysis procedure to the finite element elastic stress analysis result for each load. Third, strain-based fatigue assessment was implemented by applying the strain-based fatigue acceptance criteria in the ASME B&PV Code, Sec. III, Subsec. NB, Article NB-3200 and by using the total strain amplitude values calculated. Last, the total strain amplitude and the fatigue assessment result corresponding to the simplified elastic-plastic analysis were compared with those using the finite element elastic-plastic seismic analysis results. As a result of the comparison, it was identified that the proposed analysis procedure can derive reasonable and conservative results.

• Nuclear Engineering and Technology
• /
• v.55 no.10
• /
• pp.3787-3800
• /
• 2023

Reactivity Initiated Accident (RIA) scenarios require special attention using advanced simulation techniques due to their complexity and importance for nuclear power plant (NPP) safety. While the conservative approach has traditionally been used for safety analysis, it may lead to unrealistic results which calls for the use of best estimate plus uncertainty (BEPU) approach, especially with the current advances in computational power which makes the BEPU analysis feasible. In this work an Uncontrolled Control Element Assembly (CEA) Withdrawal at Full Power accident scenario is analyzed using the BEPU approach by loosely coupling the thermal hydraulics best-estimate system code (RELAP5/SCDAPSIM/MOD3.4) to the statistical analysis software (DAKOTA) using a Python interface. Results from the BEPU analysis indicate that a realistic treatment of the accident scenario yields a larger safety margin and is therefore encouraged for accident analysis as it may enable more economic and flexible operation.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2005.05a
• /
• pp.575-576
• /
• 2005

• Nuclear Engineering and Technology
• /
• v.55 no.3
• /
• pp.1097-1104
• /
• 2023

A preliminary criticality analysis for novel pyrochemical apparatuses for the reprocessing of mixed uranium-plutonium nitride spent nuclear fuel from the BREST-OD-300 reactor was performed. High-temperature processing apparatuses, "metallization" electrolyzer, refinery remelting apparatus, refining electrolyzer, and "soft" chlorination apparatus are considered in this work. Computational models of apparatuses for two neutron radiation transport codes (MCU-FR and MCNP) were developed and calculations for criticality were completed using the Monte Carlo method. The criticality analysis was performed for different loads of fissile material into the apparatuses including overloading conditions. Various emergency situations were considered, in particular, those associated with water ingress into the chamber of the refinery remelting apparatus. It was revealed that for all the considered computational models nuclear safety rules are satisfied.

• Nuclear Engineering and Technology
• /
• v.51 no.7
• /
• pp.1715-1720
• /
• 2019

Jozef Stefan Institute (JSI), TRIGA Mark II reactor employs the homogeneous mixture of uranium and zirconium hydride fuel type. Since its upgrade, a series of fresh fuel steady state experimental benchmarks have been conducted. The benchmark results have provided data for testing computational neutronics codes which are important for reactor design and safety analysis. In this work, we investigated the JSI TRIGA Mark II reactor neutronics characteristics: the effective multiplication factor and two safety parameters, namely the control rod worth and the fuel temperature reactivity coefficient using SuperMC. The modeling and real-time cross section generation methods of SuperMC were evaluated in the investigation. The calculation analysis indicated the following: the effective multiplication factor was influenced by the different cross section data libraries; the control rod worth evaluation was better with Monte Carlo codes; the experimental fuel temperature reactivity coefficient was smaller than calculated results due to change in water temperature. All the results were in good agreement with the experimental values. Hence, SuperMC could be used for the designing and benchmarking of other TRIGA Mark II reactors.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2019.05a
• /
• pp.213-214
• /
• 2019