Validation and Verification of Automated Systems, Andrea Leitner; Daniel Watzenig; Javier Ibanez-Guz
Автор: ZhiWu Li; MengChu Zhou Название: Deadlock Resolution in Automated Manufacturing Systems ISBN: 1849968306 ISBN-13(EAN): 9781849968300 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Aimed at control, computer, electrical, mechanical and industrial engineers, researchers and scientists, this book offers new methods to avoid bottlenecks and interruptions in manufacturing. Real-world examples of flexible manufacturing systems are included.
Описание: This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies.
Описание: This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies.
Автор: Brian Bailey; Grant Martin; Thomas Anderson Название: Taxonomies for the Development and Verification of Digital Systems ISBN: 1441936815 ISBN-13(EAN): 9781441936813 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Communication between engineers, their managers, suppliers and customers relies on the existence of a common understanding for the meaning of terms. While this is not normally a problem, it has proved to be a significant roadblock in the EDA industry where terms are created as required by any number of people, multiple terms are coined for the same thing, or even worse, the same term is used for many different things. This taxonomy identifies all of the significant terms used by an industry and provides a structural framework in which those terms can be defined and their relationship to other terms identified. The origins of this work go back to 1995 with a government-sponsored program called RASSP. At the termination of their work, VSIA picked up their work and developed it further. Three new taxonomies were introduced by VSIA for additional facets of the system design and development process. Since role of VSIA has now changed so that it no longer maintains these taxonomies, the baton is being passed on again through a group of interested people and manifested in this key reference work.
Описание: system is a complex object containing a significant percentage of elec- A tronics that interacts with the Real World (physical environments, humans, etc.
Автор: Petros Ioannou Название: Automated Highway Systems ISBN: 144193264X ISBN-13(EAN): 9781441932648 Издательство: Springer Рейтинг: Цена: 26120.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Experts address some of the main issues and uncertainties associated with the design and deployment of Automated Highway Systems (AHS).
IFRS 9 and CECL Credit Risk Modelling and Validation covers a hot topic in risk management. Both IFRS 9 and CECL accounting standards require Banks to adopt a new perspective in assessing Expected Credit Losses. The book explores a wide range of models and corresponding validation procedures. The most traditional regression analyses pave the way to more innovative methods like machine learning, survival analysis, and competing risk modelling. Special attention is then devoted to scarce data and low default portfolios. A practical approach inspires the learning journey. In each section the theoretical dissertation is accompanied by Examples and Case Studies worked in R and SAS, the most widely used software packages used by practitioners in Credit Risk Management.
Offers a broad survey that explains which models work best for mortgage, small business, cards, commercial real estate, commercial loans and other credit products
Concentrates on specific aspects of the modelling process by focusing on lifetime estimates
Provides an hands-on approach to enable readers to perform model development, validation and audit of credit risk models
Автор: Denton Tom Название: Automated Driving and Driver Assistance Systems ISBN: 0367265591 ISBN-13(EAN): 9780367265595 Издательство: Taylor&Francis Рейтинг: Цена: 7654.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first book to explain automated driving vehicles straightforwardly and showing the links to ADAS technologies already in use in all modern vehicles. Automated driving will bring huge change at some point and it is crucial to be ready.
Автор: Bestugin A.R.; Eshenko A.A.; Filin A.D.; Plyasovsk Название: Air Traffic Control Automated Systems ISBN: 9811393850 ISBN-13(EAN): 9789811393853 Издательство: Springer Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book highlights operation principles for Air Traffic Control Automated Systems (ATCAS), new scientific directions in design and application of dispatching training simulators and parameters of ATCAS radio equipment items for aircraft positioning. This book is designed for specialists in air traffic control and navigation at a professional and scientific level. The following topics are also included in this book: personnel actions in emergency, including such unforeseen circumstances as communication failure, airplane wandering off course, unrecognized aircraft appearance in the air traffic service zone, aerial target interception, fuel draining, airborne collision avoidance system (ACAS) alarm, emergency stacking and volcanic ash cloud straight ahead.
Автор: Wojtecki, Rudy Название: Air Logic Control for Automated Systems ISBN: 0367399652 ISBN-13(EAN): 9780367399658 Издательство: Taylor&Francis Рейтинг: Цена: 10104.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
As industrial processes become more and more automated, Air Logic Control (ALC) becomes increasingly important. As the use of ALC becomes more widespread, the need for designers, engineers, and technicians with a working knowledge of ALC technology grows significantly. Air Logic Control for Automated Systems provides the means for anyone involved with control systems to acquire the knowledge and skills they need to implement and maintain ALC for automated manufacturing.
The author focuses on the two types of ALC most often encountered: fluidics and Moving Parts Logic (MPL). He provides a thorough background on the subject, including the properties of compressible fluids, the fundamentals of pneumatics, and the fundamentals of logic systems, then delves into both moving parts and non-moving parts concepts and components. He discusses signal transmission, communications, electrical and electronic devices, plus the symbology, schematics, and flow diagrams related to ALC, and offers a complete overview of ALC system design. With this background established, the author presents three case studies of increasing complexity: a press control system, a parts sorting system, and a bottle filling system. These studies each offer a different approach to problem-solving and together they illustrate the alternative methods available in practice. Air Logic Control for Automated Systems thus offers technicians, engineers, and designers the foundation for understanding ALC. Armed with this knowledge, they are equipped to handle any number of implementation, programming, maintenance, and troubleshooting tasks with confidence.
Автор: Denton, Tom Название: Automated Driving and Driver Assistance Systems ISBN: 0367265605 ISBN-13(EAN): 9780367265601 Издательство: Taylor&Francis Рейтинг: Цена: 15004.00 р. Наличие на складе: Поставка под заказ.
Описание: This is the first book to explain automated driving vehicles straightforwardly and showing the links to ADAS technologies already in use in all modern vehicles. Automated driving will bring huge change at some point and it is crucial to be ready.
Автор: Masahiro Fujita Название: Verification Techniques for System-Level Design, ISBN: 0123706165 ISBN-13(EAN): 9780123706164 Издательство: Elsevier Science Рейтинг: Цена: 10441.00 р. Наличие на складе: Поставка под заказ.
Описание: Explains how to verify SoC logic designs using `formal` and `semi-formal` verification techniques. This book covers various aspects of high-level formal and semi-formal verification techniques for system level designs.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
