• Journal of the Korea Society for Simulation
• /
• v.26 no.2
• /
• pp.9-17
• /
• 2017

The problem of social phenomenon is getting more complicated than past decades, and the simulation engineers need more computation power to solve the problem. Therefore, the needs of the computational resources of the modeling and simulation environment are increasing. In the perspective of the simulation, it is necessary to allocate computational resources flexibly so that the simulation can be performed per the available budget range. As an alternative to the simulation environment to accommodate these requirements, cloud service has emerged as an environment in which computing resources can be used flexibly. This paper proposes a web-based simulation framework which consists of a front-end that reconstructs the simulation model using the web, and a back-end that executes the discrete event simulation. This paper also carried out a case study which shows web-based simulation framework has better overall runtime than standalone simulation framework.

• 한국경영정보학회:학술대회논문집
• /
• 2008.06a
• /
• pp.478-485
• /
• 2008

고객 만족과 납기 충족율을 최대화하기 위하여, 정확하고 실용적인 납기회답 시스템(ATP)은 매우 중요한 역할을 한다. 그러나 복잡한 공급사슬관리 환경 하에서 조달, 제조, 분배 등을 모두 고려한 정확한 ATP 수량 할당은 매우 어려운 업무이고, 때문에 많은 연구들이 이루어져 왔다. 지금까지 기존의 선행 연구에서 시도되었던 ATP 모형들은 공통적으로 정수배의 시간 단위만 고려해 왔고, 이는 실제 산업 현장의 ATP 프로세스를 정확하게 반영하지 못하고 있는 비현실적인 가정이라 할 수 있다. 본 논문에서는 SCM을 위하여 비정수 타임 랙을 사용한 ATP 시스템을 고려한다. 기존 연구들에서 이산형의 무리한 가정으로 표현되어 왔던 시간 단위를 동적 생산 함수(dynamic production function) 개념을 통하여 비음의 실수 범위에서의 자유롭게 나누어 고려할 수 있도록 하였다. 이를 통하여 기존 ATP 연구들의 무리한 가정을 제거하였으며, 보다 더 현실에 가까운 ATP 모델을 제안한다. 본 논문에서는 특히 공급 사슬(Supply Chain) 전체의 재고와 생산, 운송을 모두 고려하며 고객 주문에 대응하는 통합 ATP 시스템을 설계하였고, 기존 연구들이 미처 고려하지 못한 시간 흐름의 연속성에 중점을 두고 선형 계획(LP) 문제의 형태로 비정수 타임랙(non-integer time lag)을 갖는 ATP 시스템을 모델링하였다.

• 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 Advanced Navigation Technology
• /
• v.21 no.6
• /
• pp.608-613
• /
• 2017

In this paper, we consider the stability bound for uncertainty of delayed state variables in the linear discrete interval time-varying systems with time-varying delay time. The considered system has an interval time-varying system matrix for non-delayed states and is perturbed by the unstructured time-varying uncertainty in delayed states with time-varying delay time within fixed interval. Compared to the previous results which are derived for time-invariant cases and can not be extended to time-varying cases, the new stability bound in this paper is applicable to time-varying systems in which every factors are considered as time-varying variables. The proposed result has no limitation in applicable systems and is very powerful in the aspects of feasibility compared to the previous. Furthermore. the new bound needs no complex numerical algorithms such as LMI(Linear Matrix Inequality) equation or upper solution bound of Lyapunov equation. By numerical examples, it is shown that the proposed bound is able to include the many existing results in the previous literatures and has better performances in the aspects of expandability and effectiveness.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.815-820
• /
• 2001

확장된 마크흐름선도(EMFG: Extended Mark Flow Graph)는 이산 시스템을 설계할 수 있는 강력한 도구일 뿐만 아니라 시스템을 직접적으로 구현하기 위한 적당한 표현이다. 본 논문에서는 EMFG의 동작 해석 알고리즘을 개선하여 시간 트랜지션이 존재하는 EMFG의 동작을 분석하고자 한다. 이를 통해 시스템의 분석 및 설계가 용이하며 컴퓨터를 이용한 자동화 시스템의 분석과 설계가 가능하다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.68-70
• /
• 1998

