• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.219-227
• /
• 2008

DEVS 형식론은 이산 사건 시스템을 계층적이고 모듈러하게 표현할 수 있다. MATLAB/Simulink는 연속 시스템과 이산 시간 시스템을 모델링하고 시뮬레이션을 수행하는 데 널리 쓰인다. 본 논문은 MATLAB/Simulink 환경에서 DEVS 형식론을 구현하는 방법론을 제안한다. 본 논문에서 제안하는 방법론을 이용하여MATLAB/Simulink에서 제공하는 다양한 공학 방정식과 알고리즘을 사용할 수 있다. 또한 동일한 시뮬레이션 환경에서 연속 시스템과 이산 사건 시스템이 혼합된 하이브리드 시스템에 대한 시뮬레이션을 수행할 수 있다. 이를 위해 본 논문은 Simulink-DEVS 모델과 이 모델을 시뮬레이션을 수행하는 데 필요한 시간 진행 알고리즘을 제안한다. 특히 시간 진행 알고리즘은 시스템의 유형에 상관없이 적절한 시간 진행을 수행한다. 두 가지 실험 결과를 통해 본 논문에서 제안하는 방법론의 효용성을 입증한다.

• 대한산업공학회지
• /
• 제41권6호
• /
• pp.588-598
• /
• 2015

In this paper, a simulation model for assessing the impact of alternative field service engineer replenishment policies is introduced. The end-to-end supply chain simulation model is created using a discrete-event and agent-based simulation model, which enables accurate description of key individual entities in the investigated supply chain, such as field service engineers. Once the model is validated with the historical data, it is used to assess the impacts of field service engineer replenishment policies for a major printing equipment manufacturing firm.In the case study, newly proposed replenishment policies for post-sale distribution supply chain are assessed for the level of service improvement to end customers.

• Kyungpook Mathematical Journal
• /
• 제47권4호
• /
• pp.601-608
• /
• 2007

In this paper we introduce a discrete model of brucellosis happened in Korean livestock farms and numerically analyze its dynamical features. To do it, we consider parameters data supported by Livestock Cooperatives. To control brucellosis, we investigate the relationship among key parameters, as applications of our model. We hope that our model may be used to reduce brucellosis in Korean livestock farms.

• Nuclear Engineering and Technology
• /
• 제44권6호
• /
• pp.639-652
• /
• 2012

A three-dimensional discrete fracture network model was developed in order to simulate the hydraulic characteristics of a granitic rock mass at Korea Atomic Energy Research Institute (KAERI) Underground Research Tunnel (KURT). The model used a three-dimensional discrete fracture network (DFN), assuming a correlation between the length and aperture of the fractures, and a trapezoid flow path in the fractures. These assumptions that previous studies have not considered could make the developed model more practical and reasonable. The geologic and hydraulic data of the fractures were obtained in the rock mass at the KURT. Then, these data were applied to the developed fracture discrete network model. The model was applied in estimating the representative elementary volume (REV), the equivalent hydraulic conductivity tensors, and the amount of groundwater inflow into the tunnel. The developed discrete fracture network model can determine the REV size for the rock mass with respect to the hydraulic behavior and estimate the groundwater flow into the tunnel at the KURT. Therefore, the assumptions that the fracture length is correlated to the fracture aperture and the flow in a fracture occurs in a trapezoid shape appear to be effective in the DFN analysis used to estimate the hydraulic behavior of the fractured rock mass.

• 시스템엔지니어링학술지
• /
• 제16권1호
• /
• pp.1-8
• /
• 2020

In this paper we proposed to develop the reliability growth planning for the One-shot system using the PM2-Discrete model. The PM2-Discrete is the methodology specifically developed for discrete systems and is the first quantitative method available for formulating detailed plans in the discrete usage domain. First, the parameters RG, RI, T, MS and d of the PM2-Discrete model are set. Second, the case analysis was performed on One-shot system A. Third, the input parameter values were applied to drive the R(t) equation. Finally, using RGA 11 Software, the reliability Growth Planning Curve of One-shot system A was constructed. Also, the sensitivity analyses are performed for the changes of model parameters. The results of this study can be usefully used in establishing the reliability growth planning curve of the One-shot system.

