Publications
Now showing items 441-450 of 2508
Freiform-Optiken im Nahfeld von LEDs
(2014)
This thesis analyzes the process of designing compact and efficient non-imaging optical systems for general lighting. The main focus is on automated methods for the design of freeform-optics for light emitting diodes (LEDs). ...
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
(2011)
This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. ...
From Data Modeling to Knowledge Engineering in Space System Design
(2017)
The technologies currently employed for modeling complex systems, such as aircraft, spacecraft, or infrastructures, are sufficient for system description, but do not allow deriving knowledge about the modeled systems. This ...
Functional elements and engineering template-based product development process. Application for the support of stamping tool design
(2006)
This thesis proposes a product design solution based on functional elements and particularly on one of its sub-categories called engineering templates. The approach supports the development process to reach the common goals ...
Gas transfer at the air-water interface in a turbulent flow environment
(2005)
The gas transfer process across the air-water interface in a ottom-shear-induced turbulent environment was investigated to gain improved fundamental understanding of the physical mechanisms that control the process. For ...
Gemeinsame Realisierung von Radar-Sensorik und Funkkommunikation mit OFDM-Signalen
(2012)
In der vorliegenden Arbeit wird ein neuartiges Systemkonzept für ein multifunktionales Radar- und Kommunikationssystem beschrieben, das es erlaubt, Radar-Sensorik und Funkkommunikation simultan und auf Basis einer gemeinsamen ...
Genauigkeitsuntersuchung von binokularen Normalenvektoren für die Umfeldwahrnehmung
(2017)
The presented work introduces an accuracy analysis of normal vectors from binocular camera systems, which allows to model the surface orientation uncertainties by considering few parameters. The results of the accuracy ...
Exitentscheidungen und die Allokation von Exitrechten in der Venture Capital Finanzierung
(2012)
Im Rahmen des Beteiligungsausstiegs bestimmt der gewählte Exitkanal den monetären Nutzen, gegeben durch den Veräußerungserlös, sowie auch den nicht-monetären Nutzen des Entrepreneurs. Dieser entsteht in Form einer implizit ...
Experimentelle Untersuchungen und Bemessungsansätze für faserverstärktes Mauerwerk unter Erdbebenbeanspruchungen
(2015)
Several experimental campaigns are conducted to find feasible fiber reinforcements for buildings under earthquake conditions. Therefore tensile tests for the description of the bonding behavior of the fibers, shear tests ...
Experimentelle Untersuchungen zur effizienten Vernetzung von Oberflächenbeschichtungen mit UV-Strahlung
(2010)
In der Arbeit werden grundlegende Untersuchungen zur schnellen und energiesparenden Vernetzung von Oberflächenbeschichtungen durch UV-Strahlung vorgestellt. Mit Hilfe der tiefenaufgelösten Raman-Spektroskopie kann der ...