• 한국소음진동공학회논문집
• /
• 제23권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.

• 대한화학회지
• /
• 제57권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.

• 충청수학회지
• /
• 제31권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년도 춘계 학술대회논문집
• /
• 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.

• 대한수학회논문집
• /
• 제31권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.

• 대한수학회보
• /
• 제60권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.

• 한국수학사학회지
• /
• 제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 정리의 일반화된 결과를 증명하였다. 이 연구의 목적은 초월수의 개념과 발달과정을 살피고, 미해결 문제를 제시하여 초월수의 연구가 촉진되도록 후학들에게 연구 동기를 부여하고자 한다.

• 제어로봇시스템학회논문지
• /
• 제13권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.

• 한국구조물진단유지관리공학회 논문집
• /
• 제9권3호
• /
• pp.139-150
• /
• 2005

유한요소법을 이용하여 기둥단면이 직선형태로 변화하는 3경간 단층 골조의 두 고유치 (탄성임계하중과 횡방향 기본진동수)를 산정하였다. 수치해석에서 고려한 변수는 기둥의 taper 비 ($={\alpha}$), 경간대 층고비 ($={\beta}$), 보와 기둥의 단면2차 모멘트 비(=Y)이다. 또한 주각의 지지상태와 주두의 수평동(side-sway)유무가 고유치에 미치는 영향도 고려하였다. 하나의 연속함수로부터 고유치의 변화 추정이 가능한 대수 함수식을 제안하였다. 대수함수식의 변수는 수치해석에서의 변수 즉 ${\alpha}$, ${\beta}$ 및 Y 이다. 골조에 작용하는 축방향력의 크기를 점차 증가시켜 가면서 여기에 대응하는 진동수의 감소현상을 검토하였다.

• 한국전산구조공학회논문집
• /
• 제13권1호
• /
• pp.87-95
• /
• 2000

양단이 단순지지 상태이고, 정현상으로 taper진 부재의 두 고유치(탄성임계하중과 횡방향 고유진동수)를 유한요소법으로 산정하였다. 그 결과로 얻어진 고유치의 계수들을 실무에 종사하는 구조 기술자들이 쉽게 이용할 수 있도록 각각의 경우에 대하여 간단한 대수 방정식으로 표시하였다. 유한요소법으로 구한 고유치 계수값과 대수 방정식에 의한 추정 계수값들의 상관계수는 어느 경우에나 거의 단위치(1)에 가까운 값으로 대수 방정식의 정당성을 뒷받침 하였다. 횡방향 진동수에 미치는 압축하중의 영향도 검토하였다. 이를 위하여 부재에 작용하는 축방향력을 차례로 증가시키면서 여기에 대응하는 진동수를 산정하였다. 그 결과 압축하중비 (P/P/sub cr/)와 진동수 비의 제곱 ((ω/ω/sub 0/)²)의 합은 어느 경우에나 거의 단위치(1)로 나타났다.