AI Techniques for Reliability Prediction for Electronic Components, Cherry Bhargava
Автор: Cherry Bhargava Название: AI Techniques for Reliability Prediction for Electronic Components ISBN: 1799814645 ISBN-13(EAN): 9781799814641 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 30215.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In the industry of manufacturing and design, one major constraint has been enhancing operating performance using less time. As technology continues to advance, manufacturers are looking for better methods in predicting the condition and residual lifetime of electronic devices in order to save repair costs and their reputation. Intelligent systems are a solution for predicting the reliability of these components; however, there is a lack of research on the advancements of this smart technology within the manufacturing industry.
AI Techniques for Reliability Prediction for Electronic Components provides emerging research exploring the theoretical and practical aspects of prediction methods using artificial intelligence and machine learning in the manufacturing field. Featuring coverage on a broad range of topics such as data collection, fault tolerance, and health prognostics, this book is ideally designed for reliability engineers, electronic engineers, researchers, scientists, students, and faculty members seeking current research on the advancement of reliability analysis using AI.
This book provides a starting point for software professionals to apply artificial neural networks for software reliability prediction without having analyst capability and expertise in various ANN architectures and their optimization.
Artificial neural network (ANN) has proven to be a universal approximator for any non-linear continuous function with arbitrary accuracy. This book presents how to apply ANN to measure various software reliability indicators: number of failures in a given time, time between successive failures, fault-prone modules and development efforts. The application of machine learning algorithm i.e. artificial neural networks application in software reliability prediction during testing phase as well as early phases of software development process are presented. Applications of artificial neural network for the above purposes are discussed with experimental results in this book so that practitioners can easily use ANN models for predicting software reliability indicators.
Автор: Ahmed Bouajjani; Alexandra Silva Название: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 3319602241 ISBN-13(EAN): 9783319602240 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Session types for Link failures.- Learning-based compositional parameter synthesis for event-recording automata.- Modularising opacity verification for Hybrid Transactional Memory.- Proving opacity via linearizability: a sound and complete method.- On futures for streaming data in ABS.- Session-based concurrency, reactively.- Procedural choreographic programming.- An observational approach to defining linearizability on weak memory models.- Applying a dependency mechanism in the formal development of voting protocol models using event-B.- Weak simulation quasimetric in a gossip scenario.- Reasoning about distributed secrets.- Classical higher-order processes.- Weak nominal modal logic.- Type inference of simulink hierarchical block diagrams in Isabelle.- Creating Bьchi automata for multi-valued model checking.- Privacy assessment using static taint analysis.- EPTL - a temporal logic for weakly consistent systems.
Описание: Technical topics presented in this book include the high temperature electronics market; high temperature devices, materials and assembly processes; the design, manufacture and testing of multi-sensor data acquisition systems for aero-engine control; and future applications for high temperature electronics.
Автор: Roy Billinton Название: Reliability Evaluation of Engineering Systems ISBN: 1461577306 ISBN-13(EAN): 9781461577300 Издательство: Springer Рейтинг: Цена: 13060.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Our primary objective has been to compile a book which provides practising engineers and engineering graduates who have little or no background in probability theory or statistics, with the concepts and basic techniques for evaluating the reliability of engineering systems.
Автор: Ajeet Kumar Pandey; Neeraj Kumar Goyal Название: Early Software Reliability Prediction ISBN: 813221742X ISBN-13(EAN): 9788132217428 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents an early software reliability prediction model that will help to grow the reliability of software systems by monitoring it in each development phase, from requirement to testing.
Автор: N. Limnios; G. Oprisan Название: Semi-Markov Processes and Reliability ISBN: 1461266408 ISBN-13(EAN): 9781461266402 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Not even a serious study of the renewal processes is possible without using the strong tool of Markov processes. The semi-Markov processes generalize the renewal processes as well as the Markov jump processes and have numerous applications, especially in relia- bility.
Автор: N. Limnios; M. Nikulin Название: Recent Advances in Reliability Theory ISBN: 146127124X ISBN-13(EAN): 9781461271246 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents thirty-one extensive and carefully edited chapters providing an up-to-date survey of new models and methods for reliability analysis and applications in science, engineering, and technology.
Автор: Nikolay Reshetov; Valery A. Svetlitsky Название: Statistical Dynamics and Reliability Theory for Mechanical Structures ISBN: 3642536573 ISBN-13(EAN): 9783642536571 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Jorge Eduardo Hurtado Название: Structural Reliability ISBN: 3642535763 ISBN-13(EAN): 9783642535765 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.
Описание: This book offers a thorough understanding of the applications of finite element method (FEM) to reliability modeling and an appreciation of the strengths and weaknesses of various numerical models for interconnect reliability.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
