This book presents a theoretical analysis of the modern methods used for modeling various chemical engineering processes. Currently, the two primary problems in the chemical industry are the optimal design of new devices and the optimal control of active processes. Both of these problems are often solved by developing new methods of modeling. These methods for modeling specific processes may be different, but in all cases, they bring the mathematical description closer to the real processes by using appropriate experimental data. In this book, the authors detail a new approach for the modeling of chemical processes in column apparatuses. Further, they describe the types of neural networks that have been shown to be effective in solving important chemical engineering problems. Readers are also presented with mathematical models of integrated bioethanol supply chains (IBSC) that achieve improved economic and environmental sustainability. The integration of energy and mass processes is one of the most powerful tools for creating sustainable and energy efficient production systems. This book defines the main approaches for the thermal integration of periodic processes, direct and indirect, and the recent integration of small-scale solar thermal dryers with phase change materials as energy accumulators. An exciting overview of new approaches for the modeling of chemical engineering processes, this book serves as a guide for the important innovations being made in theoretical chemical engineering.

This contributed volume explores the applications of various topics in modern differential geometry to the foundations of continuum mechanics. In particular, the contributors use notions from areas such as global analysis, algebraic topology, and geometric measure theory. Chapter authors are experts in their respective areas, and provide important insights from the most recent research. Organized into two parts, the book first covers kinematics, forces, and stress theory, and then addresses defects, uniformity, and homogeneity. Specific topics covered include: Global stress and hyper-stress theories Applications of de Rham currents to singular dislocations Manifolds of mappings for continuum mechanics Kinematics of defects in solid crystals Geometric Continuum Mechanics will appeal to graduate students and researchers in the fields of mechanics, physics, and engineering who seek a more rigorous mathematical understanding of the area. Mathematicians interested in applications of analysis and geometry will also find the topics covered here of interest.

Modern economic growth is characterized by structural changes based on the introduction of new technologies into economics. The replacement and renova tion of technologies in industrial environments undergoing technical change is clearly one of the key aspects of economic development. The mathematical modeling of evolutionary economics under technical change (TC) has been rigorously considered by many authors during last decades. There is a wide variety of economic approaches and models describing different aspects of technical change. Among these are the models of embodied technical progress [19], [35], [70], [129], endogenous growth models [94], [102], the models of technological innovations [31], [32], [41], and others. The perspective self organization evolutionary approach is developed in [20], [38], [122], [123], [124], [126], which unites the aspects of diffusion of new technologies, technological and behavioral diversity of firms, learning mechanisms, age-dependent effects, and other important features of real-life economics. On the whole, an interest in evolutionary economics has brought considerable progress in the description and conceptualization of the sources, characteristics, direction and effects of technical change [125]. However, the modeling and control of technology lifetime under technical change has received rather little attention in mathematical economics in con trary to other aspects of technical progress. The lifetime of technologies has rarely been formally treated as a part of more general mathematical theory of economic dynamics. A problem which is still to be resolved consists in establishing the rational strategies of technologies' replacement under various assumptions on the behavior of technical change.

This thesis develops a pioneering methodology and a concept for identifying critical loads and load model parameters in large power networks based on their influence on power system stability. The research described in the thesis first develops an automatic load modelling tool (ALMT) that can be used to automatically build load model from actual measured power system data without human intervention and the benefits of the ALMY are explored. Secondly, it develops a pioneering framework based on Morris screening method for ranking power system load model parameters based on their influence on overall power system stability (voltage, frequency, transient and small disturbance stability) considering different load models and loading conditions. Thirdly, a novel probabilistic methodology for determining the accuracy levels of critical load model parameters has been developed. This book will be of interest to students and researchers within the field of electrical engineering, as well as industry professionals.

This book provides an in-depth analysis of the current evolutionary machine learning techniques. Discussing the most highly regarded methods for classification, clustering, regression, and prediction, it includes techniques such as support vector machines, extreme learning machines, evolutionary feature selection, artificial neural networks including feed-forward neural networks, multi-layer perceptron, probabilistic neural networks, self-optimizing neural networks, radial basis function networks, recurrent neural networks, spiking neural networks, neuro-fuzzy networks, modular neural networks, physical neural networks, and deep neural networks. The book provides essential definitions, literature reviews, and the training algorithms for machine learning using classical and modern nature-inspired techniques. It also investigates the pros and cons of classical training algorithms. It features a range of proven and recent nature-inspired algorithms used to train different types of artificial neural networks, including genetic algorithm, ant colony optimization, particle swarm optimization, grey wolf optimizer, whale optimization algorithm, ant lion optimizer, moth flame algorithm, dragonfly algorithm, salp swarm algorithm, multi-verse optimizer, and sine cosine algorithm. The book also covers applications of the improved artificial neural networks to solve classification, clustering, prediction and regression problems in diverse fields.

