• 한국인터넷방송통신학회논문지
• /
• 제11권5호
• /
• pp.101-106
• /
• 2011

본 연구는 이산사건 시스템인 제조 시스템에 대하여 사용자 명세서에 따라 충실하게 동작하는 제어기를 설계하는 것이 목적이다. 특히, W. M. Wonham의 감독제어 이론을 기반으로 병렬처리가 가능한 패트리 넷을 이용한 제어기를 설계하는 것이다. 또한, 패트리 넷을 이용한 설계 시 고려해야 할 문제 중 공유하는 자원의 할당에 관한 문제를 다루고자 한다. 공유자원에 대한 처리를 사용자 명세서로 제시하고 제시한 패트리 넷으로 모델링하여 합성하면 제어기가 생성된다. 이렇게 생성된 제어기는 공유하는 자원이 있는 경우에 발생가능 한 교착상태(deadlock)와 기아상태(Starvation)에 대한 제어가 가능하다. 선행연구에서는 페트리 넷의 두 모델을 합성하는 방법으로 동기식 도달성 그래프를 제안하였다. 따라서 본 연구에서는 그 결과를 이용하여 교착상태와 기아상태를 예방한 제어된 시스템을 설계하여 제시하고자 한다.

• Journal of information and communication convergence engineering
• /
• 제6권1호
• /
• pp.59-63
• /
• 2008

The methods or algorithms which can accelerate simulation speed became of great importance, as the modeling and simulation methodology for discrete event systems is used in many areas such as model validation/verification and performance evaluation. This paper proposes a tool named, DEVSIF composer. The tool is made of an automated compiled simulation technology and it builds a new composed model which can be executed much fast by composing the component models together. Models are described by our new specification language DEVSIF, which is compatible with object-oriented language and supports representation of a hierarchical model structure. Experimental results demonstrates that DEVSIF composer enhances the simulation speed of a transformed DEVS model 5 times faster than that of the original ones in average.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권9호
• /
• pp.1112-1118
• /
• 1999

A major objective of the study is to propose a supervisory control algorithm based on the discrete event dynamic system (DEDS) model and apply it to the automation of nuclear operations. The study is motivated by the suitability of the DEDS model for simulation of man-made control action and the potential of the DEDS based supervisory control algorithm for enhanced licensibility, when implemented in nuclear plants, through design transparency due to strong analytic backgrounds. The DEDS model can analytically show the robust stability of the proposed supervisory controller providing design transpareney for enhanced licensibility when implemented in nuclear operations.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2005년도 춘계학술대회 논문집
• /
• pp.100-105
• /
• 2005

Development of complex discrete event simulators requires cooperation between domain experts and modeling experts who involve the development. With the cooperation the domain experts derive user requirement and modeling experts transform the requirement to a simulation model. This paper proposes a method for consistency verification of simulation model in DEVS formalism against the user requirement in UML diagrams. It also presents an automated tool, called VeriDEVS, which implements the proposed method. Inputs of VeriDEVS are three UML diagrams, namely use case, class and sequence diagrams, and DEVS Graph, all in Visio; outputs of a verification result is represented in PowerPoint files.

• 대한산업공학회지
• /
• 제41권5호
• /
• pp.511-520
• /
• 2015

Inventory, cost, and the level of service are three interrelated key metrics that most supply chain organizations are striving to optimize. One way to achieve this goal is to create a simulation model to conduct sensitivity analysis and optimization on several different supply chain policies that can be implemented in actual operation. In this paper, a case of Xerox global supply chain modeling and analysis to assess several "what if" scenarios for the consumable policy safety stock is presented. The simulation model, combined with analytical cost model and optimization module, is used to optimize the policy safety stock level to achieve the lowest total value chain cost. It was shown quantitatively that the policy safety stock can be reduced, but it is offset by the inbound premium transportation cost to expedite supplies in shortage, and the outbound premium transportation cost to send supplies to customers via express shipment, requiring fine balance.

• International Journal of Fluid Machinery and Systems
• /
• 제2권4호
• /
• pp.269-277
• /
• 2009

