Discrete Event Modeling and Simulation

Author: Gabriel A. Wainer
Publisher: CRC Press
ISBN: 9781351834629
Release Date: 2018-09-03
Genre: Technology & Engineering

Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications. The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.

Constraint Programmierung

Author: Thom Frühwirth
Publisher: Springer-Verlag
ISBN: 9783642591150
Release Date: 2013-03-11
Genre: Mathematics

Das Buch gibt einen kompakten, aber umfassenden Überblick über das Problemlösen und Programmieren mit "Constraints" (Randbedingungen). Diese aktuelle Programmiermethodik ermöglicht es, Aufgaben direkt zu formulieren und effizient zu lösen. Sie gewinnt zusehends Bedeutung in Anwendungsbereichen wie Kombinatorische Suchprobleme (z.B. Zeitplanen, Layout-Optimierung), Berechnungen (Finanzanalyse), Simulation (Hardware-Verifikation) oder allgemein Schließen und Rechnen mit ungenauer oder unvollständiger Information (z.B. Kostenschätzung). Die theoretisch fundierte Darstellung mit Aufgaben und Anwendungsbeispielen aus der Praxis ist in der Lehre erprobt, aber auch für Forscher und Praktiker von Nutzen.

IROS

Author:
Publisher:
ISBN: 0780344669
Release Date: 1995
Genre: Robotics


Modellgetriebene Softwareentwicklung

Author: Thomas Stahl
Publisher:
ISBN: 3898643107
Release Date: 2005
Genre:

Modellgetriebene Entwicklung befasst sich mit der Erstellung kompletter Softwaresysteme aus Modellen. Das Buch stellt einen praxisorientierten Leitfaden für modellgetriebene Entwicklung dar und richtet sich dabei an Architekten, Entwickler sowie technische Projektleiter. Obwohl die Model-Driven Architecture (MDA) der OMG einen hohen Stellenwert bei den Betrachtungen einnimmt, betrachtet das Buch auch allgemeine Aspekte modellgetriebener Entwicklung. Das Buch ist dreigeteilt in eine Einführung, einen praktischen Leitfaden mit einem ausführlichen Fallbeispiel sowie zusätzliche Kapitel, die bestimmte Aspekte der Thematik genauer beleuchten.

Bulletin of the Atomic Scientists

Author:
Publisher:
ISBN:
Release Date: 1972-10
Genre:

The Bulletin of the Atomic Scientists is the premier public resource on scientific and technological developments that impact global security. Founded by Manhattan Project Scientists, the Bulletin's iconic "Doomsday Clock" stimulates solutions for a safer world.

Strukturen der Syntax

Author: Noam Chomsky
Publisher: Walter de Gruyter
ISBN: 9783110813623
Release Date: 1973-01-01
Genre: Language Arts & Disciplines


XSLT 2 0

Author: Frank Bongers
Publisher:
ISBN: 3898423611
Release Date: 2004
Genre: XPath 2.0

XSL-Transformationen (XSLT) haben sich zur bevorzugten Technik für alle Arten von XML-Transformationen entwickelt. Mit Ihnen lassen sich XML-Dateien in HTML, aber auch in jede andere Dateiformate wie PDF oder Bilddateien umwandeln. Das Buch bietet eine umfassende und fundierte Einführung in die Transformation von XML-Dateien mittels XSLT. Dabei werden die Sprachelemente und Instruktionen von XSLT in der Version 2.0 sowie die Elemente und Funktionen der Pfadbeschreibungssprache XPath beschrieben.