River Bed Degradation and Morphological Development Before and After River Restoration Measures at the Danube River East of Vienna

Source: ICHE Conference Archive - https://mdi-de.baw.de/icheArchive

Numerical Analysis of the Effects of Engineering Measures on the Sediment Transport and Morphodynamics on the Lower Danube

Source: ICHE Conference Archive - https://mdi-de.baw.de/icheArchive

Analysis of model transformations with petri nets

Modellgetriebene Softwareentwicklung rückt Modelle ins Zentrum des Software Lebenszyklus. Dabei stellen Modelltransformationen einen entscheidenden Bestandteil dar, wobei verschiedene Transformationssprachen und Arten von Modelltransformationen zur Verfügung stehen. In dieser Arbeit wird dabei nur auf den Aspekt der Modell-zu-Modell (M2M) Transformation eingegangen.Transformationssprachen sind meist nicht einfach zu verstehen bzw.nachvollziehbar und sind somit nur schwer zu debuggen und zu analysieren. Bedingt wird dies durch die Ausführung der Transformation in Form einer Black-Box, die die operationale Semantik versteckt.Informationen über den Transformationsprozess stehen daher nur sehr bedingt zur Verfügung. Eine umfassende Analyse ist aber von großer Bedeutung, da Fehler in der Modelltransformation an verschiedenen Stellen etwa beim Quell- bzw. Ziel-Metamodell, Quell- bzw. Ziel-Modell und der Transformationslogik auftreten können. Damit verbunden sind die Auswirkungen auf die Korrektheit der Transformation und aller darauf aufbauender Schritte im Software Lebenszyklus. Die bisher nur unbefriedigend beantwortete Frage der Analysemöglichkeiten von Modelltransformationen stellt ein wesentliches Problem in der modellgetriebenen Softwareentwicklung dar.Diese Arbeit greift daher die beschriebenen Probleme in der Analyse von Modelltransformationen auf und versucht anhand von Transformationsnetzen auf die Analyse einzugehen. Der Transformationsnetz Formalismus basiert auf färbigen Petri Netzen, die eine Reihe von Analysemöglichkeiten anbieten. Es wird daher untersucht in wie weit sich durch die Rückführung von Transformationsnetzen auf färbige Petri Netze Eigenschaften berechnen lassen und in welcher Weise sich Transformationsnetz Spezifika darauf auswirken. Untersucht wird weiters auch eine mögliche Unterstützung durch weit verbreitete und bereits im industriellen Umfeld eingesetzte Tools für färbige Petri Netze. Als letzter Schritt wird der bereits bestehende "Transformations On Petri Nets In Color" Prototyp für Transformationsnetze um konkret für Modelltransformationen anwendbare Analyseeigenschaften erweitert.Model-Driven Engineering (MDE) places models in the center of the software lifecycle. Model transformations play a vital role in this context whereas several model transformation languages and types of model transformations are available. This diploma theseis only addressed the issue of the model-to-model transformation (M2M). All this languages or approaches have the problem that they are not easy to understand respectively irreproducible. This makes them hard to debug and to analyse. This problem excites from the execution of the transformation in the form of a black-box which hides the operational sematic.Therefore there are only marginal informations about the transformation process. A comprehensive analysis is important because errors in model transformations can appear on various points for instance on the source and target metamodel, source and target model and on the transformation logic. All this has a direct consequence to the correctness of the transformation and all following steps in the software lifecycle. The main problem of the MDE is currently the so far only unsatisfying answered question of analysing model transformations.This diploma thesis pickes up the described problems in the analysis of model transformations and tries on the basis of transformation nets to go into detail of the veri cation. The transformation net formalism is based on coloured petri nets which offer a set of analysis methods. This thesis explores if the mentioned analysis methodes can be applied after the reduction of transformation nets to coloured petri nets and in which kind transformation net speci fics have an impact on this process. Beyond that this thesis investigates the support of widespread and already in industrial environment used tools for coloured petri nets. As a final step the already existing "Transformations On Petri Nets In Color" prototype for transformation nets gets extended to support analytical properties for model transformations

Über Gebäudemorphologie, Transparenz und Energie Performance

Im Bestreben, die Effektivität der Beurteilung der Energieperformance von Gebäuden zu verbessern, gebrauchen manche Richtlinien und Standards skalierte Indikatoren zur Beschreibung der Gebäudegeometrie. Speziell zur Beschreibung der Kompaktheit, eine maßgebliche morphologische Eigenschaft eines Gebäudes, wurden in einer Anzahl von Abhandlungen numerisch skalierte Indikatoren formuliert. Zusammen mit den Informationen über die Wärmedurchlässigkeit der Gebäudehülle werden die Indikatoren dazu verwendet, eine Aussage darüber zu treffen, wie weit die Form eines Gebäudes für die Anforderungen hinsichtlich der Wärmedämmung von Bedeutung ist. Dieser Zusammenhang wird dann in Form eines Kennwertes ausgedrückt, wie dies im LEK-Konzept geschieht (ÖNORM B 8110-1 2002). Ein anderer Aspekt solcher Indikatoren ist, dass sie in verschiedenen Konzepten, die dem Planer Unterstützung während des Gestaltungsprozesses geben sollen, zur Anwendung kommen können, so zum Beispiel im Modell des "Design-Performance Space" (Mahdavi u. Gurtekin 2002a). Neben der thermischen Qualität der Gebäudehülle und der Kompaktheit ist aber auch die Transparenz (Ausmaß und Verteilung der transparenten Teile der Gebäudehülle) eine Eigenschaft von Gebäuden, die auf die Energieperformance Auswirkungen hat. Sie ist jedoch bisher weder mittels eines Indikators beschrieben, noch hat sie in Richtlinien und Kennwerten Berücksichtigung gefunden. Anhand von Variationen der Morphologie und Transparenz sollen nun für einen bestimmten klimatischen Kontext und für eine bestimmte Kategorie von Gebäuden mittels Energiesimulation die Zusammenhänge zwischen Kompaktheit, Transparenz und thermischer Performance (Heizwärmebedarf und Überwärmung) untersucht werden. Zunächst soll durch die Ergebnisse überprüft werden, ob die in Richtlinien und Standards zur Beurteilung der Energieperformance formulierten Zusammenhänge zwischen Kompaktheit und Energieperformance zutreffen, und aufgezeigt werden, inwieweit die- neben der Wärmedurchlässigkeit der Gebäudehülle - ausschließliche Bezugnahme dieser Richtlinien auf die Kompaktheit von Gebäuden berechtigt ist. Dann soll dargestellt werden, ob durch die Kompaktheit (aber auch Morphologie) von Gebäuden durch die vorliegenden Indikatoren ausreichend beschrieben ist, und gleichzeitig dadurch deren Eignung hinsichtlich der Verwendung in den verschiedenen Konzepten zur Berurteilung überprüft werden.Certain energy-related building standards make use of simple numeric indicators to describe a building's geometric compactness. Typically, such indicators make use of the relation between the volume of a built form and its surface area. The indicators are then used along with information on the thermal transmittance of the building enclosure elements to evaluate the degree to which a building design meets the relevant thermal insulation criteria. Using extensive parametric thermal simulation, this paper examines the reliability of such simple compactness indicators for energy-related evaluative assessments given that buildings with the same compactness attribute could differ in enclosure transperence, orientation, and morphology