• 한국수학사학회지
• /
• 제23권3호
• /
• pp.57-73
• /
• 2010

초월수의 연구는 2000년 이상 수학자들을 괴롭혀 왔던 고대 그리스의 기하학 문제의 하나인 원적문제가 불가능하다는 것을 보여줌으로써 수학사의 중요한 분야임을 입증하였다. Liouville은 1844년에 처음으로 구체적인 초월수의 예를 제시하였고, 칸토어는 1874년에 초월수의 존재성을 증명하였다. Louville 정리는 많은 초월수를 만들어 낼 뿐 아니라 초월수의 존재성을 증명하는데 이용할 수 있다. 1873년에 Hermite가 자연로그의 밑수 e가 초월수임을 보이고, 1882년에 Lindemann이 원주율 $\pi$가 초월수임 증명하였다. 1934년에 Gelfond와 Schneider는 각각 힐버트의 7번째 문제에 대한 서로 다른 완전한 해를 찾았다. 1966년에 Baker는 Gelfond-Schneider 정리의 일반화된 결과를 증명하였다. 이 연구의 목적은 초월수의 개념과 발달과정을 살피고, 미해결 문제를 제시하여 초월수의 연구가 촉진되도록 후학들에게 연구 동기를 부여하고자 한다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1995년도 가을 학술발표회 논문집
• /
• pp.225-233
• /
• 1995

This paper presents an efficient numerical method for computation of eigenpair derivatives for the real symmetric eigenvalue problem with distinct and multiple eigenvalues. The method has very simple algorithm and gives an exact solution. Furthermore, it saves computer storage and CPU time. The algorithm preserves the symmetry and band of the matrices, allowing efficient computer storage and solution techniques. Thus, the algorithm of the proposed method will be inserted easily in the commercial FEM codes. Results of the proposed method for calculating the eigenpair derivatives are compared with those of Rudisill and Chu's method and Nelson's method which is efficient one in the case of distinct natural frequencies. As an example to demonstrate the efficiency of the proposed method in the case of distinct eigenvalues, a cantilever plate is considered. The design parameter of the cantilever plate is its thickness. For the eigenvalue problem with multiple natural frequencies, the adjacent eigenvectors are used in the algebraic equation as side conditions, they lie adjacent to the m (multiplicity of multiple natural frequency) distinct eigenvalues, which appear when design parameter varies. As an example to demonstrate the efficiency of the proposed method in the case of multiple natural frequencies, a cantilever beam is considered. Results of the proposed method fDr calculating the eigenpair derivatives are compared with those of Bailey's method (an amendation of Ojalvo's work) which finds the exact eigenvector derivatives. The design parameter of the cantilever beam is its height. Data is persented showing the amount of CPU time used to compute the first ten eigenpair derivatives by each method. It is important to note that the numerical stability of the proposed method is proved.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제15권1호
• /
• pp.1-17
• /
• 2008

Here, we consider the existence and uniqueness solution of nonlinear integral equation of the second kind of type Volterra-Hammerstein. Also, the normality and continuity of the integral operator are discussed. A numerical method is used to obtain a system of nonlinear integral equations in position. The solution is obtained, and many applications in one, two and three dimensionals are considered.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.386-391
• /
• 2003

This paper focuses on robust $H_{\infty}$ control for bilinear systems with time-varying parameter uncertainties and exogenous disturbance via output feedback. $H_{\infty}$ control is achieved via separation into a $H_{\infty}$ state feedback control problem and a $H_{\infty}$ state estimation problem. The suitable robust stabilizing output feedback control law can be constructed in term of approximated solution to x-dependent Riccati equation using successive approximation technique. Also, the $H_{\infty}$ filter gain can be constructed in term of solution to algebraic Riccati equation. The output feedback control robustly stabilizes the plant and guarantees a robust $H_{\infty}$ performance for the closed-loop systems in the face of parameter uncertainties and exogenous disturbance.

• 소음진동
• /
• 제5권3호
• /
• pp.327-335
• /
• 1995

The study deals with the vibration of a beam whose flexural and centroidal axes are not coincident. The elementary bending-twisting theory is employed to derive the equation of motion, in which the effects of rotary inertia are added to the bending displacements and the effects of warping are added to the twist. Bending translation is restricted to one direction so that one bending equation is used instead of two. The equations of motion are solved by using the boundary value problem. The exact natural frequencies are fund from the frequency equation, which is obtained from the condition that the homogeneous system of algebraic equations representing the spatial solution shall not yield a trivial solution. The orthogonal conditions are established, and the principal mode equations of forced vibration are derived. As an example, the cantilevered beam is chosen and the first some natural frequencies and their modal shapes are found.

