• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.1432-1435
• /
• 1996

This paper obtains maximum allowable delay bounds for stability of network-based control systems and presents a network scheduling method which makes the network-induced delay be less than the maximum allowable delay bound. The maximum allowable delay bounds are obtained using the Lyapunov theorem. Using the network scheduling method, the bandwidth of a network can be allocated to each node and the sampling period of each sensor and controller can be determined. The presented method can handle three kinds of data (periodic, real-time asynchronous, and non real-time asynchronous data) and guarantee real-time transmissions of real-time synchronous data and periodic data, and possible transmissions of non real-time asynchronous data. The proposed method is shown to be useful by examples in two types of network protocols such as the token control and the central control.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.15 no.1
• /
• pp.43-55
• /
• 2011

We here investigate the Liouville type theorems of slow diffusion differential inequality and its coupled system with variable coefficients in cone. First, we give the definition of global weak solution, and then we establish the universal estimate (does not depend on the initial value) of solution by constructing test function. At last, we obtain the nonexistence of non-negative non-trivial global weak solution within the appropriate critical exponent. The main feature of this method is that we need not use comparison theorem or the maximum principle.

• 제어로봇시스템학회:학술대회논문집
• /
• 1994.10a
• /
• pp.20-23
• /
• 1994

It is well known that the Boyd's theorem states the relation between the imaginary eigenvalues of discriminant H of Riccati equation (A, R, Q) and the singular value of transfer function, but it is only available for R .geq. 0 and Q .geq. 0. In this paper, we extend Boyd's theorem for two case, that is, R is symmetric, Q is sign definite, and R is sign definite, Q is symmetric. We give under the condition that there is a real symmetric solution of Riccati equation the relation between H has imaginary eigenvalue and the maximum eigenvalue of transfer functoin. Finally, we give a necessary and sufficient condition to determine whether H has imaginary eigenvalue under some conditions.

• ETRI Journal
• /
• v.24 no.5
• /
• pp.381-390
• /
• 2002

We analyze the performance of a telecommunications management network (TMN) system using models of networks of queues, Jackson's theorem, and simulation. TMN systems for managing public asynchronous transfer mode (ATM) networks generally have a four-level hierarchical structure consisting of a network management system, a few element management systems (EMSs), and several pairs of agents and ATM switches. We construct a Jackson's queuing network and present formulae to calculate its performance measures: distributions of queue lengths and waiting times, mean message response time, and maximum throughput. We perform a numerical analysis and a simulation analysis and compare the results.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.7
• /
• pp.1477-1486
• /
• 1997

Conventioally the decoding methods and the design of coset codes for burst synchronization and error detection have been based on the concept that slips occuring to the right or to the left with respect to a reference timing are corrected. In this paper we newly approach to the design of coset codes relying on the condition that only a single code word can exists in an observation interval, which provides an extentended view on the conventional approach. A theorem concerning the condition is presented. A combined burst synchronization and error detection system with maximum slip correction capability have been devised based on the theorem and a detection method is falsely accepted in the presented of channel errors. The false acceptance probabilities of the system are derived and its performance is analyzed through computer computation using the derived results.

• Journal of Electrical Engineering and Technology
• /
• v.13 no.2
• /
• pp.800-811
• /
• 2018

This paper presents a regenerative braking control scheme for Switched Reluctance Machine (SRM) drive in Electric Vehicles (EVs). The main purpose is to maximize the recovered energy during battery charging by taking into account the nonlinear physical characteristics of the Switched Reluctance Machine. The proposed regenerative braking method employs the back-EMF in the generation process as a complicated position-dependent voltage source. The proposed maximum power recovery (MPR) operation of the regenerative braking is first based on the maximization of the extracted power from the machine and then the maximization of the power transferred to the battery. The maximum power extraction (MPE) from SRM is based on maximizing the energy conversion ratio by the calculation of the optimum PWM switching duty cycle, turn-on, and turn-off angles. By using the impedance matching theorem that allows the maximum power transfer (MPT) of the MPE, the proposed MPR is achieved. The parametric averaged value modeling of the machine phase currents in the chopping control mode is used for MPR realization. By following this model, a nonlinear equivalent input resistance is derived for the battery internal resistance matching. The effectiveness of the proposed regenerative braking method is demonstrated through simulation results and experimental implementation.

• Journal of applied mathematics & informatics
• /
• v.25 no.1_2
• /
• pp.35-50
• /
• 2007

In this work, optimal harvesting policy for the predator-prey system of three species with age-dependent and diffusion is discussed. Existence and uniqueness of non-negative solution to the system are investigated by using the fixed point theorem. The existence of optimal control strategy is discussed and optimality conditions are obtained. Our results extend some known criteria.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.329-334
• /
• 1996

The notion of approximate derivative was introduced by Denjoy in 1916 [3]. Khintchine [5] proved that Rolle's theorem holds for approximate derivatives and Tolstoff [8] proved that every approximate derivative is of Baire class 1 and has Darboux property. Goffman and Neugebauer [4] proved the above results of Tolstoff [8] in a different and simplified method. Also they [4] proved indirectly (via Darboux property) that approximate derivatives possess mean value property.

• East Asian mathematical journal
• /
• v.24 no.1
• /
• pp.111-123
• /
• 2008

In this paper, we introduce a new system of first-order impulsive fuzzy differential equations. By using Banach fixed point theorem, we obtain some new existence and uniqueness theorems of solutions for this system of first-order impulsive fuzzy differential equations in the metric space of normal fuzzy convex sets with distance given by maximum of the Hausdorff distance between level sets.

• Journal of applied mathematics & informatics
• /
• v.27 no.5_6
• /
• pp.1361-1370
• /
• 2009

In this paper, we consider singular fourth-order two point boundary value problems $u^{(4)}$ (t) = f(t, u), 0 < t < 1, u(0) = u(l) = u'(0) = u'(l) = 0, where $f:(0,1){\times}(0,+{\infty}){\rightarrow}[0,+{\infty})$ may be singular at t = 0, 1 and u = 0. By using the upper and lower solution method, we obtained the existence of positive solutions to the above boundary value problems. An example is also given to illustrate the obtained theorems.