• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.6
• /
• pp.483-490
• /
• 2015

There are many software reliability models that are based on the times of occurrences of errors in the debugging of software. It is shown that it is possible to do likelihood inference for software reliability models based on finite failure model and non-homogeneous Poisson Processes (NHPP). For someone making a decision about when to market software, the conditional failure rate is an important variables. The infinite failure model are used in a wide variety of practical situations. Their use in characterization problems, detection of outlier, linear estimation, study of system reliability, life-testing, survival analysis, data compression and many other fields can be seen from the many study. Statistical process control (SPC) can monitor the forecasting of software failure and thereby contribute significantly to the improvement of software reliability. Control charts are widely used for software process control in the software industry. In this paper, proposed a control mechanism based on NHPP using mean value function of Musa-Okumo and Power law type property.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.18 no.3
• /
• pp.245-254
• /
• 2005

Radioactive material is used in the various fields. The numbers of transport for radioactive material have been gradually increased in both domestic and International regions. The safety of the cask should be secured to safely transport of radioactive material. The korean atomic law and the IAEA safety standards prescribe regulations lot the safe transport of radioactive material The cask for spent fuel is comprised of the body and the impact limiter. In this study, the empirical equation of the cask impact force is proposed based on the dimensional analysis. Using this empirical equation the characteristics of the impact limiter are analyzed. The results are also validated by comparing with the previous results of the impact area method and the finite element analysis. The present method can be used to predict the impact force of the cask.

• Steel and Composite Structures
• /
• v.9 no.2
• /
• pp.131-158
• /
• 2009

This paper presents a modelling technique for the nonlinear analysis of composite steel-concrete beams with partial shear interaction. It extends the applicability of two stiffness elements previously derived by the authors using the direct stiffness method, i.e. the 6DOF and the 8DOF elements, to account for material nonlinearities. The freedoms are the vertical displacement, the rotation and the slip at both ends for the 6DOF stiffness element, as well as the axial displacement at the level of the reference axis for the 8DOF stiffness element. The solution iterative scheme is based on the secant method, with the convergence criteria relying on the ratios of the Euclidean norms of both forces and displacements. The advantage of the approach is that the displacement and force fields of the stiffness elements are extremely rich as they correspond to those required by the analytical solution of the elastic partial interaction problem, thereby producing a robust numerical technique. Experimental results available in the literature are used to validate the finite element proposed in the paper. For this purpose, those reported by Chapman and Balakrishnan (1964), Fabbrocino et al. (1998, 1999) and Ansourian (1981) are utilised; these consist of six simply supported beams with a point load applied at mid-span inducing positive bending moment in the beams, three simply supported beams with a point load applied at mid-span inducing negative bending moment in the beams, and six two-span continuous composite beams respectively. Based on these comparisons, a preferred degree of discretisation suitable for the proposed modelling technique expressed as a function of the ratio between the element length and depth is proposed, as is the number of Gauss stations needed. This allows for accurate prediction of the nonlinear response of composite beams.

• Steel and Composite Structures
• /
• v.22 no.3
• /
• pp.537-565
• /
• 2016

Australian railway networks possess a large amount of aging timber components and need to replace them in excess of 280 thousands $m^3$ per year. The relatively high turnover of timber sleepers (crossties in a plain track), bearers (skeleton ties in a turnout), and transoms (bridge cross beams) is responsible for producing greenhouse gas emissions 6 times greater than an equivalent reinforced concrete counterparts. This paper presents an innovative solution for the replacement of aging timber transoms installed on existing railway bridges along with the incorporation of a continuous walkway platform, which is proven to provide environmental, safety and financial benefits. Recent developments for alternative composite materials to replace timber components in railway infrastructure construction and maintenance demonstrate some compatibility issues with track stiffness as well as structural and geometrical track systems. Structural concrete are generally used for new railway bridges where the comparatively thicker and heavier fixed slab track systems can be accommodated. This study firstly demonstrates a novel and resilient alterative by incorporating steel-concrete composite slab theory and combines the capabilities of being precast and modulated, in order to reduce the depth, weight and required installation time relative to conventional concrete direct-fixation track slab systems. Clear benefits of the new steel-concrete composites are the maintainability and constructability, especially for existing railway bridges (or brown fields). Critical considerations in the design and finite element modelling for performance benchmarking of composite structures and their failure modes are highlighted in this paper, altogether with risks, compatibilities and compliances.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.34 no.3
• /
• pp.219-228
• /
• 2010

A two-dimensional mathematical model was developed to predict the temperature and moisture-content profiles of a tumble dryer during infrared drying. The model is based on the movements of liquid water and moisture in the object and on the fluid and heat transfer in the drying air. The model was solved by the finite volume analysis for the fluid, temperature, and radiation intensity fields. After deriving the governing equations and developing the two-dimensional tumble dryer models, numerical investigations were carried out to examine the effects of various parameters such as the heater temperature and the heating patterns on the drying mechanism of the tumble dryer. All the results show that the drying time can be reduced by using the IR heater.

• Journal of the Korean Magnetics Society
• /
• v.16 no.6
• /
• pp.305-308
• /
• 2006

