Bücher
hier kostenlos | Buch, Hörbücher |
| Fachbücher |
| Mathematik |
| Algebra und Zahlentheorie |
Graphentheorie 04 | |
Mathematik für Ingenieure, Naturwissenschaftler, Ökonomen: Graphentheorie: Bd 21.2G. BiessTaschenbuch |
Contemporary Methods in Graph TheoryR. (Hrsg.) BODENDIEKGebundene Ausgabe |
Simulation and Animation of Visual Languages based on Typed Algebraic Graph TransformationClaudia ErmelTaschenbuchIn recent years, visual models represented by graphs have become very popular in systems development, as the wide-spread use of U M L and Petri nets proves. While visual modelling techniques provide a precise way to model the structure and behaviour of systems, visual models tend to be complex and are not always adequate for behaviour validation. The main objective of this doctoral thesis is to improve the validation process for visual behavioural models by providing a formal framework and tool support for simulation and animation based on typed algebraic graph transformation. To attain this goal, the thesis proposes to use animation views for simulation instead of the notation of abstract modelling languages. Animation views allow for simulating model behaviour in the layout of the application domain, at a freely chosen level of abstraction. Thus, they provide better insights of model behavior and lead to an earlier detection of inconsistencies and possible missing requirements in the model. A visual behavioural model is mapped to an animation view by so-called Simulation-to-Animation transformation ( S2 A transformation). Formal graph transformation properties allow for ensuring semantic equivalence of a model and its animation view. A prototypical tool environment supports simulation, animation view definition, S2 A transformation and animation based on graph transformation. Animation scenarios can be visualized in animation views as smooth movements instead of discrete simulation steps. |
Algebraisch abgeschlossene Klassen graphentreuer FunktionenRainer LenzTaschenbuch |
Ein Beitrag zur Interpretation technischer Zeichnungen mittels Graphentheorie und StatistikChenguang LiuTaschenbuch |
Einführung in die GraphentheorieJirí SedlácekB, Broschiert |
Einführung in die Theorie der endlichen Graphen. Teil 1Horst SachsGebundene Ausgabe |
Beiträge zur GraphentheorieB, Broschiert |
Graphentheorie Grundlagen und ihre Anwendungen: Studienbuch für Studenten der Mathematik und Informatik, der Wirtschafts- und Ingenieurwissenschaften (Studientexte Informatik)Jürgen PerlGebundene Ausgabe |
Algorithmische GraphentheorieTurau VGebundene AusgabeGraphen sind die in der Informatik am häufigsten verwendete Abstraktion. Jedes System, welches aus diskreten Zuständen oder Objekten und Beziehungen zwischen diesen besteht, kann als Graph modelliert werden. Viele Anwendungen erfordern effiziente Algorithmen zur Verarbeitung von Graphen. Dieses Lehrbuch ist eine Einführung in die algorithmische Graphentheorie. Die Algorithmen sind in kompakter Form in einer programmiersprachennahen Notation dargestellt. Eine Übertragung in eine konkrete Programmiersprache wie C++ oder Pascal ist ohne Probleme durchzuführen. Die meisten der behandelten Algorithmen sind in der dargestellten Form im Rahmen meiner Lehrveranstaltungen implementiert und getestet worden. Die praktische Relevanz der vorgestellten Algorithmen wird in vielen Anwendungen aus Gebieten wie Compilerbau, Betriebssysteme, künstliche Intelligenz, Computernetzwerke und Operation Research demonstriert. Dieses Buch ist an allejene gerichtet, die sich mit Problemen der algorithmischen Graphentheorie beschäftigen. Es richtet sich insbesondere an Studenten der Informatik und Mathematik im Grund- als auch im Hauptstudium. Die neun Kapitel decken die wichtigsten Teilgebiete der algorithmischen Gra, phentheorie ab, ohne einen Anspruch auf Vollständigkeit zu erheben. Die Auswahl der Algorithmen erfolgte nach den folgenden beiden Gesichtspunkten: kten: Zum einen sind nur solche Algorithmen berücksichtigt, die sich einfach und klar darstellen lassen und ohne großen Aufwand zu implementieren sind. Der zweite Aspekt betrifft die Bedeutung für die algorithmische Graphentheorie an sich. Bevorzugt wurden solche Algorithmen, welche entweder Grundlagen für viele andere Verfahren sind oder zentrale Probleme der Graphentheorie lösen. Unter den Algorithmen, welche diese Kriterien erfüllten, wurden die effizientesten, hinsichtlich Speicherplatz und Laufzeit dargestellt. Letztlich war die Auswahl natürlich oft eine persönliche Entscheidung. |