Formale Analyse von Sequential Function Charts
|
|
- Lorenz Flater
- vor 7 Jahren
- Abrufe
Transkript
1 Formale Analyse von Sequential Function Charts Zur Erlangung des akademischen Grades eines Doktor-Ingenieurs vom Fachbereich Chemietechnik der Universität Dortmund genehmigte Dissertation von Diplom-Ingenieur Nanette Constance Bauer aus Stuttgart Tag der mündlichen Prüfung: 28. März Gutachter: Prof. Dr.-Ing. Sebastian Engell, Dortmund 2. Gutachter: Prof. Dr.-Ing. Eckehard Schnieder, Braunschweig Dortmund, 2003
2
3 Schriftenreihe des Lehrstuhls für Anlagensteuerungstechnik der Universität Dortmund (Prof.-Dr. Sebastian Engell) Band 1/2004 Nanette Bauer Formale Analyse von Sequential Function Charts. D 290 (Diss. Universität Dortmund) Shaker Verlag Aachen 2004
4 Bibliografische Information der Deutschen Bibliothek Die Deutsche Bibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über abrufbar. Zugl.: Dortmund, Univ., Diss., Copyright Shaker Verlag 2004 Alle Rechte, auch das des auszugsweisen Nachdruckes, der auszugsweisen oder vollständigen Wiedergabe, der Speicherung in Datenverarbeitungsanlagen und der Übersetzung, vorbehalten. Printed in Germany. ISBN ISSN Shaker Verlag GmbH Postfach Aachen Telefon: / Telefax: / Internet: info@shaker.de
5 Vorwort Die vorliegende Arbeit entstand während meiner Tätigkeit als wissenschaftliche Mitarbeiterin am Lehrstuhl für Anlagensteuerungstechnik des Fachbereichs Chemietechnik der Universität Dortmund. Mein Dank gilt der Deutschen Forschungsgemeinschaft, die mich durch ein Stipendium im Graduiertenkolleg Modellierung und modellbasierte Entwicklung komplexer technischer Systeme finanziell unterstützt hat. Zum Gelingen dieser Arbeit haben viele Leute direkt oder indirekt beigetragen, ihnen allen möchte ich hier danken. Mein besonderer Dank gilt Prof. Dr.-Ing. Sebastian Engell, nicht nur für die Möglichkeit, bei ihm am Lehrstuhl zu promovieren, sondern auch für die Ermutigung der vorliegenden Arbeit und ihre Förderung durch konstruktiven Ideen. An dieser Stelle möchte ich mich auch bei Stefan Kowalewski bedanken. Er hat mein Interesse für das Gebiet der diskreten Systeme bereits während meiner Diplomarbeit geweckt und wertvolle Anregungen für diese Arbeit gegeben. Prof. E. Schnieder, der sich freundlicherweise bereit erklärt hat, meine Arbeit zu begutachten, danke ich für das entgegengebrachte Interesse und für wertvolle Korrekturhinweise. Prof. H. Schmidt-Traub und Prof. A. Gorak möchte ich für die freundliche Mitwirkung in der Prüfungskommission danken. Die Arbeit würde nicht in der vorliegenden Form existieren ohne die gute Zusammenarbeit mit Ralf Huuck und Ben Lukoschus vom Lehrstuhl für Softwaretechnologie der Universität Kiel. Ihnen möchte ich für die zahlreichen zum Großteil über s ausgetragenen Diskussionen aller möglichen und unmöglichen Details von SFCs danken. Allen meinen Kolleginnen und Kollegen am Lehrstuhl für Anlagensteuerungstechnik danke ich für die ausgesprochen angenehme Arbeitsatmosphäre. Insbesondere erwähnen möchte ich Heinz Treseler, Kai Dadhe, Sabine Pegel, Sven Lohmann, Jörg Preußig, die zwar nicht alle gleichzeitig das Büro mit mir geteilt haben. Dabei sei insbesondere Kai Dadhe für die Aufrechterhaltung des Schokoladenund Weihnachtsgebäckpegels in unserem Büro gedankt und die damit notwendige Nervennahrung in der Endphase des Zusammenschreibens. Den in der Menge der Bürokollegen nicht enthaltenen Mitgliedern der diskret-/hybriden Arbeitsgruppe, Olaf Stursberg, Goran Frehse und Manuel Remelhe danke ich für ihre Bereitschaft auftretende Fragen, Ergebnisse, anstehende Vorträge usw. zu diskutieren. Außerdem gebührt mein Dank auch einigen Korrekturlesern, die sich freiwillig durch die vorliegende Arbeit oder Teile davon gequält und verschiedenste Fehler gefunden haben. Hervorheben möchte ich hier Olaf Stursberg und Hartmut Bauer. Danken für moralische Unterstützung möchte ich meiner Zwillingsschwester Natali Bauer, die mir mit dem Fertigwerden ihrer Dissertation Ansporn zur Vollendung meiner Arbeit gab und verständige Zuhörerin in Krisensituationen war, meinem Bruder Benjamin Bauer sowie Peter Hachmann und Oliver Wilhelm. Schließlich danke ich meinen Eltern für ihre fortwährende vielfältige Unterstützung und Hilfe auf meinem (Bildungs-)weg, sie haben Studium und Dissertation ermöglicht und ermutigt und waren immer für mich da, wenn ich sie brauchte. Nanette Bauer
6
7 Kurzfassung Im Rahmen des in zunehmendem Maße geforderten Nachweises der Korrektheit von Steuerungssoftware verfahrenstechnischer, insbesondere pharmazeutischer Anlagen erlangen die Spezifikation der Steuerungen mit geeigneten Sprachen und ihre Analyse in Hinblick auf ihre Korrektheit immer größere Bedeutung. In der Praxis geschieht der Steuerungsentwurf in der Regel aber noch informell ohne den Einsatz geeigneter Spezifikationssprachen oder Dokumentation. Die Überprüfung der Korrektheit erfolgt nicht vollständig, sondern nur durch Tests, die meist erst während der Inbetriebnahme stattfinden, so dass gefundene Fehler u. U. nur noch durch hohen Aufwand zu beheben sind. Ziel dieser Arbeit ist es, einen Beitrag zu einem systematischeren Steuerungsentwurf zu leisten. Dazu wird untersucht, wie sich die Methode der formalen Verifikation für die Analyse von Ablaufsteuerungen einsetzen lässt, die in der Sprache Sequential Function Charts (SFC) programmiert sind. Mit Hilfe der Verifikation ist im Gegensatz zum Test ein formaler Nachweis möglich, dass ein gesteuertes System bestimmte Anforderungen erfüllt. SFC hat als eine graphische Programmiersprache für Speicherprogrammierbare Steuerungen (SPSen) gegenüber den anderen eher implementierungsnahen SPS-Programmiersprachen den Vorteil, dass sie eine prozessnahe, d. h. problemorientierte Sprache ist, die bereits während der Spezifikation und damit durchgängig im Entwurfsprozess eingesetzt werden kann. SFCs werden durch die Norm IEC definiert, jedoch sind die Definitionen nur informell, mehrdeutig und unvollständig. Für eine Analyse der Programme durch formale Verifikation wird aber eine formale Semantik benötigt. In einem ersten Schritt werden daher die Unzulänglichkeiten der Semantikdefinition von SFCs identifiziert. Diese resultieren insbesondere aus dem Fehlen eines Ausführungsmodells für SFCs, d. h. einer Vorgabe, wie ein SFC-Programm auf einer SPS abzuarbeiten ist, und aus der unvollständigen Definition einiger Sprachelemente. Anhand von Simulationen verschiedener mehrdeutiger Beispiel-SFCs mit unterschiedlichen SPS-Programmierumgebungen, welche die Implementierung von SFCs unterstützen, wird dann überprüft, ob und wie sich diese Mehrdeutigkeiten und Definitionslücken in den realisierten Semantiken niederschlagen. Das Ergebnis der Untersuchungen zeigt, dass in den untersuchten Tools tatsächlich unterschiedliche Semantiken realisiert wurden. Dies kann dazu führen, dass ein SFC-Programm von unterschiedlichen Implementierungsumgebungen unterschiedlich interpretiert wird. Auf Basis der Erkenntnisse wird eine formale Semantik für SFCs definiert, die die wichtigsten der implementierungsabhängigen Unterschiede in Form von Parametern abbildet. Durch Vorgabe dieser Parameter lässt sich die Semantik an spezielle Toolsemantiken anpassen. Basierend auf der Formalisierung von SFCs werden ferner Transformationsmethoden in die Model- Checker SMV und Uppaal entwickelt. Diese ermöglichen eine formale Verifikation von SFCs ohne Zeitaspekte (SMV) oder von zeitbewerteten SFCs bzw. SFCs unter Zuhilfenahme eines zeitbewerteten Anlagenmodells (Uppaal). Im letzten Teil der Arbeit werden ein Vergleich von SFCs mit der Modellierungssprache Statecharts sowie ein Ansatz zur Integration der beiden Formalismen vorgestellt. Damit wird der Tatsache Rechnung getragen, dass nicht nur die Analyse, sondern auch der Einsatz geeigneter Spezifikationssprachen für den Entwurf korrekter Steuerungen von Bedeutung ist. Der Vergleich von SFCs und Statecharts zeigt, dass beide Sprachen komplementäre Stärken haben und sich gut im Steuerungsentwurf verfahrenstechnischer Anlagen ergänzen und somit die Integration sinnvoll ist.
Entscheidungshilfe zur Auswahl Schlanker Produktionssysteme für die Montage von Werkzeugmaschinen
Schriftenreihe des PTW: "Innovation Fertigungstechnik" Guido Rumpel Entscheidungshilfe zur Auswahl Schlanker Produktionssysteme für die Montage von Werkzeugmaschinen D 17 (Diss. TU Darmstadt) Shaker Verlag
MehrMarkus Andre Eisen Optimierte Parameterfindung und prozessorientiertes Qualitätsmanagement für das Selective Laser Melting Verfahren
Berichte aus der Fertigungstechnik Markus Andre Eisen Optimierte Parameterfindung und prozessorientiertes Qualitätsmanagement für das Selective Laser Melting Verfahren Shaker Verlag Aachen 2010 Bibliografische
MehrSimulation des Tribokontakts zwischen Kette und Variatorscheibe im CVT-Getriebe. Dissertation zur Erlangung des Grades eines Doktor-Ingenieurs
Simulation des Tribokontakts zwischen Kette und Variatorscheibe im CVT-Getriebe Dissertation zur Erlangung des Grades eines Doktor-Ingenieurs vorgelegt von Dipl.-Ing. Joachim Rohde aus Bergisch-Gladbach
MehrUntersuchungen zur heterogen-katalysierten Fries-Umlagerung in der flüssigen Phase
Untersuchungen zur heterogen-katalysierten Fries-Umlagerung in der flüssigen Phase Von der Fakultät für Mathematik und Naturwissenschaften der zur Erlangung des Grades eines Doktors der Naturwissenschaften
MehrAuslegung von Zentrifugalpumpen zur effizienten, drucksensitiven und atraumatischen Herzunterstützung
Auslegung von Zentrifugalpumpen zur effizienten, drucksensitiven und atraumatischen Herzunterstützung Von der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung
MehrDynamik von Zahnradgetrieben - Modellbildung, Simulation und experimentelle Analyse
Dynamik von Zahnradgetrieben - Modellbildung, Simulation und experimentelle Analyse Dissertation zur Erlangung des akademischen Grades Doktor-Ingenieur (Dr.-Ing.) der Fakultät für Maschinenbau und Schiffstechnik
MehrBerichte aus der Produktionstechnik
Berichte aus der Produktionstechnik Frank Possel-Dölken Projektierbares Multiagentensystem für die Ablaufsteuerung in der flexibel automatisierten Fertigung Herausgeber: Prof. em. Dr.-Ing. Dr. h. c. mult.
MehrEbene Wellen in verlustbehafteten, optisch steuerbaren Material-Strukturen im W-Band
Ebene Wellen in verlustbehafteten, optisch steuerbaren Material-Strukturen im W-Band Vom Fachbereich Elektrotechnik der Helmut-Schmidt-Universität / Universität der Bundeswehr Hamburg zur Erlangung des
MehrEntwicklung und Optimierung pneumatischer Mikrozerstäuber für den verbesserten Probeneintrag in der Plasmaemissionsspektrometrie AES
Entwicklung und Optimierung pneumatischer Mikrozerstäuber für den verbesserten Probeneintrag in der Plasmaemissionsspektrometrie AES Zur Erlangung des akademischen Grades eines Dr.-Ing. vom Fachbereich
MehrUntersuchung des Einflusses hydraulischer und mechanischer Anregungen auf das Betriebsverhalten einer axialen Rohrgehäusepumpe
Untersuchung des Einflusses hydraulischer und mechanischer Anregungen auf das Betriebsverhalten einer axialen Rohrgehäusepumpe Vom Fachbereich Maschinenbau und Verfahrenstechnik der Technischen Universität
MehrProf. Dr.-Ing. habil. W. Schwarz Prof. Dr.-Ing. Dr.rer.nat. K. Reinschke Prof. A. Griewank, PhD Prof. Dr.-Ing. Dr.h.c. M. Zeitz
Klaus Röbenack Von der Fakultät Elektrotechnik und Informationstechnik der Technischen Universität Dresden zur Erlangung des akademischen Grades Doktoringenieur habilitatus (Dr.-Ing. habil.) angenommene
MehrEntwicklung eines mobilen Roboters für die automatisierte Instandhaltung von Materialflusssystemen
Entwicklung eines mobilen Roboters für die automatisierte Instandhaltung von Materialflusssystemen Von der Fakultät Maschinenbau der Technischen Universität Dortmund zur Erlangung des Grades eines Doktor-Ingenieurs
MehrRepräsentative Lastkollektive für Fahrwerkkomponenten
Repräsentative Lastkollektive für Fahrwerkkomponenten Von der Fakultät für Maschinenbau der Technischen Universität Carolo-Wilhelmina zu Braunschweig zur Erlangung der Würde eines Doktor-Ingenieurs (Dr.-Ing.)
MehrEisenloser Permanentmagnet-Synchronmotor auf der Basis des Doppelspulenaktors in integrierter Anwendung
Technische Universität Kaiserslautern Lehrstuhl für Mechatronik und Elektrische Antriebssysteme Eisenloser Permanentmagnet-Synchronmotor auf der Basis des Doppelspulenaktors in integrierter Anwendung Dipl.-Ing.
MehrPlanung innovativer Produkte unter Nutzung von Design- und Ingenieurdienstleistungen
Planung innovativer Produkte unter Nutzung von Design- und Ingenieurdienstleistungen Von der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen
MehrInnovative Fügekonzepte für modularisierte Fahrzeugstrukturen in Mischbauweise
Innovative Fügekonzepte für modularisierte Fahrzeugstrukturen in Mischbauweise Von der Fakultät für Maschinenbau der Technischen Universität Carolo-Wilhelmina zu Braunschweig zur Erlangung der Würde eines
MehrHochdruckinduzierte Intermediate und denaturierte Zustände von Proteinen mit und ohne Cosolventien DISSERTATION
Hochdruckinduzierte Intermediate und denaturierte Zustände von Proteinen mit und ohne Cosolventien DISSERTATION zur Erlangung des Doktorgrades der Naturwissenschaften (Dr. rer. nat.) eingereicht beim Fachbereich
MehrMethode der laser-induzierten Lumineszenz zur experimentellen Analyse des Stofftransportes in laminar-welligen Flüssigkeitsfilmen
Methode der laser-induzierten Lumineszenz zur experimentellen Analyse des Stofftransportes in laminar-welligen Flüssigkeitsfilmen Von der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen
MehrEinblasen von Heißreduktionsgas und Reststoffen in den Hochofen Einfluss auf den Koks- und Energieverbrauch
Einblasen von Heißreduktionsgas und Reststoffen in den Hochofen Einfluss auf den Koks- und Energieverbrauch Von der Fakultät für Georessourcen und Materialtechnik der Rheinisch-Westfälischen Technischen
MehrREGELUNG DER ABTRAGTIEFE FÜR DAS REAKTIVE ABTRAGEN MIT CO 2 -LASERSTRAHLUNG
REGELUNG DER ABTRAGTIEFE FÜR DAS REAKTIVE ABTRAGEN MIT CO 2 -LASERSTRAHLUNG Der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen Hochschule Aachen vorgelegte Dissertation zur Erlangung
MehrEnergieeffizientes elektrisch-hydrostatisches Antriebssystem am Beispiel der Kunststoff-Spritzgießmaschine
Energieeffizientes elektrisch-hydrostatisches Antriebssystem am Beispiel der Kunststoff-Spritzgießmaschine Von der Fakultät Maschinenwesen der Technischen Universität Dresden zur Erlangung des akademischen
MehrElektromagnetische Linearführungen für Aufzugsysteme
Elektromagnetische Linearführungen für Aufzugsysteme Von der Fakultät für Elektrotechnik und Informationstechnik der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen
MehrGesteinskörnungen im Beton unter Frost-Tau-Belastung
Universität Duisburg-Essen Fachbereich 10 Bauwissenschaften Fachgebiet Bauphysik und Materialwissenschaft Gesteinskörnungen im Beton unter Frost-Tau-Belastung - Auswirkung auf Prüfung und Anwendung - Dem
MehrPrognose des deutschen Verkehrsunfallgeschehens unter Berücksichtigung der Fahrzeugsicherheitssysteme
Prognose des deutschen Verkehrsunfallgeschehens unter Berücksichtigung der Fahrzeugsicherheitssysteme Von der Fakultät für Maschinenbau, Verfahrens- und Energietechnik der Technischen Universität Bergakademie
MehrWasser und Öl im CO 2 -Kältekreislauf: Einfluss auf den Prozess
1 Wasser und Öl im CO 2 -Kältekreislauf: Einfluss auf den Prozess Vom Promotionsausschuss der Technischen Universität Hamburg-Harburg zur Erlangung des akademischen Grades Doktor-Ingenieurin (Dr.-Ing.)
MehrEntwicklung eines innovativen nutzerorientierten Informationsmanagementsystems für KMU
Berichte zum Generic-Management Band 1/2005 Christian Graup Entwicklung eines innovativen nutzerorientierten Informationsmanagementsystems für KMU. Shaker Verlag Aachen 2005 Bibliografische Information
MehrBeitrag zur konstruktiven Gestaltung hochbelastbarer Strukturknoten aus Faser-Thermoplast-Verbunden
Beitrag zur konstruktiven Gestaltung hochbelastbarer Strukturknoten aus Faser-Thermoplast-Verbunden Dem Fachbereich Maschinenbau an der Technischen Universität Darmstadt zur Erlangung des Grades eines
MehrDynamische Ökobilanz nach ISO 14040ff. für eine umweltökonomische Bewertung von Produkten auf Basis der Fuzzy-Set-Theorie
Berichte aus dem Lehrstuhl Qualitätsmanagement und Fertigungsmesstechnik Friedrich-Alexander-Universität Erlangen-Nürnberg Herausgeber Prof. Dr.-Ing. A. Weckenmann Band 10 Dynamische Ökobilanz nach ISO
MehrThema: Strategische Unternehmensplanung in einer Data Warehouse-Umgebung unterstützt durch ein Wissensmanagementsystem.
Thema: Strategische Unternehmensplanung in einer Data Warehouse-Umgebung unterstützt durch ein Wissensmanagementsystem Dissertation Abteilung Wirtschaftsinformatik 1: Very Large Business Applications Themensteller:
MehrStephan Zech. Über das Stimmen von Raum
1 Forschungsberichte Kunst + Technik Band 5 Stephan Zech Über das Stimmen von Raum Atmosphäre im architektonischen Entwurf Shaker Verlag Aachen 2014 2 Bibliografische Information der Deutschen Nationalbibliothek
MehrEmpfänger-Strukturen für die UMTS-Abwärtsstrecke
Empfänger-Strukturen für die UMTS-Abwärtsstrecke Dissertation zur Erlangung des akademischen Grades Doktor der Ingenieurwissenschaften (Dr.-Ing.) vorgelegt dem Fachbereich 1 (Physik/Elektrotechnik) der
MehrEntwicklung des Selective Laser Melting (SLM) für Aluminiumwerkstoffe
Entwicklung des Selective Laser Melting (SLM) für Aluminiumwerkstoffe Von der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen Grades
MehrTechnische Universität München - Lehrstuhl für Tragwerksplanung Univ.-Prof. Dr.-Ing. Rainer Barthel
Technische Universität München - Lehrstuhl für Tragwerksplanung Univ.-Prof. Dr.-Ing. Rainer Barthel Vergleichende Untersuchungen von Deckensystemen des Stahlbeton-Skelettbaus Kurt Stepan Vollständiger
MehrOptimale Anreizverträge
Optimale Anreizverträge Theorie, Vertragsstruktur und beschränkte Haftung Inaugural-Dissertation zur Erlangung des Doktorgrades der Wirtschaftswissenschaftlichen Fakultät der Eberhard Karls Universität
MehrTaktische Planung in Supply Chain Netzwerken
Michael Jahr Taktische Planung in Supply Chain Netzwerken Quantitative Produktions-, Distributions- und Transportplanung in mehrstufigen Distributionsnetzen Berichte aus der Betriebswirtschaft Michael
MehrAutomatisierte Reglerinbetriebnahme für elektrische Antriebe mit schwingungsfähiger Mechanik
Automatisierte Reglerinbetriebnahme für elektrische Antriebe mit schwingungsfähiger Mechanik Zur Erlangung des akademischen Grades DOKTOR-INGENIEUR vom Fachbereich Elektrotechnik und Informationstechnik
MehrAgile Prozessplanung im Produktentstehungsprozess am Beispiel der Motorenproduktion
Agile Prozessplanung im Produktentstehungsprozess am Beispiel der Motorenproduktion Von der Fakultät Maschinenbau der Technischen Universität Dortmund zur Erlangung des akademischen Grades eines DOKTOR
MehrDie Begrenzbarkeit der Ausschlagung auf die gewillkürte Erbschaft gem Abs. 1 BGB
Die Begrenzbarkeit der Ausschlagung auf die gewillkürte Erbschaft gem. 1948 Abs. 1 BGB Inaugural-Dissertation zur Erlangung der juristischen Doktorwürde dem Fachbereich Rechtswissenschaften der Philipps-Universität
MehrEnergieeinsparung an Luftwebmaschinen durch Strömungssimulation
Energieeinsparung an Luftwebmaschinen durch Strömungssimulation Von der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen Grades eines
MehrOperative technisch-organisatorische Planung und Steuerung der spanenden Teilefertigung mit holonischen Merkmalen
Operative technisch-organisatorische Planung und Steuerung der spanenden Teilefertigung mit holonischen Merkmalen Von der Fakultät für Maschinenbau der Technischen Universität Chemnitz genehmigte Dissertation
MehrVom Fachbereich Maschinenwesen der Universität Duisburg-Essen zur Erlangung des akademischen Grades eines Doktor-Ingenieurs genehmigte Dissertation
Vom Fachbereich Maschinenwesen der Universität Duisburg-Essen zur Erlangung des akademischen Grades eines Doktor-Ingenieurs genehmigte Dissertation Konzeption eines rechnergestützten Order-Entry-Systems
MehrHegel und der Gottesbeweis im Proslogion Anselms von Canterbury
Ill - Guy Choi Hegel und der Gottesbeweis im Proslogion Anselms von Canterbury Eine Untersuchung zum Übergang vom subjektiven Begriff zur Objektivität Berichte aus der Philosophie Ill-Guy Choi Hegel und
MehrAnalyse und Verbesserung des Ansaugverhaltens von Axialkolbenpumpen in Schrägscheibenbauweise
Analyse und Verbesserung des Ansaugverhaltens von Axialkolbenpumpen in Schrägscheibenbauweise Von der Fakultät Maschinenwesen der Technischen Universität Dresden zur Erlangung des akademischen Grades Doktoringenieur
MehrErarbeitung konstruktionsmethodischer Grundlagen. für die Entwicklung von Produkten in der Medizintechnik
Erarbeitung konstruktionsmethodischer Grundlagen für die Entwicklung von Produkten in der Medizintechnik Dissertation zur Erlangung des akademischen Grades Doktoringenieurin (Dr.-Ing.) von Dipl.-Ing. Zuzana
MehrAutomatisiertes Preforming für schalenförmige komplexe Faserverbundbauteile
Automatisiertes Preforming für schalenförmige komplexe Faserverbundbauteile Von der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen
MehrEntwicklung einer universellen Gruppenbeitragszustandsgleichung
Entwicklung einer universellen Gruppenbeitragszustandsgleichung Vom Fachbereich Chemie der Carl von Ossietzky Universität Oldenburg zur Erlangung des Grades eines Doktors der Naturwissenschaften angenommene
MehrDie St. Petersburger Medicinische Wochenschrift und ihre Bedeutung für die Ärzteschaft St. Petersburgs
Deutsch-russische Beziehungen in Medizin und Naturwissenschaften Dietrich von Engelhardt und Ingrid Kästner (Hgg.) Band 8 Doreen Jaeschke Die St. Petersburger Medicinische Wochenschrift und ihre Bedeutung
MehrOberflächenmodifikationen an NiTi-Formgedächtnislegierungen
Oberflächenmodifikationen an NiTi-Formgedächtnislegierungen - Elektrolytische Bearbeitung, Hochtemperaturoxidation, Beschichtung - Dissertation zur Erlangung des Grades Doktor-Ingenieur der Fakultät für
MehrPLANUNG UND UMSETZUNG VON GESCHÄFTSMODELLEN FÜR EGOVERNMENTDIENSTE
PLANUNG UND UMSETZUNG VON GESCHÄFTSMODELLEN FÜR EGOVERNMENTDIENSTE IN PUBLIC PRIVATE PARTNERSHIPS Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der Rheinisch- Westfälischen Technischen
MehrHydraulische Antriebstechnik in mobilen Arbeitsmaschinen
Hydraulische Antriebstechnik in mobilen Arbeitsmaschinen Bei der Fakultät für Maschinenbau der Technischen Universität Carolo-Wilhelmina zu Braunschweig eingereichte Habilitationsschrift von Dr.-Ing. Thorsten
MehrENTWICKLUNG UND CHARAKTERISIERUNG STRUKTURIERENDER LASERVERFAHREN FÜR DIE HERSTELLUNG KRISTALLINER SILIZIUM - SOLARZELLEN
ENTWICKLUNG UND CHARAKTERISIERUNG STRUKTURIERENDER LASERVERFAHREN FÜR DIE HERSTELLUNG KRISTALLINER SILIZIUM - SOLARZELLEN DISSERTATION ZUR ERLANGUNG DES AKADEMISCHEN GRADS EINES DOKTORS DER NATURWISSENSCHAFTEN
MehrOtto Bruhns. Aufgabensammlung Technische Mechanik 1. Statik für Bauingenieure und Maschinenbauer
Otto Bruhns Aufgabensammlung Technische Mechanik 1 Statik für Bauingenieure und Maschinenbauer Otto Bruhns Aufgabensammlung Technische Mechanik 1 Statik für Bauingenieure und Maschinenbauer Mit 321 Abbildungen.
MehrBohren und Zirkularfräsen von Schichtverbunden aus Aluminium, CFK und Titanlegierungen
Bohren und Zirkularfräsen von Schichtverbunden aus Aluminium, CFK und Titanlegierungen Dem Fachbereich Produktionstechnik der UNIVERSITÄT BREMEN zur Erlangung des Grades eines Doktor-Ingenieur vorgelegte
MehrVon der Fakultät für Naturwissenschaften. der Universität Duisburg-Essen (Standort Duisburg) zur Erlangung des akademischen Grades eines
Enzymatisch-katalysierte Konversion von Stärkeschlichte aus der Baumwollvorbehandlung zur Generierung von Bleichflotten und Konzepte zur Enzymimmobilisierung an textilen Trägermaterialien Von der Fakultät
MehrEin Multi-Agenten-System zur verteilten p-adaptiven Finite-Elemente-Simulation am Beispiel der Baugrund-Tragwerk-Interaktion
Ein Multi-Agenten-System zur verteilten p-adaptiven Finite-Elemente-Simulation am Beispiel der Baugrund-Tragwerk-Interaktion Vom Fachbereich Bauingenieurwesen und Geodäsie der Technischen Universität Darmstadt
MehrUntersuchung und Methodenentwicklung zur Steigerung der Wärmeleitfähigkeit von Faserverbundkunststoffen
Untersuchung und Methodenentwicklung zur Steigerung der Wärmeleitfähigkeit von Faserverbundkunststoffen Von der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen Hochschule Aachen zur
MehrDER EINSATZ VON BORORGANISCHEN PRECURSOREN ZUM GASBORIEREN UND PLASMABORIEREN
DER EINSATZ VON BORORGANISCHEN PRECURSOREN ZUM GASBORIEREN UND PLASMABORIEREN Vom Fachbereich Produktionstechnik der UNIVERSITÄT BREMEN zur Erlangung des Grades Doktor-Ingenieur genehmigte Dissertation
MehrTechnische Universität Dresden. Modellierung und Identifikation der Parameter des Linearantriebs der Magnetschwebebahn Transrapid
Technische Universität Dresden Modellierung und Identifikation der Parameter des Linearantriebs der Magnetschwebebahn Transrapid Jens Rost von der Fakultät Elektrotechnik und Informationstechnik der Technischen
MehrMechanische Eigenschaften metallischer und polymerer Schaumstoffe
Mechanische Eigenschaften metallischer und polymerer Schaumstoffe Dissertation zur Erlangung des akademischen Grades eines Doktors der Ingenieurwissenschaften (Dr.-Ing.) im Fachbereich Maschinenbau der
MehrFamilienorientierte Trauerbegleitung nach dem Tod eines nahe stehenden Menschen
Aus der Klinik für Palliativmedizin (komm. Direktor Prof. Dr. med. Frank Elsner) Familienorientierte Trauerbegleitung nach dem Tod eines nahe stehenden Menschen Qualitative Untersuchung zur Teilnehmermotivation
MehrFrauen & Sportklettern
Aus dem Institut für Arbeitsmedizin und Sozialmedizin (Direktor Univ.-Prof. Dr. med. Thomas Kraus) Frauen & Sportklettern Geschlechtsspezifische Risiken unter besonderer Berücksichtigung von Schwangeren
MehrDie Implementierung der Verordnung über Arzneimittel für neuartige Therapien in Deutschland und ihre Folgen
Augsburger Schriften zum Arzneimittel- und Medizinprodukterecht herausgegeben von Prof. Dr. iur. Ulrich M. Gassner in Zusammenarbeit mit der Forschungsstelle für Medizinprodukterecht der Universität Augsburg
MehrBürgermedien und Karriere
Offener Kanal Merseburg-Querfurt e.v. (Hrsg.) Dialog: Bürgermedien Band 4 Bürgermedien und Karriere Untersuchung des Bürgerrundfunks nach berufsinitiierenden und berufsqualifizierenden Einflüssen auf Nutzer
MehrIntrinsische Motivation und das ökonomische Verhaltensmodell
Intrinsische Motivation und das ökonomische Verhaltensmodell Inaugural-Dissertation zur Erlangung der Doktorwürde der Wirtschafts- und Verhaltenswissenschaftlichen Fakultät der Albert-Ludwigs-Universität
MehrPolieren von Werkzeugstählen mit Laserstrahlung
Von der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen Grades eines Doktors der Ingenieurwissenschaften genehmigte Dissertation vorgelegt
MehrSemitica et Semitohamitica Berolinensia
Semitica et Semitohamitica Berolinensia (SSHB) hrsg. im Seminar für Semitistik und Arabistik der Freien Universität Berlin von Rainer Voigt Band 9 Semitica et Semitohamitica Berolinensia Band 10 Ali Yunes
MehrFanglagerkontakt magnetgelagerter Rotoren - nichtlineare Modellierung sowie Systemanalyse nach einem Magnetlagerausfall
Fanglagerkontakt magnetgelagerter Rotoren - nichtlineare Modellierung sowie Systemanalyse nach einem Magnetlagerausfall Vom Fachbereich Maschinenbau an der Technischen Universität Darmstadt zur Erlangung
MehrGuerilla Marketing in der Marktkommunikation. Eine Systematisierung und kritische Analyse mit Anwendungsbeispielen
Guerilla Marketing in der Marktkommunikation Eine Systematisierung und kritische Analyse mit Anwendungsbeispielen Bielefelder Schriften zur wirtschaftswissenschaftlichen Praxis herausgegeben vom Dekan
MehrModellbasierter Entwurf von Kühlsystemen für Brennstoffzellen in Verkehrsflugzeugen
Modellbasierter Entwurf von Kühlsystemen für Brennstoffzellen in Verkehrsflugzeugen Vom Promotionsausschuss der Technischen Universität Hamburg-Harburg zur Erlangung des akademischen Grades Doktor Ingenieur
MehrExtrudierte feste Dispersionen zur Verbesserung der Lösungsgeschwindigkeit und Bioverfügbarkeit
Extrudierte feste Dispersionen zur Verbesserung der Lösungsgeschwindigkeit und Bioverfügbarkeit Inaugural-Dissertation zur Erlangung des Doktorgrades der Mathematisch-Naturwissenschaftlichen Fakultät der
MehrFluoreszenzkollektoren für die Photovoltaik
Fluoreszenzkollektoren für die Photovoltaik Von der Fakultät Informatik, Elektrotechnik und Informationstechnik der Universität Stuttgart zur Erlangung der Würde eines Doktor-Ingenieurs (Dr.-Ing.) genehmigte
MehrSkalenübergreifende Simulation des Anlassens von Werkzeugstählen
Skalenübergreifende Simulation des Anlassens von Werkzeugstählen Von der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen Grades einer
MehrEinflüsse auf die adsorptive Entschwefelung flüssiger Kohlenwasserstoffe für moderne Brennstoffzellensysteme
Einflüsse auf die adsorptive Entschwefelung flüssiger Kohlenwasserstoffe für moderne Brennstoffzellensysteme Von der Fakultät für Georessourcen und Materialtechnik der Rheinisch Westfälischen Technischen
MehrModellierung und Management von Workflows. - Prof. Dr. H.W.A. Quint -
- Prof. Dr. H.W.A. Quint - II Berichte aus der Betriebswirtschaft Werner Quint Modellierung und Management von Workflows 2. überarbeitete Auflage. Shaker Verlag Aachen 2005 Bibliografische Information
MehrCloud Computing - Motivation, Geschäftsmodelle, Trends
MARGIT KRAKE Cloud Computing - Motivation, Geschäftsmodelle, Trends Helmut-Schmidt-Universität / Universität der Bundeswehr Hamburg Fakultät für Maschinenbau Lehrstuhl für Mess- und Informationstechnik
MehrBilanzpolitische Gestaltungsmöglichkeiten der Rechnungslegung nach den International Financial Reporting Standards
Bielefelder Schriften zur wirtschaftswissenschaftlichen Praxis herausgegeben vom Dekan des Fachbereichs Wirtschaft der Fachhochschule Bielefeld Prof. Dr. Axel Benning Band 7 Katrin Muhlke Bilanzpolitische
MehrEin Verfahren zur Reduzierung der Welligkeit von Gewebekanten
Ein Verfahren zur Reduzierung der Welligkeit von Gewebekanten Von der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen Grades eines Doktors
MehrBeitrag zur Bestimmung der Wirkungsgrade einer Kreiselpumpe durch theoretische, numerische und experimentelle Untersuchungen
Beitrag zur Bestimmung der Wirkungsgrade einer Kreiselpumpe durch theoretische, numerische und experimentelle Untersuchungen Vom Fachbereich Maschinenbau an der Technischen Universität Darmstadt zur Erlangung
MehrLogistikgerechte Produktentwicklung
Logistikgerechte Produktentwicklung Von der Fakultät für Maschinenbau der Technischen Universität Carolo-Wilhelmina zu Braunschweig zur Erlangung der Würde eines Doktor-Ingenieurs (Dr.-Ing.) genehmigte
MehrBestimmung der Sauerstoffsättigung und des Hämatokrits an humanem Blut mittels ortsaufgelöster Streulichtmessung
Bestimmung der Sauerstoffsättigung und des Hämatokrits an humanem Blut mittels ortsaufgelöster Streulichtmessung 0,1 0,09 0,08 0,07 0,06 Hct d N f 0 0 R xdx r Rr xdx dhct N' / 1 0,05 0,04 0,03 LWL 0,02
MehrVom Fachbereich Physik der Technischen Universität Darmstadt. zur Erlangung des Grades eines Doktors der Naturwissenschaften (Dr.rer.nat.
Aufbau und Erprobung eines Messplatzes zur Bestimmung der Polarisierbarkeiten des Protons und des Deuterons über eine neue Messmethode der Comptonstreuung bei niedrigen Energien am S-DALINAC Vom Fachbereich
MehrDoktors der Ingenieurwissenschaften Dr.-Ing.
Anwendung der Simulation der Randschichtausbildung beim Kugelstrahlen auf die Abschätzung der Schwingfestigkeit gekerbter Bauteile Zur Erlangung des akademischen Grades eines Doktors der Ingenieurwissenschaften
MehrEntwicklung und Charakterisierung miniaturisierter flüssig-flüssig Extraktoren
Entwicklung und Charakterisierung miniaturisierter flüssig-flüssig Extraktoren Dissertation zur Erlangung des Doktorgrades der Ingenieurswissenschaften (Dr.-Ing.) vorgelegt von Dipl.-Ing. Tim Wellsandt
MehrEin Informationsmodell des Konstruktionsprozesses zur Abschätzung der Entwicklungskosten
Ein Informationsmodell des Konstruktionsprozesses zur Abschätzung der Entwicklungskosten Von der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des
Mehr12. GIESSENER BAUFORUM 2015
Jens Minnert (Hrsg.) 12. GIESSENER BAUFORUM 2015 Mit Beiträgen von: Dipl.-Ing. Markus Blatt Prof. Dr.-Ing. Bertram Kühn Dr.-Ing. Karsten Pfeffer Dipl.-Ing. (FH) Daniel Wolff, M.Eng. Dipl.-Ing. (FH) Manuel
MehrDie Geschäftsfelder des professionellen Sports
Die Geschäftsfelder des professionellen Sports Ein Überblick der aktuellen und relevanten Geschäftsfelder im Rahmen meiner Diplomarbeit im Oktober 2004 bei Herrn Prof. Dr. Venker an der Georg-Simon-Ohm
MehrEntwicklung einer neuartigen Geschwindigkeitsmessmethode auf der Basis von Röntgenstrahlen für Blasensäulen mit hohem Gasgehalt
Entwicklung einer neuartigen Geschwindigkeitsmessmethode auf der Basis von Röntgenstrahlen für Blasensäulen mit hohem Gasgehalt von Diplom-Ingenieur Axel Seeger aus Rüdersdorf von der Fakultät V - Verkehrs-
MehrOrganisation der kundenindividuellen Massenproduktion
Organisation derkundenindividuellenmassenproduktion Inauguraldissertation zurerlangungdesakademischengrads Doctorrerumpoliticarum(Dr.rer.pol.) derwirtschaftsundsozialwissenschaftlichenfakultätderuniversitätrostock
MehrFütterungskonzepte zur rekombinanten Produktion von Penicillinamidase in E. coli
Fütterungskonzepte zur rekombinanten Produktion von Penicillinamidase in E. coli Vom Promotionsausschuss der Technischen Universität Hamburg-Harburg zur Erlangung des akademischen Grades Doktor-Ingenieur
MehrKonzept eines Entscheidungsmodells zur Aufgabenzuordnung in der Produktentwicklung
Konzept eines Entscheidungsmodells zur Aufgabenzuordnung in der Produktentwicklung Von der Fakultät für Maschinenwesen der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen
MehrLebenszyklusorientierte Optimierung von Instandhaltungssystemen für hochwertige Investitionsgüter
Lebenszyklusorientierte Optimierung von Instandhaltungssystemen für hochwertige Investitionsgüter Von der Gemeinsamen Fakultät für Maschinenbau und Elektrotechnik der Technischen Universität Carolo-Wilhelmina
MehrLogistik - Just in Time!? Horst W. Hamacher Holger Hennes (Hrsg.)
Logistik - Just in Time!?. Horst W. Hamacher Holger Hennes (Hrsg.) Bibliografische Information der Deutschen Bibliothek Die Deutsche Bibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie;
Mehr5. GIESSENER BAUFORUM 2008
Jens Minnert (Hrsg.) 5. GIESSENER BAUFORUM 2008 INNOVATIONEN IM BAUWESEN Mit Beiträgen von: Dipl.-Ing. Markus Blatt Prof. Dr.-Ing. Joaquín Diaz Dipl.-Ing. Dirk Grunewald Dipl.-Ing. (FH) Joanna Iwanowa
MehrGutachter: 1. Prof. Dr.-Ing. Heinz Köser 2. Prof. Dr.-Ing. Thomas Hahn 3. Prof. Dr.-Ing. Otto Carlowitz
Bildung und Verhalten von Sulfaten auf V 2 O 5 -WO 3 /TiO 2 -Katalysatoren während des SCR-DeNOx-Prozesses im Niedertemperaturbereich Dissertation zur Erlangung des akademischen Grades Doktor-Ingenieur
MehrEffizienzanalyse und Effizienzsteigerung in der speditionellen Auftragsdisposition
Effizienzanalyse und Effizienzsteigerung in der speditionellen Auftragsdisposition DISSERTATION zur Erlangung des akademischen Grades Doctor rerum politicarum (Dr. rer. pol.) vorgelegt von Dipl.-Wirt.-Ing.
MehrZur Erlangung des akademischen Grades eines. Doktors der Ingenieurwissenschaften
Numerische und experimentelle Untersuchungen zur Eigenspannungs- und Verzugsausbildung beim martensitischen Härten von Stufenzylindern und Quadern in verdampfenden Flüssigkeiten Zur Erlangung des akademischen
MehrDissertation. zur Erlangung des akademischen Grades Doktoringenieur (Dr.-Ing.)
Dissertation zur Erlangung des akademischen Grades Doktoringenieur (Dr.-Ing.) QBäume Effizientes Retrieval von Graphen mit Hilfe von Strukturinvarianten vorgelegt der Fakultät für Informatik der Technischen
MehrAktive Dämpfung und Kompensation von Rotorschwingungen über aktive Piezo-Stapel-Aktuator-Lager
I Aktive Dämpfung und Kompensation von Rotorschwingungen über aktive Piezo-Stapel-Aktuator-Lager Von der Fakultät für Maschinenbau der Technischen Universität Chemnitz Genehmigte Dissertation zur Erlangung
MehrAus der Klink für Anästhesiologie Universitätsklinikum Düsseldorf Direktor: Univ.-Prof. Dr. med. Jörg Tarnow
Aus der Klink für Anästhesiologie Universitätsklinikum Düsseldorf Direktor: Univ.-Prof. Dr. med. Jörg Tarnow Myokardprotektion durch Präkonditionierung Einfluss von Diabetes mellitus und Blutzucker Habilitationsschrift
MehrQualitätsmanagementsystem im Produktlebenszyklus
Berichte zum Qualitätsmanagement Band 8/2006 Petra Winzer (Hrsg.) Qualitätsmanagementsystem im Produktlebenszyklus Bericht zur GQW-Jahrestagung 2006 - Wuppertal Shaker Verlag Aachen 2006 Bibliografische
Mehr