• Journal of Advanced Navigation Technology
• /
• v.14 no.1
• /
• pp.119-126
• /
• 2010

The software reliability growth model(SRGM) has been developed in order to estimate such reliability measures as remaining fault number, failure rate and reliability for the developing stage software. Almost of them assumed that the faults detected during testing were eventually removed. Namely, they have studied SRGM based on the assumption that the faults detected during testing were perfectly removed. The fault removing efficiency, however, is imperfect and it is widely known as so in general. It is very difficult to remove detected fault perfectly because the fault detecting is not easy and new error may be introduced during debugging and correcting. Therefore, We want to study imperfect software testing effort for the logistic testing effort which is thought to be the most adequate in this paper.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.23 no.4
• /
• pp.111-130
• /
• 1998

We propose an imperfect repair model which depends on external effects quantified by covariates. The model is based on the Brown-Proschan imperfect repair model wherefrom the probability of perfect repair is represented by a function of covariates. We are motivated by deficiency of the BP model whose stationarity prevents us from predicting dynamically the time to next failure according to external condition. Five types of function for the probability of perfect repair are proposed. This article also presents a procedure for estimating the parameter of the function for the probability of perfect repair, as well as the inherent lifetime distribution of the system, based on consecutive inter-failure times and the covariates. The estimation procedure is based on the expectation-maximization principle which is suitable to incomplete data problems. focusing on the maximization step, we derive some theorems which guarantee the existence of the solution. A Monte Carlo study is also performed to illustrate the prediction power of the model as well as to show reasonable properties of the estimates. The model reduces significantly the mean square error of the in-sample prediction. so it can be utilized in real fields for evaluating and maintaining repairable systems.

• Structural Engineering and Mechanics
• /
• v.34 no.4
• /
• pp.449-474
• /
• 2010

A smart hollow cylinder consisting of a host functionally graded elastic core layer and two surface homogeneous piezoelectric layers is presented in this paper. The bonding between the layers can be perfect or imperfect, depending on the parameters taken in the general linear spring-layer interface model. The effect of such weak interfaces on free vibration and steady-state response is then investigated. Piezoelectric layers at inner and outer surfaces are polarized axially or radially and act as a sensor and an actuator respectively. For a simply supported condition, the state equations with non-constant coefficients are obtained directly from the formulations of elasticity/piezoelasticity. An approximate laminated model is then introduced for the sake of solving the state equations conveniently. It is further assumed that the hollow cylinder is embedded in an elastic medium and is simultaneously filled with compressible fluid. The interaction between the structure and its surrounding media is taken into account. Numerical examples are finally given with discussions on the effect of some related parameters.

• Smart Structures and Systems
• /
• v.26 no.2
• /
• pp.213-226
• /
• 2020

In this manuscript, static and dynamic behaviors of geometrically imperfect carbon nanotubes (CNTs) subject to different types of end conditions are investigated. The Doublet Mechanics (DM) theory, which is length scale dependent theory, is used in the analysis. The Euler-Bernoulli kinematic and nonlinear mid-plane stretching effect are considered through analysis. The governing equation of imperfect CNTs is a sixth order nonlinear integro-partial-differential equation. The buckling problem is discretized via the differential-integral-quadrature method (DIQM) and then it is solved using Newton's method. The equation of linear vibration problem is discretized using DIQM and then solved as a linear eigenvalue problem to get natural frequencies and corresponding mode shapes. The DIQM results are compared with analytical ones available in the literature and excellent agreement is obtained. The numerical results are depicted to illustrate the influence of length scale parameter, imperfection amplitude and shear foundation constant on critical buckling load, post-buckling configuration and linear vibration behavior. The current model is effective in designing of NEMS, nano-sensor and nano-actuator manufactured by CNTs.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.5
• /
• pp.1225-1233
• /
• 1998

