• 대한전자공학회논문지
• /
• 제8권4호
• /
• pp.1-6
• /
• 1971

본논문에서는 TANT 회로의 hazard를 검출하는데 효과적인 방법과 hazard가 없는 최소 TANT 회로의 합성절차를 착시하였다. TANT 회로의 harvard검출의 기본개념은 일반조합논리회로에 관한 McCluskey의 이론과 상통하지만 hazard의 존재여부를 검토하는데 consensus산법을 도입한 것은 본방법의 특이한 점이다.

• International Journal of Reliability and Applications
• /
• 제12권1호
• /
• pp.41-48
• /
• 2011

This paper considers the maintenance model suggested by Jung and Park (2010) to adopt the Bayesian approach and obtain an optimal replacement policy following the expiration of NFRRW. As the criteria to determine the optimal maintenance period, we use the expected cost during the life cycle of the system. When the failure times are assumed to follow a Weibull distribution with unknown parameters, we propose an optimal maintenance policy based on the Bayesian approach. Also, we describe the revision of uncertainty about parameters in the light of data observed. Some numerical examples are presented for illustrative purpose.

• 한국통계학회:학술대회논문집
• /
• 한국통계학회 2003년도 춘계 학술발표회 논문집
• /
• pp.151-156
• /
• 2003

Variable selection algorithm for principal component analysis using penalized likelihood method is proposed. We will adopt a probabilistic principal component idea to utilize likelihood function for the problem and use HARD penalty function to force coefficients of any irrelevant variables for each component to zero. Consistency and sparsity of coefficient estimates will be provided with results of small simulated and illustrative real examples.

• 전기학회논문지
• /
• 제58권1호
• /
• pp.168-172
• /
• 2009

We compare an integral sliding mode control with a typical sliding mode control for robot manipulators through two primitive tasks: set-point regulation and trajectory tracking control. To prove the asymptotic stability of two methods for robot manipulators, we introduce three important properties in the robot dynamics: skew-symmetry, positive-definiteness, and boundedness of robot parameter matrices and we present one unified control structure using a parametric velocity vector. From illustrative examples, we show that two methods effectively control for robot manipulators.

• Korean Journal of Mathematics
• /
• 제24권2호
• /
• pp.169-179
• /
• 2016

In this article, we introduce the concept of ordered dualistic partial metric spaces and establish an order relation on quasi dualistic partial metric spaces. Later on, using this order relation, we prove xed point theorems for single and multivalued mappings. We support our results with some illustrative examples.

• 대한수학회지
• /
• 제48권5호
• /
• pp.985-999
• /
• 2011

A new filled function method is presented in this paper to solve box-constrained nonlinear integer programming problems. It is shown that for a given non-global local minimizer, a better local minimizer can be obtained by local search starting from an improved initial point which is obtained by locally solving a box-constrained integer programming problem. Several illustrative numerical examples are reported to show the efficiency of the present method.

• Journal of applied mathematics & informatics
• /
• 제18권1_2호
• /
• pp.405-417
• /
• 2005

In this paper, the oscillation and asymptotic stability behavior of a third order linear impulsive equation are investigated. A lemma is presented to deal with the sign relation of the nonoscillatory solutions and their derived functions. By the lemma explicit sufficient conditions are obtained for all solutions either oscillating or asymptotically tending to zero. Two illustrative examples are proposed to demonstrate the effectiveness of the conditions.

• Journal of applied mathematics & informatics
• /
• 제27권3_4호
• /
• pp.581-589
• /
• 2009

In this paper, we are concerned with a class of nonlinear second-order differential equations with a nonlinear damping term and forcing term: $$(r(t)k_1(x(t),x'(t)))'+p(t)k_2(x(t),x'(t))x'(t)+q(t)f(x(t))=0$$. Passage to more general class of equations allows us to remove a restrictive condition usually imposed on the nonlinearity. And, as a consequence, our results apply to wider classes of nonlinear differential equations. Some illustrative examples are considered.

• Journal of the Korean Statistical Society
• /
• 제30권4호
• /
• pp.645-660
• /
• 2001

In this paper we propose a goodness-of-fit test statistic for testing the (null) parametric model versus the (alternative) nonparametric model. Most of existing nonparametric test statistics are based on the residuals which are obtained by regressing the data to a parametric model. Our test is based on the bootstrap estimator of the probability that the smoothing parameter estimator is infinite when fitting residuals to cubic smoothing spline. Power performance of this test is investigated and is compared with many other tests. Illustrative examples based on real data sets are given.

• Communications for Statistical Applications and Methods
• /
• 제20권3호
• /
• pp.169-174
• /
• 2013

The ROC curve is drawn with two conditional cumulative distribution functions (or survival functions) of the univariate random variable. In this work, we consider joint cumulative distribution functions of k random variables, and suggest a ROC curve for multivariate random variables. With regard to the values on the line, which passes through two mean vectors of dichotomous states, a joint cumulative distribution function can be regarded as a function of the univariate variable. After this function is modified to satisfy the properties of the cumulative distribution function, a ROC curve might be derived; moreover, some illustrative examples are demonstrated.