Refine
Document Type
- Doctoral thesis (1)
- Report (1)
Has Fulltext
- yes (2)
Is part of the Bibliography
- no (2)
Year of publication
- 2016 (2) (remove)
Keywords
- Algorithm of Levenberg-Marquardt (1)
- Artifical Neural Networks (1)
- Flachglas (1)
- Floatglas (1)
- Künstliches Neuronales Netz (1)
- Levenberg-Marquardt-Algorithmus (1)
- Melting process (1)
- Model Checking (1)
- Model checking (1)
- Neuronales Netz (1)
Institute
MARCIE manual
(2016)
This manual gives an overview on MARCIE – Model Checking And Reachability analysis done effiCIEntly. MARCIE was originally developed as a symbolic model checker for stochastic Petri nets, building on its predecessor – IDDMC – Interval Decision Diagram based Model Checking – which has been previously developed for the qualitative analysis of bounded Place/Transition nets extended by special arcs. Over the last years the tool has been enriched to allow also quantitative analysis of extended stochastic Petri nets. We concentrate here on the user viewpoint. For a detailed introduction to the relevant formalisms, formal definitions and algorithms we refer to related literature.
In der vorliegenden Arbeit wird die Eignung von Künstlichen Neuronalen Netzen hinsichtlich der Modellierung des komplexen Prozessverhaltens in einer Flachglasschmelzanlage analysiert. Die Identifikation und das Training der neuronalen Prozessmodelle erfolgen mit Messdaten einer Schmelzwanne für Flachglas. Im Vordergrund steht die Evaluation einer geeigneten Netzstruktur und die Parametrierung der Netzparameter. Dabei wird der Einfluss der einzelnen Netzparameter in Bezug auf die Genauigkeit der Netze eingehend untersucht. Anhand von Testdaten wird nachgewiesen, dass die qualitätsbestimmenden Temperaturen und der Glasstand mit Künstlichen Neuronalen Netzen hinreichend genau berechnet werden können.
Auf Basis der entwickelten neuronalen Prozessmodelle wird anschließend eine modellbasierte prädiktive Regelstrategie beschrieben. Neben der Auswahl des Gütekriteriums und des Optimierungsalgorithmus zur Berechnung zukünftiger Stellgrößen werden Richtlinien zur Dimensionierung der verfügbaren Reglerparameter abgeleitet.