Global ETD Search

31	Model-Based Run-time Verification of Software Components by Integrating OCL into Treaty Wilke, Claas 13 October 2009 (has links) Model Driven Development is used to improve software quality and efficiency by automatically transforming abstract and formal models into software implementations. This is particularly sensible if the model’s integrity can be proven formally and is preserved during the model’s transformation. A standard to specify software model integrity is the Object Constraint Language (OCL). Another topic of research is the dynamic development of software components, enabling software system composition at component run-time. As a consequence, the system’s verification must be realized during system run-time (and not during transformation or compile time). Many established verification techniques cannot be used for run-time verification. A method to enable model-based run-time verification will be developed during this work. How OCL constraints can be transformed into executable software artifacts and how they can be used in the component-based system Treaty will be the major task of this diploma thesis. / Modellgetriebene Entwicklung dient der Verbesserung von Qualität und Effizienz in der Software-Entwicklung durch Automatisierung der notwendigen Transformationen von abstrakten bzw. formalen Modellen bis zur Implementierung. Dies ist insbesondere dann sinnvoll, wenn die Integrität der ursprünglichen Modelle formal bewiesen werden kann und durch die Transformation gewährleistet wird. Ein Standard zur Spezifikation der Integrität von Softwaremodellen ist die Object Constraint Language (OCL). Eine weitere Forschungsrichtung im Software-Engineering ist die Entwicklung von dynamischen Komponenten-Modellen, die die Komposition von Softwaresystemen im laufenden Betrieb ermöglichen. Dies bedeutet, dass die Systemverifikation im laufenden Betrieb realisiert werden muss. Die meisten der etablierten Verifikationstechniken sind dazu nicht geeignet. In der Diplomarbeit soll ausgehend von diesem Stand der Technik eine Methode zur modellbasierten Verifikation zur Laufzeit entwickelt werden. Insbesondere soll untersucht werden, wie OCL-Constraints zur Laufzeit in ausführbare Software-Artefakte übersetzt und in dem komponentenbasierten System Treaty verwendet werden können. info:eu-repo/classification/ddc/004 ddc:004
32	Radio frequency ranging for precise indoor localization Sark, Vladica 15 February 2018 (has links) In den letzten Jahrzehnten sind Satellitennavigationssysteme zu einem unverzichtbaren Teil des modernen Lebens geworden. Viele innovative Anwendungen bieten ortsabhängige Dienste an, welche auf diesen Navigationssystemen aufbauen. Allerdings sind diese Dienste in Innenräumen nicht verfügbar. Daher werden seit einigen Jahren alternative Lokalisierungsmethoden für Innenräume aktiv erforscht und entwickelt. Der Schwerpunkt dieser Arbeit liegt darauf, die Genauigkeit von Lokalisationsmethoden in Innenräumen zu erhöhen, sowie auf der effektiven Integration der entsprechenden Verfahren in drahtlose Kommunikationssysteme. Es werden zwei Ansätze vorgeschlagen und untersucht, welche die Präzision von ToF-basierten Methoden erhöhen. Zum einen wird im „Modified Equivalent Time Sampling“ (METS) Verfahren eine überabgetastete Version der vom Radioempfänger gelieferten Wellenform erzeugt und zur ToF Bestimmung verwendet. Der zweite erforschte Ansatz hat zum Ziel, Fehler auf Grund von Taktfrequenz-Abweichungen zu kompensieren. Dieses ist für kooperative Lokalisationsmethoden (N-Way ranging) von Bedeutung. Das in der Arbeit entwickelte Verfahren führt zu einer erheblichen Reduzierung der Fehler in der Abstandsmessung und damit der Positionsbestimmung. Darüber hinaus wurde eine neue Methode untersucht, um Lokalisationsverfahren in Funksysteme für die ISM Bänder bei 2,4 GHz und 5 GHz zu integrieren. Die Methode wurde auf einer Software Defined Radio (SDR) Plattform implementiert und bewertet. Es konnte eine Genauigkeit bis zu einem Meter in der Positionsbestimmung demonstriert werden. Schließlich wurde ein Verfahren vorgeschlagen und untersucht, mit welchem Lokalisationsfähigkeit in bestehende Funksysteme integriert werden kann. Die betrachtete Methode wurde in einem 60 GHz Funksystem mit hoher Datenrate implementiert. Die Untersuchungen zeigten eine Positionsgenauigkeit von 1 cm bei einer gleichzeitig hohen Datenrate für die Übertragung von Nutzdaten. / In the last couple of decades the Global Navigation Satellite Systems (GNSS) have become a very important part of our everyday life. A huge number of applications offer location based services and navigation functions which rely on these systems. Nevertheless, the offered localization services are not available indoors and their performance is significantly affected in urban areas. Therefore, in the recent years, a large number of wireless indoor localization systems are being actively investigated and developed. The main focus of this work is on improving precision and accuracy of indoor localization systems, as well as on the implementation and integration of localization functionality in wireless data transmission systems. Two approaches for improving the localization precision and accuracy of ToF based methods are proposed. The first approach, referred to as modified equivalent time sampling (METS) is used to reconstruct an oversampled versions of the waveforms acquired at the radio receiver and used for ToF based localization. The second proposed approach is used to compensate the ranging error due to clock frequency offset in cooperative localization schemes like N-Way ranging. This approach significantly reduces the ranging and, therefore, localization errors and has much better performance compared to the existing solutions. An approach for implementation of localization system in the 2.4/5 GHz ISM band is further proposed in this work. This approach is implemented and tested on a software defined radio platform. A ranging precision of better than one meter is demonstrated. Finally, an approach for integrating localization functionality into an arbitrary wireless data transmission system is proposed. This approach is implemented in a 60 GHz wireless system. A ranging precision of one centimeter is demonstrated. Innenraum Lokalisierung Funk Abstandsmessung Trilateration Laufzeit(messung) Zweiwege Abstandsmessung N-Wege Abstandsmessung Positionsbestimmung Indoor localization RF ranging Trilateration Time of flight Two way ranging N-Way ranging Positioning 384 Kommunikation, Telekommunikation 537 Elektrizität, Elektronik ZN 6510 ddc:000 ddc:384 ddc:537
33	Gesteinsmechanische Versuche und petrophysikalische Untersuchungen – Laborergebnisse und numerische Simulationen Baumgarten, Lars 26 May 2016 (has links) (PDF) Dreiaxiale Druckprüfungen können als Einstufenversuche, als Mehrstufenversuche oder als Versuche mit kontinuierlichen Bruchzuständen ausgeführt werden. Bei der Anwendung der Mehrstufentechnik ergeben sich insbesondere Fragestellungen hinsichtlich der richtigen Wahl des Umschaltpunktes und des optimalen Verlaufs des Spannungspfades zwischen den einzelnen Versuchsstufen. Fraglich beim Versuch mit kontinuierlichen Bruchzuständen bleibt, ob im Versuchsverlauf tatsächlich Spannungszustände erfasst werden, welche die Höchstfestigkeit des untersuchten Materials repräsentieren. Die Dissertation greift diese Fragestellungen auf, ermöglicht den Einstieg in die beschriebene Thematik und schafft die Voraussetzungen, die zur Lösung der aufgeführten Problemstellungen notwendig sind. Auf der Grundlage einer umfangreichen Datenbasis gesteinsmechanischer und petrophysikalischer Kennwerte wurde ein numerisches Modell entwickelt, welches das Spannungs-Verformungs-, Festigkeits- und Bruchverhalten eines Sandsteins im direkten Zug- und im einaxialen Druckversuch sowie in dreiaxialen Druckprüfungen zufriedenstellend wiedergibt. Das Festigkeitsverhalten des entwickelten Modells wurde in Mehrstufentests mit unterschiedlichen Spannungspfaden analysiert und mit den entsprechenden Laborbefunden verglichen. Gesteinsprobe Prüfkörper Postaer Sandstein Laborprüfungen Petrophysikalische Untersuchungen Einaxialer Druckversuch Dreiaxialer Kompressionsversuch Einstufentest Mehrstufentechnik Spannungspfad Kontinuierliche Bruchzustände Continuous-Failure-State-Triaxial-Test Zugfestigkeitsprüfungen Scherversuch Spaltzugversuch Biegezugversuch Belastungsrichtung Ultraschalllaufzeitmessung Dehnwellen-Resonanzverfahren Kathodolumineszenz-Mikroskopie Gesteinkenngrößen Gesteinsmechanische Parameter Rohdichte Reindichte Porosität Dünnschliffanalyse Sphärizität Korngrößenverteilung Festigkeitskennwerte Höchstfestigkeit Spitzenfestigkeit Restfestigkeit Anisotropie Arbeitskurven Spannungs-Dehnungs-Verhalten Nachbruch Bruchbilder Verformungskennwerte Statischer Elastizitätsmodul Dynamischer Elastizitätsmodul Verformungsmodul Querdehnungszahl Impuls-Laufzeit Wellen-Ausbreitungsgeschwindigkeit Numerische Modellierung Simulationsrechnung PFC-3D Kugelmodell Clump Partikelarrangement Parameterkalibrierung Parallel Bond Mikrobruch Rissausbreitung elastische Wellen rock sample test specimen sandstone uniaxial compression test triaxial compression test unconfined compression test multiple failure state test continuous failure state test tensile splitting strength shear test bending test pulse velocity ultrasonic elastic constants Young’s modulus of elasticity modulus of deformation Poisson’s ratio post failure stress-strain behaviour real density apparent density grain-size distribution porosity flexural strength peak strength residual strength anisotropy fracture pattern micro-crack pulse-propagation velocity clump sphere model parallel bond crack propagation numerical modelling simulation elastic wave PFC-3D parameter calibration particle arrangement ddc:624 Posta Sandstein Gesteinsprobe Mechanische Eigenschaft Petrophysik Elastizität Werkstein Druckversuch Zugversuch Kennzahl Experiment Numerisches Modell
34	Gesteinsmechanische Versuche und petrophysikalische Untersuchungen – Laborergebnisse und numerische Simulationen Baumgarten, Lars 25 November 2015 (has links) Dreiaxiale Druckprüfungen können als Einstufenversuche, als Mehrstufenversuche oder als Versuche mit kontinuierlichen Bruchzuständen ausgeführt werden. Bei der Anwendung der Mehrstufentechnik ergeben sich insbesondere Fragestellungen hinsichtlich der richtigen Wahl des Umschaltpunktes und des optimalen Verlaufs des Spannungspfades zwischen den einzelnen Versuchsstufen. Fraglich beim Versuch mit kontinuierlichen Bruchzuständen bleibt, ob im Versuchsverlauf tatsächlich Spannungszustände erfasst werden, welche die Höchstfestigkeit des untersuchten Materials repräsentieren. Die Dissertation greift diese Fragestellungen auf, ermöglicht den Einstieg in die beschriebene Thematik und schafft die Voraussetzungen, die zur Lösung der aufgeführten Problemstellungen notwendig sind. Auf der Grundlage einer umfangreichen Datenbasis gesteinsmechanischer und petrophysikalischer Kennwerte wurde ein numerisches Modell entwickelt, welches das Spannungs-Verformungs-, Festigkeits- und Bruchverhalten eines Sandsteins im direkten Zug- und im einaxialen Druckversuch sowie in dreiaxialen Druckprüfungen zufriedenstellend wiedergibt. Das Festigkeitsverhalten des entwickelten Modells wurde in Mehrstufentests mit unterschiedlichen Spannungspfaden analysiert und mit den entsprechenden Laborbefunden verglichen. info:eu-repo/classification/ddc/624 ddc:624

Page generated in 0.0232 seconds