الصفحة 3
الصفحة 3
Formal Models of Operating System Kernels
The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating systems are to achieve the levels of reliability and security that is demanded of them today. Specifications of a sequence of kernels of increasing complexity are included, acting as models to enable the designer to identify and reason about the properties of the design – thus making explicit that which is too often left implicit or even unknown.
Force Sensors for Microelectronic Packaging Applications
This monograph is intended for wire bonding and flip-chip packaging professionals and for scientists and engineers working in the field of mechanical microsensors. New measurement technologies are introduced that allow in situ and real-time examination of physical processes during the packaging process or during subsequent reliability tests. The measurement system presented here enables measurements at formerly inaccessible packaging interconnects. For the first time it becomes possible to describe the wire bonding process window in terms of the physical forces at the contact zone instead of the applied machine settings. This is significant for a deeper understanding of these packaging processes. Applications of the sensor in the field of wire bonding and flip-chip characterization are illustrated. The reader will gain much insight into the important field of interconnection technology in semiconductor packaging.
Fire Safety for Very Tall Buildings : Engineering Guide
Provides information on special topics that affect the fire safety performance of very tall buildings, their occupants and first responders during a fire. This Guide addresses these topics as part of the overall building design process using performance-based fire protection engineering concepts as described in the SFPE Engineering Guide to Performance Based Fire Protection. This Guide is not intended to be a recommended practice or a document that is suitable for adoption as a code. The Guide pertains to “super tall,” “very tall” and “tall” buildings. Throughout this Guide, all such buildings are called “very tall buildings.” These buildings are characterized by heights that impose fire protection challenges; they require special attention beyond the protection features typically provided by traditional fire protection methods. This Guide does not establish a definition of buildings that fall within the scope of this document.
Fault-Tolerance Techniques for SRAM-Based FPGAs
This book discusses fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs). It starts by showing the model of the problem and the upset effects in the programmable architecture. In the sequence, it shows the main fault tolerance techniques used nowadays to protect integrated circuits against errors. A large set of methods for designing fault tolerance systems in SRAM-based FPGAs is described. Some presented techniques are based on developing a new fault-tolerant architecture with new robustness FPGA elements. Other techniques are based on protecting the high-level hardware description before the synthesis in the FPGA.
Fault-Diagnosis Systems : An Introduction from Fault Detection to Fault Tolerance
This book gives an introduction into the field of fault detection, fault diagnosis and fault-tolerant systems with methods which have proven their performance in practical applications. It guides the reader in a structured tutorial style: supervision methods, reliability, safety, system integrity and related terminology; fault detection with signal-based methods for periodic and stochastic signals; fault detection with process model-based methods like parameter estimation, state estimation, parity equations and principal component analysis; fault diagnosis with classification and inference methods; fault-tolerant systems with hardware and analytical redundancy; many practical simulation examples and experimental results for processes like electrical motors, pumps, actuators, sensors and automotive components; end-of-chapter exercises for self testing or for practice.
Fault Diagnosis and Tolerance in Cryptography ; 3rd International Workshop, FDTC 2006, Yokohama, Japan, October 10, 2006, Proceedings
The sophistication of the underlying cryptographic algorithms, the high complexity of the implementations, and the easy access and low cost of cryptographic devices resulted in increased concerns regarding the reliability and security of crypto-devices. The effectiveness of side channel attacks on cryptographic devices, like timing and power-based attacks, has been known for some time. Several recent investigations have demonstrated the need to develop methodologies and techniques for designing robust cryptographic systems (both hardware and software) to protect them against both accidental faults and maliciously injected faults with the purpose of extracting the secret key. This trend has been particularly motivated by the fact that the equipment needed to carry out a successful side channel attack based on fault injection is easily accessible at a relatively low cost (for example, laser beam technology), and that the skills needed to use it are quite common.
Fallibility at Work : Rethinking Excellence and Error in Organizations
This book addresses how organizations can deal with human fallibility in order to create space for excellence at work. Some mistakes in work settings put lives at risk, while others create openings for innovative breakthroughs. In order to deal constructively with fallibility, an organization needs a communication climate where it is normal to voice opinions, admit mistakes, and ask for help in critical situations. The book builds on interviews with practitioners in healthcare, aviation, IT, public governance, and industry. It connects narratives from these fields with theories from organizational psychology and philosophy, as well as from positive organizational scholarship. In the final chapter, an overall ethics of fallibility at work is outlined. Fallibility at Work contributes to research in multiple academic disciplines, but also reaches out to practitioners who are interested in the connections between error and excellence in organizations.
Failure rate modelling for reliability and risk
Failure Rate Modelling for Reliability and Risk focuses on reliability theory and, specifically, on the failure rate (the hazard rate, the force of mortality) modelling and its generalizations, on systems operating in a random environment and on repairable systems. The failure rate is one of the crucial probabilistic characteristics for a number of disciplines; including reliability, survival analysis, risk analysis and demography.
Exploring Resilience : A Scientific Journey from Practice to Theory
Resilience has become an important topic on the safety research agenda and in organizational practice. Most empirical work on resilience has been descriptive, identifying characteristics of work and organizing activity which allow organizations to cope with unexpected situations. Fewer studies have developed testable models and theories that can be used to support interventions aiming to increase resilience and improve safety. In addition, the absent integration of different system levels from individuals, teams, organizations, regulatory bodies, and policy level in theory and practice imply that mechanisms through which resilience is linked across complex systems are not yet well understood. Scientific efforts have been made to develop constructs and models that present relationships; however, these cannot be characterized as sufficient for theory building. There is a need for taking a broader look at resilience practices as a foundation for developing a theoretical framework that can help improve safety in complex systems.
Expert ASP.NET 2.0 Advanced Application Design
Expert ASP.NET 2.0 Advanced Application Design will help you derive maximum performance and reliability from the distributed applications you create with ASP.NET 2.0. The book first looks at some of the non-functional requirements that impact the design of a distributed application. It then relates them to the servers and services available in the .NET 2.0 Framework. ASP.NET 2.0 is the central process for use in distributed .NET applications, and the book closely examines the ASP.NET 2.0 Framework and its hosting environment, Internet Information Server (IIS). The book looks at how ASP.NET 2.0 is used by different packages within .NET (like Web Services), and explores how it can be extended to meet your own custom requirements.
ESD Protection Device and Circuit Design for Advanced CMOS Technologies
ESD Protection Device and Circuit Design for Advanced CMOS Technologies is intended for practicing engineers working in the areas of circuit design, VLSI reliability and testing domains.
EQ-5D concepts and methods : a developmental history
The EuroQol Group is an international, cross-disciplinary group set up in 1987 to investigate issues related to the valuation of health. This book presents a series of papers from the early 1990s that illustrate the aspects of the development of EQ-5D including: the descriptive system, self-rated health, valuation issues, and semantic issues. Read less
Engineering self-organising systems Vol. 3910 ; 3rd International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
This book contains recent work from a broad range of areas with the common theme of utilising self-organisation productively. As distributed information infrastructures continue to spread (such as the Internet, wireless and mobile systems), new challenges have arisen demanding robust and scalable solutions. In these new challenging environments the - signers and engineers of global applications and services can seldom rely on centralised control or management, high reliability of devices, or secure en- ronments. At the other end of the scale, ad-hoc sensor networks and ubiquitous computing devices are making it possible to embed millions of smart computing agents into the local environment.
Emerging Nanotechnologies : Test, Defect Tolerance, and Reliability
Emerging Nanotechnologies: Test, Defect Tolerance and Reliability covers various technologies that have been developing over the last decades such as chemically assembled electronic nanotechnology, Quantum-dot Cellular Automata (QCA), and nanowires and carbon nanotubes. Each of these technologies offers various advantages and disadvantages.
Embedded systems design : The ARTIST roadmap for research and development
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant evolution in information science and technology. We expect that within a short timeframe embedded systems will be a part of nearly all equipment designed or manufactured in Europe, the USA, and Asia. There is now a strategic shift in emphasis for embedded systems designers: from simply achieving feasibility, to achieving optimality. Optimal design of embedded systems means targeting a given market segment at the lowest cost and delivery time possible. Optimality implies seamless integration with the physical and electronic environment while respecting real-world constraints such as hard deadlines, reliability, availability, robustness, power consumption, and cost. In our view, optimality can only be achieved through the emergence of embedded systems as a discipline in its own right.
Electronics Process Technology : Production Modelling, Simulation and Optimisation
Electronics Process Technology is a systemised presentation of new techniques and methods in electronics manufacture. Planning, preparation and execution are interlinked to achieve robust manufacturing processes that realise optimum quality, costs and quantities in the final product. Topics covered include: • modelling of manufacturing processes; • graph-theoretical approach to manufacturing planning; • process simulation and optimisation including cost optimisation; • quality assurance and statistical process analysis and control; • reliability models for electronic products and • assembly accuracy.
E-business and telecommunication networks ; 2nd International conference, ICETE 2005, Reading, UK, October 3-7, 2005. Selected Papers
This book contains fields of e-business and telecommunication networks, including aspects related to security, wireless systems, signal processing, and all sorts of applications, who are bringing new services and technologies into the lives of ordinary consumers. Four simultaneous tracks were held, covering different aspects, namely: “Global Communication Information Systems and Services”, “Security and Reliability in Information Systems and Networks”, “Wireless Communication Systems and Networks” and “Multimedia Signal Processing”.
Earthquakes, Tsunamis and Nuclear Risks : Prediction and Assessment Beyond the Fukushima Accident
This book covers seismic probabilistic risk assessment (S-PRA) and related studies which have become more important to increase the safety of nuclear facilities against earthquakes and tsunamis in the face of the many uncertainties after the Fukushima accident. The topics are (1) Active faults and active tectonics important for seismic hazard assessment of nuclear facilities,(2) Seismic source modeling and simulation and modeling techniques indispensable for strong ground motion prediction, and (3) PRA with external hazard and risk communication.
Earthquake Early Warning System
The book provides information on the major EEW systems in operation and on the state of the art of the different blocks forming an EW system: the rapid detection and estimation of the earthquake’s focal parameters, the signal transmission, the engineering interface and the information reliability/false alarm problem.
Dynamic Methods for Damage Detection in Structures
Presents an overview of dynamic methods for structural health monitoring and damage detection in structures. This book explains both theoretical and experimental aspects of dynamic non-destructive methods and their connection with inverse and identification problems in structural dynamics.
