• Journal of applied mathematics & informatics
• /
• v.38 no.1_2
• /
• pp.113-132
• /
• 2020

In this paper, a class of linear second order singularly perturbed delay differential turning point problems containing a small delay (or negative shift) on the reaction term and when the solution of the problem exhibits twin boundary layers are examined. A hybrid finite difference scheme on an appropriate piecewise-uniform Shishkin mesh is constructed to discretize the problem. We proved that the method is almost second order ε-uniformly convergent in the maximum norm. Numerical experiments are considered to illustrate the theoretical results.

• Journal of the Korean Society for Precision Engineering
• /
• v.19 no.11
• /
• pp.65-74
• /
• 2002

This paper examines the usefulness of a Brake Steer System (BSS), which uses differential brake forces for steering intervention in the context of Intelligent Transportation Systems (ITS). In order to help the car to turn, a yaw moment can be achieved by altering the left/right and front/rear brake distribution. This resulting yaw moment on the vehicle affects lateral position thereby providing a limited steering function. The steering function achieved through BSS can then be used to control lateral position in an unintended road departure system. A 8-DOF nonlinear vehicle model including STI tire model will be validated using the equations of motion of the vehicle. Then a controller will be developed. This controller, which will be a PID controller tuned by Ziegler-Nichols, will be designed to explore BSS feasibility by modifying the brake distribution through the control of the yaw rate of the vehicle.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.731-742
• /
• 2007

Let X be a Banach space, $A:D(A){\subset}X{\rightarrow}X$ the generator of a compact $C_0-semigroup\;S(t):X{\rightarrow}X,\;t{\geq}0$, D a locally closed subset in X, and $f:(a,b){\times}C([-q,0];X){\rightarrow}X$ a function of Caratheodory type. The main result of this paper is that a necessary and sufficient condition in order that D be a viable domain of the semi linear differential equation of retarded type $$u#(t)=Au(t)+f(t,u_t),\;t{\in}[t_0,\;t_0+T],{u_t}_0={\phi}{\in}C([-q,0];X)$$ is the tangency condition $$\limits_{h{\downarrow}0}^{lim\;inf\;h^{-1}d(S(h)v(0)+hf(t,v);D)=0}$$ for almost every $t{\in}(a,b)$ and every $v{\in}C([-q,0];X)\;with\;v(0){\in}D$.

• Geomechanics and Engineering
• /
• v.32 no.2
• /
• pp.125-135
• /
• 2023

Nonlinear vibration analysis of composite beam reinforced by carbon nanotubes resting on the nonlinear viscoelastic foundation is investigated in this study. The material properties of the composite beam is considered as a polymeric matrix by reinforced carbon nanotubes according to different distributions. With using Hamilton's principle, the governing nonlinear partial differential equations are derived based on the Euler-Bernoulli beam theory. In the nonlinear kinematic assumption, the Von Kármán nonlinearity is used. The Galerkin's decomposition technique is utilized to discretize the governing nonlinear partial differential equation to nonlinear ordinary differential equation and then is solved by using of multiple time scale method. The nonlinear natural frequency and the nonlinear free response of the system is obtained. In addition, the effects of different patterns of reinforcement, linear and nonlinear damping coefficients of the viscoelastic foundation on the nonlinear vibration responses and phase trajectory of the carbon nanotube reinforced composite beam are investigated.

• Structural Engineering and Mechanics
• /
• v.46 no.3
• /
• pp.417-431
• /
• 2013

This paper presents responses of the free end of a cantilever micro beam under the effect of an impact force based on the modified couple stress theory. The beam is excited by a transverse triangular force impulse modulated by a harmonic motion. The Kelvin-Voigt model for the material of the beam is used. The considered problem is investigated within the Bernoulli-Euler beam theory by using energy based finite element method. The system of equations of motion is derived by using Lagrange's equations. The obtained system of linear differential equations is reduced to a linear algebraic equation system and solved in the time domain by using Newmark average acceleration method. In the study, the difference of the modified couple stress theory and the classical beam theory is investigated for the wave propagation. A few of the obtained results are compared with the previously published results. The influences of the material length scale parameter on the wave propagation are investigated in detail. It is clearly seen from the results that the classical beam theory based on the modified couple stress theory must be used instead of the classical theory for small values of beam height.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.6 no.2
• /
• pp.174-185
• /
• 1994

