This volume provides a unique collection of mathematical tools and industrial case studies in digital manufacturing. It addresses various topics, ranging from models of single production technologies, production lines, logistics and workflows to models and optimization strategies for energy consumption in production. The digital factory represents a network of digital models and simulation and 3D visualization methods for the holistic planning, realization, control and ongoing improvement of all factory processes related to a specific product. In the past ten years, all industrialized countries have launched initiatives to realize this vision, sometimes also referred to as Industry 4.0 (in Europe) or Smart Manufacturing (in the United States). Its main goals are * reconfigurable, adaptive and evolving factories capable of small-scale production * high-performance production, combining flexibility, productivity, precision and zero defects * energy and resource efficiency in manufacturing None of these goals can be achieved without a thorough modeling of all aspects of manufacturing together with a multi-scale simulation and optimization of process chains; in other words, without mathematics. To foster collaboration between mathematics and industry in this area the European Consortium for Mathematics in Industry (ECMI) founded a special interest group on Math for the Digital Factory (M4DiFa). This book compiles a selection of review papers from the M4DiFa kick-off meeting held at the Weierstrass Institute for Applied Analysis and Stochastics in Berlin, Germany, in May 2014. The workshop aimed at bringing together mathematicians working on modeling, simulation and optimization with researchers and practitioners from the manufacturing industry to develop a holistic mathematical view on digital manufacturing. This book is of interest to practitioners from industry who want to learn about important mathematical concepts, as well as to scientists who want to find out about an exciting new area of application that is of vital importance for today's highly industrialized and high-wage countries.

This book gives an introduction to the finite element method as a general computational method for solving partial differential equations approximately. Our approach is mathematical in nature with a strong focus on the underlying mathematical principles, such as approximation properties of piecewise polynomial spaces, and variational formulations of partial differential equations, but with a minimum level of advanced mathematical machinery from functional analysis and partial differential equations.In principle, the material should be accessible to students with only knowledge of calculus of several variables, basic partial differential equations, and linear algebra, as the necessary concepts from more advanced analysis are introduced when needed. Throughout the text we emphasize implementation of the involved algorithms, and have therefore mixed mathematical theory with concrete computer code using the numerical software MATLAB is and its PDE-Toolbox.We have also had the ambition to cover some of the most important applications of finite elements and the basic finite element methods developed for those applications, including diffusion and transport phenomena, solid and fluid mechanics, and also electromagnetics.

The paradigm of complexity is pervading both science and engineering, le- ing to the emergence of novel approaches oriented at the development of a systemic view of the phenomena under study; the de?nition of powerful tools for modelling, estimation, and control; and the cross-fertilization of di?erent disciplines and approaches. One of the most promising paradigms to cope with complexity is that of networked systems. Complex, dynamical networks are powerful tools to model, estimate, and control many interesting phenomena, like agent coordination, synch- nization, social and economics events, networks of critical infrastructures, resourcesallocation, informationprocessing, controlovercommunicationn- works, etc. Advances in this ?eld are highlighting approaches that are more and more oftenbasedondynamicalandtime-varyingnetworks, i.e.networksconsisting of dynamical nodes with links that can change over time. Moreover, recent technological advances in wireless communication and decreasing cost and size of electronic devices are promoting the appearance of large inexpensive interconnected systems, each with computational, sensing and mobile ca- bilities. This is fostering the development of many engineering applications, which exploit the availability of these systems of systems to monitor and control very large-scale phenomena with ?ne resoluti

PMThis work presents a thorough treatment of boundary element methods (BEM) for solving strongly elliptic boundary integral equations obtained from boundary reduction of elliptic boundary value problems?? in $\mathbb{R}^3$. The book is self-contained, the prerequisites on elliptic partial differential and integral equations being presented in Chapters 2 and 3. The main focus is on the development, analysis, and implementation of Galerkin boundary element methods, which is one of the most flexible and robust numerical discretization methods for integral equations. For the efficient realization of the Galerkin BEM, it is essential to replace time-consuming steps in the numerical solution process with fast algorithms. In Chapters 5-9 these methods are developed, analyzed, and formulated in an algorithmic wa

