This book covers ideas, methods, algorithms, and tools for the in-depth study of the performance and reliability of dependable fault-tolerant systems. The chapters identify the current challenges that designers and practitioners must confront to ensure the reliability, availability, and performance of systems, with special focus on their dynamic behaviors and dependencies. Topics include network calculus, workload and scheduling; simulation, sensitivity analysis and applications; queuing networks analysis; clouds, federations and big data; and tools. This collection of recent research exposes system researchers, performance analysts, and practitioners to a spectrum of issues so that they can address these challenges in their work.

This book presents the proceedings of CIDIN and COPINAVAL. The papers present the development of the navy, maritime and riverine industry, contributing to the scientific and technological progress and development in the sector. In 2019 the congresses occurred in Cartagena, Colombia, a reference for science and technology innovation for Latin-American naval industry.

This book includes the introduction of emerging manufacturing technologies and planning cases with established technologies. The planning of eco-efficient process chains is crucial for manufacturing companies. However, in the state-of-the-art planning, various barriers exist towards the integration of the environmental dimension. Against this background, a concept for the integration of classic lean and environmental criteria into the three planning phases of process chains is presented. During concept planning, the Technology Assessment Tool supports planners in the identification of eco-efficient technologies. During rough planning, the Value Stream Design Tool enables the derivation of a production line based on workpiece characteristics. For detailed planning, tools for eco-efficient machine and process chain configuration are provided. Three case studies from large-scale automotive component manufacturing with established and emerging technologies demonstrate the tool applicability.

This book provides an overview of polyolefine production, including several recent breakthrough innovations in the fields of catalysis, process technology, and materials design. The industrial development of polymers is an extraordinary example of multidisciplinary cooperation, involving experts from different fields. An understanding of structure-property and processing relationships leads to the design of materials with innovative performance profiles. A comprehensive description of the connection between innovative material performance and multimodal polymer design, which incorporates both flexibility and constraints of multimodal processes and catalyst needs, is provided. This book provides a summary of the polymerization process, from the atomistic level to the macroscale, process components, including catalysts, and their influence on final polymer performance. This reference merges academic research and industrial knowledge to fill the gaps between academic research and industrial processes. * Connects innovative material performance to the flexibility of multimodal polymer design processes; * Provides a comprehensive description of the polymerization process from the atomic level to the macroscale; * Presents a polyhedric view of multimodal polymer production, including structure, property, and processing relationships, and the development of new materials.

This book addresses Integrated Design Engineering (IDE), which represents a further development of Integrated Product Development (IPD) into an interdisciplinary model for both a human-centred and holistic product development. The book covers the systematic use of integrated, interdisciplinary, holistic and computer-aided strategies, methods and tools for the development of products and services, taking into account the entire product lifecycle. Being applicable to various kinds of products (manufactured, software, services, etc.), it helps readers to approach product development in a synthesised and integrated way. The book explains the basic principles of IDE and its practical application. IDE's usefulness has been demonstrated in case studies on actual industrial projects carried out by all book authors. A neutral methodology is supplied that allows the reader to choose the appropriate working practices and performance assessment techniques to develop their product quickly and efficiently. Given its manifold topics, the book offers a valuable reference guide for students in engineering, industrial design, economics and computer science, product developers and managers in industry, as well as industrial engineers and technicians.

This book consists of selected peer-reviewed papers presented at the NAFEMS India Regional Conference (NIRC 2018). It covers current topics related to advances in computer aided design and manufacturing. The book focuses on the latest developments in engineering modelling and simulation, and its application to various complex engineering systems. Finite element method/finite element analysis, computational fluid dynamics, and additive manufacturing are some of the key topics covered in this book. The book aims to provide a better understanding of contemporary product design and analyses, and hence will be useful for researchers, academicians, and professionals.

The manufacturing industry has experienced dramatic change over the years with growing advancements, implementations, and applications in technology. Manufacturing Intelligence for Industrial Engineering: Methods for System Self-Organization, Learning, and Adaptation focuses on the latest innovations for developing, describing, integrating, sharing, and processing intelligent activities in the process of manufacturing in engineering. Containing research from leading international experts, this publication provides readers with scientific foundations, theories, and key technologies of manufacturing intelligence.

