• 대한수학회보
• /
• 제14권1호
• /
• pp.1-8
• /
• 1977

• 대한수학회보
• /
• 제13권2호
• /
• pp.149.2-149.2
• /
• 1976

• Transactions on Control, Automation and Systems Engineering
• /
• 제4권3호
• /
• pp.205-211
• /
• 2002

Unknown inputs observer(UIO) which is achieved by the coordinate transformation method has the differential of system outputs in the observer and the equation for unknown inputs estimation. Generally, the differential of system outputs in the observer can be eliminated by defining a new variable. But it brings about the partition of the observer into two subsystems and need of an additional differential of system outputs still remained to estimate the unknown inputs. Therefore, the block pulse function expansions and its differential operation which is a newly derived in this paper are presented to alleviate such problems from an algebraic form.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.920-923
• /
• 2002

In this paper, we propose Class Diagram With Constraints (CDWC) as an object oriented modeling technique which makes validation possible in software development. CDWC is a simple and basic model for the object oriented analysis, and has a reasonable strictness for software developers. CDWC consists of class diagrams and constraints (invariant and pre/post conditions), using UML and a subset of OCL.. We introduce a method of validation of CDWC using the verification technique of algebraic formal specification language CafeOBJ.

• Journal of applied mathematics & informatics
• /
• 제4권1호
• /
• pp.211-222
• /
• 1997

In this paper we present a probabilistic approach for the estimation of realistic error bounds appearing in the execution of basic algebraic floating point operations. Experimental results are carried out for the extended product the extended sum the inner product of random normalised numbers the product of random normalised ma-trices and the solution of lower triangular systems The ordinary and probabilistic bounds are calculated for all the above processes and gen-erally in all the executed examples the probabilistic bounds are much more realistic.

• Korean Journal of Mathematics
• /
• 제29권4호
• /
• pp.741-747
• /
• 2021

The Cayley-Bacharach theorem says that every cubic curve on an algebraically closed field that passes through a given 8 points must contain a fixed ninth point, counting multiplicities. Ren et al. introduced a concrete formula for the ninth point in terms of the 8 points [4]. We would like to consider a different approach to find the ninth point via the theory of truncated moment problems. Various connections between algebraic geometry and truncated moment problems have been discussed recently; thus, the main result of this note aims to observe an interplay between linear algebra, operator theory, and real algebraic geometry.

• Journal of applied mathematics & informatics
• /
• 제30권5_6호
• /
• pp.951-969
• /
• 2012

In this paper, we propose a class of meshless collocation approaches for the solution of time dependent partial differential algebraic equations (PDAEs) in terms of a radial basis function interpolation numerical scheme. Kansa's method and the Hermite collocation method (HCM) for PDAEs are given. A sensitivity analysis of the solutions from different shape parameter c is obtained by numerical experiments. With use of the random collocation points, we have obtain the more accurate solution by the methods than those by the finite difference method for the PDAEs with index-2, i.e, we avoid the influence from an index jump of PDAEs in some degree. Several numerical experiments show that the methods are efficient.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2000년도 추계 학술발표회 논문집 Proceedings of EESK Conference-Fall 2000
• /
• pp.176-183
• /
• 2000

A simplified for the eigenpair sensitivities of damped systems is presented. This approach employs a reduced equation to determine the sensitivities of eigenpairs of the damped vibratory systems with distinct eigenvalues. The derivatives of eigenpairs are obtained by solving an algebraic equation with a symmetric coefficient matrix of (n+1) b (n+1) dimension where n is the number of degree of freedom. This is an improved method of the previous work of Lee and Jung. Two equations are used to find eigenvalues derivatives and eigenvector derivatives in their paper. A significant advantage of this approach over Lee and Jung is that one algebraic equation newly developed is enough to compute such eigenvalue derivatives and eigenvector derivatives. Simulation results indicate that the new method is highly efficient in determining the sensitivities of engenpairs of the damped vibratory systems with distrinct eigenvalues.

• 대한기계학회논문집
• /
• 제18권8호
• /
• pp.1967-1973
• /
• 1994

The free vibration of a thin plate with three different boundary conditions is discussed in this paper. A semi-analytical approach to the plate problems has been exploited using computer algebra system(CAS). The approximate solutions are assumed as algebraic polynomials that satisfy the appropriate boundary conditions. In order to solve problems, Galerkin method is used, which is known as an ineffective tool for practical engineering problems, being involved with a large number of multiple integration and differentiation. All the admissible functions used in this paper are generated automatically by CAS otherwise a tedious algebraic manipulations should be done by hand. One, six and fifteen-term solutions in terms of frequency parameters are presented and compared with exact solutions. Even using one-term solution, the comparison with existing data shows good agreement and accuracy of the present method.

• International Journal of Precision Engineering and Manufacturing
• /
• 제3권4호
• /
• pp.54-63
• /
• 2002

In recent years, mechanical systems such as high speed vehicles and railway trains moving on elastic beam structures have become a very important issue to consider. In this paper, a general approach, which can predict the dynamic behavior of a constrained mechanical system moving on a flexible beam structure, is proposed. Various supporting conditions for the foundation support are considered for the elastic beam structure. The elastic structure is assumed to be a non-uniform and linear Bernoulli-Euler beam with a proportional damping effect. Combined differential-algebraic equation of motion is derived using the multi-body dynamics theory and the finite element method. The proposed equations of motion can be solved numerically using the generalized coordinate partitioning method and predictor-corrector algorithm, which is an implicit multi-step integration method.