الصفحة 12
الصفحة 12
Artificial intelligence techniques in hydrology and water resources management
The sustainable management of water cycles is crucial in the context of climate change and global warming. It involves managing global, regional, and local water cycles, as well as urban, agricultural, and industrial water cycles, to conserve water resources and their relationships with energy, food, microclimates, biodiversity, ecosystem functioning, and anthropogenic activities. Hydrological modeling is indispensable for achieving this goal, as it is essential for water resources management and the mitigation of natural disasters. In recent decades, the application of artificial intelligence (AI) techniques in hydrology and water resources management has led to notable advances. In the face of hydro-geo-meteorological uncertainty, AI approaches have proven to be powerful tools for accurately modeling complex, nonlinear hydrological processes and effectively utilizing various digital and imaging data sources, such as ground gauges, remote sensing tools, and in situ Internet of Things (IoT) devices.
Approximate and noisy realization of discrete-time dynamical systems
This monograph deals with approximation and noise cancellation of dynamical systems which include linear and nonlinear input/output relations. It will be of special interest to researchers, engineers and graduate students who have specialized in ?ltering theory and system theory. This monograph provides new results and their extensions which can also be applied to nonlinear dynamical systems.
Applied Proof Theory : Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
Applied and computational mathematics for digital environments
Contains the 11 papers that were accepted and published in the Special Issue “Applied and Computational Mathematics for Digital Environments” of the MDPI Mathematics journal. The topics of interest include, among others, scientific research, applied tasks, and problems in the following areas: The construction of mathematical and information models of intelligent computer systems for monitoring and controlling the parameters of digital environments; The development of intelligent optimization algorithms that search for optimal parameter values of mathematical and information models in digital environments; Software and mathematical technologies in the implementation of intelligent monitoring and computer control of the parameters of digital environments; The development and application of mathematical and information models, machine learning methods, and artificial intelligence for the analysis and processing of big data in digital environments.
Animating Unpredictable Effects : Nonlinearity in Hollywood’s R&D Complex
Uncanny computer-generated animations of splashing waves, billowing smoke clouds, and characters’ flowing hair have become a ubiquitous presence on screens of all types since the 1980s. This Open Access book charts the history of these digital moving images and the software tools that make them. Unpredictable Visual Effects uncovers an institutional and industrial history that saw media industries conducting more private R&D as Cold War federal funding began to wane in the late 1980s. In this context studios and media software companies took concepts used for studying and managing unpredictable systems like markets, weather, and fluids and turned them into tools for animation. Unpredictable Visual Effects theorizes how these animations are part of a paradigm of control evident across society, while at the same time exploring what they can teach us about the relationship between making and knowing.
Analysis and Design of Nonlinear Control Systems : In Honor of Alberto Isidori
The chapters in this book cover a significant number of control and systems theory topics and describe a mix of new methodological results, advanced applications, emerging control areas and tutorial works.
Analog integrated circuits for communication : principles, simulation and design
This book covers the analysis and design of nonlinear analog integrated circuits that form the basis of present-day communication systems. Both bipolar and MOS transistor circuits are analyzed and several numerical examples are used to illustrate the analysis and design techniques developed in this book.
Analog Design Centering and Sizing
This book represents a compendium of fundamental problem formulations of analog design centering and sizing. It provides a differentiated knowledge about the tasks of analog design centering and sizing. In particular the worst-case problem will be formulated. It stands at the interface between process technology and design technology.Analog Design Centering and Sizing wants to point out that and how both process and design technology are required for its solution. The intention is to enable analog and mixed-signal designers to assess CAD solution methods that are presented to them. On the other side, the intention is to enable developers of analog CAD tools to formulate and develop solution approaches for analog design centering and sizing.The structure of Analog Design Centering and Sizing is geared towards a combination of a reference book and a textbook. The formulations of tasks and solution approaches by mathematical means makes the book suitable as well for students dealing with analog design and design methodology.
An Introduction to the Theory of Piezoelectricity
This volume is intended to provide researchers and graduate students with the basic aspects of the continuum modeling of electroelastic interactions in solids. A concise treatment of linear, nonlinear, static and dynamic theories and problems is presented. The emphasis on formulation and understanding of problems useful in device applications rather than solution techniques of mathematical problems. The mathematics used in this book is minimal.
An Introduction to Infinite-Dimensional Analysis
In this revised and extended version of his course notes from a 1-year course at Scuola Normale Superiore, Pisa, the author provides an introduction – for an audience knowing basic functional analysis and measure theory but not necessarily probability theory – to analysis in a separable Hilbert space of infinite dimension.Starting from the definition of Gaussian measures in Hilbert spaces, concepts such as the Cameron-Martin formula, Brownian motion and Wiener integral are introduced in a simple way. These concepts are then used to illustrate some basic stochastic dynamical systems (including dissipative nonlinearities) and Markov semi-groups, paying special attention to their long-time behavior: ergodicity, invariant measure. Here fundamental results like the theorems of Prokhorov, Von Neumann, Krylov-Bogoliubov and Khas'minski are proved. The last chapter is devoted to gradient systems and their asymptotic behavior.
Alternative breast imaging : Four model-based approaches
Medical imaging has been transformed over the past 30 years by the advent of computerized tomography (CT), magnetic resonance imaging (MRI), and various advances in x-ray and ultrasonic techniques. An enabling force behind this progress has been the (so far) exponentially increasing power of computers, which has made it practical to explore fundamentally new approaches. In particular, what our group terms "model-based" modalities-which produce tissue property images from data using nonlinear, iterative numerical modeling techniques-have become increasingly feasible. Alternative Breast Imaging: Four Model-Based Approaches explores our research on four such modalities, particularly with regard to imaging of the breast: (1) MR elastography (MRE), (2) electrical impedance spectroscopy (EIS), (3) microwave imaging spectroscopy (MIS), and (4) near infrared spectroscopic imaging (NIS).
Algebraic Methods for Nonlinear Control Systems
A self-contained introduction to algebraic control for nonlinear systems suitable for researchers and graduate students.The most popular treatment of control for nonlinear systems is from the viewpoint of differential geometry yet this approach proves not to be the most natural when considering problems like dynamic feedback and realization. Professors Conte, Moog and Perdon develop an alternative linear-algebraic strategy based on the use of vector spaces over suitable fields of nonlinear functions. This algebraic perspective is complementary to, and parallel in concept with, its more celebrated differential-geometric counterpart.Algebraic Methods for Nonlinear Control Systems describes a wide range of results, some of which can be derived using differential geometry but many of which cannot.
Air-Ice-Ocean Interaction : Turbulent Ocean Boundary Layer Exchange Processes
At a time when the polar regions are undergoing rapid and unprecedented change, understanding exchanges of momentum, heat and salt at the ice-ocean interface is critical for realistically predicting the future state of sea ice. By offering a measurement platform largely unaffected by surface waves, drifting sea ice provides a unique laboratory for studying aspects of geophysical boundary layer flows that are extremely difficult to measure elsewhere. This book draws on both extensive observations and theoretical principles to develop a concise description of the impact of stress, rotation, and buoyancy on the turbulence scales that control exchanges between the atmosphere and underlying ocean when sea ice is present. Several interesting and unique observational data sets are used to illustrate different aspects of ice-ocean interaction ranging from the impact of salt on melting in the Greenland Sea marginal ice zone, to how nonlinearities in the equation of state for seawater affect mixing in the Weddell Sea.
Aging, shaking, and cracking of infrastructures : From mechanics to concrete dams and nuclear structures
Focuses on the safety assessment of existing structures subjected to multi-hazard scenarios through advanced numerical methods. Whereas the focus is on concrete dams and nuclear containment structures, the presented methodologies can also be applied to other large-scale ones. This book is composed of seven sections: Fundamentals: theoretical coverage of solid mechnics, plasticity, fracture mechanics, creep, / seismology, dynamic analysis, probability and statistics / Damage: that can affect concrete structures, such as cracking of concrete, AAR, chloride ingress, and rebar corrosion, / Finite Element: formulation for both linear and nonlinear analysis including stress, heat and fracture mechanics, / Engineering Models: for soil/fluid-structure interaction, uncertainty quantification, probablilistic and random finite element analysis, machine learning, performance based earthquake engineering, ground motion intensity measures, seismic hazard analysis, capacity/fragility functions and damage indeces, / Applications to dams through potential failure mode analyses, risk-informed decision making, deterministic and probabilistic examples, / Applications to nuclear structures through modeling issues, aging management programs, critical review of some analyses, / Other applications and case studies: massive RC structures and bridges, detailed assessment of a nuclear containment structure evaluation for license renewal.
Advances in Variable Structure and Sliding Mode Control
Sliding Mode Control is recognized as an efficient tool to design controllers which are robust with respect to uncertainty. The resulting controllers have low sensitivity to plant parameters and perturbations and allow the possibility of decoupling the original plant system into two components of lower dimension. In addition many controllers ensure finite time convergence to the switching surface and can be straightforwardly implemented. However, in addition to this traditional area of exploitation, sliding mode concepts are being increasingly deployed for the design of observers for estimation and identification.
Advances in Unmanned Aerial Vehicles : State of the Art and the Road to Autonomy
There has been tremendous emphasis in unmanned aerial vehicles, both of fixed (airplanes) and rotary wing (vertical take off and landing, helicopters) types over the past ten years. Applications span both civilian and military domains, the latter being the most important at this stage. This edited book provides a solid and diversified reference source related to basic, applied research and development on small and miniature unmanned aerial vehicles, both fixed and rotary wing. As such, the book offers background information on the evolution of such vehicles over the years, followed by modeling and control fundamentals that are of paramount importance due to unmanned aerial vehicle model complexity, nonlinearity, coupling, inhirent instability and parameter values uncertainty. Aspects of navigation, including visual-based navigation and target tracking are discussed, followed by applications to attitude estimation on micro unmanned aerial vehicles, autonomous solar unmanned aerial vehicle, biomimetic sensing for autonomous flights in near-earth environments, localization of air-ground wireless sensor networks, decentralized formation tracking, design of an unmanned aerial vehicle for volcanic gas sampling and design of an on-board processing controller for miniature helicopters.
Advances in Nonlinear Speech Processing ; International Conference on Non-Linear Speech Processing, NOLISP 2007 Paris, France, May 22-25, 2007 Revised Selected Papers
This book presented numerous submissions for inclusion in the book. The papers are organized in topical sections on nonlinear and nonconventional techniques, speech synthesis, speaker recognition, speech recognition, speech analysis, and exploitation of non-linear techniques.
Advances in Metaheuristics for Hard Optimization
The book gathers contributions related to the following topics: theoretical developments in metaheuristics; adaptation of discrete metaheuristics to continuous optimization; performance comparisons of metaheuristics; cooperative methods combining different approaches; parallel and distributed metaheuristics for multiobjective optimization; software implementations; and real-world applications.
Advances in Industrial Engineering and Operations Research
Advances in Industrial Engineering and Operations Research compiles revised and extended articles written by prominent researchers participating in the International MultiConference of Engineers and Computer Scientists (IMECS) 2007. This volume addresses manufacturing processes and methods, optimization, experimental engineering design, and reliability and quality control techniques.
Advances in Control Theory and Applications
This volume is the outcome of the first CASY workshop on "Advances in Control Theory and Applications" which was held at University of Bologna on May 22-26, 2006. It consists of selected contributions by some of the invited speakers and contains recent results in control. The volume is intended for engineers, researchers, and students in control engineering.
