Suche
Anzeige der Dokumente 11-16 von 16
Dissertation
Das NetworkParser-Framework
(2019-03-10)
Meine Dissertation, die im Fachbereich Elektrotechnik/Informatik in Kassel eingereicht wurde, hat das Ziel ein Tool zur Verfügung zu stellen, um den Entwickler bei der Entwicklung eines Programms in jedem Entwicklungsschritt zu unterstützen. Der komplette Ablauf von Story Driven Modeling wird dabei unterstützt. Das Tool soll so intuitiv bedienbar sein, dass Programmieranfänger damit arbeiten können und die Techniken erlernen können. Es ist gelungen ein kompaktes Tool für den kompletten SDM-Prozess zu schaffen, welches ...
Buch
Strom – fit für die Zukunft?
(Görich & Weiershäuser, 2019-04-02)
Das 2008 in gedruckter Form und als pdf veröffentlichte Buch liegt hier in neuester Überarbeitung vom 02.04.2019 vor.
Es stellt mögliche Komponenten eines "integrierten Balancing-Management" vor, das die Sekundärregelung unter Einbeziehung aller Flexibilitätsoptionen, insbesondere der gesamten Verbrauchsseite, ressourcenoptimiert realisieren könnte. Mehrere denkbare Instrumente für das verteilte Handling von (drohenden) Überlastungs- und Notfallsituationen (auch langdauernde extreme Dunkelflauten) werden beschrieben.
Dissertation
Power System Inertia
(2019)
System inertia is the instantaneous power reserve that stabilizes power systems after large-scale disturbances. It declines with increasing renewable generation, causing an increased risk of black-out unless action is taken. Providing additional inertia will be necessary to maintain security of supply at a reasonable level. To solve the problem of reduced inertia in a reliable and cost-efficient way, this thesis first systematically describes requirements on system level, as basis for the following evaluation of ...
Dissertation
Buffered Simulation for Büchi Automata
(2019)
Wir stellen eine neue Familie von Simulationsrelationen zwischen zwei nicht deterministischen Büchi Automaten (NBA), genannt gepufferte Simulation vor. Wir erweitern das Spiel-Framework der üblichen fairen Simulation, so dass Duplicator ihren Spielzug überspringen und die Buchstaben, die Spoiler gelesenen hat, vorübergehend in einem Puffer speichern kann. Duplicator kann diese Buchstaben in ihrer Struktur dann später ausführen. Duplicator hat damit eine Vorschau in die Bewegungen von Spoiler und somit mehr Chancen, ...
Dissertation
Hybrid Branching-Time Logics
(2019)
We introduce and study an extension of the well-known and well-studied branching-time logics CTL, CTL+, FCTL+, CTL* and the modal μ-calculus with the so called "hybrid framework". This framework borrows ideas from first-order logic to enable more precise "structural" reasoning which is known to be impossible in the original logics. In particular, the extension with this framework enables these logics to uniquely name, reference and test for certain states, similarly to the concepts of variables and constants in ...
Dissertation
Towards Effective Natural Language Application Development
(2019)
There is a current trend that more and more computer programs analyze written or spoken natural language. For example, DVAs, IE systems, machine translation systems, and many other types of programs process natural language in order to solve specific use cases when interacting with humans via natural language. Amazon, Google, and Mycroft AI are just some of the companies that have produced DVAs capable of interacting with humans via voice. Such NLP applications use techniques from computer science and artificial ...