Ship optimization design is critical to the preliminary design of a ship. With the rapid development of computer technology, the simulation-based design (SBD) technique has been introduced into the field of ship design. Typical SBD consists of three parts: geometric reconstruction; CFD numerical simulation; and optimization. In the context of ship design, these are used to alter the shape of the ship, evaluate the objective function and to assess the hull form space respectively. As such, the SBD technique opens up new opportunities and paves the way for a new method for optimal ship design. This book discusses the problem of optimizing ship's hulls, highlighting the key technologies of ship optimization design and presenting a series of hull-form optimization platforms. It includes several improved approaches and novel ideas with significant potential in this field

This book highlights the latest developments in the geometry of measurable sets, presenting them in simple, straightforward terms. It addresses nonlocal notions of perimeter and curvature and studies in detail the minimal surfaces associated with them. These notions of nonlocal perimeter and curvature are defined on the basis of a non-singular kernel. Further, when the kernel is appropriately rescaled, they converge toward the classical perimeter and curvature as the rescaling parameter tends to zero. In this way, the usual notions can be recovered by using the nonlocal ones. In addition, nonlocal heat content is studied and an asymptotic expansion is obtained. Given its scope, the book is intended for undergraduate and graduate students, as well as senior researchers interested in analysis and/or geometry.

This book is devoted to the mathematical analysis of the numerical solution of boundary integral equations treating boundary value, transmission and contact problems arising in elasticity, acoustic and electromagnetic scattering. It serves as the mathematical foundation of the boundary element methods (BEM) both for static and dynamic problems. The book presents a systematic approach to the variational methods for boundary integral equations including the treatment with variational inequalities for contact problems. It also features adaptive BEM, hp-version BEM, coupling of finite and boundary element methods - efficient computational tools that have become extremely popular in applications. Familiarizing readers with tools like Mellin transformation and pseudodifferential operators as well as convex and nonsmooth analysis for variational inequalities, it concisely presents efficient, state-of-the-art boundary element approximations and points to up-to-date research. The authors are well known for their fundamental work on boundary elements and related topics, and this book is a major contribution to the modern theory of the BEM (especially for error controlled adaptive methods and for unilateral contact and dynamic problems) and is a valuable resource for applied mathematicians, engineers, scientists and graduate students.

This unique text/reference presents a fresh look at nonlinear processing through nonlinear eigenvalue analysis, highlighting how one-homogeneous convex functionals can induce nonlinear operators that can be analyzed within an eigenvalue framework. The text opens with an introduction to the mathematical background, together with a summary of classical variational algorithms for vision. This is followed by a focus on the foundations and applications of the new multi-scale representation based on non-linear eigenproblems. The book then concludes with a discussion of new numerical techniques for finding nonlinear eigenfunctions, and promising research directions beyond the convex case. Topics and features: introduces the classical Fourier transform and its associated operator and energy, and asks how these concepts can be generalized in the nonlinear case; reviews the basic mathematical notion, briefly outlining the use of variational and flow-based methods to solve image-processing and computer vision algorithms; describes the properties of the total variation (TV) functional, and how the concept of nonlinear eigenfunctions relate to convex functionals; provides a spectral framework for one-homogeneous functionals, and applies this framework for denoising, texture processing and image fusion; proposes novel ways to solve the nonlinear eigenvalue problem using special flows that converge to eigenfunctions; examines graph-based and nonlocal methods, for which a TV eigenvalue analysis gives rise to strong segmentation, clustering and classification algorithms; presents an approach to generalizing the nonlinear spectral concept beyond the convex case, based on pixel decay analysis; discusses relations to other branches of image processing, such as wavelets and dictionary based methods. This original work offers fascinating new insights into established signal processing techniques, integrating deep mathematical concepts from a range of different fields, which will be of great interest to all researchers involved with image processing and computer vision applications, as well as computations for more general scientific problems.