This book provides a broad overview of essential features of subsurface environmental modelling at the science-policy interface, offering insights into the potential challenges in the field of subsurface flow and transport, as well as the corresponding computational modelling and its impact on the area of policy- and decision-making. The book is divided into two parts: Part I presents models, methods and software at the science-policy interface. Building on this, Part II illustrates the specifications using detailed case studies of subsurface environmental modelling. It also includes a systematic research overview and discusses the anthropogenic use of the subsurface, with a particular focus on energy-related technologies, such as carbon sequestration, geothermal technologies, fluid and energy storage, nuclear waste disposal, and unconventional oil and gas recovery.

This book presents a collection of contributions in the field of Artificial Neural Networks (ANNs). The themes addressed are multidisciplinary in nature, and closely connected in their ultimate aim to identify features from dynamic realistic signal exchanges and invariant machine representations that can be exploited to improve the quality of life of their end users. Mathematical tools like ANNs are currently exploited in many scientific domains because of their solid theoretical background and effectiveness in providing solutions to many demanding tasks such as appropriately processing (both for extracting features and recognizing) mono- and bi-dimensional dynamic signals, solving strong nonlinearities in the data and providing general solutions for deep and fully connected architectures. Given the multidisciplinary nature of their use and the interdisciplinary characterization of the problems they are applied to - which range from medicine to psychology, industrial and social robotics, computer vision, and signal processing (among many others) - ANNs may provide a basis for redefining the concept of information processing. These reflections are supported by theoretical models and applications presented in the chapters of this book. This book is of primary importance for: (a) the academic research community, (b) the ICT market, (c) PhD students and early-stage researchers, (d) schools, hospitals, rehabilitation and assisted-living centers, and (e) representatives of multimedia industries and standardization bodies.

This book provides engineers and researchers knowledge to help them in system reliability analysis using machine learning, artificial intelligence, big data, genetic algorithm, information theory, multi-criteria decision making, and other techniques. It will also be useful to students learning reliability engineering. The book brings readers up to date with how system reliability relates to the latest techniques of AI, big data, genetic algorithm, information theory, and multi-criteria decision making and points toward future developments in the subject.

This book provides novel concepts and techniques for air traffic management (ATM) and communications, navigation, and surveillance (CNS) systems. The book consists of selected papers from the 6th ENRI International Workshop on ATM/CNS (EIWAC2019) held in Tokyo in October 2019, the theme of which was "Exploring Ideas for World Aviation Challenges". Included are key topics to realize safer and more efficient skies in the future, linked to the integrated conference theme consisting of long-term visions based on presentations from various fields. The book is dedicated not only to researchers, academicians, and university students, but also to engineers in the industry, air navigation service providers (ANSPs), and regulators of aviation.

This book contains a selection of research articles written by prominent researchers participating in The 27th World Congress on Engineering (WCE 2019) which was held in London, UK, July 3-5, 2019. Topics covered include engineering mathematics, electrical engineering, communications systems, computer science, chemical engineering, systems engineering, manufacturing engineering, and industrial applications. With contributions carefully chosen to represent the most cutting-edge research presented during the conference, the book contains some of the state of the art in engineering technologies and the physical sciences and their applications and serves as a useful reference for researchers and graduate students working in these fields.

This volume discusses the theoretical foundations of a new inter- and intra-disciplinary meta-research discipline, which can be succinctly called cognitive metamathematics, with the ultimate goal of achieving a global instance of concrete Artificial Mathematical Intelligence (AMI). In other words, AMI looks for the construction of an (ideal) global artificial agent being able to (co-)solve interactively formal problems with a conceptual mathematical description in a human-style way. It first gives formal guidelines from the philosophical, logical, meta-mathematical, cognitive, and computational points of view supporting the formal existence of such a global AMI framework, examining how much of current mathematics can be completely generated by an interactive computer program and how close we are to constructing a machine that would be able to simulate the way a modern working mathematician handles solvable mathematical conjectures from a conceptual point of view. The thesis that it is possible to meta-model the intellectual job of a working mathematician is heuristically supported by the computational theory of mind, which posits that the mind is in fact a computational system, and by the meta-fact that genuine mathematical proofs are, in principle, algorithmically verifiable, at least theoretically. The introduction to this volume provides then the grounding multifaceted principles of cognitive metamathematics, and, at the same time gives an overview of some of the most outstanding results in this direction, keeping in mind that the main focus is human-style proofs, and not simply formal verification. The first part of the book presents the new cognitive foundations of mathematics' program dealing with the construction of formal refinements of seminal (meta-)mathematical notions and facts. The second develops positions and formalizations of a global taxonomy of classic and new cognitive abilities, and computational tools allowing for calculation of formal conceptual blends are described. In particular, a new cognitive characterization of the Church-Turing Thesis is presented. In the last part, classic and new results concerning the co-generation of a vast amount of old and new mathematical concepts and the key parts of several standard proofs in Hilbert-style deductive systems are shown as well, filling explicitly a well-known gap in the mechanization of mathematics concerning artificial conceptual generation.