Magnetic flux leakage (MFL) pigs are traditionally used for the detection of gross corrosion on steel pipelines used for the transmission of natural gas. Alternative nondestructive evaluation (NDE) modalities are required for the detection of stress corrosion cracking (SCC) which tends to exist in colonies oriented axially along the length of the pipeline. This paper describes the use of multiphase rotating magnetic fields in the remote region of the probe as a possible SCC detection mechanism. Details of a prototype pig and test rig are given and the challenges associated with the finite element modeling of the device are discussed. Initial experimental results show that this novel NDE modality is sensitive to axially oriented tight cracks.

• Nuclear Engineering and Technology
• /
• v.20 no.2
• /
• pp.132-136
• /
• 1988

A strategic question in groundwater contaminant transport modeling is whether we need to treat waste packages or drums as individual, discrete sources or as approximately lumped sources. In this paper we present analyses of array sources in porous media. We analyze a planar array of sources in porous media with groundwater flow. We compare the concentration field predicted by a detailed model of individual point sources to concentration fields predicted by an infinite plane source and a single point source, all of the same equivalent strength. From this study we identified three regions: (1) a region close to the sources where the effects of adjacent sources are significant and individual source models should be used, (2) a region extending from a few meters to hundreds to thousands of meters downstream, where an equivalent source of infinite extent gives accurate results, and (3) a far-field region, where in an equivalent source of finite extent gives accurate results.

• Nuclear Engineering and Technology
• /
• v.40 no.3
• /
• pp.213-224
• /
• 2008

The pumping of coolant in a liquid metal fast reactor may be performed with an annular linear induction electro-magnetic (EM) pump. Linear induction pumps use a traveling magnetic field wave created by poly-phase currents, and the induced currents and their associated magnetic field generate a Lorentz force, whose effect can be the pumping of the liquid metal. The flow behaviors in the pump are very complex, including a time-varying Lorentz force and pressure pulsation, because an induction EM pump has time-varying magnetic fields and the induced convective currents that originate from the flow of the liquid metal. These phenomena lead to an instability problem in the pump arising from the changes of the generated Lorentz forces along the pump's geometry. Therefore, a magneto-hydro-dynamics (MHD) analysis is required for the design and operation of a linear induction EM pump. We have developed a time-harmonic 2-dimensional axisymmetry MHD analysis method based on the Maxwell equations. This paper describes the analysis and numerical method for obtaining solutions for some MHD parameters in an induction EM pump. Experimental test results obtained from an induction EM pump of CLIP-150 at the STC "Sintez," D.V. Efremov Institute of Electro-physical Apparatus in St. Petersburg were used to validate the method. In addition, we investigated some characteristics of a linear induction EM pump, such as the effect of the convective current and the double supply frequency (DSF) pressure pulsation. This simple model overestimated the convective eddy current generated from the sodium flow in the pump channel; however, it had a similar tendency for the measured data of the pump performance through a comparison with the experimental data. Considering its simplicity, it could be a base model for designing an EM pump and for evaluating the MHD flow in an EM pump.

• Geophysics and Geophysical Exploration
• /
• v.18 no.4
• /
• pp.232-240
• /
• 2015

Magnetotelluric (MT) survey investigates electrical structure of subsurface by measuring natural electromagnetic fields on the earth surface. For the accurate interpretation of MT data, the precise three-dimensional (3-D) modeling algorithm is prerequisite. Since MT responses are affected by electrical anisotropy of medium, the modeling algorithm has to incorporate the electrical anisotropy especially when analyzing time-lapse MT data sets, for monitoring engineered geothermal system (EGS) reservoir, because changes in different-vintage MT-data sets are small. This study developed a MT modeling algorithm for the simulation MT responses in the presence of electrical anisotropy by improving a pre-existing staggered-grid finite-difference MT modeling algorithm. After verifying the developed algorithm, we analyzed the effect of vertical transversely isotropic (VTI) anisotropy on MT responses. In addition, we are planning to extend the applicability of the developed algorithm which can simulate not only the horizontal transversely isotropic (HTI) anisotropy, but also the tiled transversely isotropic (TTI) anisotropy.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.10 no.7
• /
• pp.1095-1103
• /
• 1999

Presently, the retractable phone with a whip antenna composed of a helix and a monopole is most widely used for cellular mobile communications. However, since the length of the monopole is usually about λ/4, the strong radiated electric fields are produced in the region where the auricle of a head is contacted directly. This field distribution results in high specific absorption rates(SAR's) in the head. In this paper, SAR distributions and local SAR values for the inversely shaped phone(ISP) whose antenna arrangement is opposite to the original retractable phone(ORP) are compared with those for the ORP. This phone is accomplished by mounting the $\lambda$/4-whip antenna on the bottom, not on the top of the handset. The time-averaged field distribution in a computational space including a human model and a phone model is computed using the finite-difference time-domain(FDTD) method. SAR distributions and local SAR values for these phones are calculated with the field distributions. An anatomical head model and an approximate hand model were used to consider a real situation. From the analyzed data, it is shown that this arrangement of the antenna considerably reduces the spatial peak SAR in a human head.