Search
Now showing items 1-10 of 147
Dissertation
Investigation of Multiphase Power Converter using Integrated Coupled Inductor Regarding Electric Vehicle Application
(2016-05-10)
The challenge of reducing carbon emission and achieving emission target until 2050, has become a key development strategy of energy distribution for each country. The automotive industries, as the important portion of implementing energy requirements, are making some related researches to meet energy requirements and customer requirements. For modern energy requirements, it should be clean, green and renewable. For customer requirements, it should be economic, reliable and long life time. Regarding increasing ...
Dissertation
Verfahren zur echtzeitfähigen Simulation dynamischer Emissionsverläufe ausgewählter Schadstoffe von Ottomotoren
(2011-09-14)
Im Rahmen dieser Arbeit werden Modellbildungsverfahren zur echtzeitfähigen Simulation wichtiger Schadstoffkomponenten im Abgasstrom von Verbrennungsmotoren vorgestellt. Es wird ein ganzheitlicher Entwicklungsablauf dargestellt, dessen einzelne Schritte, beginnend bei der Ver-suchsplanung über die Erstellung einer geeigneten Modellstruktur bis hin zur Modellvalidierung, detailliert beschrieben werden. Diese Methoden werden zur Nachbildung der dynamischen Emissi-onsverläufe relevanter Schadstoffe des Ottomotors angewendet. ...
Zeitschrift
Jahresbericht 2009 / KDEE
(Universität Kassel, Kompetenzzentrum für Dezentrale Elektrische Energieversorgungstechnik (KDEE), 2010-03)
Zeitschrift
Jahresbericht 2011 / KDEE
(Universität Kassel, Kompetenzzentrum für Dezentrale Elektrische Energieversorgungstechnik (KDEE), 2012-02)
Zeitschrift
Jahresbericht 2010 / KDEE
(Universität Kassel, Kompetenzzentrum für Dezentrale Elektrische Energieversorgungstechnik (KDEE), 2011-03)
Zeitschrift
Zweijahresbericht 2013/2014 / KDEE
(Universität Kassel, Kompetenzzentrum für Dezentrale Elektrische Energieversorgungstechnik (KDEE), 2015)
Zeitschrift
Jahresbericht 2012 / KDEE
(Universität Kassel, Kompetenzzentrum für Dezentrale Elektrische Energieversorgungstechnik (KDEE), 2013-02)
Zeitschrift
Zweijahresbericht 2017/2018 / KDEE
(Universität Kassel, Kompetenzzentrum für Dezentrale Elektrische Energieversorgungstechnik (KDEE), 2019)
Zeitschrift
Zweijahresbericht 2015/2016 / KDEE
(Universität Kassel, Kompetenzzentrum für Dezentrale Elektrische Energieversorgungstechnik (KDEE), 2017)
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 ...