The primary aim of this volume is to provide researchers and engineers from both academia and industry with up-to-date coverage of recent advances in the fields of robotic welding, intelligent systems and automation. It gathers selected papers from the 2018 International Conference on Robotic Welding, Intelligence and Automation (RWIA 2018), held Oct 20-22, 2018 in Guangzhou, China. The contributions reveal how intelligentized welding manufacturing (IWM) is becoming an inescapable trend, just as intelligentized robotic welding is becoming a key technology. The volume is divided into four main parts: Intelligent Techniques for Robotic Welding, Sensing in Arc Welding Processing, Modeling and Intelligent Control of Welding Processing, and Intelligent Control and its Applications in Engineering.

This book covers current advances and practices in machining fibre-reinforced polymer composites under various conventional and nonconventional processes. It presents recent research and practices for effective and efficient machining of difficult-to-cut material, providing the technological 'know-how' on delamination-free of drilling, milling, trimming, and other cutting processes on fibre-reinforced polymer composites. It also guides the reader on the selection of optimum machining parameters, tool materials, as well as tool geometry. This book is of interest to academicians, students, researchers, practitioners, and industrialists working in aerospace, automotive, marine, and construction industries.

The main purpose of this book is to present, in a unified approach, several algorithms for fixed point computation, convex feasibility and convex optimization in infinite dimensional Banach spaces, and for problems involving, eventually, infinitely many constraints. For instance, methods like the simultaneous projection algorithm for feasibility, the proximal point algorithm and the augmented Lagrangian algorithm are rigorously formulated and analyzed in this general setting and shown to be applicable to much wider classes of problems than previously known. For this purpose, a new basic concept, "total convexity", is introduced. Its properties are deeply explored, and a comprehensive theory is presented, bringing together previously unrelated ideas from Banach space geometry, finite dimensional convex optimization and functional analysis. For making a general approach possible the work aims to improve upon classical results like the Holder-Minkowsky inequality of p. This book should be of interest to both researchers in nonlinear analysis and to applied mathematicians dealing with numerical solution of integral equations, equilibrium problems, image reconstruction, and optimal control.

This book provides readers with a timely snapshot of the potential offered by and challenges posed by signal processing methods in the field of machine diagnostics and condition monitoring. It gathers contributions to the first Workshop on Signal Processing Applied to Rotating Machinery Diagnostics, held in Setif, Algeria, on April 9-10, 2017, and organized by the Applied Precision Mechanics Laboratory (LMPA) at the Institute of Precision Mechanics, University of Setif, Algeria and the Laboratory of Mechanics, Modeling and Manufacturing (LA2MP) at the National School of Engineers of Sfax. The respective chapters highlight research conducted by the two laboratories on the following main topics: noise and vibration in machines; condition monitoring in non-stationary operations; vibro-acoustic diagnosis of machinery; signal processing and pattern recognition methods; monitoring and diagnostic systems; and dynamic modeling and fault detection.

This book features selected papers presented at the 14th International Conference on Electromechanics and Robotics 'Zavalishin's Readings' - ER(ZR) 2019, held in Kursk, Russia, on April 17-20, 2019. The contributions, written by professionals, researchers and students, cover topics in the field of automatic control systems, electromechanics, electric power engineering and electrical engineering, mechatronics, robotics, automation and vibration technologies. The Zavalishin's Readings conference was established as a tribute to the memory of Dmitry Aleksandrovich Zavalishin (1900-1968) - a Russian scientist, corresponding member of the USSR Academy of Sciences, and founder of the school of valve energy converters based on electric machines and valve converters energy. The first conference was organized by the Institute of Innovative Technologies in Electromechanics and Robotics at the Saint Petersburg State University of Aerospace Instrumentation in 2006. The 2019 conference was held with the XIII International Scientific and Technical Conference "Vibration 2019", and was organized by Saint Petersburg State University of Aerospace Instrumentation (SUAI), Saint Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS) and the Southwest State University (SWSU) in with cooperation Russian Foundation for Basic Research (project No. 19-08-20021).

