Products

This book is dedicated to writing pseudocodes that have been tested using the matlab programming language. These pseudocodes are universal and will be implemented in other programming languages. The book starts with the presentation of elementary algorithms, covers linear algebra and matrix based linear optimization algorithms. The goal of this book is to teach algorithms by giving their standard description and providing a mathematical measure on the research field of dynamic partial reconguration ( DPR ) and FPGA implementation of...

This book studies methods of enhancing both data rates and power efficiencies of analog frontends for high-speed optical communication systems. Performance measures for high-speed broadband circuits and the efficiency of frequency compensation methods are evaluated. Power-efficient speed enhancement such as inductive peaking, feedback and negative Miller Capacitances, as well as the method of inductive broadband output matching are analyzed in detail. New methods for the design of power-efficient high-speed broadband amplifiers are developed. Circuit design examples intended for use in...

This book presents new techniques that allow the automatic verification and generation of abstract human-style proofs. The core of this approach builds an efficient calculus that works directly by applying definitions, theorems, and axioms, which reduces the size of the underlying proof object by a factor of ten. The calculus is extended by the deep inference paradigm which allows the application of inference rules at arbitrary depth inside logical expressions and provides new proofs that are exponentially shorter and not...

This work considers the simulation of premixed combustion with regard to the application in stationary gas turbines and future aero engines. With respect to the pollutant reduction of current devices as well as complementary technologies in the context of renewable energies, premixed flames are of increasing importance but exhibit reduced stability properties compared to conventional non-premixed systems. Regarding this, the simulation can provide detailed insight into the physical mechanisms for scientific research as well as help in the design of...

The use of mobile devices and the sale of mobile applications/applications (apps) continue to increase rapidly. It is expected that smartphones will soon replace computers and laptops as the most used end device. These trends result in new challenges for companies across all industries, which put great pressure on them. The only way companies can withstand this pressure and stay competitive is to develop their own mobile strategy and ensure that strategy is aligned with overall corporate strategy. On the...

Today, batteries serve as a power supply for almost every electronic device which people carry around or install in locations that have no access to the mains. The longer a battery powered system can operate without need for recharge or battery replacement, the more will maintenance cost and the number of faults due to insufficient power supply decrease. This work considers multiple independent software tasks that are assigned to the same processor. The tasks are supposed to have hard deadlines...

Interactive dynamics simulations are an important part of many virtual reality applications. The impulse-based dynamics simulation is a comparatively young method for calculating such simulations. In this thesis, this method is theoretically examined for the first time and its correctness is shown. In addition, essential practical aspects of the method and the interactive mechanical multi-body simulation are discussed in general. Details Title: Theory and application of momentum-based dynamics simulation Author: Dr. Daniel Bayer Edition: 1st edition University: Technical University of...