الصفحة 6
الصفحة 6
Justifying the Dependability of Computer-based Systems : With Applications in Nuclear Engineering
The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, evidence and documentation, and the ways to deal with different types of risk and uncertainty. Justifying the Dependability of Computer-based Systems will be of value to software, computer system, instrumentation and control engineers, and regulators working in industry sectors such as nuclear safety.
IUTAM Symposium on Mechanics and Reliability of Actuating Materials ; Proceedings of the IUTAM Symposium held in Beijing, China, 1-3 September, 2004
The general assembly of IUTAM approved in August, 2002 at Cambridge University, UK, a proposal to hold an IUTAM symposium to summarize the relevant research findings. The main themes of the symposium are: (i) the constitutive relations of actuating materials that couple mechanical, electrical, thermal and magnetic properties, as well as incorporate phase transformation and domain switch; (ii) the physical mechanisms of deformation, damage, and fatigue crack growth of actuating materials; (iii) the development of failure-resilient approaches that base on the macro-, meso-, and micro-mechanics analyses; (iv) the investigation of microstructural evolution, stability of phase transformation, and size effects of ferroelectric ceramics, shape memory alloys, actuating polymers, and bio-actuating materials.
Complex System Maintenance Handbook
Complex System Maintenance Handbook is the first book to integrate this vast literature with chapters written by internationally-renowned active researchers and experienced practitioners focussing on different aspects of maintenance. Each chapter reviews the literature dealing with a particular aspect of maintenance, reports on developments and trends in a particular industry sector, or presents a case study.
Completeness theory for propositional logics
Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion have been de?ned in literature. We shallconcentrateonthesevariants,andaspects,of completenesswhicharede?ned in propositional logic. Completeness means the possibility of getting all correct and reliable sc- mata of inference by use of logical methods. The word ‘all’, seemingly neutral, is here a crucial point of distinction. Assuming the de?nition as given by E. Post we get, say, a global notion of completeness in which the reliability refers only to syntactic means of logic and outside the correct schemata of inference there are only inconsistent ones. It is impossible, however, to leave aside local aspects of the notion when we want to make it relative to some given or invented notion of truth. Completeness understood in this sense is the adequacy of logic in relation to some semantics, and the change of the logic is accompanied by the change of its semantics.
Challenges in Radiation Protection and Nuclear Safety Regulation of the Nuclear Legacy
The book covers radiation protection and nuclear safety supervision of installations built during the cold war, particularly in relation to regulatory strategies for safe decommissioning of unique or unusual nuclear facilities and remediation
Challenges and Solutions for Sustainable Smart City Development
Discusses advances in smart and sustainable development of smart environments. The authors discuss the challenges faced in developing sustainable smart applications and provide potential solutions. The solutions are aimed at improving reliability and security with the goal of affordability, safety, and durability. Topics include health care applications, sustainable smart transportation systems, intelligent sustainable wearable electronics, and sustainable smart building and alert systems. Authors are from both industry and academia and present research from around the world. Addresses problems and solutions for sustainable development of smart cities; Includes applications such as healthcare, transportation, wearables, security, and more ; Relevant for scientist and researchers working on real time smart city development.
Catalogue of risks : Natural, technical, social and health risks
The book clearly shows the interdependence of risk measures. Safety and risks cannot be discussed only by looking at specific problems, since increasing safety in individual fields might lead to a decrease of safety over the entire society.
Bridge design for economy and durability : Concepts for new, strengthened and replacement bridges
Describes a number of new or updated bridging concepts which were developed and s"Describes a number of new or updated bridging concepts which were developed and successfully applied during the author's forty years of close involvement with UK and international bridge design, construction, maintenance and research. The concepts mainly apply to the small/medium span range of bridges and viaducts and contribute to one or more of the following features: design and construction economy in both time and money / ease of inspection and minimum maintenance / ride quality and safety / good appearance / strengthening when required with minimum traffic disruption"
BNF for Children 2022-2023
BNF for Children is the first choice for concise medicines information for children. Trusted by healthcare professionals across the world to support confident decision-making at the point of care. provides you with: Up-to-date information on prescribing, dispensing, and administering medicines Authoritative, independent guidance on best practice enabling you to select safe and effective medicines Information you know you can trust for quality, reliability, and independence
Blast Cleaning Technology
Blast cleaning is one of the most frequently utilised surface treatment-method in modern industry. The book is the first comprehensive monograph in this subject. It provides a practical and comprehensive review of the technology. This book systematically and critically reviews the theory behind the technology, the state of current blast cleaning, surface quality aspects and the effects of blast cleaning on the performance of applied coatings.
Bayesian reliability
Bayesian Reliability presents modern methods and techniques for analyzing reliability data from a Bayesian perspective. The adoption and application of Bayesian methods in virtually all branches of science and engineering have significantly increased over the past few decades. This increase is largely due to advances in simulation-based computational tools for implementing Bayesian methods. The authors extensively use such tools throughout this book, focusing on assessing the reliability of components and systems with particular attention to hierarchical models and models incorporating explanatory variables. Such models include failure time regression models, accelerated testing models, and degradation models. The authors pay special attention to Bayesian goodness-of-fit testing, model validation, reliability test design, and assurance test planning. Throughout the book, the authors use Markov chain Monte Carlo (MCMC) algorithms for implementing Bayesian analyses--algorithms that make the Bayesian approach to reliability computationally feasible and conceptually straightforward.
Basic Probability Theory with Applications
This book presents elementary probability theory with interesting and well-chosen applications that illustrate the theory. An introductory chapter reviews the basic elements of differential calculus which are used in the material to follow. The theory is presented systematically, beginning with the main results in elementary probability theory. This is followed by material on random variables. Random vectors, including the all important central limit theorem, are treated next. The last three chapters concentrate on applications of this theory in the areas of reliability theory, basic queuing models, and time series. Examples are elegantly woven into the text and over 400 exercises reinforce the material and provide students with ample practice.
Autonomous Systems - Self-Organization, Management, and Contro ; Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of these workshops is to bring together researchers from both universities in order to present research results to an international community.
Assessing Climate Change : Temperatures, Solar Radiation, and Heat Balance
The chapters of the book attempt to answer a number of essential questions in relation to global warming and climate change. He begins by showing how the earth’s climate has varied in the past, discussing ice ages, the Holocene period since the end of the last ice age, particularly during the past 1000 years. He investigates the reliability of "proxies" for historical temperatures and assesses the hockey stick version of global temperatures for the past millennium. To do this effectively he looks carefully at how well near surface temperatures of land and ocean on earth have been monitored during the past 100 years or more, and looks at the utility and significance of a single global average temperature
Architecture description languages ; IFIP TC-2 workshop on architecture description languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France
These proceedings record the papers presented at the Workshop onArchitecture Description Languages held in the city of Toulouse in thesouth of France.The aim of an ADL (Architecture Description Language) is to formallydescribe software and hardware architectures. Usually, an ADL describescomponents, their interfaces, their structures, their interactions (structureof data flow and control flow) and the mappings to hardware systems. Amajor goal of such descriptions is to allow analysis with respect to severalaspects like timing, safety, reliability, ...
Applied Semi-Markov Processes
The book presents homogeneous and non-homogeneous semi-Markov processes, as well as Markov and semi-Markov rewards processes. These concepts are fundamental for many applications, but they are not as thoroughly presented in other books on the subject as they are here.This book is intended for graduate students and researchers in mathematics, operations research and engineering; it might also appeal to actuaries and financial managers, and anyone interested in its applications for banks, mechanical industries for reliability aspects, and insurance companies.
Applied Reliability and Quality : Fundamentals, Methods and Procedures
"Reliability and quality professionals need to know about each other's work activities because this may help them - directly or indirectly - to perform their tasks more effectively. Applied Reliability and Quality: Fundamentals, Methods and Procedures meets the need for a single volume that considers applied areas of both reliability and quality. Before now, there has not been one book that covers both applied reliability and quality; so to gain knowledge of each other's specialties, these people had to study various books, articles, or reports on each area."
Applied Civil Engineering Risk Analysis
Povides readers with the tools needed to determine the probability of failure, and when multiplied by the consequences of failure, illustrates how to assess the risk of civil engineering problems. Presenting methods for quantifying uncertainty that exists in engineering analysis and design, with an emphasis on fostering more accurate analysis and design.
Analytical Chemistry : Theoretical and Metrological Fundamentals
Fundamentals of Analytical Chemistry are usually presented as a sum of chemical and physical foundations, laws, axioms and equations for analytical methods and procedures. In contrast, this book delivers a practice-oriented, general guiding theory valid for all methods and techniques. Starting with a closer look to analytical signals and their dependencies, all the important figures of merit characterizing the power of analytical procedures and the reliability of analytical results are discussed and quantified, such as sensitivity, precision, accuracy and ruggedness. Elements of signal theory, information theory, statistics and fundamentals of calibration are also presented for this aim.
Analysis, Control and Optimization of Complex Dynamic Systems
Analysis, Control and Optimization of Complex Dynamic Systems gathers in a single volume a spectrum of complex dynamic systems related papers written by experts in their fields, and strongly representative of current research trends. Complex systems present important challenges, in great part due to their sheer size which makes it difficult to grasp their dynamic behavior, optimize their operations, or study their reliability. Yet, we live in a world where, due to increasing inter-dependencies and networking of systems, complexity has become the norm. With this in mind, the volume comprises two parts. The first part is dedicated to a spectrum of complex problems of decision and control encountered in the area of production and inventory systems. The second part is dedicated to large scale or multi-agent system problems occurring in other areas of engineering such as telecommunication and electric power networks, as well as more generic context.
