• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.157-167
• /
• 2000

As the requirements of a software system become large and complex, it causes some problems such that requirements specification using formal methods becomes larger in its size and less understandable. In order to solve such problems, the concepts of modularity and object are adopted to specify the requirements. In addition, top-down and compositional approach to handle such requirements are also adopted. In our paper, we suggest an object-oriented Petri net, called HOONet, to hierarchically specify and verify the complex requirements by incorporating the concepts of modularity, object, abstraction and refinement into a formal method. Our HOONet method supports the incremental specification and verification of partially described or not yet fully analyzed requirements. We also show the applicability of our method by modeling and verifying the requirements of a reactor safety control system.

• Nuclear Engineering and Technology
• /
• v.42 no.1
• /
• pp.17-36
• /
• 2010

In this study, we compare the mass release rates of radionuclides(1) from waste forms arising from the KIEP-21 pyroprocessing system with (2) those from the directly-disposed pressurized-water reactor spent fuel, to investigate the potential radiological and environmental impacts. In both cases, most actinides and their daughters have been observed to remain in the vicinity of waste packages as precipitates because of their low solubility. The effects of the waste-form alteration rate on the release of radionuclides from the engineered-barrier boundary have been found to be significant, especially for congruently released radionuclides. the total mass release rate of radionuclides from direct disposal concept is similar to those from the pyroprocessing disposal concept. While the mass release rates for most radionuclides would decrease to negligible levels due to radioactive decay while in the engineered barriers and the surrounding host rock in both cases even without assuming any dilution or dispersal mechanisms during their transport, significant mass release rates for three fission-product radionuclides, $^{129}I$, $^{79}Se$, and $^{36}Cl$, are observed at the 1,000-m location in the host rock. For these three radionuclides, we need to account for dilution/dispersal in the geosphere and the biosphere to confirm finally that the repository would achieve sufficient level of radiological safety. This can be done only after we have known where the repository site would by sited. the footprint of repository for the KIEP-21 system is about one tenth of those for the direct disposal.

• Nuclear Engineering and Technology
• /
• v.50 no.2
• /
• pp.246-252
• /
• 2018

A series of simulated reactivity-initiated accident (RIA) tests on irradiated fully recrystallized boiling water reactor Zircaloy-2 cladding has been performed by means of the expansion-due-to-compression (EDC) test method. The EDC method reproduces fuel pellet-clad mechanical interaction (PCMI) conditions for the cladding during RIA transients with respect to temperature and loading rates by out-of-pile mechanical testing. The tested materials had a large variation in burnup and hydrogen content (up to 907 wppm). The results of the EDC tests showed variation in the PCMI resistance of claddings with similar burnup and hydrogen content, making it difficult to clearly identify ductile-to-brittle transition temperatures. The EDC-tested samples of the present and previous work were investigated by light optical and scanning electron microscopy to study the influence of factors such as azimuthal variation of the Zr-hydrides and the presence of hydride rims and radially oriented hydrides. Two main characteristics were identified in samples with low ductility with respect to hydrogen content and test temperature: hydride rims and radial hydrides at the cladding outer surface. Crack propagation and failure modes were also studied, showing two general modes of crack propagation depending on distribution and amount of radially oriented hydrides. It was concluded that the PCMI resistance of irradiated cladding under normal conditions with homogenously distributed circumferential hydrides is high, with good margin to the RIA failure limits. To further improve safety, focus should be on conditions causing nonfavorable hydride distribution, such as hydride reorientation and formation of hydride blisters at the cladding outer surface.

• Tribology and Lubricants
• /
• v.30 no.6
• /
• pp.343-349
• /
• 2014

Currently, in order to resist the scratching of the fuel rod surface while fabricating the fuel assembly of the light-water nuclear reactor, we use a solution of nitrocellulose, an explosive material, as a dry lubricant along with its solvent. However, the demand for developing safe and harmless aqueous alternative materials for environment-conservation and field-worker safety has increased. In this study, we demonstrate the preparation of a novel aqueous resin composite using a formulation of aqueous polymeric resin, alcoholic solvent, and water. Subsequently, we characterize this composite on the basis of hardness, adhesive property, and water solubility using plates similar to the fuel rod material. The insertion test of a fuel rod coated with the YS-3 composite shows load values of $18.8-20.5kg/cm^2$, which is comparable with $18.8-20.5kg/cm^2$ of the nitrocellulose coating agent. In addition, the depth and width of longitudinal scratches caused by the YS-3 composite test are 50% higher than those of the standard. We can develop a harmless and safe aqueous dry lubricant to replace the existing NC products through field testing of 264 pieces of fuel rods, after producing 350 kg of the YS-3 prototype. The scratch test for the rod surface showed that weight of chip of YS-3 prototype was smaller than that of NC before and after solvent treatment, indicating the properties of YS-3 prototype was comparable to the counterpart.

