Bücher veröffentlicht von Springer Vieweg

In seiner Arbeit betrachtet Malte Schmitz, wie die Korrektheit von verteilten Systemen zur Laufzeit ¿berwacht werden kann. Dazu untersucht und entwickelt er verschiedene Varianten der linearen Temporallogik (LTL) und zugeh¿rige Monitorkonstruktionen f¿r den Einsatz zur Laufzeitverifikation verteilter, asynchroner, eingebetteter Systeme. Als Fallstudie dient dabei die sichere und korrekte Steuerung von Industrieanlagen mithilfe von innovativen ¿erwachungskonzepten zur Laufzeit. Der Autor hat sein Projekt modellhaft realisiert, um die verschiedenen Monitorkonstruktionen und die Monitorinjektion durch Programmtransformation im praktischen Einsatz zu evaluieren.

Markus Orner stellt eine Methodik vor, mit deren Hilfe der Antriebsstrang und die Fahrzeugreichweite von Elektrofahrzeugen gezielt auf gegebene Anwendungsszenarien ausgelegt werden. Die zweistufige Methode verwendet dazu reale Nutzungsdaten und ist für alle Anwendungsbereiche mit homogener Nutzung einsetzbar. Dabei variiert der Autor Rahmenbedingungen wie Ladeinfrastruktur und Batteriekosten. Das Vorgehen stellt er am Beispiel der Anwendung "Free-Floating Car-Sharing" dar. Die Studie hilft somit, elektrische Antriebsstränge gezielt an neue Mobilitätsformen wie Car-Sharing anzupassen.Der Autor Markus Orner promovierte am Institut für Verbrennungsmotoren und Kraftfahrwesen (IVK) der Universität Stuttgart und arbeitet heute im Bereich Auslegung und Erprobung elektrischer Antriebsstränge.

Gegenstand dieser Studie sind Verbrennungsmotorkonzepte für hybride Antriebsstränge. Mittels Simulationen untersucht Morris Langwiesner drei Konzepte mit verlängerter Expansion. Diese Prozessführung ermöglicht bei gleichbleibendem Verdichtungsverhältnis eine deutliche Steigerung des Expansionsverhältnisses und infolgedessen eine Wirkungsgradsteigerung. Eine Herausforderung bei der Simulation ist die Berücksichtigung aller konzeptspezifischen, den effektiven Wirkungsgrad beeinflussenden Effekte. Daher ist die richtige Wahl von Submodellen für die notwendige Vorhersagefähigkeit entscheidend. Die Gültigkeit der im Fokus stehenden Submodelle wurde vom Autor mithilfe von Validierungsexperimenten nachgewiesen. Die durchgeführten Gesamtsystemsimulationen zeigen, dass die Wahl der Hybridtopologie einen maßgeblichen Einfluss auf die Ausnutzung des Bestpunktbereichs hat. Mit einer kombinierten P2/4-Topologie sind die Potenziale zur Verbrauchssenkung im Fahrzyklus WLTP gegenüber einem konventionellen Motor am größten.Der AutorMorris Langwiesner hat am Institut für Verbrennungsmotoren und Kraftfahrwesen der Universität Stuttgart am Lehrstuhl für Fahrzeugantriebe promoviert und ist Entwicklungsingenieur im Bereich Hybridantriebe.

Die theoretische Informatik ist - wie der Namen schon sagt - ein höchst abstraktes Teilgebiet der Informatik. Die Übungen in diesem Buch ermöglichen Schülern und Studierenden einen leichteren Zugang zu dem vielschichtigen Themenkomplex "Automaten und formalen Sprachen". Denn "träges", hoch theoretisches Wissen lässt sich oft erst durch praktische Anwendung meistern. Dieses praktische Übungsbuch beinhaltet 117 Aufgaben zu folgenden Themen:- endlichen Automaten- Grammatiken- Kellerautomaten- regulären Ausdrücken und regulären SprachenAlle Übungen in diesem Buch sind darauf ausgelegt, die theoretischen Inhalte zu erproben und zu vertiefen. Die Aufgabenstellungen und die Lösungen werden Schritt für Schritt und durch viele Abbildungen anschaulich gemacht. Dabei sind sämtliche Lösungen detailliert ausgearbeitet und zeigen leicht nachvollziehbare Lösungswege. Doch der Autor geht sogar noch über die konkrete Einübung des Lernstoffs hinaus. Seine Übungen schulen die Leser überdies in wichtigen anderen Fähigkeiten (wie Zeitmanagement, Motivation und Konzentration), die ebenfalls entscheidend für den Prüfungserfolg sein können. Damit ist das Übungsbuch ein idealer Begleiter für alle Schüler und Studierende, die sich effektiv auf Klausuren und Prüfungen vorbereiten möchten. Der Band richtet sich insbesondere an Studierende der Informatik, Mathematik, Informationstechnologie, Elektro- und Medientechnik und an Schüler in der gymnasialen Oberstufe und ihre Lehrer und Dozenten.

