Publications
Voici les éléments 441-445 de 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 ...