This book highlights recent research on sustainable production. In today's manufacturing industry, cleaner production has become a central goal. "Sustainable production" describes activities that pose no threat to future generations and are not pursued at their expense. In addition, sustainable production is a concept that can improve environmental performance and focuses on technical aspects that can be used to improve efficiency and productivity. Sustainable production is not limited to the manufacturing sector, but affects all production sectors including energy, environment, and material systems - all of which face significant challenges in connection with sustainability, e.g. efforts to reduce production's impact on the environment and to manage health and safety impacts. Key means of reducing environmental pollution from manufacturing involve reducing the main resources used in production (metals used in the machining processes, fluids/oils in production, water, and energy).

The book focuses on the next fields of computer science: combinatorial optimization, scheduling theory, decision theory, and computer-aided production management systems. It also offers a quick introduction into the theory of PSC-algorithms, which are a new class of efficient methods for intractable problems of combinatorial optimization. A PSC-algorithm is an algorithm which includes: sufficient conditions of a feasible solution optimality for which their checking can be implemented only at the stage of a feasible solution construction, and this construction is carried out by a polynomial algorithm (the first polynomial component of the PSC-algorithm); an approximation algorithm with polynomial complexity (the second polynomial component of the PSC-algorithm); also, for NP-hard combinatorial optimization problems, an exact subalgorithm if sufficient conditions were found, fulfilment of which during the algorithm execution turns it into a polynomial complexity algorithm. Practitioners and software developers will find the book useful for implementing advanced methods of production organization in the fields of planning (including operative planning) and decision making. Scientists, graduate and master students, or system engineers who are interested in problems of combinatorial optimization, decision making with poorly formalized overall goals, or a multiple regression construction will benefit from this book.

This book presents the proceedings of the International Virtual Conference on Industry 4.0 (IVCI4.0 2020). This conference brings together specialists from the academia and industry sectors to promote the exchange of knowledge, ideas, and information on the latest developments and applied technologies in the field of Industry 4.0. The book discusses a wide range of topics such as the design of smart and intelligent products, developments in recent technologies, rapid prototyping and reverse engineering, multistage manufacturing processes, manufacturing automation in the Industry 4.0 model, cloud-based products, and cyber-physical and reconfigurable systems, etc. The volume supports the transfer of vital knowledge to the next generation of academics and practitioners.

This multi-contributed volume provides a practical, applications-focused introduction to nonlinear acoustical techniques for nondestructive evaluation. Compared to linear techniques, nonlinear acoustical/ultrasonic techniques are much more sensitive to micro-cracks and other types of small distributed damages. Most materials and structures exhibit nonlinear behavior due to the formation of dislocation and micro-cracks from fatigue or other types of repetitive loadings well before detectable macro-cracks are formed. Nondestructive evaluation (NDE) tools that have been developed based on nonlinear acoustical techniques are capable of providing early warnings about the possibility of structural failure before detectable macro-cracks are formed. This book presents the full range of nonlinear acoustical techniques used today for NDE. The expert chapters cover both theoretical and experimental aspects, but always with an eye towards applications. Unlike other titles currently available, which treat nonlinearity as a physics problem and focus on different analytical derivations, the present volume emphasizes NDE applications over detailed analytical derivations. The introductory chapter presents the fundamentals in a manner accessible to anyone with an undergraduate degree in Engineering or Physics and equips the reader with all of the necessary background to understand the remaining chapters. This self-contained volume will be a valuable reference to graduate students through practising researchers in Engineering, Materials Science, and Physics. Represents the first book on nonlinear acoustical techniques for NDE applications Emphasizes applications of nonlinear acoustical techniques Presents the fundamental physics and mathematics behind nonlinear acoustical phenomenon in a simple, easily understood manner Covers a variety of popular NDE techniques based on nonlinear acoustics in a single volume

This volume contains selected papers from the Second Quadrennial International Conference on Structural Integrity (ICONS-2018). The papers cover important topics related to structural integrity of critical installations, such as power plants, aircrafts, spacecrafts, defense and civilian components. The focus is on assuring safety of operations with high levels of reliability and structural integrity. This volume will be of interest to plant operators working with safety critical equipment, engineering solution providers, software professionals working on engineering analysis, as well as academics working in the area.