Die inhaltlichen Schwerpunkte des Tagungsbands zur ATZlive-Veranstaltung Ladungswechsel im Verbrennungsmotor 2017 sind unter anderem die Betrachtung des Gesamtsystems und dessen Optimierung, der Einfluss der Elektrifizierung auf den Ladungswechsel, Brennverfahren, Variabilitäten, Brennstoffzelle, Aufladung sowie neue Entwicklungsmethoden. Die Tagung ist eine unverzichtbare Plattform für den Wissens- und Gedankenaustausch von Forschern und Entwicklern aller Unternehmen und Institutionen.

Grundlagenwerk für Auszubildende und Studenten des Energiemanagements, der Energiewirtschaftslehre sowie entsprechender Kurse und Lehrgänge mit praktischem Bezug. Dabei wird kein theoretisches Wissen vorausgesetzt, sondern viel Wert auf Erklärungen, Nachvollziehbarkeit und Praxis gelegt. Ausgehend von den Basiseinheiten wird das Phänomen und die vielfältige Erscheinung der Energie erklärt, dann Energieumwandlung und Wirkungsgrad, Querschnittstechnologien, Lastmanagement und Nutzerverhalten. Schließlich bietet dieses Buch Exkurse zu Energiemanagementsystemen und Amortisationsrechnung sowie Fragen und Aufgaben zur Vertiefung und Übung.

Privatheit ist eine wichtige Grundlage für ein selbstbestimmtes Leben. In einer immer stärker vernetzten digitalen Welt ist sie von vielen Seiten bedroht. Die Beiträge des Buches untersuchen aktuelle Herausforderungen für Privatheit und Datenschutz aus multidisziplinärer Perspektive. Thematisiert wird dabei u.a., welche Rolle Privatheit in der Gesellschaft einnimmt, wie Bürger diese heute verstehen und wie sie mit den zunehmenden Angriffen darauf umgehen. Darüber hinaus befassen sich die Beiträge mit der europäischen Datenschutzpolitik und neuen Regelungsformen für einen wirksameren Datenschutz.

Monika Desoi betrachtet den Einsatz "intelligenter" Videoüberwachungssysteme, welche Videobilder nicht nur übertragen und aufnehmen, sondern auch auswerten können. Durch Vernetzung mit Kleinstsensoren können weitere Arten personenbezogener Daten erhoben und mit den gewonnenen Erkenntnissen der "intelligenten" Bildanalyse verknüpft werden. Hierdurch greifen diese Videoüberwachungssysteme tiefer in die Grundrechte der Betroffenen ein. Am Beispiel des Drei-Stufen-Modells legt die Autorin dar, wie die entstehenden Risiken durch eine rechtsgemäße Gestaltung der einzusetzenden Technik vermindert werden können. Sie zeigt, wie der Einsatz, jeweils abhängig vom Einsatzszenario und der damit verbundenen technischen Ausgestaltung des Systems, verhältnismäßig gestaltet und damit gerechtfertigt werden kann.

Bernd Uwe Desoi beleuchtet die Risiken und Chancen des Einsatzes von Big-Data-Analysen vornehmlich durch die öffentliche Verwaltung. Schwerpunkt der Arbeit ist eine exemplarische rechtliche Betrachtung der Analyse allgemein zugänglicher Daten im Internet in Form von Microblogs, die über das Datenschutzgrundrecht der informationellen Selbstbestimmung hinausgeht. Basierend auf den grundrechtlichen Rahmenbedingungen erarbeitet der Autor technisch-organisatorische Gestaltungsvorschläge und normative Vorschläge, die einen rechtsgemäßen Einsatz eines konkreten Analysesystems aufzeigen.

Die inhaltlichen Schwerpunkte des Tagungsbands zur ATZlive-Veranstaltung Heavy-Duty-, On- und Off-Highway-Motoren 2017 liegen unter anderem auf Gasmotorenentwicklung, Komponenten, Ventiltrieb und Zylinderabschaltung. Die Berichte der Konferenz zeigen aktuelle und künftige Entwicklungen bei schweren Diesel- und Gasmotoren für verschiedene Anwendungen auf. Die Konferenz ist eine unverzichtbare Plattform für den internationalen Erfahrungsaustausch der Großmotoren-Experten. Die Steigerung der Effizienz bei gleichzeitiger Reduzierung der Schadstoffe und des Kraftstoffes sind weiterhin wichtige Zielsetzungen bei der Entwicklung neuer Motoren. Hierfür benötigt man einerseits neue, innovative Konzepte und Lösungen, andererseits muss aber auch das Zusammenspiel bestehender einzelner Systeme und Komponenten genau analysiert werden.