본 논문에서는 클록들을 주기적으로 동기화하는 분산 실시간 시스템에서 주어진 태스크의 시간 제약(timing constraint)을 변환시는 구가지 기법을 제안한다. 전형적인 이산 클록 동기화(discrete clock synchronization)알고리즘은 클록의 값을 순간적으로 보정(correct)하여 클록의 시간이 불연속적으로 진행학 한다. 이러한 시간상의 불연속성은 태스크의 시작제한시간(release time)이나 종료시한(deadline)과 같은 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다. 클록 시간의 불연속성을 피하기 위해 일반적으로 연속 클록 동기화(continuous clock synchronization) 기법이제안되었지만 소프트웨어적으로 구현되기에는 많은 오버헤드를 유발시키는 문제점이 있다. 이에 따라 연속 클록 동기화는 PLL (Phase-Locked Loop)을 이용한 별도의 하드웨어를 사용하는 것이 보통이다. 본 논문에서는 연속 클록 동기화 기법을 사용하는 대신, 태스크의 시간 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였다. DCT는 소프트웨어 으로 구현이 가능하여 새로운 하드웨어를 필요로 하지 않으며, 이를 통해 기존의 이산적으로 동기화된 시스템에서 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있다. 또 다른 문제점으로서, 클록의 물리적인 특성으로 인해 동기화된 클록들이 상한된(bounded from the above)오차(skew)를 갖는다는 것이다. 이러한 오차는 지역 클록(local clock)에 대해 만족될 수 있는 임의의 실기간 제약 조건이 전역 클록(global clock)에 대해서는 만족되지 않을 수 있음을 의미한다. 본 논문에서는 이를 위해 먼저 두 가지의 스케줄링 가능성, 지역적 스케줄링 가능서(local schedulability)과 전역적 스케줄링 가능성(global schedulability)을 정의하고, 실시간 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation)기법을 제안하였다. SCT를 통해 지역적으로 스케줄링 가능한 태스크는 전역적으로 스케줄링이 가능하므로, 단지 지역적 스케줄링 가능성만을 검사하면서 스케줄링 문제를 해결할 수 있도록 하였다.

• Journal of Advanced Navigation Technology
• /
• v.20 no.5
• /
• pp.475-481
• /
• 2016

In this paper, the new stability condition of linear discrete interval time-varying systems with time-varying delay time is proposed. The considered system has interval time-varying system matrices for both non-delayed and delayed states with time-varying delay time within given interval values. The proposed condition is derived by using Lyapunov stability theory and expressed by very simple inequality. The restricted stability issue on the interval time-invariant system is expanded to interval time-varying system and a powerful stability condition which is more comprehensive than the previous is proposed. As a results, it is possible to avoid the introduction of complex linear matrix inequality (LMI) or upper solution bound of Lyapunov equation in the derivation of sufficient condition. Also, it is shown that the proposed result can include the many existing stability conditions in the previous literatures. A numerical example in the pe revious works is modified to more general interval system and shows the expandability and effectiveness of the new stability condition.

• Journal of Industrial Technology
• /
• v.10
• /
• pp.3-8
• /
• 1990

This paper presents a linear state feedback control approach to the stabilization of discrete-time uncertain systems with bounded uncertain parameters. The approach is based on the LQ(linear quadratic) regulator theory and Lyapunov's stability analysis. Asymptotically stable behavior is guaranteed in the presence of parameter uncertainties, and the upper bound of the performance index is determined.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.11a
• /
• pp.399-402
• /
• 2007

본 논문은 Qi 시스템 제어를 위한 지능형 디지털 재설계 접근 방안을 제안한다. 디지털 재설계란, 기존의 안정화 된 연속시간 플랜트와 이산 시간에서 설계된 디지털 제어기와의 상태 접합 및 안정도 분석을 통해 전체 시스템을 재구성 하는 것을 말한다. 퍼지 모델링을 통해 Qi 시스템을 퍼지 규칙으로 표현하며, 디지털 재설계를 통해 재설계된 디지털 제어기를 통해 이를 제어하게 된다. 주어진 조건은 LMI를 통해 표현되며, 시스템의 안정도를 증명함으로써 디지털 제어기절계의 활용성 및 가능성을 검증하고자 한다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.05a
• /
• pp.321-324
• /
• 2003

This paper discusses a robust stochastic stabilization of uncertain Takagi-Sugeno (T-S) fuzzy system with Markovian input delay. The finite Markovian process is adopted to model the input delay of the overall control system. It is assumed that the zero and hold devices are used for control input. The continuous-time T-S fuzzy system with the Markovian input delay is discretized for easy handling delay, accordingly, the discretixzd T-S fuzzy system is represented by a uncertain discrete-time T-S fuzy system with jumping parameters. The robust stochastic stabilizibility of the uncertain jump T-S fuzzy system is derived and formulated in terms of linear matrix inequalities (LMIs).