This book describes new methods developed for modelling dynamics of machines commonly used in the offshore industry. These methods are based both on the rigid finite element method, used for the description of link deformations, and on homogeneous transformations and joint coordinates, which is applied to the modelling of multibody system dynamics. In this monograph, the bases of the rigid finite element method and homogeneous transformations are introduced. Selected models for modelling dynamics of offshore devices are then verified both by using commercial software, based on the finite element method, as well as by using additional methods. Examples of mathematical models of offshore machines, such as a gantry crane for Blowout-Preventer (BOP) valve block transportation, a pedestal crane with shock absorber, and pipe laying machinery are presented. Selected problems of control in offshore machinery as well as dynamic optimization in device control are also discussed. Additionally, numerical simulations of pipe-laying operations taking active reel drive into account are shown.

The book covers the state-of-the-art treatment in modelling and experimental investigation of the mechanical behaviour of cellular and porous materials. Starting from the continuum mechanical modelling, to the numerical simulation, several important questions related to applications such as the fracture and impact behaviour are covered.

This book is devoted to Professor Jurgen Lehn, who passed away on September 29, 2008, at the age of 67. It contains invited papers that were presented at the Wo- shop on Recent Developments in Applied Probability and Statistics Dedicated to the Memory of Professor Jurgen Lehn, Middle East Technical University (METU), Ankara, April 23-24, 2009, which was jointly organized by the Technische Univ- sitat Darmstadt (TUD) and METU. The papers present surveys on recent devel- ments in the area of applied probability and statistics. In addition, papers from the Panel Discussion: Impact of Mathematics in Science, Technology and Economics are included. Jurgen Lehn was born on the 28th of April, 1941 in Karlsruhe. From 1961 to 1968 he studied mathematics in Freiburg and Karlsruhe, and obtained a Diploma in Mathematics from the University of Karlsruhe in 1968. He obtained his Ph.D. at the University of Regensburg in 1972, and his Habilitation at the University of Karlsruhe in 1978. Later in 1978, he became a C3 level professor of Mathematical Statistics at the University of Marburg. In 1980 he was promoted to a C4 level professorship in mathematics at the TUD where he was a researcher until his death."

The advent of rapid, reliable and cheap computing power over the last decades has transformed many, if not most, fields of science and engineering. The multidisciplinary field of optimization is no exception. First of all, with fast computers, researchers and engineers can apply classical optimization methods to problems of larger and larger size. In addition, however, researchers have developed a host of new optimization algorithms that operate in a rather different way than the classical ones, and that allow practitioners to attack optimization problems where the classical methods are either not applicable or simply too costly (in terms of time and other resources) to apply. This book is intended as a course book for introductory courses in stochastic optimization algorithms (in this book, the terms optimization method and optimization algorithm will be used interchangeably), and it has grown from a set of lectures notes used in courses, taught by the author, at the international master programme Complex Adaptive Systems at Chalmers University of Technology in Goteborg, Sweden.Thus, a suitable audience for this book are third and fourth-year engineering students, with a background in engineering mathematics (analysis, algebra, and probability theory) as well as some knowledge of computer programming.

This book treats the derivation and implementation of a unified particle finite element formulation for the solution of fluid and solid mechanics, Fluid-Structure Interaction (FSI) and coupled thermal problems. FSI problems are involved in many engineering branches, from aeronautics to civil and biomedical engineering. The numerical method proposed in this book has been designed to deal with a large part of these. In particular, it is capable of simulating accurately free-surface fluids interacting with structures that may undergo large displacements, suffer from thermo-plastic deformations and even melt. The method accuracy has been successfully verified in several numerical examples. The thesis also contains the application of the proposed numerical strategy for the simulation of a real industrial problem. This thesis, defended at the Universitat Politecnica de Catalunya in 2015, was selected (ex aequo) as the best PhD thesis in numerical methods in Spain for the year 2015 by the Spanish Society of Numerical Methods in Engineering (SEMNI).