Current research and applications in nonlinear analysis influenced by Haim Brezis and Louis Nirenberg are presented in this book by leading mathematicians. Each contribution aims to broaden reader's understanding of theories, methods, and techniques utilized to solve significant problems. Topics include: Sobolev Spaces Maximal monotone operators A theorem of Brezis-Nirenberg Operator-norm convergence of the Trotter product formula Elliptic operators with infinitely many variables Pseudo-and quasiconvexities for nonsmooth function Anisotropic surface measures Eulerian and Lagrangian variables Multiple periodic solutions of Lagrangian systems Porous medium equation Nondiscrete Lassonde-Revalski principle Graduate students and researchers in mathematics, physics, engineering, and economics will find this book a useful reference for new techniques and research areas. Haim Brezis and Louis Nirenberg's fundamental research in nonlinear functional analysis and nonlinear partial differential equations along with their years of teaching and training students have had a notable impact in the field.

This volume contains the proceedings of the XII Symposium of Probability and Stochastic Processes which took place at Universidad Autonoma de Yucatan in Merida, Mexico, on November 16-20, 2015. This meeting was the twelfth meeting in a series of ongoing biannual meetings aimed at showcasing the research of Mexican probabilists as well as promote new collaborations between the participants. The book features articles drawn from different research areas in probability and stochastic processes, such as: risk theory, limit theorems, stochastic partial differential equations, random trees, stochastic differential games, stochastic control, and coalescence. Two of the main manuscripts survey recent developments on stochastic control and scaling limits of Markov-branching trees, written by Kazutoshi Yamasaki and Benedicte Haas, respectively. The research-oriented manuscripts provide new advances in active research fields in Mexico. The wide selection of topics makes the book accessible to advanced graduate students and researchers in probability and stochastic processes.

Building on fundamental results in variational analysis, this monograph presents new and recent developments in the field as well as selected applications. Accessible to a broad spectrum of potential readers, the main material is presented in finite-dimensional spaces. Infinite-dimensional developments are discussed at the end of each chapter with comprehensive commentaries which emphasize the essence of major results, track the genesis of ideas, provide historical comments, and illuminate challenging open questions and directions for future research. The first half of the book (Chapters 1-6) gives a systematic exposition of key concepts and facts, containing basic material as well as some recent and new developments. These first chapters are particularly accessible to masters/doctoral students taking courses in modern optimization, variational analysis, applied analysis, variational inequalities, and variational methods. The reader's development of skills will be facilitated as they work through each, or a portion of, the multitude of exercises of varying levels. Additionally, the reader may find hints and references to more difficult exercises and are encouraged to receive further inspiration from the gems in chapter commentaries. Chapters 7-10 focus on recent results and applications of variational analysis to advanced problems in modern optimization theory, including its hierarchical and multiobjective aspects, as well as microeconomics, and related areas. It will be of great use to researchers and professionals in applied and behavioral sciences and engineering.

The objective of this book is to provide the reader with a comprehensive survey of the topic compressed sensing in information retrieval and signal detection with privacy preserving functionality without compromising the performance of the embedding in terms of accuracy or computational efficiency. The reader is guided in exploring the topic by first establishing a shared knowledge about compressed sensing and how it is used nowadays. Then, clear models and definitions for its use as a cryptosystem and a privacy-preserving embedding are laid down, before tackling state-of-the-art results for both applications. The reader will conclude the book having learned that the current results in terms of security of compressed techniques allow it to be a very promising solution to many practical problems of interest. The book caters to a broad audience among researchers, scientists, or engineers with very diverse backgrounds, having interests in security, cryptography and privacy in information retrieval systems. Accompanying software is made available on the authors' website to reproduce the experiments and techniques presented in the book. The only background required to the reader is a good knowledge of linear algebra, probability and information theory.