This book highlights innovative solutions together with various techniques and methods that can help support the manufacturing sector to excel in economic, social, and environmental terms in networked business environments. The book also furthers understanding of sustainable manufacturing from the perspective of value creation in manufacturing networks, by capitalizing on the outcomes of the European 'Sustainable Value Creation in Manufacturing Networks' project. New dynamics and uncertainties in modern markets call for innovative solutions in the global manufacturing sector. While the manufacturing sector is traditionally driven by technology, it also requires other managerial and organizational solutions in terms of network governance, business models, sustainable solution development for products and services, performance management portals, etc., which can provide major competitive advantages for companies. At the same time, the manufacturing industry is subject to a change process, where business networks play a major role in value-creating processes. By far the biggest challenge in this context is making value creation a sustainable process where economic, social, and environmental demands are met. Managing product and service-related business operations in manufacturing networks thus brings different challenges that cannot purely be resolved using traditional methods, and techniques. This book is an outcome of a European project funded by the European Commission, and performed by a dedicated R&D consortium comprised of some leading Research institutions and Industrial partners.

This book describes and illustrates metal spray and spray deposition from the process engineering, metallurgical, and application viewpoints. The authors include step-by-step fundamental information for the metal spray process and detail current engineering developments and applications. They offer industry insight on non-equilibrium solidification processes for yielding stable metal structures and properties.

This book reports innovative deep learning and big data analytics technologies for smart manufacturing applications. In this book, theoretical foundations, as well as the state-of-the-art and practical implementations for the relevant technologies, are covered. This book details the relevant applied research conducted by the authors in some important manufacturing applications, including intelligent prognosis on manufacturing processes, sustainable manufacturing and human-robot cooperation. Industrial case studies included in this book illustrate the design details of the algorithms and methodologies for the applications, in a bid to provide useful references to readers. Smart manufacturing aims to take advantage of advanced information and artificial intelligent technologies to enable flexibility in physical manufacturing processes to address increasingly dynamic markets. In recent years, the development of innovative deep learning and big data analytics algorithms is dramatic. Meanwhile, the algorithms and technologies have been widely applied to facilitate various manufacturing applications. It is essential to make a timely update on this subject considering its importance and rapid progress. This book offers a valuable resource for researchers in the smart manufacturing communities, as well as practicing engineers and decision makers in industry and all those interested in smart manufacturing and Industry 4.0.

This book thoroughly examines and explains the basic processing steps used in MEMS fabrication (both integrated circuit and specialized micro machining processing steps. The book places an emphasis on the process variations in the device dimensions resulting from these commonly used processing steps. This will be followed by coverage of commonly used metrology methods, process integration and variations in material properties, device parameter variations, quality assurance and control methods, and design methods for handling process variations. A detailed analysis of future methods for improved microsystems manufacturing is also included. This book is a valuable resource for practitioners, researchers and engineers working in the field as well as students at either the undergraduate or graduate level.

This book demonstrates the use of a wide range of strategic engineering concepts, theories and applied case studies to improve the safety, security and sustainability of complex and large-scale engineering and computer systems. It first details the concepts of system design, life cycle, impact assessment and security to show how these ideas can be brought to bear on the modeling, analysis and design of information systems with a focused view on cloud-computing systems and big data analytics. This informative book is a valuable resource for graduate students, researchers and industry-based practitioners working in engineering, information and business systems as well as strategy.

Focusing on the theory and techniques of digital design and manufacturing for turbine blade investment casting, this book systematically summarizes the advances in applications in this field. It describes advanced digital design theory and methods and provides practical technical references for investment casting die design and manufacturing. The theories, methods and cases presented here are largely derived from the author's practical engineering experience and the research he and his team have carried out since the 1990s. It includes academic papers, technical reports and patent literature, and provides a valuable guide to engineers involved in the die-design process. Given its comprehensive coverage, the book makes a significant contribution to investment-casting die design and aero-engine blade manufacturing, while at the same time promoting the development of aero-engine manufacturing technologies