Synchronous Programming of Reactive Systems, Nicolas Halbwachs
Автор: Nicolas Halbwachs Название: Synchronous Programming of Reactive Systems ISBN: 1441951334 ISBN-13(EAN): 9781441951335 Издательство: Springer Рейтинг: Цена: 10475.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book will attempt to give a first synthesis of recent works con- cerning reactive system design. The term "reactive system" has been introduced in order to at'oid the ambiguities often associated with by the term "real-time system," which, although best known and more sugges- tive, has been given so many different meanings that it is almost in- evitably misunderstood. Industrial process control systems, transporta- tion control and supervision systems, signal-processing systems, are ex- amples of the systems we have in mind. Although these systems are more and more computerized, it is sur- prising to notice that the problem of time in computer science has been studied only recently by "pure" computer scientists. Until the early 1980s, time problems were regarded as the concern of performance evalu- ation, or of some (unjustly scorned) "industrial computer engineering," or, at best, of operating systems. A second surprising fact, in contrast, is the growth of research con- cerning timed systems during the last decade. The handling of time has suddenly become a fundamental goal for most models of concurrency. In particular, Robin Alilner 's pioneering works about synchronous process algebras gave rise to a school of thought adopting the following abstract point of view: As soon as one admits that a system can instantaneously react to events, i. e.
Автор: Harry Hsieh; Felice Balarin; Alberto L. Sangiovann Название: Synchronous Equivalence ISBN: 1461356644 ISBN-13(EAN): 9781461356646 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The subject of this book is the synthesis of synchronous hardware. The purpose is to provide a firm mathematical foundation for the so-called space-time mapping methods for hardware synthesis that have been proposed during the last few years. Thus the treatment is fairly mathematical. In a space-time mapping method, an algorithm is described as a set of atomic events, with possible data dependencies between them. The task is to find a mapping, assigning a space-time coordinate to each event, so that causality is not violated and the solution is "good". Previous work in the area, if it provided any formalism at all, has relied mainly on uniform recurrence equations, extensions thereof, or on purely graph-theoretic formulations. In this project algebra is used instead and the close connection with single-assignment languages is stressed. Thus it is possible to generalize previous work and to give simple characterizations of the type of algorithms that can be implemented with space-time mappings. The results presented can be applied to hardware construction and compiler techniques for parallel computers.
Описание: This text contributes to the field of sequential optimization for finite-state machines, introducing several new provably-optimal algorithms, presenting practical software implementations of each of these algorithms and introducing a complete new CAD package, called MINIMALIST.
Автор: Lipo, T. A. Название: Analysis of synchronous machines, second edition ISBN: 1138073075 ISBN-13(EAN): 9781138073074 Издательство: Taylor&Francis Рейтинг: Цена: 13779.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Analysis of Synchronous Machines, Second Edition is a thoroughly modern treatment of an old subject. Courses generally teach about synchronous machines by introducing the steady-state per phase equivalent circuit without a clear, thorough presentation of the source of this circuit representation, which is a crucial aspect. Taking a different approach, this book provides a deeper understanding of complex electromechanical drives.
Focusing on the terminal rather than on the internal characteristics of machines, the book begins with the general concept of winding functions, describing the placement of any practical winding in the slots of the machine. This representation enables readers to clearly understand the calculation of all relevant self- and mutual inductances of the machine. It also helps them to more easily conceptualize the machine in a rotating system of coordinates, at which point they can clearly understand the origin of this important representation of the machine.
Provides numerical examples
Addresses Park's equations starting from winding functions
Describes operation of a synchronous machine as an LCI motor drive
Presents synchronous machine transient simulation, as well as voltage regulation
Applying his experience from more than 30 years of teaching the subject at the University of Wisconsin, author T.A. Lipo presents the solution of the circuit both in classical form using phasor representation and also by introducing an approach that applies MathCAD(R), which greatly simplifies and expands the average student's problem-solving capability. The remainder of the text describes how to deal with various types of transients--such as constant speed transients--as well as unbalanced operation and faults and small signal modeling for transient stability and dynamic stability.
Finally, the author addresses large signal modeling using MATLAB(R)/Simulink(R), for complete solution of the non-linear equations of the salient pole synchronous machine. A valuable tool for learning, this updated edition offers thoroughly revised content, adding new detail and better-quality figures.
Автор: Vaez-Zadeh Sadegh Название: Control of Permanent Magnet Synchronous Motors ISBN: 0198742967 ISBN-13(EAN): 9780198742968 Издательство: Oxford Academ Рейтинг: Цена: 13306.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Permanent magnet synchronous (PMS) motors stand at the forefront of electric motor development due to their energy saving capabilities and performance potential. This book is a timely advancement along that path as the first comprehensive, self-contained, and thoroughly up-to-date book devoted solely to the control of PMS motors.
Автор: Souissi Название: Linear Synchronous Machines ISBN: 981130422X ISBN-13(EAN): 9789811304224 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces readers to two major sustainable applications of linear synchronous machines: wave energy conversion and magnetic levitation train technology.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
