• Proceedings of the Korean Statistical Society Conference
• /
• 2000.11a
• /
• pp.57-64
• /
• 2000

In this paper we consider a Markovian perfect debugging model for which the software failure is caused by two types of faults, one which is easily detected and the other which is difficult to detect. When a failure occurs, a perfect debugging is immediately performed and consequently one fault is reduced from fault contents. We also treat the debugging time as a variable to develop a new debugging model. Several measures, including the distribution of first passage time to the specified number of removed faults, are also obtained using the proposed debugging model, Numerical examples are provided for illustrative purposes.

• International Journal of Control, Automation, and Systems
• /
• v.5 no.2
• /
• pp.218-222
• /
• 2007

This paper presents a new Perfect Tracking Control (PTC) scheme for linear systems with state constraint. The proposed controller increases the number of the steps on-line for perfect tracking to satisfy the given ellipsoid-type state constraint. The unavoidable step delay that we impose is minimized by solving LMI feasibility problems and the possible feedback information loss is avoided. The proposed schemes are easy to develop, theoretically simple and clear, and include the conventional PTC as its special case.

• Journal of Korean Society for Atmospheric Environment
• /
• v.16 no.4
• /
• pp.351-362
• /
• 2000

To set the similarity conditions between a prototype usually in the field and its reduced-scale model is a crucial part in model tests. No technique is available to keep perfect similarity for this procedure so far. The experimental work using a wind tunnel is not exceptional. based on the field measurements, the effect of stack parameters and wind conditions on the dispersion of stack plume has been investigated in the laboratory. in this paper intensive methodology is focused on matching these similarities. Due to the limitations to keep perfect similarity conditions some simplifications are involved in common. In this study geometric conditions and kinematic conditions using Froude number and Reynolds number have been con-sidered to keep the similarity conditions required. From the tests it is found that the critical Reynolds number (Recrit) is 2,700 when the height of stack discharge is 50mm. The dispersion has a similar trend for the higher Reynolds number than the critical Reynolds number. It is also found that different Froude number does not make any significant influence for the normalized tracer gas concentrations at the recipient providing the same ratio of the wind speed to the discharge speed. No significant effect of stack diameter is observed in the normalized tracer gas concentrations with the same Frounde number. The similarity conditions therefore used in this study are reliable to simulate the conditions in prototype into the wind tunnel tests.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.17 no.3
• /
• pp.81-90
• /
• 2007

In the UMTS (Universal Mobile Telecommunication System), which is one of 3G mobile communication standards, the protocol called UMTS AKA (Authentication and Key Agreement) is used to authenticate mobile stations. However, the UMTS AKA protocol has some weakness, including network bandwidth consumption between a SN (Serving Network) and a HN (Home Network) and SQN (SeQuence Number) synchronization. In this paper, we propose a new improved protocol for UMTS that overcomes UMTS AKA weakness. Our protocol solves the privacy problem caused by IMSI (International Mobile Subscriber Identity)'s disclosure and provides perfect forward secrecy using ECDH (Elliptic Curve Diffie Hellman).

• Journal of computational fluids engineering
• /
• v.1 no.1
• /
• pp.123-141
• /
• 1996

In this paper the upwind flux difference splitting Navier-Stokes method has been applied to study the perfect gas and the equilibrium chemically reacting hypersonic flow over an axisymmetric sphere-cone(5°) geometry. The effective gamma(γ), enthalpy to internal energy ratio was used to couple chemistry with the fluid mechanics for equilibrium chemically reacting air. The test case condition was at altitude(30km) and Mach number(15). The equilibrium shock thickness over the blunt body region was much thinner than that of perfect gas shock. The pressure difference between perfect gas and equilibrium gas was about 3 ∼ 5 percent. The heat transfer coefficient were also calculated. The results were compared with VSL results in order to validate the current numerical analysis. The results from current method were compared well VSL results ; however, not well at near nose. The proper boundary condition and grid system will be studied to improve the solution quality.

• 한국전산유체공학회:학술대회논문집
• /
• 1995.10a
• /
• pp.203-212
• /
• 1995

