Juristische Netzwerkforschung

Legal network science explores how legal phenomena can be represented as networks and investigates what can be gained from their quantification and visualization. Corinna Coupette introduces legal network science to the German legal discourse. Based on an original dataset of decisions by Germany's Federal Constitutional Court, she develops tools for modeling, measuring, and mapping the law. The work includes an online appendix, which is freely available at : https://doi.org/10.1628/978-3-16-157012-4-appendi

Funktionale Sicherheit nach ISO 26262 in der Konzeptphase der Entwicklung von Elektrik/Elektronik Architekturen von Fahrzeugen

Die Entwicklung von softwarebasierten Fahrzeugsystemen unter Befolgung des neuen Standards IO 26262 erfordert ein gemeinsames Verständnis sowie die Verzahnung des Vorgehens in beiden Domänen. Ziel dieser Arbeit ist die Berücksichtigung von Anforderungen der funktionalen Sicherheit während der Modellierung von Elektrik/Elektronik Architekturen, ihre formale Zuteilung zu Modellinhalten sowie die Unterstützung nebenläufiger und nachfolgender Aktivitäten der Fahrzeugentwicklung

GPGPU-beschleunigte Reduktion bathymetrischer Geländemodelle mit T-Spline-Flächen

[no abstract

Adjungierte Strömungssimulation und gradientenbasierte Ersatzmodelle in der Turbomaschinenauslegung

Die Arbeit thematisiert die Beschleunigung multikriterieller interdisziplinärer Formoptimierung von Turbomaschinen durch Ableitungsinformation aus adjungierten Strömungssimulationen. Es werden zwei Vorgehensweisen zur Implementierung diskret adjungierter Pendants eines existierenden Strömungssimulationsverfahrens gegenübergestellt: Manuelle Adjungierung unterstützt durch algorithmische Differentiation einzelner Routinen sowie algorithmische Differentiation des gesamten Strömungslösers gefolgt von manueller Beschleunigung und Speicherreduktion des Resultats. Zu beiden Ansätzen werden jeweils Implementierungen auf Basis des gleichen zugrundeliegenden Simulationsverfahrens vorgestellt und diese miteinander verglichen. Es wird gradientenbasiertes Kriging, erweitert um eine geeignete Regularisierungstechnik, eingesetzt. Die Kombination bildet einen robustes gradientenbasiertes Optimierungsverfahren. Diese wird auf die Optimierung eines gegenläufigen Triebwerksfans angewandt

Bedarfsgesteuerte Bildübertragung mit Regions of Interest und Levels of Detail für mobile Umgebungen

Die hier entwickelten Konzepte der bedarfsgesteuerten Bildübertragung erlauben es, für wählbare Bildregionen die benötigte Detaillierungsstufe festzulegen und Bildbereiche redundanzfrei zu verfeinern. Dadurch kann die Übertragung großer Bilder an beschränkte Ressourcen in mobilen Umgebungen angepasst werden. Ein allgemeines waveletbasiertes Kodier- und Übertragungsverfahren und ein spezielles progressives Kodierverfahren für Farbtabellenbilder werden entworfen. Zur effizienten Ausnutzung von Bildschirmfläche und Bitrate wird die interaktive Technik des Rechteckigen Fisheye-View entwickelt.The proposed concept of demand-driven image transmission allows to define the required level of detail for arbitrary image regions and to refine image areas without the need for redundant data transmissions. By this mechanism the image transmission can be better adapted to the limited resources in mobile environments. A general wavelet-based method for image encoding and transmission and a specific encoding method for palettized images are designed. For the efficient use of screen area and transmission bit rate the interactive technique of the Rectangular Fish Eye View is developed

Erzeugung von 3D-Netzmodellen in der Produktentwicklung durch Deformation initialer 3D-Netzmodelle

Mit 3D-Netzmodellen werden Objekte der materiellen Welt oder unserer Vorstellung computergestützt abgebildet. In digitalen Produktentwicklungsprozessen werden mit ihnen sowohl die Objektgestalt als auch anwendungsspezifische Informationen von Objekten und von Prozessen definiert. Mit flächenhaften Netzen (z. B. Dreiecksnetze) wird die Oberfläche von Objekten in diskreter Form repräsentiert, mit volumenhaften Netzen (z. B. Tetraedernetze) zusätzlich das Objektinnere. 3D-Netzmodelle werden bei der Erzeugung und der Manipulation, der Analyse und der Validierung, in fertigungsvorbereitenden Prozessen sowie zur Präsentation digitaler 3D-Objekte angewandt

Parallelisierung eines inkrementellen aktiven Chart-Parsers

This documentation describes an interface ADT called the "Verbmobil Interface Term" (VIT) used in the "Verbmobil Forschungsprototyp" (FP) in several software components. We present the contents of the VIT and the ADT package for Prolog components of the FP. Among others the ADT package can be used for creating, for manipulating, for printing and for checking the contents of a VIT