• 제어로봇시스템학회논문지
• /
• 제13권4호
• /
• pp.352-357
• /
• 2007

This paper deals with modeling method and application of Fuzzy Discrete Event System(FDES). FDES have characteristics which Crisp Discrete Event System(CDES) can't deals with and is constituted with the events that is determined by vague and uncertain judgement like biomedical or traffic control. We proposed Real-time Fuzzy Temporal Logic Framework(RFTLF) to model Fuzzy Discrete Event System. It combines Temporal Logic Framework with Fuzzy Theory. We represented the model of traffic signal systems for intersection to have the property of Fuzzy Discrete Event System with Real-time Fuzzy Temporal Logic Framework and designed a traffic signal controller for smooth traffic flow. Moreover, we proposed the method to find the minimum-time route to reach the desired destination with information obtained in each intersection. In order to evaluate the performance of Real-time Fuzzy Temporal Logic Framework model proposed in this paper, we simulated unit-time extension traffic signal controller model of the latest signal control method on the same condition.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.994-998
• /
• 2005

A new control method, called a simple model matching, has been recently developed by the author. This is very simple and be applied for linear and nonlinear discrete time systems with/without time lag. Based on this formulation, identification is examined in this paper using an interconnected neural network with the EBP-EWLS learning algorithm. With this result, a control method is also presented for a nonlinear discrete time system.

• Structural Engineering and Mechanics
• /
• 제36권3호
• /
• pp.343-361
• /
• 2010

The Discrete Element Method adopting particles for the domain discretization has recently been adopted in fracture studies of non-homogeneous continuous media such as concrete and rock. A model is proposed in which the reinforcement is modelled by 1D rigid-spring discrete elements. The rigid bars interact with the rigid circular particles that simulate the concrete through contact interfaces. The DEM enhanced model with reinforcement capabilities is evaluated using three point bending and four point bending tests on reinforced concrete beams without stirrups. Under three point bending, the model is shown to reproduce the expected final crack pattern, the crack propagation and the load displacement diagram. Under four point bending, the model is shown to match the experimental ultimate load, the size effect and the crack propagation and localization.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 Proceedings of the Korea Automatic Control Conference, 11th (KACC); Pohang, Korea; 24-26 Oct. 1996
• /
• pp.239-242
• /
• 1996

A model following control system(MFCS) can give general output signals following desired ones. In previous studies, a method of nonlinear MFCS was proposed by S.Okubo[1]. In this paper, the method of nonlinear MFCS will be extended to discrete time nonlinear systems. It is easy to extend the method to discrete time systems. But in the case .gamma.=1 discrete time systems, the proof becomes difficult, because the transfer function from f(v(k)) to v(k) can't be a positive real function. In this case, to ensure that internal states are stable, a new criterion is proposed.

• Journal of Computational Design and Engineering
• /
• 제1권4호
• /
• pp.233-242
• /
• 2014

A magnetically levitated vehicle (Maglev) system is under commercialization as a new transportation system in Korea. The Maglev is operated by an unmanned automatic control system. Therefore, the plan of train operation should be carefully established and validated in advance. In general, when making a train operation plan, statistically predicted traffic data is used. However, a traffic wave often occurs in real train service, and demand-driven simulation technology is required to review a train operation plan and service quality considering traffic waves. We propose a method and model to simulate Maglev operation considering continuous demand changes. For this purpose, we employed a discrete event model that is suitable for modeling the behavior of railway passenger transportation. We modeled the system hierarchically using discrete event system specification (DEVS) formalism. In addition, through implementation and an experiment using the DEVSim++ simulation environment, we tested the feasibility of the proposed model. Our experimental results also verified that our demand-driven simulation technology can be used for a priori review of train operation plans and strategies.