• Research in Mathematical Education
• /
• v.11 no.2
• /
• pp.143-151
• /
• 2007

Nowadays there are practically no mathematical courses in which Computer Algebra Systems (CAS) programs, such as MATHEMATlCA, Maple, and TI-89/92, are not used to some extent. However, generally the usage of these programs is reduced to illustration of computing processes: calculation of integrals, differentiation, solution of various equations, etc. This is obtained by usage of standard command of type: Solve [...] in MATHEMATICA. At the same time the main difficulties arise at teaching nonconventional mathematical courses such as coding theory, discrete mathematics, cryptography, Scientific computing, which are gaining the increasing popularity now. Now it is impossible to imagine a modern engineer not having basic knowledge in discrete mathematics, Cryptography, coding theory. Digital processing of signals (digital sound, digital TV) has been introduced in our lives.

• Journal of the Korean Society for Precision Engineering
• /
• v.26 no.3
• /
• pp.32-39
• /
• 2009

A new discrete time gain-scheduled control design is proposed to improve disturbance attenuation for systems with bounded control input under known disturbance maximum norm. The state feedback gains are scheduled according to the proximity of the state of the plant to the origin. The controllers are derived in the framework of linear matrix inequality(LMI) optimization. This procedure yields a linear time varying control structure that allows higher gain and hence higher performance controllers as the state moves closer to the origin. The main results give sufficient conditions for the satisfaction of a parameter-dependent performance measure, without violating the bounded control input condition under the given disturbance maximum norm.

• Journal of the Korea Computer Industry Society
• /
• v.5 no.9
• /
• pp.921-928
• /
• 2004

This paper proposed dynamic adaptive model based on discrete probability distribution function and user profile in web based HyperMedia educational systems. This modelsrepresents application domain to weighted direction graph of dynamic adaptive objects andmodeling user actions using dynamically approach method structured on discrete probability function. Proposed probabilitic analysis can use that presenting potential attribute to useractions that are tracing search actions of user in WebMedia structure. This approach methodscan allocate dynamically appropriate profiles to user.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.7
• /
• pp.1411-1417
• /
• 2009

In this paper, we consider the design of $H_{\infty}$ control of linear discrete-time systems having no mathematical model. The basic approach is to use Q-learning which is a reinforcement learning method based on actor-critic structure. The model-free control design is to use not the mathematical model of the system but the informations on states and inputs. As a result, the derived iterative algorithm is expressed as linear matrix inequalities(LMI) of measured data from system states and inputs. It is shown that, for a sufficiently rich enough disturbance, this algorithm converges to the standard $H_{\infty}$ control solution obtained using the exact system model. A simple numerical example is given to show the usefulness of our result on practical application.

• Management Science and Financial Engineering
• /
• v.16 no.3
• /
• pp.71-84
• /
• 2010

In this study, we present the exact methods of transforming the continuous solutions into the discrete ones for two types of bit-loading problem, marginal adaptive (MA) and rate adaptive (RA) problem, in multicarrier communication systems. While the computational complexity of existing solution methods for discrete optimal solutions depends on the number of bits to be assigned (R), the proposed method determined by the number of subcarriers (N), making ours be more efficient in most cases where R is much larger than N. Furthermore our methods have some strength of their simpler form to make a practical use.

• Proceedings of the KSR Conference
• /
• 2004.06a
• /
• pp.955-960
• /
• 2004

In this study, three dimensional FE analysis of concrete slab track has been performed in order to develop the realistic design of precast concrete slab track. The precast slab track system including the precast concrete slab panel and the grout layer is modeled using the three dimensional solid element with crack softening effect. The input load is computed from the one dimensional beam element model constituting the rail and several discrete springs. To investigate the effect of the longitudinal connection of slab panels, two different systems-continuous and discrete systems - are modeled. The analytical results show that the stresses of both the slab panel and the grout layer are in the range of linear elastic, and, at the interface between two adjacent panels, the primary stresses of the grout layer of the discrete system are higher than those of the continuous system. However, The overall stress levels of the grout layer are very low relative to the strength of th grout.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.9B
• /
• pp.783-792
• /
• 2003

We consider a finite-buffer discrete-time queueing system with fixed-size bulk-service discipline: Geo/ $G^{B}$1/K＋B. The main purpose of this paper is to present a performance analysis of this system that has a wide range of applications in Asynchronous Transfer Mode (ATM) and other related telecommunication systems. For this purpose, we first derive the departure-epoch probabilities based on the embedded Markov chain method. Next, based on simple rate in and rate out argument, we present stable relationships for the steady-state probabilities of the queue length at different epochs: departure, random, and arrival. Finally, based on these relationships, we present various useful performance measures of interest such as the moments of number of packets in the system at three different epochs and the loss probability. The numerical results are presented for a deterministic service-time distribution - a case that has gained importance in recent years.s.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.12 no.1
• /
• pp.47-52
• /
• 2012

This paper focuses on discrete-time sliding mode control with SIIM fuzzy adaptive switching gain. The adaptive switching gain is calculated using the simplified indirect inference fuzzy logic. Two fuzzy inputs are the normal distance from the present state trajectory to the switching function and the distance from the present state trajectory to the equilibrium state. The fuzzy output $f_{out}$(k) out f k is used to adjust the speed the adaptation law depending on the location of the state trajectory. The simulation results showed that the proposed method had no chattering in case of uncertain parameter without disturbance. Moreover the convergent rate of the switching gain was faster and more stable even in case of disturbance.

• Proceedings of the KIEE Conference
• /
• 1999.07b
• /
• pp.838-840
• /
• 1999

In this paper, modeling and analysis of discrete event systems by temporal logic frame works and petri net is considered. The reachability tree of the petri net can be used to solve the safeness, boundedness, conservation and coverability problems of discrete event systems. But the reachability tree of the petri net do not solve reachability and liveness problems in general. We proposed a method that synthesised the petri net and the temporal logic frameworks. This method slove some problems of petri net by logical representation of temporal logic frameworks.

• Journal of Institute of Control, Robotics and Systems
• /
• v.10 no.4
• /
• pp.304-311
• /
• 2004

In this paper we present a technique of discrete-time sliding mode controller design for assigning eigenvalues of sliding mode and determining a convergence rate to sliding surface. First the sliding mode coefficient is designed via Ackermann s formula. Then a linear controller is designed to enforce sliding mode such that the resulting closed loop yields the desired eigenvalues. As we use a linear control instead of nonlinear control, chattering is nearly eliminated. Simulation and experimental results are included to show the effectiveness of the proposed method for Laser Marking System.