Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Dynamische Systeme analysieren

09.11.2010
Erfolgreicher Projektabschluss

Nicht nur für große Firmen ist es wertvoll, wenn ihre Systeme und Netze ohne Abstürze laufen und nach außen hin geschützt sind.

An Techniken, mit denen man dies weiter verbessern kann, haben Informatiker der Universität Duisburg-Essen (UDE) mehrere Jahre gearbeitet: Das DFG-Projekt SANDS (Static Analysis of Dynamically Evolving Systems) wird jetzt erfolgreich abgeschlossen.

Es untersuchte mit einer neuen Software dynamische Systeme, das sind – unter anderem – sich verändernde Netzwerke, die die Teilnehmer betreten und verlassen können. Die Wissenschaftler der Abteilung für Informatik und Angewandte Kognitionswissenschaft überprüften in Fallstudien beispielsweise deren korrektes Verhalten, denn bisher gab es dafür nur wenige geeignete Techniken.

Der Ansatz war, sogenannte Graphtransformationssysteme zu nutzen. Dabei werden statische Zustände durch Graphen dargestellt, d.h. durch Netze aus Knoten und Kanten. Bereits existierende Analysetechniken wurden weiterentwickelt, und mehrere neue entstanden. In Kooperation mit anderen Forschergruppen konnte so die Verifikation dynamischer Systeme verbessert werden.

Jetzt gibt es die vom UDE-Team erstellte Software AUGUR 2, mit der man mit einer Benutzeroberfläche solche Systeme analysieren kann. Dieses Werkzeug gewann den „Graph-based Tool Contest 2009“ in der Kategorie „Verifikation". Von den zahlreichen Veröffentlichungen erhielt zudem eine den Preis für den einflussreichsten Artikel in acht Jahren ICGT (International Conference on Graph Transformation).

Weitere Informationen:
Prof. Dr. Barbara König,
Tel. 0203/379-3397,
barbara_koenig@uni-due.de
Redaktion: Katrin Braun, Tel. 0203/379-1488

Katrin Braun | Universitaet Duisburg-Essen
Weitere Informationen:
http://www.uni-due.de

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Datenbrille erleichtert Gehörlosen die Arbeit in der Lagerlogistik
23.02.2018 | Technische Universität München

nachricht Verlässliche Quantencomputer entwickeln
22.02.2018 | Albert-Ludwigs-Universität Freiburg im Breisgau

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Vorstoß ins Innere der Atome

Mit Hilfe einer neuen Lasertechnologie haben es Physiker vom Labor für Attosekundenphysik der LMU und des MPQ geschafft, Attosekunden-Lichtblitze mit hoher Intensität und Photonenenergie zu produzieren. Damit konnten sie erstmals die Interaktion mehrere Photonen in einem Attosekundenpuls mit Elektronen aus einer inneren atomaren Schale beobachten konnten.

Wer die ultraschnelle Bewegung von Elektronen in inneren atomaren Schalen beobachten möchte, der benötigt ultrakurze und intensive Lichtblitze bei genügend...

Im Focus: Attoseconds break into atomic interior

A newly developed laser technology has enabled physicists in the Laboratory for Attosecond Physics (jointly run by LMU Munich and the Max Planck Institute of Quantum Optics) to generate attosecond bursts of high-energy photons of unprecedented intensity. This has made it possible to observe the interaction of multiple photons in a single such pulse with electrons in the inner orbital shell of an atom.

In order to observe the ultrafast electron motion in the inner shells of atoms with short light pulses, the pulses must not only be ultrashort, but very...

Im Focus: Good vibrations feel the force

Eine Gruppe von Forschern um Andrea Cavalleri am Max-Planck-Institut für Struktur und Dynamik der Materie (MPSD) in Hamburg hat eine Methode demonstriert, die es erlaubt die interatomaren Kräfte eines Festkörpers detailliert auszumessen. Ihr Artikel Probing the Interatomic Potential of Solids by Strong-Field Nonlinear Phononics, nun online in Nature veröffentlich, erläutert, wie Terahertz-Laserpulse die Atome eines Festkörpers zu extrem hohen Auslenkungen treiben können.

Die zeitaufgelöste Messung der sehr unkonventionellen atomaren Bewegungen, die einer Anregung mit extrem starken Lichtpulsen folgen, ermöglichte es der...

Im Focus: Good vibrations feel the force

A group of researchers led by Andrea Cavalleri at the Max Planck Institute for Structure and Dynamics of Matter (MPSD) in Hamburg has demonstrated a new method enabling precise measurements of the interatomic forces that hold crystalline solids together. The paper Probing the Interatomic Potential of Solids by Strong-Field Nonlinear Phononics, published online in Nature, explains how a terahertz-frequency laser pulse can drive very large deformations of the crystal.

By measuring the highly unusual atomic trajectories under extreme electromagnetic transients, the MPSD group could reconstruct how rigid the atomic bonds are...

Im Focus: Verlässliche Quantencomputer entwickeln

Internationalem Forschungsteam gelingt wichtiger Schritt auf dem Weg zur Lösung von Zertifizierungsproblemen

Quantencomputer sollen künftig algorithmische Probleme lösen, die selbst die größten klassischen Superrechner überfordern. Doch wie lässt sich prüfen, dass der...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Von festen Körpern und Philosophen

23.02.2018 | Veranstaltungen

Spannungsfeld Elektromobilität

23.02.2018 | Veranstaltungen

DFG unterstützt Kongresse und Tagungen - April 2018

21.02.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Vorstoß ins Innere der Atome

23.02.2018 | Physik Astronomie

Wirt oder Gast? Proteomik gibt neue Aufschlüsse über Reaktion von Rifforganismen auf Umweltstress

23.02.2018 | Biowissenschaften Chemie

Wie Zellen unterschiedlich auf Stress reagieren

23.02.2018 | Biowissenschaften Chemie

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics