Specification and Description Language for Discrete Simulation

2013 ◽  
pp. 145-178
Author(s):  
Pau Fonseca i Casas
Keyword(s):  
Simulation Model ◽  
Model Complexity ◽  
Global Behavior ◽  
Description Language ◽  
Queuing Model ◽  
Graphical Language ◽  
Discrete Simulation ◽  
Model Understanding ◽  
Definition Of ◽  
Modular Nature

Designing a new simulation model usually involves the participation of personnel with different knowledge of the system and with diverse formations. These personnel often use different languages, making more difficult the task to define the existing relations between the key model elements. These relations represent the hypotheses that constrain the model and the global behavior of the system, and this information must be obtained from the system experts. A formalism can be a powerful tool to understand the model complexity and helps in the communication between the different actors that participate in the definition of the model. In this chapter we review the use of the “Specification and Description Language,” a standard and graphical language that simplifies the model understanding thanks to its modular nature. To do this we present a complete example, representing a simple queuing model that helps the reader to understand the structure and the nature of the language.

scholarly journals THEORETICAL-EXPERIMENTAL ASSESMENT OF BRAKING SISTEMS FOR INCLINED LIFTS ACCORDING TO EN 81:22-2014.

2016 ◽  
Author(s):  
Enrique Alcalá ◽  
Beatriz Valles Fernandez ◽  
Angel Luis Martin López
Keyword(s):  
Simulation Model ◽  
Relative Displacement ◽  
Dynamical Behaviour ◽  
Emergency Braking ◽  
Braking System ◽  
Calculation Methodology ◽  
Norm Series ◽  
Definition Of ◽  
Optimal Behaviour

The inclined lifts, in case of emergency braking, can experience high longitudinal decelerations that can lead to passengers’ collisions with lift walls and interior elements. In 2014 the CEN/TC10 WG1 published the part 22 of the norm series 81 with regard to the construction elements and installation of electrical lifts with inclined trajectory. This norm stablishes, amongst other requirements, the maximum and minimum deceleration levels in both longitudinal and vertical directions. Both requirements, in opposite senses and the definition of the braking system, do not cause design difficulties in case of high slopes, but in case of lifts with the slope under a certain level they can be needed, to guarantee the fulfilment of the norm, elements that allow and additional relative displacement between the braking system and the cabin. To define the performances and the optimal behaviour of these systems it has been defined a simulation model of the dynamical behaviour of the lift under the conditions of the norm tests. Additionally, in this work it is presented a calculation methodology to define the cabin allowable weight corridor, for each braking effort made by each safety gear model, and the simulations have been validated with the results of tests with different braking efforts, weights and lift slopes. The present work has been performed in cooperation with Thyssen Krupp Elevadores with the aim of improving the knowledge of the brake dynamics of inclined lifts.DOI: http://dx.doi.org/10.4995/CIT2016.2016.2173

scholarly journals A comparison of mechanistic signaling pathway activity analysis methods

2018 ◽  
Vol 20 (5) ◽  
pp. 1655-1668 ◽  
Author(s):  
Alicia Amadoz ◽  
Marta R Hidalgo ◽  
Cankut Çubuk ◽  
José Carbonell-Caballero ◽  
Joaquín Dopazo
Keyword(s):  
Cell Activity ◽  
New Paradigm ◽  
Pathway Activity ◽  
Pathway Enrichment ◽  
New Methods ◽  
Mechanistic Pathway ◽  
Main Challenge ◽  
Definition Of ◽  
Cell Functionality ◽  
Modular Nature

Abstract Understanding the aspects of cell functionality that account for disease mechanisms or drug modes of action is a main challenge for precision medicine. Classical gene-based approaches ignore the modular nature of most human traits, whereas conventional pathway enrichment approaches produce only illustrative results of limited practical utility. Recently, a family of new methods has emerged that change the focus from the whole pathways to the definition of elementary subpathways within them that have any mechanistic significance and to the study of their activities. Thus, mechanistic pathway activity (MPA) methods constitute a new paradigm that allows recoding poorly informative genomic measurements into cell activity quantitative values and relate them to phenotypes. Here we provide a review on the MPA methods available and explain their contribution to systems medicine approaches for addressing challenges in the diagnostic and treatment of complex diseases.

An Iterative Algorithm to Determine the Dynamic User Equilibrium in a Traffic Simulation Model

1998 ◽  
Vol 09 (03) ◽  
pp. 393-407 ◽  
Author(s):  
C. Gawron
Keyword(s):  
Probability Distribution ◽  
Simulation Model ◽  
Iterative Algorithm ◽  
Traffic Simulation ◽  
User Equilibrium ◽  
Dynamic User Equilibrium ◽  
Queuing Model ◽  
Travel Costs ◽  
Dynamic Version ◽  
The Stability

An iterative algorithm to determine the dynamic user equilibrium with respect to link costs defined by a traffic simulation model is presented. Each driver's route choice is modeled by a discrete probability distribution which is used to select a route in the simulation. After each simulation run, the probability distribution is adapted to minimize the travel costs. Although the algorithm does not depend on the simulation model, a queuing model is used for performance reasons. The stability of the algorithm is analyzed for a simple example network. As an application example, a dynamic version of Braess's paradox is studied.

scholarly journals Exploratory Analysis of a GGSN’s PDP Context Signaling Load

2014 ◽  
Vol 2014 ◽  
pp. 1-13 ◽  
Author(s):  
Florian Metzger ◽  
Albert Rafetseder ◽  
Peter Romirer-Maierhofer ◽  
Kurt Tutschku
Keyword(s):  
Exploratory Analysis ◽  
Network Data ◽  
Core Network ◽  
Control Plane ◽  
Queuing Model ◽  
The Core ◽  
Mobile Cellular ◽  
Initial Load ◽  
Definition Of

This paper takes an exploratory look on control plane signaling in a mobile cellular core network. In contrast to most contributions in this field, our focus does not lie on the wireless or user-oriented parts of the network, but on signaling in the core network. In an investigation of core network data we take a look at statistics related to GTP tunnels and their signaling. Based on the results thereof we propose a definition of load at the GGSN and create an initial load queuing model. We find signs of user devices putting burden on the core network through their behavior.

Sign in / Sign up

Export Citation Format

Share Document