The rapid increase in computing power and communication speed, coupled with computer storage facilities availability, has led to a new age of multimedia app- cations. Multimedia is practically everywhere and all around us we can feel its presence in almost all applications ranging from online video databases, IPTV, - teractive multimedia and more recently in multimedia based social interaction. These new growing applications require high-quality data storage, easy access to multimedia content and reliable delivery. Moving ever closer to commercial - ployment also aroused a higher awareness of security and intellectual property management issues. All the aforementioned requirements resulted in higher demands on various - eas of research (signal processing, image/video processing and analysis, com- nication protocols, content search, watermarking, etc.). This book covers the most prominent research issues in multimedia and is divided into four main sections: i) content based retrieval, ii) storage and remote access, iii) watermarking and co- right protection and iv) multimedia applications. Chapter 1 of the first section presents an analysis on how color is used and why is it crucial in nowadays multimedia applications. In chapter 2 the authors give an overview of the advances in video abstraction for fast content browsing, transm- sion, retrieval and skimming in large video databases and chapter 3 extends the discussion on video summarization even further. Content retrieval problem is tackled in chapter 4 by describing a novel method for producing meaningful s- ments suitable for MPEG-7 description based on binary partition trees (BPTs).

In their 1909 publication Theorie des corps deformables, Eugene and Francois Cosserat made a historic contribution to materials science by establishing the fundamental principles of the mechanics of generalized continua. The chapters collected in this volume showcase the many areas of continuum mechanics that grew out of the foundational work of the Cosserat brothers.

The included contributions provide a detailed survey of the most recent theoretical developments in the field of generalized continuum mechanics. The diverse topics covered include: the properties of Cosserat media, micromorphic bodies, micropolar solids and fluids, weakly- and strongly-nonlocal theories, gradient theories of elasticity and plasticity, defect theory, everywhere-defective materials, bodies with fractal structure, as well as other related topics.

Mechanics of Generalized Continua can serve as a useful reference for graduate students and researchers in mechanical engineering, materials science, applied physics and applied mathematics."

