• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.89-96
• /
• 2007

Finite failure NHPP models presented in the literature exhibit either constant. monotonic increasing or monotonic decreasing failure occurrence rates per fault. Accurate predictions of software release times. and estimation of the reliability and availability of a software product require quality of a critical element of the software testing process : test coverage. This model called Enhanced non-homogeneous Poission process(ENHPP). In this paper, exponential coverage and S-type model was reviewed, proposes modified(the superosition and mixture) model, which make out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method. model selection based on SSE statistics for the sake of efficient model, was employed.

• Journal of computational fluids engineering
• /
• v.17 no.3
• /
• pp.25-32
• /
• 2012

This work was devoted to compare two different cavitation models to study the dependency of model constants. The cavitation model of Merkle et al.(2006) and Kunz et al.(2000) were used for the present computational study. The cavitation models were coupled with the incompressible unsteady Reynolds-Averaged Navier-Stokes solver to indicate the vaporization and condensation processes. For this purpose, a preconditioning method was added as the pseudo-time term to solve the unsteady stiffness problems. For the validation of the numerical simulation, the computation was performed for the cavitating flow in a converging-diverging channel. The present results show that Merkle's cavitation model is independent to the model constants, and the higher numerical accuracy over Kunz's cavitation model.

• Nuclear Engineering and Technology
• /
• v.40 no.6
• /
• pp.477-488
• /
• 2008

The objective of the paper is to analyze the thermally induced density wave oscillations in water cooled boiling water reactors. A transient thermal hydraulic model is developed with a characteristics-based implicit finite-difference scheme to solve the nonlinear mass, momentum and energy conservation equations in a time-domain. A two-phase flow was simulated with a one-dimensional homogeneous equilibrium model. The model treats the boundary conditions naturally and takes into account the compressibility effect of the two-phase flow. The axial variation of the heat flux profile can also be handled with the model. Unlike the method of characteristics analysis, the present numerical model is computationally inexpensive in terms of time and works in a Eulerian coordinate system without the loss of accuracy. The model was validated against available benchmarks. The model was extended for the purpose of studying the flow-induced density wave oscillations in forced circulation and natural circulation boiling water reactors. Various parametric studies were undertaken to evaluate the model's performance under different operating conditions. Marginal stability boundaries were drawn for type-I and type-II instabilities in a dimensionless parameter space. The significance of adiabatic riser sections in different boiling reactors was analyzed in detail. The effect of the axial heat flux profile was also investigated for different boiling reactors.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.10 no.4
• /
• pp.19-27
• /
• 2014

Software reliability in the software development process is an important issue. Software process improvement helps in finishing with reliable software product. Infinite failure NHPP software reliability models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. In this paper, proposes the reliability model with log type mean value function (Musa-Okumoto and log power model), which made out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on mean square error (MSE) and coefficient of determination($R^2$), for the sake of efficient model, was employed. Analysis of failure using real data set for the sake of proposing log type mean value function was employed. This analysis of failure data compared with log type mean value function. In order to insurance for the reliability of data, Laplace trend test was employed. In this study, the log type model is also efficient in terms of reliability because it (the coefficient of determination is 70% or more) in the field of the conventional model can be used as an alternative could be confirmed. From this paper, software developers have to consider the growth model by prior knowledge of the software to identify failure modes which can be able to help.

• Polymer(Korea)
• /
• v.28 no.1
• /
• pp.51-58
• /
• 2004

The molecular cluster model for the homogeneous bubble nucleation rather than the classical nucleation theory was extended to predict the bubble nucleation events in elastomers(cross-linked polymers), polymers and polymer which are dissolved in the organic solvent. The classical theory assumes the formation of the critical bubble while the molecular cluster model assumes the critical cluster as for the initiation of the bubble nucleation. For the bubble nucleation in elastomers and polymers, the strain energy overcome by a critical bubble was also considered. The calculation results for the number of bubbles nucleated in elastormers and polymer solutions, which are about 10$\^$8/∼10$\^$12/ bubbles/㎤ are in good agreement with observed ones.