This book addresses the applications of Fourier transform to smile modeling. Smile effect is used generically by ?nancial engineers and risk managers to refer to the inconsistences of quoted implied volatilities in ?nancial markets, or more mat- matically, to the leptokurtic distributions of ?nancial assets and indices. Therefore, a sound modeling of smile effect is the central challenge in quantitative ?nance. Since more than one decade, Fourier transform has triggered a technical revolution in option pricing theory. Almost all new developed option pricing models, es- cially in connection with stochastic volatility and random jump, have extensively applied Fourier transform and the corresponding inverse transform to express - tion pricing formulas. The large accommodation of the Fourier transform allows for a very convenient modeling with a general class of stochastic processes and d- tributions. This book is then intended to present a comprehensive treatment of the Fourier transform in the option valuation, covering the most stochastic factors such as stochastic volatilities and interest rates, Poisson and Levy jumps, including some asset classes such as equity, FX and interest rates, and providing numerical ex- ples and prototype programming codes. I hope that readers will bene't from this book not only by gaining an overview of the advanced theory and the vast large l- erature on these topics, but also by gaining a ?rst-hand feedback from the practice on the applications and implementations of the theory."

This proceedings volume contains a selection of papers presented at the Fourth International Conference on High Performance Scientific Computing held at the Hanoi Institute of Mathematics, Vietnamese Academy of Science and Technology (VAST), March 2-6, 2009. The conference was organized by the Hanoi Institute of Mathematics, the Interdisciplinary Center for Scientific Computing (IWR), Heidelberg, and its Heidelberg Graduate School of Mathematical and Computational Methods for the Sciences, and Ho Chi Minh City University of Technology. The contributions cover the broad interdisciplinary spectrum of scientific computing and present recent advances in theory, development of methods, and applications in practice. Subjects covered are mathematical modelling, numerical simulation, methods for optimization and control, parallel computing, software development, applications of scientific computing in physics, mechanics, biology and medicine, engineering, hydrology problems, transport, communication networks, production scheduling, industrial and commercial problems.

This book introduces the engineering application of the discrete element method (DEM), especially the simulation analysis of the typical equipment (scraper conveyor, coal silos, subsoiler) in the coal and agricultural machinery. In this book, the DEM is applied to build rigid and loose coupling model, and the kinematic effect of the bulk materials, the mechanical effect of the interaction between the bulk materials, and the mechanical equipment in the operation process of the relevant equipment are studied. On this basis, the optimization design strategy of the relevant structure is proposed. This book effectively promotes the application of DEM in engineering, analyzes the operation state, failure mechanism, and operation effect of related equipment in operation, and provides theoretical basis for the optimal design of equipment. The book is intended for undergraduate and graduate students who are interested in mechanical engineering, researchers investigating coal and agricultural machinery, and engineers working on designing related equipments.

This book gathers a selection of invited and contributed lectures from the European Conference on Numerical Mathematics and Advanced Applications (ENUMATH) held in Lausanne, Switzerland, August 26-30, 2013. It provides an overview of recent developments in numerical analysis, computational mathematics and applications from leading experts in the field. New results on finite element methods, multiscale methods, numerical linear algebra and discretization techniques for fluid mechanics and optics are presented. As such, the book offers a valuable resource for a wide range of readers looking for a state-of-the-art overview of advanced techniques, algorithms and results in numerical mathematics and scientific computing.

The new edition includes additional analytical methods in the classical theory of viscoelasticity. This leads to a new theory of finite linear viscoelasticity of incompressible isotropic materials. Anisotropic viscoplasticity is completely reformulated and extended to a general constitutive theory that covers crystal plasticity as a special case.