• Korean Journal of Materials Research
• /
• v.21 no.11
• /
• pp.596-603
• /
• 2011

The very high temperature gas reactor (VHTR) is one of the next generation nuclear reactors for its safety, long-term stability, and proliferation-resistance. The high operating temperature of over 800$^{\circ}C$ enables various applications with high energy efficiency. Heat is transferred from the primary helium loop to the secondary helium loop through the intermediate heat exchanger (IHX). The IHX material requires creep resistance, oxidation resistance, and corrosion resistance in a helium environment at high operating temperatures. A Ni-based superalloy such as Alloy 617 is considered as a primary candidate material for the intermediate heat exchanger. In this study, the microstructures of Alloy 617 crept in pure helium and air environments at 950$^{\circ}C$ were observed. The rupture time in helium was shorter than that in air under small applied stresses. As the exposure time increased, the thickness of outer oxide layer of the specimens clearly increased but delaminated after a long creep time. The depth of the carbide-depleted zone was rather high in the specimens under high applied stress. The reason was elucidated by the comparison between the ruptured region and grip region of the samples. It is considered that decarburization caused by minor gas impurities in a helium environment caused the reduction in creep rupture time.

• Nuclear Engineering and Technology
• /
• v.40 no.1
• /
• pp.21-36
• /
• 2008

High bum-up fuel technology has been developed through a national R&D program, which covers key technology areas such as claddings, $UO_2$ pellets, spacer grids, performance code, and fuel assembly tests. New cladding alloys were developed through alloy designs, tube fabrication, out-of-pile test and in-reactor test. The new Zr-Nb tubes are found to be much better in their corrosion resistance and creep strength than the Zircaloy-4 tube, owing to an optimized composition and heat treatment of the new Zr-Nb alloys. A new fabrication technology for large grain $UO_2$ pellets was developed using various uranium oxide seeds and a micro-doping of Al. The uranium oxide seeds, which were added to $UO_2$ powder, were prepared by oxidizing and heat-treating scrap $UO_2$ pellets. A $UO_2$ pellet containing tungsten channels was fabricated for a thermal conductivity enhancement. For the fuel performance analysis, new high burnup models were developed and implemented in a code. This code was verified by an international database and our own database. The developed spacer grid has two features of contoured contact spring and hybrid mixing vanes. Mechanical and hydraulic tests showed that the spacer grid is superior in its rodsupporting, wear resistance and CHF performance. Finally, fuel assembly test technology was also developed. Facilities for mechanical and thermal hydraulic tests were constructed and are now in operation. Several achievements are to be utilized soon by the Korea Nuclear Fuel and thereby contribute to the economy and safety of PWR fuel in Korea

• Journal of Korean Society of Water and Wastewater
• /
• v.33 no.2
• /
• pp.111-119
• /
• 2019

Electro-coagulation process has been gained an attention recently because it could overcome the membrane fouling problems in MBR(Membrane bio-reactor). Effect of the key operational parameters in electro-coagulation, current density(${\rho}_i$) and contact time(t) on membrane fouling reduction was investigated in this study. A kinetic model for ${\rho}_i$ and t required to reduce the membrane fouling was suggested under different MLSS(mixed liquor suspended solids) concentration. Total 48 batch type experiments of electro-coagulations under different sets of current densities(2.5, 6, 12 and $24A/m^2$), contact times(0, 2, 6 and 12 hr) and MLSS concentration(4500, 6500 and 8500mg/L) were carried out. After each electro-coagulation under different conditions, a series of membrane filtration was performed to get information on how much of membrane fouling was reduced. The membrane fouling decreased as the ${\rho}_i$ and t increased but as MLSS decreased. Total fouling resistances, Rt (=Rc+Rf) were calculated and compared to those of the controls (Ro), which were obtained from the experiments without electro-coagulation. A kinetic approach for the fouling reduction rate (Rt/Ro) was carried out and three equations under different MLSS concentration were suggested: i) ${\rho}_i^{0.39}t=3.5$ (MLSS=4500 mg/L), ii) ${\rho}_i^{0.46}t=7.0$ (MLSS=6500 mg/L), iii) ${\rho}_i^{0.74}t=10.5$ (MLSS=8500 mg/L). These equations state that the product of ${\rho}_i$ and t needed to reduce the fouling in certain amounts (in this study, 10% of fouling reduction) is always constant.

