• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.23 no.5
• /
• pp.445-455
• /
• 2013

A new linearization model for MR dampers is analyzed. The nonlinear hysteretic damping force model of MR damper can be modeled as a hyperbolic tangent function of currents, positions, and velicities, which is an algebraic function with constant parameters. Model parameters can be identified with numerical method using experimental force-velocity-position data obtained from various operating conditions. The nonlinear hysteretic damping force can be linearized with a given slope of damping coefficient if there exist corresponding currents to compensate for the nonlinearity. The corresponding currents can be calculated from the inverse model when the given linear damping force is set equal to the nonlinear hysteretic damping force. The linearization controller is realized in a DSP controller such that the corresponding currents to satisfy a given damping coefficient should be calculated. Experiments show that the current inputs to the MR damper produce linearized damping force with a given slope of the damping coefficient.

• Journal of the Korean Chemical Society
• /
• v.57 no.2
• /
• pp.176-203
• /
• 2013

In this work is induced a new topology of solutions of chemical equations by virtue of point-set topology in an abstract stoichiometrical space. Subgenerators of this topology are the coefficients of chemical reaction. Complex chemical reactions, as those of direct reduction of hematite with a carbon, often exhibit distinct properties which can be interpreted as higher level mathematical structures. Here we used a mathematical model that exploits the stoichiometric structure, which can be seen as a topology too, to derive an algebraic picture of chemical equations. This abstract expression suggests exploring the chemical meaning of topological concept. Topological models at different levels of realism can be used to generate a large number of reaction modifications, with a particular aim to determine their general properties. The more abstract the theory is, the stronger the cognitive power is.

• Journal of the Chungcheong Mathematical Society
• /
• v.31 no.4
• /
• pp.487-509
• /
• 2018

The Truncated Moment Problem (TMP) entails finding a positive Borel measure to represent all moments in a finite sequence as an integral; once the sequence admits one or more such measures, it is known that at least one of the measures must be finitely atomic with positive densities (equivalently, a linear combination of Dirac point masses with positive coefficients). On the contrary, there are more general moment problems for which we aim to find a "signed" measure to represent a sequence; that is, the measure may have some negative densities. This type of problem is referred to as the General Truncated Moment Problem (GTMP). The Jordan Decomposition Theorem states that any (signed) measure can be written as a difference of two positive measures, and hence, in the view of this theorem, we are able to apply results for TMP to study GTMP. In this note we observe differences between TMP and GTMP; for example, we cannot have an analogous to the Flat Extension Theorem for GTMP. We then present concrete solutions to lower-degree problems.

• 한국전산유체공학회:학술대회논문집
• /
• 2002.05a
• /
• pp.41-46
• /
• 2002

Computational study has been undertaken to investigate the aerodynamic influence of side jet on a supersonic missile and to find a similarity condition between the flight condition and the wind tunnel testing. Tasks were peformed to validate the existing Raytheon test body with side jet, to simulate the flow inside the supersonic wind tunnel, and to compare the flow fields between the missile in free flight and that in the wind tunnel. Then sub-scale model of body-tail configuration was analyzed to estimate the influence of the side jet on the missile components. It is found that the influence of side jet is not as significant on the tail region as on the body surface and a simple algebraic formula for aerodynamic coefficients accounting for the side jet as a point force may be cautiously utilized in setting up control logic.

• Communications of the Korean Mathematical Society
• /
• v.31 no.4
• /
• pp.667-682
• /
• 2016

In this article we show a recursive method to compute the coefficients of the minimal polynomial of cos($2{\pi}/n$) explicitly for $n{\geq}3$. The recursion is not on n but on the coefficient index. Namely, for a given n, we show how to compute ei of the minimal polynomial ${\sum_{i=0}^{d}}(-1)^ie_ix^{d-i}$ for $i{\geq}2$ with initial data $e_0=1$, $e_1={\mu}(n)/2$, where ${\mu}(n)$ is the $M{\ddot{o}}bius$ function.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1651-1672
• /
• 2023

