Efficient transfer between science and society is crucial for their future development. The rapid progress of information technology and computer systems offers a large potential and new perspectives for solving complex problems. Mathematical modelling and simulation have become important tools not only in scientific investigations but also in analysing, planning and controlling technological and economic processes. Mathematics, imbedded in an interdisciplinary concept, has become a key technology. The book covers the results of a variety of major projects in industrial mathematics following an initiative of the German Federal Ministry of Education and Research. All projects are collaborations of industrial companies and university-based researchers, and range from automotive industry to computer technology and medical visualisation. In general, the projects presented in this volume prove that new mathematical ideas and methods can be decisive for the solution of industrial and economic problems.
Advances in Mathematics for Industry 4.0 examines key tools, techniques, strategies, and methods in engineering applications. By covering the latest knowledge in technology for engineering design and manufacture, chapters provide systematic and comprehensive coverage of key drivers in rapid economic development. Written by leading industry experts, chapter authors explore managing big data in processing information and helping in decision-making, including mathematical and optimization techniques for dealing with large amounts of data in short periods. - Focuses on recent research in mathematics applications for Industry 4.0 - Provides insights on international and transnational scales - Identifies mathematics knowledge gaps for Industry 4.0 - Describes fruitful areas for further research in industrial mathematics, including forthcoming international studies and research
This topical survey provides an overview of the current state of the art in technology use in mathematics education, including both practice-oriented experiences and research-based evidence, as seen from an international perspective. Three core themes are discussed: Evidence of effectiveness; Digital assessment; and Communication and collaboration. The survey’s final section offers suggestions for future trends in technology-rich mathematics education and provides a research agenda reflecting those trends. Predicting what lower secondary mathematics education might look like in 2025 with respect to the role of digital tools in curricula, teaching and learning, it examines the question of how teachers can integrate physical and virtual experiences to promote a deeper understanding of mathematics. The issues and findings presented here provide an overview of current research and offer a glimpse into a potential future characterized by the effective integration of technology to support mathematics teaching and learning at the lower secondary level.
This book introduces the student to numerous modern applications of mathematics in technology. The authors write with clarity and present the mathematics in a clear and straightforward way making it an interesting and easy book to read. Numerous exercises at the end of every section provide practice and reinforce the material in the chapter. An engaging quality of this book is that the authors also present the mathematical material in a historical context and not just the practical one. Mathematics and Technology is intended for undergraduate students in mathematics, instructors and high school teachers. Additionally, its lack of calculus centricity as well as a clear indication of the more difficult topics and relatively advanced references make it suitable for any curious individual with a decent command of high school math.
This book deals with the numerical analysis and efficient numerical treatment of high-dimensional integrals using sparse grids and other dimension-wise integration techniques with applications to finance and insurance. The book focuses on providing insights into the interplay between coordinate transformations, effective dimensions and the convergence behaviour of sparse grid methods. The techniques, derivations and algorithms are illustrated by many examples, figures and code segments. Numerical experiments with applications from finance and insurance show that the approaches presented in this book can be faster and more accurate than (quasi-) Monte Carlo methods, even for integrands with hundreds of dimensions.
Images or discrete objects, to be analyzed based on digital image data, need to be represented, analyzed, transformed, recovered etc. These problems have stimulated many interesting developments in theoretical foundations of image processing. This coherent anthology presents 27 state-of-the-art surveys and research papers on digital image geometry and topology. It is based on a winter school held at Dagstuhl Castle, Germany in December 2000 and offers topical sections on topology, representation, geometry, multigrid convergence, and shape similarity and simplification.
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 book provides theoretical and practical insights related to bidirectional traffic on a stretch containing bottleneck segments. On a bottleneck segment concurrent traveling of vehicles in opposite direction is not possible. The book is motivated by and considers in particular the ship traffic at the Kiel Canal. It connects the North and Baltic Seas and is operated in both directions. In addition, considerations are included that account for the fact that ships register their requests only shortly before their arrival such that scheduling decisions must be adapted online.
This book constitutes the refereed proceedings of the Second International Conference on Combinatorial Optimization and Applications, COCOA 2008, held in St. John's, Canada, in August 2008. The 44 revised full papers were carefully reviewed and selected from 84 submissions. The papers feature original research in the areas of combinatorial optimization -- both theoretical issues and and applications motivated by real-world problems thus showing convincingly the usefulness and efficiency of the algorithms discussed in a practical setting.
This book provides a comprehensive overview of the most important and frequently considered optimization problems concerning cutting and packing. Based on appropriate modeling approaches for the problems considered, it offers an introduction to the related solution methods. It also addresses aspects like performance results for heuristic algorithms and bounds of the optimal value, as well as the packability of a given set of objects within a predefined container. The problems discussed arise in a wide variety of different fields of application and research, and as such, the fundamental knowledge presented in this book make it a valuable resource for students, practitioners, and researchers who are interested in dealing with such tasks.