Wyniki wyszukiwania:

Join author Jean-Louis de Biasi as he explores how the profound tactile experience of using prayer beads can be used to deepen spiritual work in Qabala, Wicca, Druidry, and Hermetic traditions. With tips and techniques for choosing prayer beads as well as cleansing and consecrating them for spiritual use, The Magical Use of Prayer Beads is an ideal guide for beginners and adepts alike. Includes rituals that can be performed alone, with two people, or with a group--extending the useful applications and power beyond the more traditional approaches. This book explores unique...

A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the basis of safety objectives and how to identify objectives related to software programs. From software objectives, the authors present the different safety techniques (fault detection, redundancy and quality control). -Certifiable system- aspects are taken into account throughout the book.

The world has become digital and technological advances have multiplied circuits with access to data, their processing and their diffusion. New technologies have now reached a certain maturity. Data are available to everyone, anywhere on the planet. The number of Internet users in 2014 was 2.9 billion or 41% of the world population. The need for knowledge is becoming apparent in order to understand this multitude of data. We must educate, inform and train the masses. The development of related technologies, such as the advent of the Internet, social networks, -cloud-computing- (digital...

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial applications or be usable in an industrial setting.
Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of -formal...

Classical synchronous motors are the most effective device to drive industrial production systems and robots with precision and rapidity. However, numerous applications require efficient controls in non-conventional situations.
Firstly, this is the case with synchronous motors supplied by thyristor line-commutated inverters, or with synchronous motors with faults on one or several phases.
Secondly, many drive systems use non-conventional motors such as polyphase (more than three phases) synchronous motors, synchronous motors with double excitation, permanent magnet linear...