• Nuclear Engineering and Technology
• /
• v.53 no.2
• /
• pp.657-665
• /
• 2021

Nondestructive evaluation methods play an important role in ensuring component integrity and safety in many industries. Operator fatigue can play a critical role in the reliability of such methods. This is important for inspecting high value assets or assets with a high consequence of failure, such as aerospace and nuclear components. Recent advances in convolution neural networks can support and automate these inspection efforts. This paper proposes using residual neural networks (ResNets) for real-time detection of corrosion, including iron oxide discoloration, pitting and stress corrosion cracking, in dry storage stainless steel canisters housing used nuclear fuel. The proposed approach crops nuclear canister images into smaller tiles, trains a ResNet on these tiles, and classifies images as corroded or intact using the per-image count of tiles predicted as corroded by the ResNet. The results demonstrate that such a deep learning approach allows to detect the locus of corrosion via smaller tiles, and at the same time to infer with high accuracy whether an image comes from a corroded canister. Thereby, the proposed approach holds promise to automate and speed up nuclear fuel canister inspections, to minimize inspection costs, and to partially replace human-conducted onsite inspections, thus reducing radiation doses to personnel.

• Nuclear Engineering and Technology
• /
• v.54 no.1
• /
• pp.84-96
• /
• 2022

In the worst case, a temporary ignition source (also known as transient combustibles) between two electrical panels can damage both panels. Mitigation strategies for electrical panel fires were previously developed using fire modeling and risk analysis. However, since they do not comply with deterministic fire protection requirements, it is necessary to analyze the boundary values at which combustibles may damage targets depending on various factors. In the present study, a sensitivity analysis of input variables related to the damage threshold of two electrical panels was performed for dimensionless geometry using a Fire Dynamics Simulator (FDS). A new methodology using a damage evaluation map was developed to assess the damage of the electrical panel. The input variables were the distance between the electrical panels, the vertical height of the fuel, the size of the fire, the wind speed and the wind direction. The heat flux was determined to increase as the vertical distance between the fuel and the panel decreased, and the largest heat flux was predicted when the vertical separation distance divided by one half flame length was 0.3-0.5. As the distance between the panels increases, the heat flux decreases according to the power law, and damage can be avoided when the distance between the fuel and the panel is twice the length of the panel. When the wind direction is east and south, to avoid damage to the electrical panel the distance must be increased by 1.5 times compared to no wind. The present scale model can be applied to any configuration where combustibles are located between two electrical panels, and can provide useful guidance for the design of redundant electrical panels.

• Nuclear Engineering and Technology
• /
• v.54 no.1
• /
• pp.49-60
• /
• 2022

Motivated by the high-resolution properties of high-order Weighted Essentially Non-Oscillatory (WENO) and flux limiter (FL) for steep-gradient problems and the robust convergence of Jacobian-free Newton-Krylov (JFNK) methods for nonlinear systems, the preconditioned JFNK fully implicit high-order WENO and FL schemes are proposed to solve the transient two-phase two-fluid models. Specially, the second-order fully-implicit BDF2 is used for the temporal operator and then the third-order WENO schemes and various flux limiters can be adopted to discrete the spatial operator. For the sake of the generalization of the finite-difference-based preconditioning acceleration methods and the excellent convergence to solve the complicated and various operational conditions, the random vector instead of the initial condition is skillfully chosen as the solving variables to obtain better sparsity pattern or more positions of non-zero elements in this paper. Finally, the WENO_JFNK and FL_JFNK codes are developed and then the two-phase steep-gradient problem, phase appearance/disappearance problem, U-tube problem and linear advection problem are tested to analyze the convergence, computational cost and efficiency in detailed. Numerical results show that WENO_JFNK and FL_JFNK can significantly reduce numerical diffusion and obtain better solutions than traditional methods. WENO_JFNK gives more stable and accurate solutions than FL_JFNK for the test problems and the proposed finite-difference-based preconditioning acceleration methods based on the random vector can significantly improve the convergence speed and efficiency.