This contribution describes a simulation concept for systems modelled by high level Petri nets that is based on causal semantics. Dynamic properties can be checked by evaluating these partially-ordered simulation runs. It will be shown that this approach is not only more eecient but also has more analytical power than the classicall simulation method based on sets of totally-ordered transition ...

In recent years, the mobile devices are equipped with several wireless interfaces in heterogeneous environments which integrate a multitude of radio access technologies (RAT’s). The evolution of these technologies will allow the users to benefit simultaneously from these RAT’s. However, the most important issue is how to choose the most suitable access network for mobile’s user which can be use...

Douglas Gough & Michael McIntyre proposed, in 1998, the first global and self-consistent model of the solar tachocline. Their model is however far more complex than analytical methods can deal with. In order to validate their work and show how well it can indeed represent the tachocline dynamics, I report on progress in the construction of a fully nonlinear numerical model of the tachocline bas...

This work deals with modeling and simulation of multi bus system using D-STATCOM. Voltage sag is increased by connecting a heavy load. The sag is mitigated using D-STATCOM. The circuit models and simulation results are presented. The Simulation results are compared with the analytical results. KeywordsDistribution Static Synchronous Compensator (D-STATCOM)

Queuing theory strives to provide analytical solutions to a number of queuing problems. Unfortunately, closed analytical expressions can not be derived for every type of queuing system. Discrete event simulation on the other hand can find solutions to any kind of queuing problem, but the results are stochastic and only specific to a single parameterization. Proxel simulation can bridge the gap ...

L’analyse en ligne OLAP (On Line Analytical Processing) soutient les entrepôts de données dans le processus d’aide à la décision. Cependant, il n’existe pas d’outils pour guider l’utilisateur dans l’exploration, ni pour approfondir l’analyse vers l’explication et la prédiction. Dans un processus décisionnel, un utilisateur peut vouloir anticiper la réalisation d’évènements futurs. Le couplage d...

We designed and fabricated a two-dimensional microfluidic device to mimic the heterogeneous environment in naturally occurring bacteria culture. We demonstrated that it is possible to fix resistance to the powerful antibiotic ciprofloxacin (Cipro) in E. coli within 10 hours through a combination of antibiotic gradients and bacterial metapopulation. Simulation based on a deterministic model show...

A new semi-analytical approach to estimate the influence of directly modulated semiconductor laser noise on direct detection system performance is proposed and its accuracy is analysed utilizing rigorous mixed semi-analytical simulation. It is shown that this new semi-analytical approach gives a more precise upper bound than the one obtained by other approach currently used, and differences of ...

Center for Information Technology Integration University of Michigan 519 West William Street Ann Arbor, MI 48103-4943 CITI Technical Report 92-8 NESTMOD Simulation of DQDB Metropolitan Networks Gerald A. Winters [email protected] David W. Bachmann [email protected] Toby J. Teorey [email protected] Local area computer networks are well-established, and highly-interconnected, heter...

This paper discusses the development of an analytical support system for implementation of the Integrated Water Resources Management (IWRM) process. The system integrates four analytical tools: (i) geographic information system; (ii) system dynamics simulation; (iii) agent-based model; and (iv) hydrologic simulation. The choice of tools is driven by their ability to (a) respond to the main requ...