• International journal of advanced smart convergence
• /
• v.12 no.3
• /
• pp.233-243
• /
• 2023

In modern society, since the expansion of the e-commerce market and the spread of the pandemic, face-to-face business are gradually changing to non-face-to-face. In the logistics industry, the demand for unmanned courier storage is increasing due to lack of loading space from urbanization and courier theft accidents. As the demand for unmanned parcel lockers increases, improved functions such as food storage and efficient space loading are required. This study develops an integrated model-based evaluation procedure of product based on performance factors according to the IEC 61508 standard for newly unmanned parcel storage devices with active loading technology, and derive Critical Technology Element based on the product's core functions and performance goals. As proposing these research, We expect improve the safety and reliability of development targets by identifying and evaluating elements.

• Nuclear Engineering and Technology
• /
• v.55 no.11
• /
• pp.4134-4145
• /
• 2023

This paper proposes strain-based failure model of A533B1 pressure vessel steel to simulate failure, followed by application to OECD lower head failure (OLHF) test simulation for experimental validation. The proposed strain-based failure model uses simple constant and linear functions based on physical failure modes with the critical strain value determined either using the lower bound of true fracture strain or using the average value of total elongation depending on the temperature. Application to OECD Lower Head Failure (OLHF) tests shows that progressive deformation, failure time and failure location can be well predicted.

• Nuclear Engineering and Technology
• /
• v.49 no.7
• /
• pp.1537-1546
• /
• 2017

Many thermal-hydraulic tests have been conducted at the Korea Atomic Energy Research Institute for verification of the SMART (System-integrated Modular Advanced ReacTor) design, the standard design approval of which was issued by the Korean regulatory body. In this paper, the contributions of these tests to the standard design approval of SMART are discussed. First, an integral effect test facility named VISTA-ITL (Experimental Verification by Integral Simulation of Transients and Accidents-Integral Test Loop) has been utilized to assess the TASS/SMR-S (Transient and Set-point Simulation/Small and Medium) safety analysis code and confirm its conservatism, to support standard design approval, and to construct a database for the SMART design optimization. In addition, many separate effect tests have been performed. The reactor internal flow test has been conducted using the SCOP (SMART COre flow distribution and Pressure drop test) facility to evaluate the reactor internal flow and pressure distributions. An ECC (Emergency Core Coolant) performance test has been carried out using the SWAT (SMART ECC Water Asymmetric Two-phase choking test) facility to evaluate the safety injection performance and to validate the thermal-hydraulic model used in the safety analysis code. The Freon CHF (Critical Heat Flux) test has been performed using the FTHEL (Freon Thermal Hydraulic Experimental Loop) facility to construct a database from the $5{\times}5$ rod bundle Freon CHF tests and to evaluate the DNBR (Departure from Nucleate Boiling Ratio) model in the safety analysis and core design codes. These test results were used for standard design approval of SMART to verify its design bases, design tools, and analysis methodology.

• The KIPS Transactions:PartC
• /
• v.14C no.4
• /
• pp.313-320
• /
• 2007

In this paper, we propose a method to analyze security vulnerabilities of MS word-processor by checking the validation of its input files. That is, this study is to detect some vulnerabilities in the input file of the word processor by analyzing the header information of its input file. This validation test can not be conducted by the existing software fault injection tools including Holodeck and CANVAS. The proposed method can be also applied to identify the input file vulnerabilities of Hangul and Microsoft Excel which handle a data file with a header as an input. Moreover, our method can provide a means for assessing the fault tolerance and trustworthiness of the target software.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.06a
• /
• pp.653-656
• /
• 2007

A concern about the ebXML concentrated, the necessity for Validation request among the ebXML sollutions has become both at home and abroad. There aren't any test implement for Validation of BPSS. The ebXML BPSS system establishment related to ebMS Standard Conformance and Interoperability is required. In this paper, We'll suggest system model to estimate Conformance of document in accordance with case items to frame the ebXML BPSS Validation items.

• International Journal of Railway
• /
• v.2 no.3
• /
• pp.99-106
• /
• 2009