The Variable-Order Fractional Calculus of Variations is devoted to the study of fractional operators with variable order and, in particular, variational problems involving variable-order operators. This brief presents a new numerical tool for the solution of differential equations involving Caputo derivatives of fractional variable order. Three Caputo-type fractional operators are considered, and for each one, an approximation formula is obtained in terms of standard (integer-order) derivatives only. Estimations for the error of the approximations are also provided. The contributors consider variational problems that may be subject to one or more constraints, where the functional depends on a combined Caputo derivative of variable fractional order. In particular, they establish necessary optimality conditions of Euler-Lagrange type. As the terminal point in the cost integral is free, as is the terminal state, transversality conditions are also obtained. The Variable-Order Fractional Calculus of Variations is a valuable source of information for researchers in mathematics, physics, engineering, control and optimization; it provides both analytical and numerical methods to deal with variational problems. It is also of interest to academics and postgraduates in these fields, as it solves multiple variational problems subject to one or more constraints in a single brief.

This volume on mathematical control theory contains high quality articles covering the broad range of this field. The internationally renowned authors provide an overview of many different aspects of control theory, offering a historical perspective while bringing the reader up to the very forefront of current research.

This book provides a direct and comprehensive introduction to theoretical and numerical concepts in the emerging field of optimal control of partial differential equations (PDEs) under uncertainty. The main objective of the book is to offer graduate students and researchers a smooth transition from optimal control of deterministic PDEs to optimal control of random PDEs. Coverage includes uncertainty modelling in control problems, variational formulation of PDEs with random inputs, robust and risk-averse formulations of optimal control problems, existence theory and numerical resolution methods. The exposition focusses on the entire path, starting from uncertainty modelling and ending in the practical implementation of numerical schemes for the numerical approximation of the considered problems. To this end, a selected number of illustrative examples are analysed in detail throughout the book. Computer codes, written in MatLab, are provided for all these examples. This book is adressed to graduate students and researches in Engineering, Physics and Mathematics who are interested in optimal control and optimal design for random partial differential equations.

This book offers a timely snapshot of soft computing methodologies and their applications to various problems related to sustainability, including electric energy consumption; fault diagnosis; vessel fuel consumption; determining the best sites for new malls; maritime port projects; and ad-hoc vehicular networks. Further, it demonstrates how metaheuristics and machine learning methods, fuzzy linear programming, neural networks, computing with words, linguistic models and other soft computing methods can be efficiently used to solve real-world problems. Intended as a practice-oriented guide for students, researchers, and professionals working at the interface between computer science, industrial engineering, naval engineering, agriculture, and sustainable development / climate change research, it provides readers with a set of intelligent solutions, helping them answer a range of emerging questions related to sustainability.

This volume gathers contributions in the field of partial differential equations, with a focus on mathematical models in phase transitions, complex fluids and thermomechanics. These contributions are dedicated to Professor Gianni Gilardi on the occasion of his 70th birthday. It particularly develops the following thematic areas: nonlinear dynamic and stationary equations; well-posedness of initial and boundary value problems for systems of PDEs; regularity properties for the solutions; optimal control problems and optimality conditions; feedback stabilization and stability results. Most of the articles are presented in a self-contained manner, and describe new achievements and/or the state of the art in their line of research, providing interested readers with an overview of recent advances and future research directions in PDEs.

This edited volume includes thoroughly collected on sensing and control for autonomous vehicles. Guidance, navigation and motion control systems for autonomous vehicles are increasingly important in land-based, marine and aerial operations. Autonomous underwater vehicles may be used for pipeline inspection, light intervention work, underwater survey and collection of oceanographic/biological data. Autonomous unmanned aerial systems can be used in a large number of applications such as inspection, monitoring, data collection, surveillance, etc. At present, vehicles operate with limited autonomy and a minimum of intelligence. There is a growing interest for cooperative and coordinated multi-vehicle systems, real-time re-planning, robust autonomous navigation systems and robust autonomous control of vehicles. Unmanned vehicles with high levels of autonomy may be used for safe and efficient collection of environmental data, for assimilation of climate and environmental models and to complement global satellite systems. The target audience primarily comprises research experts in the field of control theory, but the book may also be beneficial for graduate students.

