• 대한수학회지
• /
• 제37권5호
• /
• pp.793-803
• /
• 2000

An impulsive semilinear parabolic equation subject to Robin boundary condition is considered. We prove that for certain classes of impulsive sources and continuous initial data, the solutions of the problem under consideration blow up in the desired time interval.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국제학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.468-473
• /
• 1993

Augmented proportional navigation requires the information of a target acceleration, which must be estimated by a filtering logic. The process necessary accompanies a time lag, which degrades the guidance performance. A trade-off study between augmented and conventional proportional navigation is conducted with the time lag taken into consideration. The result shows that the conventional proportional navigation has better performance against a target maneuver in the missile-target coplane, while the augmented has better performance against out-of-coplane maneuver.

• 품질경영학회지
• /
• 제31권1호
• /
• pp.142-147
• /
• 2003

Burn-in is a widely used method to eliminate the initial failures. Preventive maintenance policy such as block replacement with minimal repair at failure is often used in field operation. In this, paper burn-in and maintenance policy are taken into consideration at the same time. The cost of a minimal repair is assumed to be a non-decreasing function of its age. The problems of determining optimal burn-in times and optimal maintenance policy are considered.

• 한국통계학회:학술대회논문집
• /
• 한국통계학회 2002년도 추계 학술발표회 논문집
• /
• pp.147-151
• /
• 2002

Burn-in is a widely used method to eliminate initial failures. Preventive maintenance policy such as block replacement with minimal repair at failure is often used in field operation. In this paper burn-in and maintenance policy are taken into consideration at the same time. The cost of a minimal repair is assumed to be a non-decreasing function of its age. The problems of determining optimal burn-in times and optimal maintenance policy are considered.

• Journal of applied mathematics & informatics
• /
• 제1권1호
• /
• pp.55-74
• /
• 1994

We consider an M/G/1 queueing system with multiple priority classes of jobs. Considered preemptive rules are the preemptive-resume preemptive-repeat-identical, and preemptive-repeat-different policies. These three preemptive rules will be analyzed in parallel. The key idea of analysis is based on the consideration of a busy period as composite of delay cycle. As results we present the exact Laplace-Stieltjecs(L.S) transforms of residence time and completion time in the system.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1988년도 한국자동제어학술회의논문집(국내학술편); 한국전력공사연수원, 서울; 21-22 Oct. 1988
• /
• pp.338-342
• /
• 1988

Recently, in sequence control systems, high flexibility and maintenance of control software are required. This is because product life cycles become shorter and control specification must be changed frequently. The authors extend the concept of Safe Petri Net to develop the design and analysis tool for sequence control systems taking the safeness and notation of input/output functions into consideration. Extended Safe Petri Net (S-Net) is proposed as such a new graph model and real time scanning algorithm based on S-Net is developed.

• International Journal of Reliability and Applications
• /
• 제3권2호
• /
• pp.81-90
• /
• 2002

The importance of the reliability of software is growing more and more as more complicated digital computer systems are used for real-time control applications. To provide more reliable software, the testing period should be long enough, but not unnecessarily too long. In this study, we suggest a simple but effective stopping rule which can provide just proper amount of testing time. We take unique features of software into consideration and adopt non-homogeneous Poisson process model and Bayesian approach. A numerical example is given to demonstrate the validity of our stopping rule.

• 산업경영시스템학회지
• /
• 제6권9호
• /
• pp.27-33
• /
• 1983

This Paper represents time-dependent stochastic variations of common discounted cash flow formulae with explicit consideration given to inflation. The cash flow, the ratio of discounting or compounding, and the rate of inflation are allowed to vary with time in a random fashion in equations for the compound amount of a single payment, present worth of a single payment, amount of an annuity, periodic deposits to accumulate a future amounts, present worth of an annuity and capital recovery And all formulae are derived for the case of discrete random variations.

• 음성과학
• /
• 제1권
• /
• pp.285-293
• /
• 1997

This paper was constructed to investigate strange attractor in considering speech which is regarded as chaos in that the random signal appears in the deterministic raising system. This paper searches for the delay time from AR model power spectrum for constructing fit attractor for speech signal. As a result of applying Taken's embedding theory to the delay time, an exact correlation dimension solution is obtained. As a result of this consideration of speech, it is found that it has more speaker recognition characteristic parameter, and gains a large speaker discrimination recognition rate.

• 전자공학회논문지B
• /
• 제32B권5호
• /
• pp.788-797
• /
• 1995

In this paper, a variable time-scale modification using SOLA(Synchronized OverLap and Add) is proposed, which takes into consideration the different time-scaled characteristics of voiced and unvoiced speech, Generally, voiced speech is subject to higher variations in length during time-scale modification than unvoiced speech, but the conventional method performs time-scale modification at a uniform rate for all speech. For this purpose, voiced and unvoiced speech duration at various talking speeds were statistically analyzed. The sentences were then spoken at rates of 0.7, 1.3, 1.5 and 1.8 times normal speed. A clipping autocorrelation function was applied to each analysis frame to determine voiced and unvoiced speech to obtain respective variation rates. The results were used to perform variable time-scale modification to produce sentences at rates of 0.7, 1.3, 1.5, 1.8 times normal speed. To evaluate performance, a MOS test was conducted to compare the proposed voiced/unvoiced variable time-scale modification and the uniform SOLA method. Results indicate that the proposed method produces sentence quality superior to that of the conventional method.