• 제목/요약/키워드: discrete systems

검색결과 1,856건 처리시간 0.026초

Visualisation of the Mathematical Process: Boolean Algebra and Graph Theory with TI-83/89

  • Gashkov, Igor
    • 한국수학교육학회지시리즈D:수학교육연구
    • /
    • 제11권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.

  • PDF

제어입력 크기제한을 갖는 시스템에서 외란 응답 감소를 위한 이산시간 이득 스케줄 제어 (Gain Scheduled Discrete Time Control for Disturbance Attenuation of Systems with Bounded Control Input)

  • 강민석;윤우현
    • 한국정밀공학회지
    • /
    • 제26권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.

이산 확률 기법에 기반한 웹미디어 교육 시스템을 위한 동적 적응 모델 (Dynamic Adaptive Model for WebMedia Educational Systems based on Discrete Probability Techniques)

  • 이윤수
    • 한국컴퓨터산업학회논문지
    • /
    • 제5권9호
    • /
    • pp.921-928
    • /
    • 2004
  • 이 논문에서는 웹 기반의 하이퍼미디어 교육시스템에서 이산 확률 분포 함수와 사용자 프로파일 기반의 동적 적응 모델을 제안하였다. 이 모델은 응용 영역을 동적 적응 객체의 가중치 방향성 그래프로 표현하며, 사용자 행위를 이산 확률 함수를 동적으로 구축하는 접관 방식을 이용하여 모델링한다. 제안한 확률적 해석은 웹 미디어 구조에서 사용자의 탐색 행위를 추적하여 사용자 행위에 대한 잠재적 속성을 나타내는데 사용될 수 있다. 이러한 접근 방식은 사용자에게 가장 알맞은 프로파일을 동적으로 할당할 수 있다.

  • PDF

입출력 데이터 기반 Q-학습과 LMI를 이용한 선형 이산 시간 시스템의 모델-프리 $H_{\infty}$ 제어기 설계 (Model-free $H_{\infty}$ Control of Linear Discrete-time Systems using Q-learning and LMI Based on I/O Data)

  • 김진훈
    • 전기학회논문지
    • /
    • 제58권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.

Exact Algorithms of Transforming Continuous Solutions into Discrete Ones for Bit Loading Problems in Multicarrier Systems

  • Chung, Yong-Joo;Kim, Hu-Gon
    • Management Science and Financial Engineering
    • /
    • 제16권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.

콘크리트 슬래브 궤도의 3차원 거동해석 (3- D Analysis of Concrete Slab Track System)

  • 김정일;장승엽
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2004년도 춘계학술대회 논문집
    • /
    • 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.

  • PDF

Performance Analysis of a Finite-Buffer Discrete-Time Queueing System with Fixed-Sized Bulk-service

  • Chang, Seok-Ho;Kim, Tae-Sung
    • 한국통신학회논문지
    • /
    • 제28권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.

Discrete-Time Sliding Mode Control with SIIM Fuzzy Adaptive Switching Gain

  • Chai, Chang-Hyun
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제12권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.

시간논리 구조와 Petri Net의 합성방법을 사용한 이산사건 시스템의 모델링 (A Modeling of Discrete Event System Using Temporal Logic Framework and Petri Net)

  • 김진권;모영승;류영국;황형수
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1999년도 하계학술대회 논문집 B
    • /
    • 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.

  • PDF

레이저 마킹 시스템의 이산시간 슬라이딩 모드 제어기 설계 (Design of a Discrete Time Sliding Mode Controller for Laser Marking System)

  • 이충우;채수경;최재모;정정주
    • 제어로봇시스템학회논문지
    • /
    • 제10권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.