• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1185-1187
• /
• 1987

Digital systems are increasingly being used in the ranges of many control engineering. The residue number system offers the possibility of high speed operation and error correction. The compact self-checking pulse-train residue arithmetic circuit is proposed. A fault tolerant digital filter is practically implemented using these proposed circuits.

• Journal of the Korean Data and Information Science Society
• /
• v.14 no.3
• /
• pp.561-570
• /
• 2003

We propose a nonparametric test procedure for checking the proportionality assumption between hazard functions using a functional equation. Because of the involvement of censoring distribution function, we consider the large sample case only and obtain the asymptotic normality of the proposeed test statistic. Then we discuss the rationale of the use of the functional equation, give some examples and compare the performances with Andersen's procedure by computing powers through simulations.

• Proceedings of the IEEK Conference
• /
• 2008.06a
• /
• pp.721-722
• /
• 2008

The method for evaluating AF's quality and calculating of AF checking time is proposed in this paper. For the purpose, the fuzzy control method is used. To show the effectiveness, the technique is implemented and the performance is verified on a NEC's 16 bit-general purpose micro-controller. The result shows that although the number of AF checking times is reduced, the receiver can find the best frequency faster.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 1998.10a
• /
• pp.222-227
• /
• 1998

The paper proposes a new method for measuring the flow ripple generated by an axial piston pump and motor in a hydrostatic transmission. The method is based on dynamic characteristics between pressure and flow ripple in the pipeline. Also, the self-checking functions develop for the evaluation of accuracy and dynamic response of estimated results by the method proposed here. The experiment carry out open circuit type hydrostatic transmission. By using the self-checking functions, the validity of the method is investigated by comparison with the measured and estimated flow and pressure ripples, and good agreement is achieved.

• 제어로봇시스템학회:학술대회논문집
• /
• 1995.10a
• /
• pp.5-9
• /
• 1995

In many cases of robust stability problems, the characteristic polynomial has real coefficients which or nonlinear functions of uncertain parameters. For this set of polynomials, a new stability easily checking algorithm for reducing the conservatism of the stability bound are given. It is the new stability theorem to determine the stability region just in parameter space. Illustrative example show that the presented method has larger stability bound in uncertain parameter space than others.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.11a
• /
• pp.593-597
• /
• 1996

This paper describes a method for drawing check of dimension errors, such as deficiency and redundancy of dimensions, input-errors in dimension figures and symbols, etc. The logic for finding dimensional errors is written by using the Turbo C language. Checking for deficiency and redundancy of global dimensions has been performed applying Graph Theory. Especialy, this paper gives an account of checking method for annular parts.

• Water for future
• /
• v.24 no.3
• /
• pp.61-70
• /
• 1991

the relationships between rainfall and runoff are analyzed statistically and modelled using discrete linear transfer function, which can be shown with the relations between input and output in hydrologic system. The procedures of identification, estimation and diagnostic checking of model are proposed, and the suitabilith of assume model is determined by the statistics used in time series analysis.

• Communications for Statistical Applications and Methods
• /
• v.12 no.2
• /
• pp.359-364
• /
• 2005

This paper considers a specification test of conditional Poisson regression model for time series count data. Although conditional models for count data have received attention and proposed in several ways, few studies focused on checking its adequacy. Motivated by the test of martingale difference assumption, a specification test via Ljung-Box statistic is proposed in the conditional model of the time series count data. In order to illustrate the performance of Ljung- Box test, simulation results will be provided.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.4
• /
• pp.609-616
• /
• 2010

We characterize extreme rays of the cone $\mathbb{T}$ of all positive semi-definite block matrices whose partial transposes are also positive semi-definite. We also construct an algorithm checking whether a given PPTES generates an extreme ray in the cone $\mathbb{T}$ or not. Using this algorithm, we give an example of $4{\otimes}4$ PPT entangle state of the type (5, 5), which generates extreme ray of the cone $\mathbb{T}$.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.