Studienarbeit
Filtern
Erscheinungsjahr
- 2010 (2) (entfernen)
Dokumenttyp
- Studienarbeit (2) (entfernen)
Sprache
- Deutsch (2) (entfernen)
Schlagworte
- Automatisches Beweisverfahren (1)
- Computational logic (1)
- E-KRHyper (1)
- Heuristiken (1)
- Klausellogik (1)
- Network (1)
- Netzwerk (1)
- Netzwerk Protokollen (1)
- Protocol (1)
- Prädikatenlogik (1)
Institut
- Institut für Informatik (2) (entfernen)
Wireshark und VNUML Im Rahmen dieser Studienarbeit sollen einige Netzwerk-Protokolle mit dem Protokollanalyser Wireshark beobachtet und der Umgang damit beschrieben werden. Wireshark ist ein Ableger von "Ethereal", einem der bekanntesten Protokoll-Analyser. Wireshark analysiert Netzwerkverkehr, zeichnet ihn auf und stellt ihn übersichtlich dar. Für die Simulation des Netzwerks wird VNUML verwendet. Da VNUML nur unter Linux verwendet werden kann, wird andLinux als virtuelle Maschine dazwischen geschaltet um auch in Windows arbeiten zu können.
Diese Arbeit behandelt verschiedene Ansätze zur Ermittlung einer Heuristik, welche zur Bestimmung einer optimalen Konfiguration des Theorembeweisers E-KRHyper eingesetzt werden soll. Es wird erläutert, wie der Beweiser durch eine angepasste Voreinstellung optimiert werden kann und die erarbeiteten Ansätze zur Ermittlung dieser Voreinstellung werden vorgestellt. Anhand der erzielten Ergebnisse werden die Ansätze anschließend bewertet und für eines der vorgestellten Verfahren wird außerdem eine Idee zur Implementierung vorgestellt.