Modele dess

En introduisant une méthode de quantification qui résume un segment continu en tant que segment const à la pièce, DEVS peut simuler des comportements de systèmes d`État continus qui sont décrits par des réseaux d`équations algébriques différentielles. Cette recherche a été initiée par Zeigler dans les années 90 [3] et de nombreuses propriétés ont été clarifiées par le Prof. Kofman en 2000 et le Dr Nutaro. En 2006, Prof. cellier qui est l`auteur de Continuous System Modeling [Cellier91], et Prof. Kofman a écrit un livre de texte, Continuous System simulation [CK06] dans lequel les chapitres 11 et 12 couvrent la façon dont DEVS simule les systèmes d`État continus. Le livre de m. Nutaro [Nutaro10], couvre également la simulation d`événements discrets des systèmes d`État continus. DEVS est un formalisme pour la modélisation et l`analyse des systèmes d`événements discrets (DESs). Le formalisme DEVS a été inventé par Bernard P. Zeigler, qui est professeur émérite à l`Université d`Arizona.

DEVS a été présenté au public dans le premier livre de Zeigler, théorie de la modélisation et de la simulation, en 1976, tandis que Zeigler était un professeur agrégé à l`Université du Michigan. DEVS peut être considéré comme une extension du formalisme de la machine Moore [1], qui est un automate à états finis où les sorties sont déterminées par l`état actuel seul (et ne dépendent pas directement de l`entrée). L`extension a été faite par DESS 7 permet l`option de visualisation de votre système de distribution comme un diagramme à une seule ligne. Les utilisateurs sélectionnent les nœuds qu`ils souhaitent afficher sur le diagramme, et DESS le génère en fonction d`une trace de modèle. La définition formelle suivante est pour Classic DEVS [ZKP00]. Dans cet article, nous utiliserons la base de temps, T = [0, ∞) {displaystyle mathbb {T} = [0, infty)} qui est l`ensemble des nombres réels non négatifs; la base de temps prolongée, T ∞ = [0, ∞] {displaystyle mathbb {T} ^ {infty} = [0, infty]} qui est l`ensemble des nombres réels non négatifs plus l`infini. De nombreuses extensions du formalisme DEVS classique ont été développées au cours des dernières décennies. Parmi eux des formalismes qui permettent d`avoir des structures de modèle changeantes tandis que le temps de simulation évolue. DESS a été remanié pour être plus convivial et intuitif que jamais.

Avec DESS 7 vous pouvez modéliser votre système électrique tout le chemin vers le bas pour les compteurs. DESS modélise le système de distribution primaire pour se comporter de la même manière que votre véritable système électrique afin que vous puissiez le comprendre, le planifier et le faire fonctionner plus efficacement. DESS combine des facteurs économiques avec des principes d`ingénierie éprouvés afin que vous puissiez prendre des décisions techniquement et économiquement saines. DESS® présente une gamme d`analogues en acier inox AISI 303. Les analogues ont une tête qui reproduit l`articulation du système implantaire et ont une zone de rétention douce pour positionner facilement la gomme molle dans le modèle de travail. La navigation DESS 7 a été améliorée pour permettre aux utilisateurs d`effectuer les tâches nécessaires avec moins de clics. Les tâches courantes telles que le traçage vers le haut ou en aval, la modification de l`état du commutateur et l`insertion d`un nœud peuvent maintenant être effectuées avec un simple clic droit. Les menus améliorés rendent les outils dont vous avez besoin immédiatement disponibles. Étant donné que la durée de vie de chaque État est un nombre réel (plus précisément, réel non négatif) ou infini, il se distingue des systèmes de temps discrets, des machines séquentielles et des machines Moore, dans lequel le temps est déterminé par un temps de graduation multiplié par non négatif Entiers. En outre, la durée de vie peut être une variable aléatoire; par exemple, la durée de vie d`un État donné peut être répartie exponentiellement ou uniformément. Les fonctions de transition et de sortie de l`état de DEVS peuvent également être stochastiques.

Le jeu de ping-pong de la Fig. 1 peut être modélisé comme un modèle DEVS couplé n = {Displaystyle n =} où x = {} {Displaystyle X = {}}; Y = {} {displaystyle Y = {}}; D = {A, B} {displaystyle D = {A, B }}; M A et M B {displaystyle m_ {A} {text{et}} m_ {B}} est décrit comme ci-dessus; C x x = {} {displaystyle _ _ {XX} = {}}; C y x = {(A.! s e n d, B.? r e c e i v e), (B.! s e n d, A.