In 2010, Li-Ye [13, Theorem 0.1] proved that P(ζ(z), ζ'(z), . . . , ζ^(m)(z), Γ(z), Γ'(z), Γ"(z)) ≢ 0 in ℂ, where m is a non-negative integer, and P(u₀, u₁, . . . , u_m, v₀, v₁, v₂) is any non-trivial polynomial in its arguments with coefficients in the field ℂ. Later on, Li-Ye [15, Theorem 1] proved that P(z, Γ(z), Γ'(z), . . . , Γ⁽ⁿ⁾(z), ζ(z)) ≢ 0 in z ∈ ℂ for any non-trivial distinguished polynomial P(z, u₀, u₁, . . ., u_n, v) with coefficients in a set L_δ of the zero function and a class of nonzero functions f from ℂ to ℂ ∪ {∞} (cf. [15, Definition 1]). In this paper, we prove that P(z, ζ(z), ζ'(z), . . . , ζ^(m)(z), Γ(z), Γ'(z), . . . , Γ⁽ⁿ⁾(z)) ≢ 0 in z ∈ ℂ, where m and n are two non-negative integers, and P(z, u₀, u₁, . . . , u_m, v₀, v₁, . . . , v_n) is any non-trivial polynomial in the m + n + 2 variables u₀, u₁, . . . , u_m, v₀, v₁, . . . , v_n with coefficients being meromorphic functions of order less than one, and the polynomial P(z, u₀, u₁, . . . , u_m, v₀, v₁, . . . , v_n) is a distinguished polynomial in the n + 1 variables v₀, v₁, . . . , v_n. The question studied in this paper is concerning the conjecture of Markus from [16]. The main results obtained in this paper also extend the corresponding results from Li-Ye [12] and improve the corresponding results from Chen-Wang [5] and Wang-Li-Liu-Li [23], respectively.

• Journal for History of Mathematics
• /
• v.23 no.3
• /
• pp.57-73
• /
• 2010

Transcendental numbers are important in the history of mathematics because their study provided that circle squaring, one of the geometric problems of antiquity that had baffled mathematicians for more than 2000 years was insoluble. Liouville established in 1844 that transcendental numbers exist. In 1874, Cantor published his first proof of the existence of transcendentals in article [10]. Louville's theorem basically can be used to prove the existence of Transcendental number as well as produce a class of transcendental numbers. The number e was proved to be transcendental by Hermite in 1873, and $\pi$ by Lindemann in 1882. In 1934, Gelfond published a complete solution to the entire seventh problem of Hilbert. Within six weeks, Schneider found another independent solution. In 1966, A. Baker established the generalization of the Gelfond-Schneider theorem. He proved that any non-vanishing linear combination of logarithms of algebraic numbers with algebraic coefficients is transcendental. This study aims to examine the concept and development of transcendental numbers and to present students with its open problems promoting a research on it any further.

• Journal of Institute of Control, Robotics and Systems
• /
• v.13 no.7
• /
• pp.637-648
• /
• 2007

This paper presents a sensor fusion method based on indirect Kalman filter(IKF) for error compensation of low-cost inertial sensors and its application to the determination of attitude and position of small flying robots. First, the analysis of the measurement error characteristics to zero input is performed, focusing on the bias due to the temperature variation, to derive a simple nonlinear bias model of low-cost inertial sensors. Moreover, from the experimental results that the coefficients of this bias model possess non-deterministic (stochastic) uncertainties, the bias of low-cost inertial sensors is characterized as consisting of both deterministic and stochastic bias terms. Then, IKF is derived to improve long term stability dominated by the stochastic bias error, fusing low-cost inertial sensor measurements compensated by the deterministic bias model with non-inertial sensor measurement. In addition, in case of using intermittent non-inertial sensor measurements due to the unreliable data link, the upper and lower bounds of the state estimation error covariance matrix of discrete-time IKF are analyzed by solving stochastic algebraic Riccati equation and it is shown that they are dependant on the throughput of the data link and sampling period. To evaluate the performance of proposed method, experimental results of IKF for the attitude determination of a small flying robot are presented in comparison with that of extended Kaman filter which compensates only deterministic bias error model.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.9 no.3
• /
• pp.139-150
• /
• 2005

Finite element method is applied to the determinations of the two eigenvalues(the elastic critical load and the natural frequence of lateral vibrations) of single story-3 equal bay rectangular frame. The analysis parameters are taper parameter ${\alpha}$ for column, and beam span to column height ratio, ${\beta}$ and second moment area ratio of beam to column, ${\Upsilon}$. Support condition at the column base and sway condition at the column top are also considered in the stability analysis of frame. The changes in the coefficient of eigenvalue are represented by algebraic function of analysis parameter. The coefficients estimated by the proposed algebraic function show good agreement with those determined by finite element method, which suggest the design aid role of the proposed function. By increasing the column axial forces step by step, the corresponding frequencies are also determined, which makes one examine or confirm the relationship suggested by other studies.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.13 no.1
• /
• pp.87-95
• /
• 2000

The two eigenvalues (elastic critical load and natural frequency of lateral vibration) of sinusoidally tapered bats with simply supported ends were determined by the finite element method. For the convenience of structural engineers who are engaged in the structural design or vibration analysis of tapered beam-columns, eigenvalue coefficients were expressed by simple algebraic equations. The validity of each algebraic equation was confirmed by the value of unity for each correlation coefficient. The influence of axial thrust on the lateral vibration frequency was also investigated. For this purpose, the axial thrust was increased successively and the corresponding frequency was calculated. The approximate linear relationship between the axial thrust and the square of the frequency was confirmed lot each of the tapered members.