• Nuclear Engineering and Technology
• /
• v.39 no.2
• /
• pp.129-132
• /
• 2007

It is generally known that software reliability growth models such as the Jelinski-Moranda model and the Goel-Okumoto's non-homogeneous Poisson process (NHPP) model cannot be applied to safety-critical software due to a lack of software failure data. In this paper, by applying two of the most widely known software reliability growth models to sample software failure data, we demonstrate the possibility of using the software reliability growth models to prove the high reliability of safety-critical software. The high sensitivity of a piece of software's reliability to software failure data, as well as a lack of sufficient software failure data, is also identified as a possible limitation when applying the software reliability growth models to safety-critical software.

• Proceedings of the KSME Conference
• /
• 2004.11a
• /
• pp.1184-1189
• /
• 2004

Coking process is the thermal decomposition of bituminous coal with final temperature of about $900^{\circ}C$ Because coke plays important roles in ironmaking process in a blast furnace it's essential for developing modeling of coke oven. In this study, An unsteady 2-dimesional model is proposed to simulate coking process in a coke oven. In this model, gas and solid phase are assumed homogeneous continnum and solid bed is assumed as porous media . The model contains governing equations for the solid phase and the gas phase. Complicated phenomena such as swelling, softening, resolidification and shrinkage are neglected and mass loss by drying and devolatilization is reflected by generation of internal pores. Drying, devolatilization, heat transfer and generation of internal pores are also reflected in source terms. Calulated results are compared with experimental data

• Journal of the Korean Society of Safety
• /
• v.33 no.2
• /
• pp.1-7
• /
• 2018

The multi-scale analysis is more proper and precise for composite materials because of considering the individual microscopic structure and properties of each material for composite materials. The purpose of this study is to verify the validity of using palladium particles in carbon/fiber composites by multi-scale analysis. The palladium is a material for itself to detect leaking hydrogen by using the property of adsorbing hydrogen. The macroscopic model material properties used in this study are homogeneous material properties from microstructure. Homogenized material properties that are calculated from periodic boundary conditions in the microscopic representative volume element model of each macroscopic analysis model. In this study, three macroscopic models were used : carbon fiber/epoxy, carbon fiber/palladium, palladium/epoxy. As a result, adding palladium to carbon/epoxy composite is not a problem in terms of strength.

• Industrial Engineering and Management Systems
• /
• v.16 no.1
• /
• pp.52-63
• /
• 2017

The inventory level of concurrent spare parts (CSP) has a significant impact on the availability of a weapon system. A failure rate function might be of particular importance in deciding the CSP inventory level. We developed a CSP optimization model which provides a compromise between purchase costs and shortage costs on the basis of the Weibull and the exponential failure rate functions, assuming that a failure occurs according to the (non-) homogeneous Poisson process. Computational experiments using the data obtained from the Korean Navy identified that, throughout the initial provisioning period, the optimization model using the exponential failure rate tended to overestimate the optimal CSP level, leading to higher purchase costs than the one using the Weibull failure rate. A Pareto optimality was conducted to find an optimal combination of these two failure rate functions as input parameters to the model, and this provides a practical solution for logistics managers.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.27 no.11
• /
• pp.96-103
• /
• 2013

In this paper, resonant wireless power transfer systems are designed with double loop resonant coils for the resonant frequency of 150kHz. The transfer efficiency characteristics is analyzed according to the coil size, and the distance and misalignment between the coils. Then the change in efficiency is investigated when a human model is located between the resonant coils using the homogeneous human phantom of IEC-62311 standard. Also, in order to assess the safety of the wireless power transfer system, the induced current density inside the human model is calculated when it is exposed to the magnetic field of a plane wave and resonant coil. Then, the results are compared with the exposure limits in the EMF (electromagnetic field) safety guidelines.