The unification of symbolist and connectionist models is a major trend in AI. The key is to keep the symbolic semantics unchanged. Unfortunately, present embedding approaches cannot. The approach in this book makes the unification possible. It is indeed a new and promising approach in AI. -Bo Zhang, Director of AI Institute, Tsinghua It is indeed wonderful to see the reviving of the important theme Nural Symbolic Model. Given the popularity and prevalence of deep learning, symbolic processing is often neglected or downplayed. This book confronts this old issue head on, with a historical look, incorporating recent advances and new perspectives, thus leading to promising new methods and approaches. -Ron Sun (RPI), on Governing Board of Cognitive Science Society Both for language and humor, approaches like those described in this book are the way to snickerdoodle wombats. -Christian F. Hempelmann (Texas A&M-Commerce) on Executive Board of International Society for Humor Studies

Part of the broader research field of natural computing, Membrane Computing is an area within computing science that aims to abstract computing ideas and models from the structure and functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. It studies models of computation (known as P systems) inspired by the biochemistry of cells, in particular by the role of membranes in the compartmentalization of living cells into "protected reactors."
This handbook provides both a comprehensive survey of available knowledge and established research topics, and a guide to recent developments in the field, covering the subject from theory to applications. The handbook is suitable both for introducing novices to this area of research, and as a main source of reference for active researchers. It sets out the necessary biological and formal background, with the introductory chapter serving as a gentle introduction to and overview of membrane computing. Individual chapters, written by leading researchers in membrane computing, present the state of the art of all main research trends and include extensive bibliographies.

Exploring Mathematical Modeling in Biology through Case Studies and Experimental Activities provides supporting materials for courses taken by students majoring in mathematics, computer science or in the life sciences. The book's cases and lab exercises focus on hypothesis testing and model development in the context of real data. The supporting mathematical, coding and biological background permit readers to explore a problem, understand assumptions, and the meaning of their results. The experiential components provide hands-on learning both in the lab and on the computer. As a beginning text in modeling, readers will learn to value the approach and apply competencies in other settings. Included case studies focus on building a model to solve a particular biological problem from concept and translation into a mathematical form, to validating the parameters, testing the quality of the model and finally interpreting the outcome in biological terms. The book also shows how particular mathematical approaches are adapted to a variety of problems at multiple biological scales. Finally, the labs bring the biological problems and the practical issues of collecting data to actually test the model and/or adapting the mathematics to the data that can be collected.

This book presents recent mathematical methods in the area of inverse problems in imaging with a particular focus on the computational aspects and applications. The formulation of inverse problems in imaging requires accurate mathematical modeling in order to preserve the significant features of the image. The book describes computational methods to efficiently address these problems based on new optimization algorithms for smooth and nonsmooth convex minimization, on the use of structured (numerical) linear algebra, and on multilevel techniques. It also discusses various current and challenging applications in fields such as astronomy, microscopy, and biomedical imaging. The book is intended for researchers and advanced graduate students interested in inverse problems and imaging.

Curated by the Fields Institute for Research in Mathematical Sciences from their COVID-19 Math Modelling Seminars, this first in a series of volumes on the mathematics of public health allows readers to access the dominant ideas and techniques being used in this area, while indicating problems for further research. This work brings together experts in mathematical modelling from across Canada and the world, presenting the latest modelling methods as they relate to the COVID-19 pandemic. A primary aim of this book is to make the content accessible so that researchers share the core methods that may be applied elsewhere. The mathematical theories and technologies in this book can be used to support decision makers on critical issues such as projecting outbreak trajectories, evaluating public health interventions for infection prevention and control, developing optimal strategies to return to a new normal, and designing vaccine candidates and informing mass immunization program. Topical coverage includes: basic susceptible-exposed-infectious-recovered (SEIR) modelling framework modified and applied to COVID-19 disease transmission dynamics; nearcasting and forecasting for needs of critical medical resources including personal protective equipment (PPE); predicting COVID-19 mortality; evaluating effectiveness of convalescent plasma treatment and the logistic implementation challenges; estimating impact of delays in contact tracing; quantifying heterogeneity in contact mixing and its evaluation with social distancing; modelling point of care diagnostics of COVID-19; and understanding non-reporting and underestimation. Further, readers will have the opportunity to learn about current modelling methodologies and technologies for emerging infectious disease outbreaks, pandemic mitigation rapid response, and the mathematics behind them. The volume will help the general audience and experts to better understand the important role that mathematics has been playing during this on-going crisis in supporting critical decision-making by governments and public health agencies.