The current paper focuses on the analysis of transient cavitating flow in pressurised polyethylene pipes, which are characterized by viscoelastic rheological behaviour. A hydraulic transient solver that describes fluid transients in plastic pipes has been developed. This solver incorporates the description of dynamic effects related to the energy dissipation (unsteady friction), the rheological mechanical behaviour of the viscoelastic pipe and the cavitating pipe flow. The Discrete Vapour Cavity Model (DVCM) and the Discrete Gas Cavity Model (DGCM) have been used to describe transient cavitating flow. Such models assume that discrete air cavities are formed in fixed sections of the pipeline and consider a constant wave speed in pipe reaches between these cavities. The cavity dimension (and pressure) is allowed to grow and collapse according to the mass conservation principle. An extensive experimental programme has been carried out in an experimental set-up composed of high-density polyethylene (HDPE) pipes, assembled at Instituto Superior T$\acute{e}$cnico of Lisbon, Portugal. The experimental facility is composed of a single pipeline with a total length of 203 m and inner diameter of 44 mm. The creep function of HDPE pipes was determined by using an inverse model based on transient pressure data collected during experimental runs without cavitating flow. Transient tests were carried out by the fast closure of the ball valves located at downstream end of the pipeline for the non-cavitating flow and at upstream for the cavitating flow. Once the rheological behaviour of HDPE pipes were known, computational simulations have been run in order to describe the hydraulic behaviour of the system for the cavitating pipe flow. The calibrated transient solver is capable of accurately describing the attenuation, dispersion and shape of observed transient pressures. The effects related to the viscoelasticity of HDPE pipes and to the occurrence of vapour pressures during the transient event are discussed.

• 제어로봇시스템학회논문지
• /
• 제6권6호
• /
• pp.433-440
• /
• 2000

To flexibly evaluate performance and reliability of a real-time system which is intrinsically characterized by stringent timing constraints to generate correct responses, we propose fuzzyrandom variables and build a discrete event model embedded with fuzzy-random variables. Also, we adapt fuzzy-variables to a path-space approach, which derives the upper and lower bounds of reliability by using a semi-Markov model that explicitly contains the deadline information. Consequently, we propose certain formulas of state automata properly transformed by fuzzy-random variables, and present numerical examples applying the formulas to RTP(Rapid Thermal Process) to show that a complex system can be properly evaluated based on this model by computer simulation.

• 산업공학
• /
• 제23권2호
• /
• pp.193-202
• /
• 2010

The quality of service(QoS) model should be presented with the optimal network design to effectively provide the multimedia data services between users and converged services with mobile or TV in the next-generation Internet. In specific, the method to provide differentiated services for each user is needed in the given Internet node to offer the previously negotiated QoS with the user. In this paper, the performance of the QoS enabling technologies in the differentiated services(DiffServ) network domain is analyzed. The QoS offering model and QoS metrics are presented to analyze the performance of the major scheduling algorithms. Under the real network topology and virtual service scenarios in the university, the NS-2 network simulation based on the discrete-event is performed. The results show that the ratio-based scheduling method is more effective rather than the bandwidth-assignment method.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제49권7호
• /
• pp.363-369
• /
• 2000

To flexibly evaluate performance and reliability of an electric power system in the aspect of the real-time system which is intrinsically characterized by stringent timing constraints fails catastrophically if its control input is not updated by its digital controller computer within a certain time limit called the hard deadline, we propose fuzzy-random variables and build a discrete event model embedded with fuzzy-random variables. Also, we adapt fuzzy-variables to a path-space approach, which derives the upper and lower bounds of reliability by using a semi-Markov model that explicitly contains the deadline information. Consequently, we propose certain formulas of state automata properly transformed by fuzzy-random variables, and present numerical examples applying the formulas as well.

• 한국시뮬레이션학회논문지
• /
• 제8권4호
• /
• pp.89-107
• /
• 1999

There are many issues in computer simulation such as verifying model code, validating models, understanding the dynamics of systems and training the personnel. The developers of simulation tool have been interested in the animation since it can help solve the problems related to the above listed issues. In practice, animation is one of the popular method for displaying the simulation output for solving these problems. Trying to display all the graphic objects representing the dynamics of the models being simulated, however, causes the distraction of focus, which results in solving the above listed problems difficult. The redundant graphic objects also Increase the computer computation overhead. This paper presents a hierarchical animation environment in which the users can have better focus on the dynamics of system components. In hierarchical animation environment the users can observe the dynamics of system by selectively choosing the hierarchical level and components with in a level of the hierarchically structured model. Especially when the model is large and complex the selection of observation level is needed. The design approach of the hierarchical animator is based on the DEVS(Discrete Event system Specification) formalism which is theoretically well grounded means of expressing modular and hierarchical models.