Checks and tests before putting safety facilities into service as well as the results of these tests are essential, time consuming and may show great variations between each other. Economic constraints and the increasing complexity associated with the development of computerized tools tend to limit the capacity of the classic approval process (manual or automatic). A reduction of the validation cover rate could result in practice. This is not compatible with the French national plan to renew the interlocking systems of the national network. The method and the tool presented in this paper makes it possible to formally validate new computerized systems or evolutions of existing French interlocking systems with real-time functional interpreted Petri nets. The aim of our project is to provide SNCF with a method for the formal validation of French interlocking systems. A formal proof method by assertion, which is applicable to industrial automation equipment such as interlocking systems, and which covers equally the specification and its real software implementation, is presented in this paper. With the proposed method we completely verify that the system follows all safety properties at all times and does not show superfluous conditions: it replaces all the indoor checks (not the outdoor checks). The advantages expected are a significant reduction of testing time and of the related costs, an increase of the test coverage rate, an answer to the new demand of railway infrastructure maintenance engineering to modify and validate computerized interlocking systems. Formal methods mastery by infrastructure engineers are surely a key to prove that more safety is not necessarily more expensive.

• Nuclear Engineering and Technology
• /
• v.52 no.5
• /
• pp.878-888
• /
• 2020

This paper presents the validation of UNIST in-house Monte Carlo code MCS used for the high-fidelity simulation of commercial pressurized water reactors (PWRs). Its focus is on the accurate, spatially detailed neutronic analyses of startup physics tests for the initial core of the Watts Bar Nuclear 1 reactor, which is a vital step in evaluating core phenomena in an operating nuclear power reactor. The MCS solutions for the Consortium for Advanced Simulation of Light Water Reactors (CASL) Virtual Environment for Reactor Applications (VERA) core physics benchmark progression problems 1 to 5 were verified with KENO-VI and Serpent 2 solutions for geometries ranging from a single-pin cell to a full core. MCS was also validated by comparing with results of reactor zero-power physics tests in a full-core simulation. MCS exhibits an excellent consistency against the measured data with a bias of ±3 pcm at the initial criticality whole-core problem. Furthermore, MCS solutions for rod worth are consistent with measured data, and reasonable agreement is obtained for the isothermal temperature coefficient and soluble boron worth. This favorable comparison with measured parameters exhibited by MCS continues to broaden its validation basis. These results provide confidence in MCS's capability in high-fidelity calculations for practical PWR cores.

• Analytical Science and Technology
• /
• v.37 no.2
• /
• pp.114-122
• /
• 2024

A transmission Raman spectroscopy-based quantitative model, which can analyze the content of a drug product containing naproxen sodium as its active pharmaceutical ingredient (API), was developed. Compared with the existing analytical method, i.e., high-performance liquid chromatography (HPLC), Raman spectroscopy exhibits high test efficiency owing to its shorter sample pre-treatment and measurement time. Raman spectroscopy is environmentally friendly since samples can be tested rapidly via a nondestructive method without sample preparation using solvent. Through this analysis method, rapid on-site analysis was possible and it could prevent the production of defective tablets with potency problems. The developed method was applied to the assays of the naproxen sodium of coated tablets that were manufactured in commercial scale and the content of naproxen sodium was accurately predicted by Raman spectroscopy and compared with the reference analytical method such as HPLC. The method validation of the new approach was also performed. Further, the specificity, linearity, accuracy, precision, and robustness tests were conducted, and all the results were within the criteria. The standard error of cross-validation and standard error of prediction values were determined as 0.949 % and 0.724 %, respectively.

• Journal of the Korean Statistical Society
• /
• v.30 no.4
• /
• pp.645-660
• /
• 2001

In this paper we propose a goodness-of-fit test statistic for testing the (null) parametric model versus the (alternative) nonparametric model. Most of existing nonparametric test statistics are based on the residuals which are obtained by regressing the data to a parametric model. Our test is based on the bootstrap estimator of the probability that the smoothing parameter estimator is infinite when fitting residuals to cubic smoothing spline. Power performance of this test is investigated and is compared with many other tests. Illustrative examples based on real data sets are given.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2004.10a
• /
• pp.161-162
• /
• 2004