In this paper the upwind flux difference splitting Navier-Stokes method has been applied to study the perfect gas and the equilibrium chemically reacting hypersonic flow over an axisymmetric sphere-cone($5^{\circ}$) geometry. The effective gamma($\bar{r}$), enthalpy to internal energy ratio was used to couple chemistry with the fluid mechanics for equilibrium chemically reacting air. The test case condition was at altitude(30Km) and Mach number(15). The equilibrium shock thickness over the blunt body region was much thinner than that of perfect gas shock. The pressure difference between perfect gas and equilibrium gas was about $3\sim5$ percent. The skin friction coefficient and heat transfer coefficient were also calculated.

• The Korean Journal of Applied Statistics
• /
• v.21 no.6
• /
• pp.997-1006
• /
• 2008

This paper proposes a new model by combining an infinite-server queueing model for multi-task processing software system with a perfect debugging model based on Markov process with two types of faults suggested by Lee et al. (2001). We apply this model for module and integration testing in the testing process. Also, we compute several measure, such as the expected number of tasks whose processes can be completed and the task completion probability are investigated under the proposed model.

• International Journal of Aeronautical and Space Sciences
• /
• v.9 no.1
• /
• pp.1-30
• /
• 2008

When the stagnation temperature of a perfect gas increases, the specific heats and their ratio do not remain constant any more and start to vary with this temperature. The gas remains perfect; its state equation remains always valid, except, it is named in more by calorically imperfect gas. The aim of this work is to trace the profiles of the supersonic axisymmetric Minimum Length Nozzle to have a uniform and parallel flow at the exit section, when the stagnation temperature is taken into account, lower than the dissociation threshold of the molecules, and to have for each exit Mach number and stagnation temperature shape of nozzle. The method of characteristics is used with the algorithm of the second order finite differences method. The form of the nozzle has a point of deflection and an initial angle of expansion. The comparison is made with the calorically perfect gas. The application is for air.

• Journal of KIISE:Databases
• /
• v.31 no.2
• /
• pp.91-98
• /
• 2004

DHP mining association rules algorithm maintains previously independent direct hash table to reduce the sire of hash tree containing the frequency number of each candidate large itemset. It performs pruning by using the direct hash table when the hash tree is constructed. The mort large the size of direct hash table increases, the higher the effort of pruning becomes. Especially, the effect of pruning in phase 2 which generate 2-large itemsets is so high that it dominates the overall performance of DHP algorithm. So, following the speedy trends of producing VLM(Very Large Memory) systems, extreme increment of direct hash table size is being tried and one of those trials is perfect hash table in phase 2. In case of using perfect hash table in phase 2, we found that some rearrangement of DHP algorithm got about 20% performance improvement compared to simply ｜H$_2$｜ reconfigured DHP algorithm. In this paper, we examine the feasibility of perfect hash table in phase 2 and propose PHP algorithm, a rearranged DHP algorithm, which uses the characteristics of perfect hash table sufficiently, then make an analysis on the results in experimental environment.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.27 no.2
• /
• pp.173-180
• /
• 2003

Effects of the electric conductivity of particles were studied for the aggregation process of charged particles with a Brownian dynamic simulation in the free molecular regime. A periodic boundary condition was used for the calculation of the aggregation process in each cell with 500 primary particles of 16 nm in diameter. We considered two extreme cases, a perfect conductor and a perfect nonconductor. The electrostatic force on a particle in the simulation cell was considered as a sum of electrostatic forces from other particles in the original cell and its replicate cells. We assumed that aggregates were only charged with pre-charged primary particles. The morphological shape of aggregates was described in terms of the fractal dimension. The fractal dimension for the uncharged aggregate was D$_{f}$= 1.761. However, the fractal dimension decreased from 1.694 to 1.360 for the case of the perfect conductor, and from 1.610 to 1.476 for the case of the perfect nonconductor, with the increase of the average number of charges on the primary particle from 0.2 to 0.3. These values were smaller than that of the centered charge case.e.