An important issue for software developers is to determine when to stop testing the software system and release it to users. Generally the release time is specified by the number of detected faults or the testing time needed to meet the reliability requirement. Software reliability directly depends on the number of remaining or corrected faults. All the detected faults are not always corrected under imperfect debugging environment. We therefore need a new approach to software release policy for imperfect debugging. This paper suggests a software release policy, which guarantees that the reliability requirement has been achieved. The suggested policy is then implemented and illustrated for specific SRGMs.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.37 no.4
• /
• pp.231-238
• /
• 2014

Optimum lot size calculation for real world manufacturing environment has been focused since last few decades. Several extensions have been made to the basic economic order and production order quantity models to realize the possible practical situations in industry. However, focus on work-in-process inventory has been ignored relatively. This paper provides a comprehensive review of the models developed for group technology based manufacturing environment focusing on work-in-process inventory. Models have been extended from a perfect manufacturing conditions to an imperfect manufacturing situation considering rework, rejection and inspection. Optimum lot size has been evaluated using a simple algebraic optimization approach. Significant parameters are highlighted using sensitivity analysis for the developed models. Numerical example is used to illustrate the utilization of such models in day-to-day production setups and the impact of significant factors' variation on total cost and optimum lot size.

• ETRI Journal
• /
• v.38 no.6
• /
• pp.1153-1162
• /
• 2016

This paper addresses the resource allocation (RA) problem in multi-cell cognitive radio networks. Besides the interference power threshold to limit the interference on primary users PUs caused by cognitive users CUs, a proportional fairness constraint is used to guarantee fairness among multiple cognitive cells and the impact of imperfect spectrum sensing is taken into account. Additional constraints in typical real communication scenarios are also considered-such as a transmission power constraint of the cognitive base stations, unique subcarrier allocation to at most one CU, and others. The resulting RA problem belongs to the class of NP-hard problems. A computationally efficient optimal algorithm cannot therefore be found. Consequently, we propose a suboptimal RA algorithm composed of two modules: a subcarrier allocation module implemented by the immune algorithm, and a power control module using an improved sub-gradient method. To further enhance algorithm performance, these two modules are executed successively, and the sequence is repeated twice. We conduct extensive simulation experiments, which demonstrate that our proposed algorithm outperforms existing algorithms.

• Journal of Institute of Control, Robotics and Systems
• /
• v.22 no.6
• /
• pp.429-434
• /
• 2016

This paper introduces a stabilization condition for polynomial fuzzy systems that guarantees $H_{\infty}$ performance under the imperfect premise matching. An $H_{\infty}$ control of polynomial fuzzy systems attenuates the effect of external disturbance. Under the imperfect premise matching, a polynomial fuzzy model and controller do not share the same membership functions. Therefore, a polynomial fuzzy controller has an enhanced design flexibility and inherent robustness to handle parameter uncertainties. In this paper, the stabilization conditions are derived from the polynomial Lyapunov function and numerically solved by the sum-of-squares (SOS) method. A simulation example and comparison of the performance are provided to verify the stability analysis results and demonstrate the effectiveness of the proposed stabilization conditions.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.45 no.12
• /
• pp.26-33
• /
• 2008

Signal detection is a key technique in wireless communication system. Recently, several detection algorithms have been developed for multiple-input multiple-output (MIMO) wireless communication systems. However, most research in this area had assumed a flat-fading channel environment and all these techniques are based on the assumption that the channel state information (CSI) at the receiver side is perfect. But in practical situation, the available CSI may be imperfect because of channel estimation errors and/or outdated training. In this paper, we will compare the performance of several detection algorithms in MIMO frequency selective fading channel environment with imperfect CSI.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.21 no.1
• /
• pp.51-58
• /
• 2008

A constitutive model based on a combination of a micromechanics-based weakened interface elastic model (Lee and Pyo, 2007) and a crack nucleation model (Karihaloo and Fu, 1989) is proposed to predict the effective elastic behavior of particle-reinforced composites. The model specifically considers imperfect interfaces in particles and microcracks in the matrix. To exercise the proposed constitutive model and to investigate the influence of model parameters on the behavior of the composites, numerical simulations on uniaxial tension tests were conducted. Furthermore, the present prediction is compared with available experimental data in the literature to verify the accuracy of the proposed constitutive model.