• Structural Engineering and Mechanics
• /
• 제28권2호
• /
• pp.221-238
• /
• 2008

Numerical solution to buckling analysis of beams and columns are obtained by the method of differential quadrature (DQ) and harmonic differential quadrature (HDQ) for various support conditions considering the variation of flexural rigidity. The solution technique is applied to find the buckling load of fully or partially embedded columns such as piles. A simple semi- inverse method of DQ or HDQ is proposed for determining the flexural rigidities at various sections of non-prismatic column ( pile) partially and fully embedded given the buckling load, buckled shape and sub-grade reaction of the soil. The obtained results are compared with the existing solutions available from other numerical methods and analytical results. In addition, this paper also uses a recently developed technique, known as the differential transformation (DT) to determine the critical buckling load of fully or partially supported heavy prismatic piles as well as fully supported non-prismatic piles. In solving the problem, governing differential equation is converted to algebraic equations using differential transformation methods (DT) which must be solved together with applied boundary conditions. The symbolic programming package, Mathematica is ideally suitable to solve such recursive equations by considering fairly large number of terms.

• 한국전산유체공학회지
• /
• 제2권2호
• /
• pp.51-58
• /
• 1997

A reliable computational solver has been developed for the analysis of three-dimensional inviscid compressible flows around a nacelle of a high bypass ratio turbofan engine, The numerical algorithm is based on the modified Godunov scheme to allow the second order accuracy for space variables, while keeping the monotone features. Two step time integration is used not only to remove time step limitation but also to provide the second order accuracy in a time variable. The multi-block approach is employed to calculate the complex flow field, using an algebraic, conformal, and elliptic method. The exact solution of Riemann problem is used to define boundary conditions. The accuracy of the developed solver is validated by comparing its results around the isolated nacelle in the cruise flight regime with the solution obtained using a commercial code "RAMPANT. "

• 대한기계학회논문집B
• /
• 제29권2호
• /
• pp.232-238
• /
• 2005

The 'Mixing Index($D_I$)' is used as a conventional guidance measuring the degree of mixing for multiphase flows. For the case when insoluble solutions flow in a passive micromixer, a new method to calculate $D_I$ is proposed. The 'Vortex Index(${\Omega}_I$)' is suggested and formulated. We infer that ${\Omega}_I$ relates to the degree of chaotic advection. Various arbitrary shaped microchannels were tested to calculate the $D_I\;and\;{\Omega}_I$, and then a simple algebraic equation, $D_I=Aexp(B{\Omega}_I)$, is obtained. This equation may be used instead of the conventional partial differential equation, concentration equation, to estimate the degree of mixing.

• Computers and Concrete
• /
• 제26권5호
• /
• pp.421-427
• /
• 2020

In this study, the two-dimensional generalized finite integral transform(FIT) approach was extended for new accurate thermal buckling analysis of fully clamped orthotropic thin plates. Clamped-clamped beam functions, which can automatically satisfy boundary conditions of the plate and orthogonality as an integral kernel to construct generalized integral transform pairs, are adopted. Through performing the transformation, the governing thermal buckling equation can be directly changed into solving linear algebraic equations, which reduces the complexity of the encountered mathematical problems and provides a more efficient solution. The obtained analytical thermal buckling solutions, including critical temperatures and mode shapes, match well with the finite element method (FEM) results, which verifies the precision and validity of the employed approach.

• Journal of Mechanical Science and Technology
• /
• 제20권3호
• /
• pp.376-381
• /
• 2006

In this paper, the quaternion, the dual Euler, and the direction cosine methods are numerically compared using a non-aerodynamic 6 degree-of-freedom rigid model at all-attitude angles of an aircraft. The dual Euler method turns out to be superior to the others in the applications because it shows better numerical accuracy, stability, and robustness in integration step sizes. The dual Euler method is affordably less efficient than the quaternion method in terms of computational cost. Numerical accuracy and stability, which allow larger integration step sizes, are more critical in modern real-time applications than computational efficiency because of today's increased computational power. If the quaternion method is required because of constraints in computation time, then a suppression mechanism should be provided for algebraic constraint errors which will eventually add computational burden.