This book simultaneously presents the theory and the numerical treatment of elliptic boundary value problems, since an understanding of the theory is necessary for the numerical analysis of the discretisation. It first discusses the Laplace equation and its finite difference discretisation before addressing the general linear differential equation of second order. The variational formulation together with the necessary background from functional analysis provides the basis for the Galerkin and finite-element methods, which are explored in detail. A more advanced chapter leads the reader to the theory of regularity. Individual chapters are devoted to singularly perturbed as well as to elliptic eigenvalue problems. The book also presents the Stokes problem and its discretisation as an example of a saddle-point problem taking into account its relevance to applications in fluid dynamics.

This textbook provides a comprehensive introduction to the classical and modern calculus of variations, serving as a useful reference to advanced undergraduate and graduate students as well as researchers in the field. Starting from ten motivational examples, the book begins with the most important aspects of the classical theory, including the Direct Method, the Euler-Lagrange equation, Lagrange multipliers, Noether's Theorem and some regularity theory. Based on the efficient Young measure approach, the author then discusses the vectorial theory of integral functionals, including quasiconvexity, polyconvexity, and relaxation. In the second part, more recent material such as rigidity in differential inclusions, microstructure, convex integration, singularities in measures, functionals defined on functions of bounded variation (BV), and -convergence for phase transitions and homogenization are explored. While predominantly designed as a textbook for lecture courses on the calculus of variations, this book can also serve as the basis for a reading seminar or as a companion for self-study. The reader is assumed to be familiar with basic vector analysis, functional analysis, Sobolev spaces, and measure theory, though most of the preliminaries are also recalled in the appendix.

This book presents papers surrounding the extensive discussions that took place from the 'Variational Analysis and Aerospace Engineering' workshop held at the Ettore Majorana Foundation and Centre for Scientific Culture in 2015. Contributions to this volume focus on advanced mathematical methods in aerospace engineering and industrial engineering such as computational fluid dynamics methods, optimization methods in aerodynamics, optimum controls, dynamic systems, the theory of structures, space missions, flight mechanics, control theory, algebraic geometry for CAD applications, and variational methods and applications. Advanced graduate students, researchers, and professionals in mathematics and engineering will find this volume useful as it illustrates current collaborative research projects in applied mathematics and aerospace engineering.

This book contains the most recent progress in data assimilation in meteorology, oceanography and hydrology including land surface. It spans both theoretical and applicative aspects with various methodologies such as variational, Kalman filter, ensemble, Monte Carlo and artificial intelligence methods. Besides data assimilation, other important topics are also covered including targeting observation, sensitivity analysis, and parameter estimation. The book will be useful to individual researchers as well as graduate students for a reference in the field of data assimilation.

By establishing an alternative foundation of control theory, this thesis represents a significant advance in the theory of control systems, of interest to a broad range of scientists and engineers. While common control strategies for dynamical systems center on the system state as the object to be controlled, the approach developed here focuses on the state trajectory. The concept of precisely realizable trajectories identifies those trajectories that can be accurately achieved by applying appropriate control signals. The resulting simple expressions for the control signal lend themselves to immediate application in science and technology. The approach permits the generalization of many well-known results from the control theory of linear systems, e.g. the Kalman rank condition to nonlinear systems. The relationship between controllability, optimal control and trajectory tracking are clarified. Furthermore, the existence of linear structures underlying nonlinear optimal control is revealed, enabling the derivation of exact analytical solutions to an entire class of nonlinear optimal trajectory tracking problems. The clear and self-contained presentation focuses on a general and mathematically rigorous analysis of controlled dynamical systems. The concepts developed are visualized with the help of particular dynamical systems motivated by physics and chemistry.