This book describes analytical methods for modelling drop evaporation, providing the mathematical tools needed in order to generalise transport and constitutive equations and to find analytical solutions in curvilinear coordinate systems. Transport phenomena in gas mixtures are treated in considerable detail, and the basics of differential geometry are introduced in order to describe interface-related transport phenomena. One chapter is solely devoted to the description of sixteen different orthogonal curvilinear coordinate systems, reporting explicitly on the forms of their differential operators (gradient, divergent, curl, Laplacian) and transformation matrices. The book is intended to guide the reader from mathematics, to physical descriptions, and ultimately to engineering applications, in order to demonstrate the effectiveness of applied mathematics when properly adapted to the real world. Though the book primarily addresses the needs of engineering researchers, it will also benefit graduate students.

This book demonstrates that different rudder configurations have different hydrodynamic characteristics, which are influenced by the profile, the parameters, and the specific configuration. The author proposes new regression formulas to help naval architects quickly estimate the rudder-induced forces and moments in maneuvering. Furthermore, the author proposes and validates an integrated maneuvering model for both seagoing ships and inland vessels. Using the proposed regression formulas and maneuvering model, the specific impacts of rudder configurations on inland vessel maneuverability are studied. In turn, the book demonstrates the application of Reynolds-Averaged Navier-Stokes (RANS) simulations to obtain rudder hydrodynamic characteristics, and the integration of the RANS results into maneuvering models as an accurate estimation of rudder forces and moments needed to quantify the impacts of rudder configurations on ships' maneuvering performance. In addition, the author proposes new criteria for the prediction and evaluation of inland vessel maneuverability. Simulations of ships with various rudder configurations are presented, in order to analyze the impacts of rudder configurations on ship maneuverability in different classic and proposed test maneuvers. Offering essential guidance on the effects of rudders for inland vessel maneuverability, and helping practical engineers make informed design choices, the book is of interest to researchers and academics in the field of naval engineering, as well as students of naval architecture. Industrial practitioners working on ship design may also find it beneficial.

The third edition of the by now classic reference on rigorous analysis of symmetry breaking in both classical and quantum field theories adds new topics of relevance, in particular the effect of dynamical Coulomb delocalization, by which boundary conditions give rise to volume effects and to energy/mass gap in the Goldstone spectrum (plasmon spectrum, Anderson superconductivity, Higgs phenomenon). The book closes with a discussion of the physical meaning of global and local gauge symmetries and their breaking, with attention to the effect of gauge group topology in QCD. From the reviews of the first edition: It is remarkable to see how much material can actually be presented in a rigorous way (incidentally, many of the results presented are due to Strocchi himself), yet this is largely ignored, the original heuristic derivations being, as a rule, more popular. - At each step he strongly emphasizes the physical meaning and motivation of the various notions introduced [...] a book that fills a conspicuous gap in the literature, and does it rather well. It could also be a good basis for a graduate course in mathematical physics. J.-P. Antoine, Physicalia 28/2, 2006 Despite many accounts in popular textbooks and a widespread belief, the phenomenon is rather subtle, requires an infinite set of degrees of freedom and an advanced mathematical setting of the system under investigation. [...] The mathematically oriented graduate student will certainly benefit from this thorough, rigorous and detailed investigation. G. Roepstorff, Zentralblatt MATH, Vol. 1075, 2006 From the reviews of the second edition: This second edition of Strocchi's Symmetry Breaking presents a complete, generalized and highly rigorous discussion of the subject, based on a formal analysis of conditions necessary for the mechanism of spontaneous symmetry breaking to occur in classical systems, as well as in quantum systems. [...] This book is specifically recommended for mathematical physicists interested in a deeper and rigorous understanding of the subject, and it should be mandatory for researchers studying the mechanism of spontaneous symmetry breaking. S. Hajjawi, Mathematical Reviews, 2008

This book addresses dynamic modelling methodology and analyses of tree-type robotic systems. Such analyses are required to visualize the motion of a system without really building it. The book contains novel treatment of the tree-type systems using concept of kinematic modules and the corresponding Decoupled Natural Orthogonal Complements (DeNOC), unified representation of the multiple-degrees-of freedom-joints, efficient recursive dynamics algorithms, and detailed dynamic analyses of several legged robots. The book will help graduate students, researchers and practicing engineers in applying their knowledge of dynamics for analysis of complex robotic systems. The knowledge contained in the book will help one in virtual testing of robot operation, trajectory planning and control.