Mathematics - Key Technology for the Future

Mathematics - Key Technology for the Future
Author: Willi Jäger
Publisher: Springer Science & Business Media
Total Pages: 733
Release: 2011-06-28
Genre: Computers
ISBN: 3642557538

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

Advances in Mathematics for Industry 4.0
Author: Mangey Ram
Publisher: Academic Press
Total Pages: 421
Release: 2020-10-02
Genre: Mathematics
ISBN: 012818907X

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

Technology and Mathematics

Technology and Mathematics
Author: Sven Ove Hansson
Publisher: Springer
Total Pages: 373
Release: 2018-10-24
Genre: Philosophy
ISBN: 3319937790

This volume is the first extensive study of the historical and philosophical connections between technology and mathematics. Coverage includes the use of mathematics in ancient as well as modern technology, devices and machines for computation, cryptology, mathematics in technological education, the epistemology of computer-mediated proofs, and the relationship between technological and mathematical computability. The book also examines the work of such historical figures as Gottfried Wilhelm Leibniz, Charles Babbage, Ada Lovelace, and Alan Turing.

Mathematics and Technology

Mathematics and Technology
Author: Christiane Rousseau
Publisher: Springer Science & Business Media
Total Pages: 580
Release: 2008-10-29
Genre: Mathematics
ISBN: 0387692169

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.

Digital and Image Geometry

Digital and Image Geometry
Author: Gilles Bertrand
Publisher: Springer
Total Pages: 455
Release: 2003-07-31
Genre: Computers
ISBN: 3540455760

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.

Combinatorial Optimization and Applications

Combinatorial Optimization and Applications
Author: Boting Yang
Publisher: Springer Science & Business Media
Total Pages: 491
Release: 2008-08-04
Genre: Computers
ISBN: 3540850961

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.

Coupled Electromagnetic Field/Circuit Simulation. Modeling and Numerical Analysis

Coupled Electromagnetic Field/Circuit Simulation. Modeling and Numerical Analysis
Author: Sascha Baumanns
Publisher: Logos Verlag Berlin GmbH
Total Pages: 209
Release: 2012
Genre: Mathematics
ISBN: 3832531912

Today's most commonly used circuit models increasingly tend to lose their validity in circuit simulation due to rapid technological developments, miniaturization and increased complexity of integrated circuits. The starting point of this thesis was to tackle these challenges by refining the critical parts of the circuit by combining circuit simulation directly with distributed device models. The approach set out in this thesis couples partial differential equations for electromagnetic devices - modeled by Maxwell's equations -, to differential-algebraic equations, which describe basic circuit elements including memristors and the circuit's topology. First, Maxwell's equations are spatially discretized and a potential formulation is derived, the coupled system is then formulated as a differential-algebraic equation with a properly stated leading term and analyzed. Topological and modeling conditions are presented to guarantee the tractability index of these differential-algebraic equations to be no greater than two. Finally, local solvability, perturbation results and an algorithm to calculate consistent initializations are derived for a general class of differential-algebraic equations with a properly stated leading term having tractability index-2.

Computers in Railways 12

Computers in Railways 12
Author: Bin Ning
Publisher: WIT Press
Total Pages: 1025
Release: 2010
Genre: Transportation
ISBN: 1845644689

These conference proceedings update the use of computer-based techniques, promoting their general awareness throughout the business management, design, manufacture and operation of railways and other advanced passenger, freight and transport systems.

Sparse Grid Quadrature in High Dimensions with Applications in Finance and Insurance

Sparse Grid Quadrature in High Dimensions with Applications in Finance and Insurance
Author: Markus Holtz
Publisher: Springer Science & Business Media
Total Pages: 194
Release: 2010-10-22
Genre: Mathematics
ISBN: 3642160042

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.

Model Reduction for Circuit Simulation

Model Reduction for Circuit Simulation
Author: Peter Benner
Publisher: Springer Science & Business Media
Total Pages: 317
Release: 2011-03-25
Genre: Technology & Engineering
ISBN: 940070089X

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).