This volume focuses on contributions from both the mathematics and life science community surrounding the concepts of time and dynamicity of nature, two significant elements which are often overlooked in modeling process to avoid exponential computations. The book is divided into three distinct parts: dynamics of genomes and genetic variation, dynamics of motifs, and dynamics of biological networks. Chapters included in dynamics of genomes and genetic variation analyze the molecular mechanisms and evolutionary processes that shape the structure and function of genomes and those that govern genome dynamics. The dynamics of motifs portion of the volume provides an overview of current methods for motif searching in DNA, RNA and proteins, a key process to discover emergent properties of cells, tissues, and organisms. The part devoted to the dynamics of biological networks covers networks aptly discusses networks in complex biological functions and activities that interpret processes in cells. Moreover, chapters in this section examine several mathematical models and algorithms available for integration, analysis, and characterization. Once life scientists began to produce experimental data at an unprecedented pace, it become clear that mathematical models were necessary to interpret data, to structure information with the aim to unveil biological mechanisms, discover results, and make predictions. The second annual "Bringing Maths to Life" workshop held in Naples, Italy October 2015, enabled a bi-directional flow of ideas from and international group of mathematicians and biologists. The venue allowed mathematicians to introduce novel algorithms, methods, and software that may be useful to model aspects of life science, and life scientists posed new challenges for mathematicians.

The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), held every 2 years, provides a forum for discussing recent advances in and aspects of numerical mathematics and scientific and industrial applications. The previous ENUMATH meetings took place in Paris (1995), Heidelberg (1997), Jyvaskyla (1999), Ischia (2001), Prague (2003), Santiago de Compostela (2005), Graz (2007), Uppsala (2009), Leicester (2011) and Lausanne (2013). This book presents a selection of invited and contributed lectures from the ENUMATH 2015 conference, which was organised by the Institute of Applied Mathematics (IAM), Middle East Technical University, Ankara, Turkey, from September 14 to 18, 2015. It offers an overview of central recent developments in numerical analysis, computational mathematics, and applications in the form of contributions by leading experts in the field.

This book systematically describes the concepts and principles for multi-satellite relative motion, passive and near passive formation designs, trajectory planning and control for fuel optimal formation maneuvers, and formation flying maintenance control design. As such, it provides a sound foundation for researchers and engineers in this field to develop further theories and pursue their implementations. Though satellite formation flying is widely considered to be a major advance in space technology, there are few systematic treatments of the topic in the literature. Addressing that gap, the book offers a valuable resource for academics, researchers, postgraduate students and practitioners in the field of satellite science and engineering.

This book is based on lectures from a one-year course at the Far Eastern Federal University (Vladivostok, Russia) as well as on workshops on optimal control offered to students at various mathematical departments at the university level. The main themes of the theory of linear and nonlinear systems are considered, including the basic problem of establishing the necessary and sufficient conditions of optimal processes. In the first part of the course, the theory of linear control systems is constructed on the basis of the separation theorem and the concept of a reachability set. The authors prove the closure of a reachability set in the class of piecewise continuous controls, and the problems of controllability, observability, identification, performance and terminal control are also considered. The second part of the course is devoted to nonlinear control systems. Using the method of variations and the Lagrange multipliers rule of nonlinear problems, the authors prove the Pontryagin maximum principle for problems with mobile ends of trajectories. Further exercises and a large number of additional tasks are provided for use as practical training in order for the reader to consolidate the theoretical material.

This book presents a method for solving linear ordinary differential equations based on the factorization of the differential operator. The approach for the case of constant coefficients is elementary, and only requires a basic knowledge of calculus and linear algebra. In particular, the book avoids the use of distribution theory, as well as the other more advanced approaches: Laplace transform, linear systems, the general theory of linear equations with variable coefficients and variation of parameters. The case of variable coefficients is addressed using Mammana's result for the factorization of a real linear ordinary differential operator into a product of first-order (complex) factors, as well as a recent generalization of this result to the case of complex-valued coefficients.

From the reviews: "The account is quite detailed and is written in a manner that will appeal to analysts and numerical practitioners alike...they contain everything from rigorous proofs to tables of numerical calculations.... one of the strong features of these books...that they are designed not for the expert, but for those who whish to learn the subject matter starting from little or no background...there are numerous examples, and counter-examples, to back up the theory...To my knowledge, no other authors have given such a clear geometric account of convex analysis." "This innovative text is well written, copiously illustrated, and accessible to a wide audience"