Page 10
Page 10
Maintenance Theory of Reliability
The book provides a detailed introduction to maintenance policies, updates the reader on the current status of the field and indicates future directions. The reader will learn the theory of maintenance and how to apply models in practice.
Machine Learning and Cognitive Computing for Mobile Communications and Wireless Networks
Communication and network technology has witnessed recent rapid development and numerous information services and applications have been developed globally. These technologies have high impact on society and the way people are leading their lives. The advancement in technology has undoubtedly improved the quality of service and user experience yet a lot needs to be still done. Some areas that still need improvement include seamless wide-area coverage, high-capacity hot-spots, low-power massive-connections, low-latency and high-reliability and so on. Thus, it is highly desirable to develop smart technologies for communication to improve the overall services and management of wireless communication. Machine learning and cognitive computing have converged to give some groundbreaking solutions for smart machines. With these two technologies coming together, the machines can acquire the ability to reason similar to the human brain. The research area of machine learning and cognitive computing cover many fields like psychology, biology, signal processing, physics, information theory, mathematics, and statistics that can be used effectively for topology management. Therefore, the utilization of machine learning techniques like data analytics and cognitive power will lead to better performance of communication and wireless systems.
Lifetime Estimation of Welded Joints
In the paper the author attempts to assess the fatigue life of chosen welded joints. It focuses especially on chosen problems that accompany deter- nation of the fatigue life of welded joints, taking into consideration the strain energy density parameter.
Leveraging Applications of Formal Methods ; 1st International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers presented were carefully selected from more than 70 submissions. The papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. In particular, by discussing common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.
Lead-free Soldering
The push toward lead-free soldering in computers, cell phones and other electronic and electrical devices has taken on a greater urgency as laws have been passed or are pending in the United States, the European Union and Asia which ban lead-bearing solder. These new restrictions on hazardous substances are changing the way electronic devices are assembled, and specifically affect process engineering, manufacturing and quality assurance. Lead-Free Soldering offers in a single volume a broad collection of practical techniques for lead-free soldering design and manufacture, which up to now have been scattered in difficult-to-find scholarly sources. The book includes the latest information on proposed changes to lead-free standards, and up-to-date analysis of government and legislative activities and regulations in North America, Europe and Asia.
Lead-Free Electronic Solders : A Special Issue of the Journal of Materials Science : Materials in Electronics
In the last few decades the effect of lead contamination on human health has received significant attention. Based on such concerns, elimination of lead from ceramic glaze, paint, plumbing etc. has been legislated and implemented. However, until recently, solders used in electronics, based on suitability and knowledge-base developed over a long period of time, remained lead-based. Successive rapid advances in microelectronic devices in recent decades make them obsolete within a very short period after their introduction resulting in significant quantities of electronic wastes in landfills. Leaching of toxic lead from such electronic wastes can result in contamination of the human food chain causing serious health hazards. As a consequence, several European and Pacific Rim countries have passed legislations warranting elimination of lead from electronic solders by fast approaching deadlines. Global economic pressures brought on by such legislations have resulted in a flurry of research activities to find suitable lead-free substitutes for the traditional leaded electronic solders.
Languages and Compilers for Parallel Computing ; 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2007, held in Urbana, IL, USA, in October 2007.The 23 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on reliability, languages, parallel compiler technology, libraries, run-time systems and performance analysis, and general compiler techniques.
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.