This book is about synergy in computational intelligence (CI). It is a c- lection of chapters that covers a rich and diverse variety of computer-based techniques, all involving some aspect of computational intelligence, but each one taking a somewhat pragmatic view. Many complex problems in the real world require the application of some form of what we loosely call "intel- gence"fortheirsolution. Fewcanbesolvedbythenaiveapplicationofasingle technique, however good it is. Authors in this collection recognize the li- tations of individual paradigms, and propose some practical and novel ways in which di?erent CI techniques can be combined with each other, or with more traditional computational techniques, to produce powerful probl- solving environments which exhibit synergy, i. e., systems in which the whole 1 is greater than the sum of the parts . Computational intelligence is a relatively new term, and there is some d- agreement as to its precise de?nition. Some practitioners limit its scope to schemes involving evolutionary algorithms, neural networks, fuzzy logic, or hybrids of these. For others, the de?nition is a little more ?exible, and will include paradigms such as Bayesian belief networks, multi-agent systems, case-based reasoning and so on. Generally, the term has a similar meaning to the well-known phrase "Arti?cial Intelligence" (AI), although CI is p- ceived moreas a "bottom up" approachfrom which intelligent behaviour can emerge, whereasAItendstobestudiedfromthe"topdown,"andderivefrom pondering upon the "meaning of intelligence." (These and other key issues will be discussed in more detail in Chapter 1.

Improved geospatial instrumentation and technology such as in laser scanning has now resulted in millions of data being collected, e.g., point clouds. It is in realization that such huge amount of data requires efficient and robust mathematical solutions that this third edition of the book extends the second edition by introducing three new chapters: Robust parameter estimation, Multiobjective optimization and Symbolic regression. Furthermore, the linear homotopy chapter is expanded to include nonlinear homotopy. These disciplines are discussed first in the theoretical part of the book before illustrating their geospatial applications in the applications chapters where numerous numerical examples are presented. The renewed electronic supplement contains these new theoretical and practical topics, with the corresponding Mathematica statements and functions supporting their computations introduced and applied. This third edition is renamed in light of these technological advancements.

Simulation based on mathematical models plays a major role in computer aided design of integrated circuits (ICs). Decreasing structure sizes, increasing packing densities and driving frequencies require the use of refined mathematical models, and to take into account secondary, parasitic effects. This leads to very high dimensional problems which nowadays require simulation times too large for the short time-to-market demands in industry. Modern Model Order Reduction (MOR) techniques present a way out of this dilemma in providing surrogate models which keep the main characteristics of the device while requiring a significantly lower simulation time than the full model. With Model Reduction for Circuit Simulation we survey the state of the art in the challenging research field of MOR for ICs, and also address its future research directions. Special emphasis is taken on aspects stemming from miniturisations to the nano scale. Contributions cover complexity reduction using e.g., balanced truncation, Krylov-techniques or POD approaches. For semiconductor applications a focus is on generalising current techniques to differential-algebraic equations, on including design parameters, on preserving stability, and on including nonlinearity by means of piecewise linearisations along solution trajectories (TPWL) and interpolation techniques for nonlinear parts. Furthermore the influence of interconnects and power grids on the physical properties of the device is considered, and also top-down system design approaches in which detailed block descriptions are combined with behavioral models. Further topics consider MOR and the combination of approaches from optimisation and statistics, and the inclusion of PDE models with emphasis on MOR for the resulting partial differential algebraic systems. The methods which currently are being developed have also relevance in other application areas such as mechanical multibody systems, and systems arising in chemistry and to biology. The current number of books in the area of MOR for ICs is very limited, so that this volume helps to fill a gap in providing the state of the art material, and to stimulate further research in this area of MOR. Model Reduction for Circuit Simulation also reflects and documents the vivid interaction between three active research projects in this area, namely the EU-Marie Curie Action ToK project O-MOORE-NICE (members in Belgium, The Netherlands and Germany), the EU-Marie Curie Action RTN-project COMSON (members in The Netherlands, Italy, Germany, and Romania), and the German federal project System reduction in nano-electronics (SyreNe).

This volume deals with topics such as mechanism and machine design, biomechanics and medical engineering, gears, mechanical transmissions, mechatronics, computational and experimental methods, dynamics of mechanisms and machines, micromechanisms and microactuators, and history of mechanisms and transmissions. Following MeTrApp 2011 and 2013, held under the auspices of the IFToMM, these proceedings of the 3rd Conference on Mechanisms, Transmissions and Applications offer a platform for original research presentations for researchers, scientists, industry experts and students in the fields of mechanisms and transmissions with special emphasis on industrial applications in order to stimulate the exchange of new and innovative ideas.

The book includes different contributions that cover interdisciplinary research in the areas of * Error controlled numerical methods, efficient algorithms and software development * Elastic and in elastic deformation processes * Models with multiscales and multi-physics "High Performance" adaptive numerical methods using finite elements (FEM) and boundary elements (BEM) are described as well as efficient solvers for linear systems and corresponding software components for non-linear, coupled field equations of various branches of mechanics, electromagnetics, and geosciences.

These are the proceedings of the 20th international conference on domain decomposition methods in science and engineering. Domain decomposition methods are iterative methods for solving the often very large linearor nonlinear systems of algebraic equations that arise when various problems in continuum mechanics are discretized using finite elements. They are designed for massively parallel computers and take the memory hierarchy of such systems in mind. This is essential for approaching peak floating point performance. There is an increasingly well developed theory whichis having a direct impact on the development and improvements of these algorithms.

This new Handbook addresses the state of the art in the application of operations research models to problems in preventing terrorist attacks, planning and preparing for emergencies, and responding to and recovering from disasters. The purpose of the book is to enlighten policy makers and decision makers about the power of operations research to help organizations plan for and respond to terrorist attacks, natural disasters, and public health emergencies, while at the same time providing researchers with one single source of up-to-date research and applications. The Handbook consists of nine separate chapters: Using Operations Research Methods for Homeland Security Problems Operations Research and Homeland Security: Overview and Case Study of Pandemic Influenza Deployed Security Games for Patrol Planning Interdiction Models and Applications Time Discrepant Shipments in Manifest Data Achieving Realistic Levels of Defensive Hedging Mitigating the Risk of an Anthrax Attack with Medical Countermeasures Service Networks for Public Health Preparedness and Large-scale Disaster Relief Efforts Disaster Response Planning in the Private Sector

This book is the first monograph providing an introduction to and an overview of numerical methods for the simulation of two-phase incompressible flows. The Navier-Stokes equations describing the fluid dynamics are examined in combination with models for mass and surfactant transport. The book pursues a comprehensive approach: important modeling issues are treated, appropriate weak formulations are derived, level set and finite element discretization techniques are analyzed, efficient iterative solvers are investigated, implementational aspects are considered and the results of numerical experiments are presented. The book is aimed at M Sc and PhD students and other researchers in the fields of Numerical Analysis and Computational Engineering Science interested in the numerical treatment of two-phase incompressible flows.

This book is aimed at those readers who already have some knowledge of mathematical methods and have also been introduced to the basic ideas of quantum optics. It should be attractive to students who have already explored one of the more introductory texts such as Loudon's The quantum theory of light (2/e, 1983, OUP) and are seeking to acquire the mathematical skills used in real problems. This book is not primarily about the physics of quantum optics but rather presents the mathematical methods widely used by workers in this field. There is no comparable book which covers either the range or the depth of mathematical techniques.

This unique book describes, analyses, and improves various approaches and techniques for the numerical solution of delay differential equations. It includes a list of available codes and also aids the reader in writing his or her own.

This monograph presents the state of the art in aeroservoelastic (ASE) modeling and analysis and develops a systematic theoretical and computational framework for use by researchers and practicing engineers. It is the first book to focus on the mathematical modeling of structural dynamics, unsteady aerodynamics, and control systems to evolve a generic procedure to be applied for ASE synthesis. Existing robust, nonlinear, and adaptive control methodology is applied and extended to some interesting ASE problems, such as transonic flutter and buffet, post-stall buffet and maneuvers, and flapping flexible wing. The author derives a general aeroservoelastic plant via the finite-element structural dynamic model, unsteady aerodynamic models for various regimes in the frequency domain, and the associated state-space model by rational function approximations. For more advanced models, the full-potential, Euler, and Navier-Stokes methods for treating transonic and separated flows are also briefly addressed. Essential ASE controller design and analysis techniques are introduced to the reader, and an introduction to robust control-law design methods of LQG/LTR and H2/H synthesis is followed by a brief coverage of nonlinear control techniques of describing functions and Lyapunov functions. Practical and realistic aeroservoelastic application examples derived from actual experiments are included throughout. Aeroservoelasiticity fills an important gap in the aerospace engineering literature and will be a valuable guide for graduate students and advanced researchers in aerospace engineering, as well as professional engineers, technicians, and test pilots in the aircraft industry and laboratories.

This book introduces a unique, packet-based co-design control framework for networked control systems. It begins by providing a comprehensive survey of state-of-the-art research on networked control systems, giving readers a general overview of the field. It then verifies the proposed control framework both theoretically and experimentally - the former using multiple control methodologies, and the latter using a unique online test rig for networked control systems. The framework investigates in detail the most common, communication constraints, including network-induced delays, data packet dropout, data packet disorders, and network access constraints, as well as multiple controller design and system analysis tools such as model predictive control, linear matrix inequalities and optimal control. This unique and complete co-design framework greatly benefits researchers, graduate students and engineers in the fields of control theory and engineering.

This book contains selected papers of the 11th OpenFOAM (R) Workshop that was held in Guimaraes, Portugal, June 26 - 30, 2016. The 11th OpenFOAM (R) Workshop had more than 140 technical/scientific presentations and 30 courses, and was attended by circa 300 individuals, representing 180 institutions and 30 countries, from all continents. The OpenFOAM (R) Workshop provided a forum for researchers, industrial users, software developers, consultants and academics working with OpenFOAM (R) technology. The central part of the Workshop was the two-day conference, where presentations and posters on industrial applications and academic research were shown. OpenFOAM (R) (Open Source Field Operation and Manipulation) is a free, open source computational toolbox that has a larger user base across most areas of engineering and science, from both commercial and academic organizations. As a technology, OpenFOAM (R) provides an extensive range of features to solve anything from complex fluid flows involving chemical reactions, turbulence and heat transfer, to solid dynamics and electromagnetics, among several others. Additionally, the OpenFOAM technology offers complete freedom to customize and extend its functionalities.

"Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications. The book presents what kinds of evaluation methods have been developed across many sectors, and how to pass the tests. A new adaptive structure of V&V is developed in this book, different from the simple six sigma methods usually used for large-scale systems and different from the theorem-based approach used for simplified component subsystems.