• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.22 no.4
• /
• pp.253-287
• /
• 2018

This paper studies the global stability of a class of discrete-time pathogen infection models with latently infected cells. The rate of pathogens infect the susceptible cells is taken as bilinear, saturation and general. The continuous-time models are discretized by using nonstandard finite difference scheme. The basic and global properties of the models are established. The global stability analysis of the equilibria is performed using Lyapunov method. The theoretical results are illustrated by numerical simulations.

• 제어로봇시스템학회:학술대회논문집
• /
• 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
• /
• 2005.10b
• /
• pp.267-269
• /
• 2005

This paper describes a consideration on the sampling in linearly time-varying (LTV) systems in view of the convenience in digital signal processing. The relation between a continuous-time and a discrete-time system models is investigated for a simple linear time-invariant system. Based on the results of the investigation, we first consider discrete-time models for LTV systems, Then the simplicity of the models in terms of microprocessor-based digital signal processing is compared.

• Communications for Statistical Applications and Methods
• /
• v.7 no.2
• /
• pp.605-616
• /
• 2000

Three primary interests frequently raised by mortgage companies are introduced and the corresponding statistical approaches for the default probability in mortgage companies are examined. Statistical models considered in this paper are time series, logistic regression, decision tree, neural network, and discrete time models. Usage of the models is illustrated using an artificially modified data set and the corresponding models are evaluated in appropriate manners.

• 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.

• Wind and Structures
• /
• v.18 no.3
• /
• pp.215-233
• /
• 2014

This paper presents a method to extract flutter derivatives of bridge decks based on a combination of the computational fluid dynamics (CFD), system simulations and system identifications. The incompressible solver adopts an Arbitrary Lagrangian-Eulerian (ALE) formulation with the finite volume discretization in space. The imposed sectional motion in heaving or pitching relies on exponential time series as input, with aerodynamic forces time histories acting on the section evaluated as output. System identifications are carried out to fit coefficients of the inputs and outputs of ARMA models, as to establish discrete-time aerodynamic models. System simulations of the established models are then performed as to obtain the lift and moment exerting on the sections to a sinusoidal displacement. It follows that flutter derivatives are identified. The present approaches are applied to a hexagon thin plate and a real bridge deck. The results are compared to the Theodorsen closed-form solution and those from wind tunnel tests. Satisfactory agreements are observed.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.142-149
• /
• 2000

Most of supply chain simulation models have been developed on the basis of discrete-event simulation. Since supply chain systems are neither completely discrete nor continuous, the need of constructing a model with aspects of both discrete-event simulation and continuous is provoked, resulting in a combined discrete-continuous simulation. Continuous simulation concerns the modeling over time of a system by a representation in which the state variables change continuously with respect to time. In this paper, an architecture of combined modeling for supply chain simulation is proposed, which presents the equation of continuous part in supply chain and how these equations are used supply chain simulation models. A simple supply chain model is demonstrated the possibility and the capability of this approach.

• Journal of the Korean Mathematical Society
• /
• v.50 no.1
• /
• pp.17-39
• /
• 2013

The study of nonlinear discrete-time control dynamical systems with disturbance is an important topic in control theory. In this paper, we concentrate our efforts to multiple valued iterative dynamical systems, which model the nonlinear discrete-time control dynamical systems with disturbance. After establishing the validity of such modeling, we study the invariant set theory of the multiple valued iterative dynamical systems, including the controllability/reachablity problems of the maximal invariant sets.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.34S no.11
• /
• pp.53-62
• /
• 1997

In this study, a controller design method is proposed for controlling the discrete-time chaotic systems efficiently. The proposed control method is based on Generalized Predictive Control and uses NARMAX models as controlled models. In order to evaluate the performance of the proposed method, a proposed controller is applied to discrete-time chaotic systems, and then the control performance and initial sensitivity of the proposed controller are compared with those of the conventional model-based controler through computer simulations. Through simulations results, it is shown that the control performance of the proposed controller is superior to that of the conventional model-based controller and shown that the peorposed controller is less sensitive to initial values of discrete-time chaotic systems in comparison with the conventional model-based controller.

• Journal for History of Mathematics
• /
• v.27 no.3
• /
• pp.197-210
• /
• 2014

Species like insects and fishes have, in many cases, non-overlapping time intervals of one generation and their descendant one. So the population dynamics of such species can be formulated as discrete models. In this paper various discrete population models are introduced in chronological order. The author's investigation starts with the Malthusian model suggested in 1798, and continues through Verhulst model(the discrete logistic model), Ricker model, the Beverton-Holt stock-recruitment model, Shep-herd model, Hassell model and Sigmoid type Beverton-Holt model. We discuss the mathematical and practical significance of each model and analyze its properties. Also the stability properties of stationary solutions of the models are studied analytically and illustratively using GSP, a computer software. The visual outputs generated by GSP are compared with the analytical stability results.