• Korean Journal of Mathematics
• /
• v.21 no.2
• /
• pp.125-150
• /
• 2013

The stabilized Gauge-Uzawa method (SGUM), which is a second order projection type algorithm to solve the time-dependent Navier-Stokes equations, has been newly constructed in 2013 Pyo's paper. The accuracy of SGUM has been proved only for time discrete scheme in the same paper, but it is crucial to study for fully discrete scheme, because the numerical errors depend on discretizations for both space and time, and because discrete spaces between velocity and pressure can not be chosen arbitrary. In this paper, we find out properties of the fully discrete SGUM and estimate its errors and stability to solve the evolution Navier-Stokes equations. The main difficulty in this estimation arises from losing some cancellation laws due to failing divergence free condition of the discrete velocity function. This result will be extended to Boussinesq equations in the continuous research (part II) and is essential in the study of part II.

• Journal of the Society of Naval Architects of Korea
• /
• v.47 no.2
• /
• pp.248-257
• /
• 2010

In this study, a discrete event and dynamic-based discrete time combined simulation modeling architecture, which can be used to calculate equations of motions among discrete events, is developed. This is composed of a command model, which is in charge of discrete event simulation, a numerical integration model, which finds motions by numerically integrating equations of motions, and an external force and control force model, which calculates the force and transmits it to the equations. Using this architecture, we can develop dynamic-based simulation by simply connecting and combining models, and handle simultaneously discrete event and discrete time simulation. To verify the efficiency of the architecture, it is applied to the submarine diving and surfacing simulation.

• Journal of Korea Society of Industrial Information Systems
• /
• v.16 no.4
• /
• pp.45-52
• /
• 2011

In the real-field of control cases for robot manipulators, there always exists a modeling error, which results the model has the uncertainties in its parameters and/or structure. In many modem applications, digital computers are extensively used to implement control algorithms to control such systems. The discretization of the nonlinear dynamic equations of such systems results in a complicated discrete dynamic equations. Therefore, it will be difficult to design a discrete-time controller to give good tracking performances in the presence of certain uncertainties. In this paper, a discrete-time sliding mode control algorithm for nonlinear and time varying robot manipulators with uncertainties is presented. Sufficient conditions for guaranteeing the convergence of the discrete-time SMC system are derived. As example simulations, the proposed SMC algorithm is applied to a two-link robotic manipulator with unknown dynamics. The results of the simulation indicate that the developed control scheme is effective in manipulators and electro-mechanical system control.

• Proceedings of the Korean Society of Computational and Applied Mathematics Conference
• /
• 2003.09a
• /
• pp.6-6
• /
• 2003

