• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2001년도 추계학술발표회요약집
• /
• pp.107-107
• /
• 2001

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2005년도 추계학술발표회
• /
• pp.370-371
• /
• 2005

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 춘계학술발표회논문집(1)
• /
• 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.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2004년도 추계학술발표회 발표논문집
• /
• pp.509-510
• /
• 2004

• Nuclear Engineering and Technology
• /
• 제52권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
• /
• 제55권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.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2005년도 춘계학술발표회
• /
• pp.575-576
• /
• 2005

• Nuclear Engineering and Technology
• /
• 제55권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
• /
• 제56권7호
• /
• pp.2875-2880
• /
• 2024

The development of nuclear power plants is in three phases. The first phase is a consideration before the decision on the NPP construction program is approved, the second phase is the preparatory work for making contracts and preparing for the construction of NPP after the NPP construction policy is approved, and the third phase is contracting, licensing and building the first NPP. As a volcanically active country, Indonesia contains over 130 active volcanoes that are part of the Pacific Ring of Fire. The volcanic aspect is one of the safety factors considered while deciding the location of an NPP. Research on the potential of natural external risks to the determination of nuclear power plants in Indonesia, including the volcanic aspect, has been conducted based on the safety reference or safety guide of the IAEA and the Nuclear Energy Regulatory Body (BAPETEN) Regulation. Due to technological advancements, safety needs have evolved so the existing Indonesia National Standard (SNI) must be updated to comply with BAPETEN regulations. The substance in SNI 18-2034-1990 relating to volcanic features seems less relevant in actual conditions, given that more complete and exact criteria for determining a site guarantee the safety and health of residents and surrounding the environment site. The study intends to conduct a gap analysis of volcanic issues in SNI and volcanic regulations. The method used is identification requirements for volcanic aspects in SNI 18-2034-1990 about Determining Site of Nuclear Reactor Guidance with BAPETEN Chairman Regulation (BCR) number 4 of 2018 about Nuclear Installation Site Evaluation Safety Provisions and BCR number 5 of 2015 about Evaluation of Nuclear Installation Sites for Volcanic Aspects, and analysis uses a qualitative method of inductive techniques. The outcome of this research applies to suggesting a revision of SNI number 18-2034-1990, especially the volcanic aspect.

• Nuclear Engineering and Technology
• /
• 제51권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.