ENERGIEVERBRAUCH IN AD-HOC UND SENSOR-NETZWERKEN (ABGESCHLOSSEN)

Eine vollständige formale Semantik für die Web Service Beschreibungssprache BPEL 2.0
Verteilte Java Anwendungen: Kann das gut gehen?
Reflexive und transitive Abschluss eines gerichtetes azyklisches Graphes
Implementierung eines Preflow-Algorithmus für Markovketten
Eine Implementierung mit PEPP
Interactive Simulator for MoDeST (abgeschlossen)
Die richtige Ordnung in "Compositional Aggregation" (laufend)
Präzision von MANET-Simulatoren
Diskrete Ereignissimulation (laufend)
Abbildung von StoCharts nach MoDeST (abgeschlossen)
Energieverbrauch in Ad-Hoc und Sensor-Netzwerken (abgeschlossen)
Axiomatisierung von "Branching Bisimulation" mit Divergenz (abgeschlossen)
Value Passing MoDeST (abgeschlossen)
Automatische Abbildung von MoDeST Spezifikationen auf UPPAAL (abgeschlossen)

Titel der Arbeit

Energieverbrauch in Ad-Hoc und Sensor-Netzwerken


Inhalt

Im Kontext von Ad-Hoc Netzen und Sensornetzwerken stellt der sparsame Verbrauch von Energie eine besondere Herausforderung dar. Folgerichtig werden immer kompliziertere Verfahren zur Stromersparnis vorgeschlagen und auch verwendet. Diese Arbeit untersucht eine Auswahl zustandsbasierter Verfahren zur Energieeinsparung auf ihre Effektivität. Dazu werden Modelle dieser Verfahren entwickelt und bezueglich ihrer Eignung unter typischen Bedingungen ausgewertet.

 


Status

Abgeschlossen


Ergebnisse

Die Ergebnisse sind hier einsehbar.


Kommentar

Master-Arbeit im Anschluss läuft


Kontakt

Einzelheiten werden noch bekannt gegeben