This paper presents a modal solution of linear three-dimensional hydrodynamic equations using similarity transform technique. The solution over the vertical space domain is obtained using the Galerkin method with linear shape funtions (Galerkin-FEM model). Application of similarity transform to resulting tri-diagonal matrix equations gives rise 掠 a set of uncoupled partial differential equations of which the unknowns are coefficients of mode shape vectors. The proposed method.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.6
• /
• pp.1259-1270
• /
• 2019

The upper bound of differential characteristic probability is mainly used to determine the number of rounds when constructing a block cipher. As the number of rounds affects the performance of block cipher, it is critical to evaluate the tight upper bound in the constructing process. In order to calculate the upper bound of differential characteristic probability, the previous searching methods for minimum number of active S-boxes constructed constraint equations for non-linear operations and linear operations, independently. However, in the case of BOGI design strategy, where linear operation is dependent on non-linear operation, the previous methods may present the less tight upper bound. In this paper, we exploit the properties of BOGI strategy to propose a new method to evaluate a tighter upper bound of differential characteristic probability than previous ones. Additionally, we mathematically proved the validity of our method. Our proposed method was applied to GIFT-64 and GIFT-128, which are based on BOGI strategy, and the upper bounds of differential characteristic probability were derived until 9 round. Previously, the upper bounds of differential characteristic probability for 7-round GIFT-64 and 9-round GIFT-128 were 2^-18.395 and 2^-26.885, respectively, while we show that the upper bounds of differential characteristic probability are more tight as 2^-19.81 and 2^-28.3, respectively.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.9
• /
• pp.2312-2321
• /
• 1994

In this work the dynamics of an electromagnetic levitation system is described by a set of three first order nonlinear ordinary differential equations. The objective is to design a digital linear controller which takes the inherent instability of the uncontrolled system and the disturbing force into consideration. The controller is made by employing digital linear quadratic(LQ) design methodology and the unknown state variables are estimated by the kalman filter. The state estimation is performed using not only an air gap sensor but also both an air gap sensor and a piezoelectric accelerometer. The design scheme resulted in a digital linear controller having good stability and performance robustness in spite of various modelling errors. In case of using both a gap sensor and an accelerometer for the state estimation, the control input was rather stable than that in a system with gap sensor only and the controller dealt with the disturbing force more effectively.

• Proceedings of the KSME Conference
• /
• 2001.06b
• /
• pp.93-98
• /
• 2001

This paper studies on the design of an ILQ(Inverse Linear Quadratic optimal control) looper control system for hot strip mills. The looper which is placed between each stand plays an important role in controlling strip width by regulating strip tension variation generated from the velocity difference of main work rolls. The mathematical model for looper is firstly obtained by Taylor's linearization of nonlinear differential equations, where it is given as a linear and time invariant state-space equation. Secondly, a looper servo controller is designed by ILQ control algorithm, which is an inverse problem of LQ(Linear Quadratic optimal control) control. By tunning control gain arbitration parameters and time constants, it is shown that the ILQ looper servo controller has the performance that makes well to follow desired trajectories of both strip tension and looper angle.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.25 no.2
• /
• pp.129-138
• /
• 2012

This paper deals with geometrical non-linear analyses of the tapered variable-arc-length beam, subjected to the combined load with an end moment and a point load. The beam is supported by a hinged end and a frictionless sliding support so that the axial length of the deformed beam can be increased by its load. Cross sections of the beam whose flexural rigidities are functionally varied with the axial coordinate. The simultaneous differential equations governing the elastica of such beam are derived on the basis of the Bernoulli-Euler beam theory. These differential equations are numerically solved by the iteration technique for obtaining the elastica of the deformed beam. For validating theories developed herein, laboratory scaled experiments are conducted.