In this work we consider the mathematical formulation and numerical resolution of the linear feedback control problem for Boussinesq equations. The controlled Boussinesq equations is given by $$\frac{{\partial}u}{{\partial}t}-{\nu}{\Delta}u+(u{\cdot}{\nabla}u+{\nabla}p={\beta}{\theta}g+f+F\;\;in\;(0,\;T){\times}\;{\Omega}$$, $${\nabla}{\cdot}u=0\;\;in\;(0,\;T){\times}{\Omega}$$, $$u|_{{\partial}{\Omega}=0,\;u(0,x)=\;u_0(x)$$ $$\frac{{\partial}{\theta}}{{\partial}t}-k{\Delta}{\theta}+(u{\cdot}){\theta}={\tau}+T,\;\;in(0,\;T){\times}{\Omega}$$ $${\theta}|_{{\partial}{\Omega}=0,\;\;{\theta}(0,X)={\theta}_0(X)$$, where $\Omega$ is a bounded open set in $R^{n}$, n=2 or 3 with a $C^{\infty}$ boundary ${\partial}{\Omega}$. The control is achieved by means of a linear feedback law relating the body forces to the velocity and temperature field, i.e., $$f=-{\gamma}_1(u-U),\;\;{\tau}=-{\gamma}_2({\theta}-{\Theta}}$$ where (U,$\Theta$) are target velocity and temperature. We show that the unsteady solutions to Boussinesq equations are stabilizable by internal controllers with exponential decaying property. In order to compute (approximations to) solution, semi discrete-in-time and full space-time discrete approximations are also studied. We prove that the difference between the solution of the discrete problem and the target solution decay to zero exponentially for sufficiently small time step.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.807-810
• /
• 1997

Digital control of robot manipulator employs discrete-time robot models. It is important to explore effective discrete-time robot models and to analyze their properties in control system designs. This paper presents a new type discrete-time robot model. The model is derived by using trapezoid rule to approximate the convolution integral term, then eliminating nonlinear force terms from robot dynamical equations. The new model obtained has very simple structure, and owns the properties of independence to the nonlinear force terms. According to evaluation criteria, three aspects of the model properties: model accuracy, model validity range and model simplicity are examined and compared with commonly used discrete-time robot models. The validity of the proposed model and its advantages to control system designs are verified by simulation results.

• Proceedings of the KIEE Conference
• /
• 1999.11c
• /
• pp.591-593
• /
• 1999

The finite time optimum regulation problem of a discrete time bilinear system with a quadratic performance criterion is obtained in terms of a sequence discrete algebraic Lyapunov equations. Our new method is based on the successive approximations. This algorithm saves the computation time to solve the optimal problem, and the design procedure is illustrated for an example.

• 제어로봇시스템학회:학술대회논문집
• /
• 1995.10a
• /
• pp.432-435
• /
• 1995

In this paper a new approach to obtain the solution of the linear-quadratic Gaussian control problem for singularly perturbed discrete-time stochastic systems is proposed. The alogorithm proposed is based on exploring the previous results that the exact solution of the global discrete algebraic Riccati equations is found in terms of the reduced-order pure-slow and pure-fast nonsymmetric continuous-time algebraic Riccati equations and, in addition, the optimal global Kalman filter is decomposed into pure-slow and pure-fast local optimal filters both driven by the system measurements and the system optimal control input. It is shown that the optimal linear-quadratic Gaussian control problem for singularly perturbed linear discrete systems takes the complete decomposition and parallelism between pure-slow and pure-fast filters and controllers.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.24 no.12
• /
• pp.193-200
• /
• 2010

In this paper, the eigenvalue sensitivity analysis is calculated in the power system which is including both generator controllers such as Exciter, PSS and thyristor controlled FACTS devices in transmission lines such as TCSC. Exciter and PSS are continuously operating controllers but TCSC has a switching device which operates non-continuously. To analyze both continuous and non-continuous operating equipments, the RCF method one of the numerical analysis method in discrete time domain is applied using discrete models of the power system. Also the eigenvalue sensitivity calculation algorithm using state transition equations in discrete time domain is devised and applied to a sampled system. As a result of simulation, the eigenvalue sensitivity coefficients calculated using discrete system models in discrete time domain are changed periodically and showed different values compared to those of continuous system model in time domain by the effect of periodic switching operations of TCSC.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.3 no.2
• /
• pp.161-171
• /
• 1999

Aerodynamic sensitivity analysis codes are developed via the hand-differentiation using a direct differentiation method and an adjoint method respectively from discrete two-dimensional compressible Navier-Stokes equations. Unlike previous other researches, Baldwin-Lomax algebraic turbulence model is also differentiated by hand to obtain design sensitivities with respect to design variables of interest in turbulent flows. Discrete direct sensitivity equations and adjoint equations are efficiently solved by the same time integration scheme adopted in the flow solver routine. The required memory for the adjoint sensitivity code is greatly reduced at the cost of the computational time by allowing the large banded flux jacobian matrix unassembled. Direct sensitivity code results are found to be exactly coincident with sensitivity derivatives obtained by the finite difference. Adjoint code results of a turbulent flow case show slight deviations from the exact results due to the limitation of the algebraic turbulence model in implementing the adjoint formulation. However, current adjoint sensitivity code yields much more accurate sensitivity derivatives than the adjoint code with the turbulence eddy viscosity being kept constant, which is a usual assumption for the prior researches.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.93-115
• /
• 2024

In this paper, the Gauge-Uzawa methods for the Darcy-Brinkman equations driven by temperature and salt concentration (DBTC) are proposed. The first order backward difference formula is adopted to approximate the time derivative term, and the linear term is treated implicitly, the nonlinear terms are treated semi-implicit. In each time step, the coupling elliptic problems of velocity, temperature and salt concentration are solved, and then the pressure is solved. The unconditional stability and error estimations of the first order semi-discrete scheme are derived, at the same time, the unconditional stability of the first order fully discrete scheme is obtained. Some numerical experiments verify the theoretical prediction and show the effectiveness of the proposed methods.