Security-Aware Systems Applications and Software Development Methods

This book studies the historical development of the tunnelling industry, with emphasis on the technical innovations on which advances in that industry have depended. The main part of the book comprises a detailed examination of the major technical advances in both hard rock and soft ground tunnelling, discussing established methods such as tunnelling machines, compressed air tunnelling and prefabricated tunnel linings, as well as more recent topics such as pressurised face shields, extruded linings, hydraulic rock drills, and small-diameter tunnelling systems. In addition, the emergence of a highly innovative tunnelling industry in Japan is discussed; a parallel being drawn between this development and that in nineteenth century Britain. From these considerations, the conditions that have allowed technical innovation to flourish in the tunnelling industry are identified, leading to a more general discussion of the nature of technical innovation in this industry and beyond.

A central problem in the design of programming systems is to provide methods for verifying that computer code performs to specification. This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behaviour can be explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on only a single program construct (the first-order theory of categories), the others being derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of 'predicates', loop-free constructs, and a calculus of partial and total correctness which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. The book is based in part on courses taught by the author, and will appeal to graduate students a

This book tracks the development of social complexity in Ireland from the late prehistoric period on into the Middle Ages. Using a range of methods and techniques, particularly data from settlement patterns, Blair Gibson demonstrates how Ireland evolved from constellations of chiefdoms into a political entity bearing the characteristics of a rudimentary state. This book argues that early medieval Ireland's highly complex political systems should be viewed as amalgams of chiefdoms with democratic procedures for choosing leaders rather than kingdoms. Gibson explores how these chiefdom confederacies eventually transformed into recognizable states over a period of 1,400 years.

Landscape ecology is a relatively new area of study, which aims to understand the pattern of interaction of biological and cultural communities within a landscape. This book brings together leading figures from the field to provide an up-to-date survey of recent advances, identify key research problems and suggest a future direction for development and expansion of knowledge. Providing in-depth reviews of the principles and methods for understanding landscape patterns and changes, the book illustrates concepts with examples of innovative applications from different parts of the world. Forming a current 'state-of-the-science' for the science of landscape ecology, this book forms an essential reference for graduate students, academics, professionals and practitioners in ecology, environmental science, natural resource management, and landscape planning and design.

The understanding of amine chemistry is of paramount importance to numerous chemical industries, as well as to academic research. This book provides an authoritative account of the properties and applications of amines with respect to the characteristics of bonded substituents and the nature of their surrounding chemical and physical environments. The synthesis of alkyl, aryl and heterocyclic amines and inorganic amines with a review of their typical reactions is comprehensively treated, whilst practical synthetic and analytical methods for laboratory preparation and detection are provided. The importance of amine chemistry from the nineteenth century to the modern day, with a brief history of the development of ammonia synthesis, is included. This book is an invaluable reference for undergraduates, postgraduates and chemical researchers working in industry.

The understanding of amine chemistry is of paramount importance to numerous chemical industries, as well as to academic research. This book provides an authoritative account of the properties and applications of amines with respect to the characteristics of bonded substituents and the nature of their surrounding chemical and physical environments. The synthesis of alkyl, aryl and heterocyclic amines and inorganic amines with a review of their typical reactions is comprehensively treated, whilst practical synthetic and analytical methods for laboratory preparation and detection are provided. The importance of amine chemistry from the nineteenth century to the modern day, with a brief history of the development of ammonia synthesis, is included. This book is an invaluable reference for undergraduates, postgraduates and chemical researchers working in industry.

'Design by programming' has proved very successful in the development of complex software systems. This book describes the construction of programs for VLSI digital circuit design, using the language Tangram, and shows how they can be compiled automatically in fully asynchronous circuits. Handshake circuits were invented by the author to separate questions involving the efficient implementation of the VLSI circuits from issues arising in their design. Dr van Berkel presents a mathematical theory of handshake circuits and a silicon compiler supported by a correctness proof. The treatment of VLSI realizations of handshake circuits includes various forms of optimization, handshake refinement, message encoding, circuit initialization, and testing. The approach is illustrated with a host of examples drawn from a wide range of application areas. The book will be of use to electrical engineers and computer scientists involved in VLSI design.

Astronomy has become data-driven in ways that are both quantitatively and qualitatively different from the past: data structures are not simple; procedures to gain astrophysical insights are not obvious; and the informational content of the data sets is so high that archival research and data mining are not merely convenient, but obligatory, as researchers who obtain the data can only extract a small fraction of the science enabled by it. IAU Symposium 325 took place at a crucial stage in the development of the field, when many efforts have carried significant achievements, but the widespread groups have just begun to effectively communicate across specialties, to gather and assimilate their achievements, and to consult cross-disciplinary experts. Bringing together astronomers involved in surveys and large simulation projects, computer scientists, data scientists, and companies, this volume showcases their fruitful exchange of ideas, methods, software, and technical capabilities.

Mobilising International Law for 'Global Justice' provides new insights into the dynamics between politics and international law and the roles played by state and civic actors in pursuing human rights, development, security and justice through mobilising international law at local and international levels. This includes attempts to hold states, corporations or individuals accountable for violations of international law. Second, this book examines how enforcing international law creates particular challenges for intergovernmental regulators seeking to manage tensions between incompatible legal systems and bringing an end to harmful practices, such as foreign corruption and child abduction. Finally, it explores how international law has local resonance, whereby, for example, cities have taken it upon themselves to give effect to the spirit of international treaties that national governments fail to implement, or even may have refused to ratify.

Mobilising International Law for 'Global Justice' provides new insights into the dynamics between politics and international law and the roles played by state and civic actors in pursuing human rights, development, security and justice through mobilising international law at local and international levels. This includes attempts to hold states, corporations or individuals accountable for violations of international law. Second, this book examines how enforcing international law creates particular challenges for intergovernmental regulators seeking to manage tensions between incompatible legal systems and bringing an end to harmful practices, such as foreign corruption and child abduction. Finally, it explores how international law has local resonance, whereby, for example, cities have taken it upon themselves to give effect to the spirit of international treaties that national governments fail to implement, or even may have refused to ratify.

Wireless LANs have become mainstream over the last few years. What started out as cable replacement for static desktops in indoor networks has been extended to fully mobile broadband applications involving moving vehicles, high-speed trains, and even airplanes. This book is designed to appeal to a broad audience with different levels of technical background and can be used in a variety of ways: as a first course on wireless LANs, as a graduate-level textbook, or simply as a professional reference guide. It describes the key practical considerations when deploying wireless LANs and equips the reader with a solid understanding of the emerging technologies. The book comprises 38 high-quality contributions from industry and academia and covers a broad range of important topics related to 802.11 networks, including quality of service, security, high throughput systems, mesh networking, 802.11/cellular interworking, coexistence, cognitive radio resource management, range and capacity evaluat

The collection consists of four parts: Part I presents three non-technical essays on economic development and economic systems. Four out of five essays in Part II deal with the theory and measurement of the so-called Index of Total Factor Productivity for several countries. The fifth essay is on the theory of index numbers. The first essay of Part III compares the American and Soviet patterns of economic development and finds that the path followed by each country might have been optimal for it at the time. The second essay develops a general theory of a producer cooperative. The third essay discusses a method for avoiding monopolistic exploitation, under either system, without price control. Part IV presents three applications of economic theory to historical problems - in particular, to serfdom and slavery. The first, on 'The Causes of Slavery or Serfdom', has become a classic. The second challenges the widely accepted view that Russian serfdom had become unprofitable for the serf-ow

The collection consists of four parts: Part I presents three non-technical essays on economic development and economic systems. Four out of five essays in Part II deal with the theory and measurement of the so-called Index of Total Factor Productivity for several countries. The fifth essay is on the theory of index numbers. The first essay of Part III compares the American and Soviet patterns of economic development and finds that the path followed by each country might have been optimal for it at the time. The second essay develops a general theory of a producer cooperative. The third essay discusses a method for avoiding monopolistic exploitation, under either system, without price control. Part IV presents three applications of economic theory to historical problems - in particular, to serfdom and slavery. The first, on 'The Causes of Slavery or Serfdom', has become a classic. The second challenges the widely accepted view that Russian serfdom had become unprofitable for the serf-ow

Discover the nonlinear methods and tools needed to design real-world microwave circuits with this tutorial guide. Balancing theoretical background with practical tools and applications, it covers everything from the basic properties of nonlinear systems such as gain compression, intermodulation and harmonic distortion, to nonlinear circuit analysis and simulation algorithms, and state-of-the-art equivalent circuit and behavioral modeling techniques. Model formulations discussed in detail include time-domain transistor compact models and frequency-domain linear and nonlinear scattering models. Learn how to apply these tools to designing real circuits with the help of a power amplifier design example, which covers all stages from active device model extraction and the selection of bias and terminations, through to performance verification. Realistic examples, illustrative insights and clearly conveyed mathematical formalism make this an essential learning aid for both professionals worki

The masses of neutron stars are limited by an instability to gravitational collapse and an instability driven by gravitational waves limits their spin. Their oscillations are relevant to x-ray observations of accreting binaries and to gravitational wave observations of neutron stars formed during the coalescence of double neutron-star systems. This volume includes more than forty years of research to provide graduate students and researchers in astrophysics, gravitational physics and astronomy with the first self-contained treatment of the structure, stability and oscillations of rotating neutron stars. This monograph treats the equations of stellar equilibrium; key approximations, including slow rotation and perturbations of spherical and rotating stars; stability theory and its applications, from convective stability to the r-mode instability; and numerical methods for computing equilibrium configurations and the nonlinear evolution of their oscillations. The presentation of fundamen

The 'Europeanisation' of the fight against crime is a broad and much-contested notion. This in-depth analysis of the role of the EU in fighting crime within the area of freedom, security and justice explores the impact of EU policies in the Member States, the progressive convergence of Member States' criminal law systems, the emergence of mutual recognition as an alternative to harmonization, and the incremental development of the ECJ's jurisdiction. The essays also explore the limitations inherent in EU counter-crime policies and the changes brought about by the introduction of the Treaty of Lisbon. These changes are discussed both collectively and within individual substantive areas in which the EU has taken an active role in fighting crime, such as corruption, money laundering, terrorism, organised crime and extradition.

Designed for introductory undergraduate courses in fluid mechanics for chemical engineers, this stand-alone textbook illustrates the fundamental concepts and analytical strategies in a rigorous and systematic, yet mathematically accessible manner. Using both traditional and novel applications, it examines key topics such as viscous stresses, surface tension, and the microscopic analysis of incompressible flows which enables students to understand what is important physically in a novel situation and how to use such insights in modeling. The many modern worked examples and end-of-chapter problems provide calculation practice, build confidence in analyzing physical systems, and help develop engineering judgment. The book also features a self-contained summary of the mathematics needed to understand vectors and tensors, and explains solution methods for partial differential equations. Including a full solutions manual for instructors available at www.cambridge.org/deen, this balanced text

This volume provides a concise, historical review of the methods of structural analysis and design - from Galileo in the seventeenth century, to the present day. Through it, students in structural engineering and professional engineers will gain a deeper understanding of the theory behind the modern software packages they use daily in structural design. This book also offers the reader a lucid examination of the process of structural analysis and how it relates to modern design. The first three chapters cover questions about the strength of materials, and how to calculate local effects. An account is then given of the development of the equations of elastic flexure and buckling, followed by a separate chapter on masonry arches. Three chapters on the overall behaviour of elastic structures lead to a discussion of plastic behaviour, and a final chapter indicates that there are still problems needing solution.

This volume provides a concise, historical review of the methods of structural analysis and design - from Galileo in the seventeenth century, to the present day. Through it, students in structural engineering and professional engineers will gain a deeper understanding of the theory behind the modern software packages they use daily in structural design. This book also offers the reader a lucid examination of the process of structural analysis and how it relates to modern design. The first three chapters cover questions about the strength of materials, and how to calculate local effects. An account is then given of the development of the equations of elastic flexure and buckling, followed by a separate chapter on masonry arches. Three chapters on the overall behaviour of elastic structures lead to a discussion of plastic behaviour, and a final chapter indicates that there are still problems needing solution.

Adaptive signal processing (ASP) and iterative signal processing (ISP) are important techniques in improving receiver performance in communication systems. Using examples from practical transceiver designs, this 2006 book describes the fundamental theory and practical aspects of both methods, providing a link between the two where possible. The first two parts of the book deal with ASP and ISP respectively, each in the context of receiver design over intersymbol interference (ISI) channels. In the third part, the applications of ASP and ISP to receiver design in other interference-limited channels, including CDMA and MIMO, are considered; the author attempts to illustrate how the two techniques can be used to solve problems in channels that have inherent uncertainty. Containing illustrations and worked examples, this book is suitable for graduate students and researchers in electrical engineering, as well as practitioners in the telecommunications industry.

Adaptive signal processing (ASP) and iterative signal processing (ISP) are important techniques in improving receiver performance in communication systems. Using examples from practical transceiver designs, this 2006 book describes the fundamental theory and practical aspects of both methods, providing a link between the two where possible. The first two parts of the book deal with ASP and ISP respectively, each in the context of receiver design over intersymbol interference (ISI) channels. In the third part, the applications of ASP and ISP to receiver design in other interference-limited channels, including CDMA and MIMO, are considered; the author attempts to illustrate how the two techniques can be used to solve problems in channels that have inherent uncertainty. Containing illustrations and worked examples, this book is suitable for graduate students and researchers in electrical engineering, as well as practitioners in the telecommunications industry.

Engage with the visual world of disease with this accessible introduction to molecular imaging. This book provides users of all levels with the characterization and measurement of biological processes on a cellular level, functioning within humans, and other living systems. This important new introduction to the field will enable the reader to recognize the major methods, modalities and varied applications of molecular imaging in an efficient and effective way. Featuring techniques from areas such as nuclear medicine, magnetic resonance spectroscopy, optical imaging, and nanotechnology, the book also covers the current movement towards precision medicine thereby driving exceptional hospital care, worldwide. Molecular Imaging provides valuable insight into the properties that improve patient diagnosis. Serving to inform experienced physicians, students, and beginners alike, this convenient introduction is tailored to an individual with the desire to effectively grasp the basic concepts

Organizations and businesses strive toward excellence, and solutions to problems are based mostly on judgment and experience. However, increased competition and consumer demands require that the solutions be optimum and not just feasible. Theory leads to algorithms. Algorithms need to be translated into computer codes. Engineering problems need to be modeled. Optimum solutions are obtained using theory and computers, and then interpreted. Revised and expanded in its third edition, this textbook integrates theory, modeling, development of numerical methods, and problem solving, thus preparing students to apply optimization to real-world problems. This text covers a broad variety of optimization problems using: unconstrained, constrained, gradient, and non-gradient techniques; duality concepts; multi-objective optimization; linear, integer, geometric, and dynamic programming with applications; and finite element-based optimization. It is ideal for advanced undergraduate or graduate cours

This second edition presents the theory of continuum mechanics using computational methods. The text covers a broad range of topics including general problems of large rotation and large deformations and the development and limitations of finite element formulations in solving such problems. Dr Shabana introduces theories on motion kinematics, strain, forces and stresses and goes on to discuss linear and nonlinear constitutive equations, including viscoelastic and plastic constitutive models. General nonlinear continuum mechanics theory is used to develop small and large finite element formulations which correctly describe rigid body motion for use in engineering applications. This second edition features a new chapter that focuses on computational geometry and finite element analysis. This book is ideal for graduate and undergraduate students, professionals and researchers who are interested in continuum mechanics.

This volume provides a comprehensive review of China's healthcare system and policy reforms in the context of the global economy. Following a value-chain framework, the 16 chapters cover the payers, the providers, and the producers (manufacturers) in China's system. It also provides a detailed analysis of the historical development of China's healthcare system, the current state of its broad reforms, and the uneasy balance between China's market-driven approach and governmental regulation. Most importantly, it devotes considerable attention to the major problems confronting China, including chronic illness, public health, and long-term care and economic security for the elderly. Burns and Liu have assembled the latest research from leading health economists and political scientists, as well as senior public health officials and corporate executives, making this book an essential read for industry professionals, policymakers, researchers, and students studying comparative health systems

This volume provides a comprehensive review of China's healthcare system and policy reforms in the context of the global economy. Following a value-chain framework, the 16 chapters cover the payers, the providers, and the producers (manufacturers) in China's system. It also provides a detailed analysis of the historical development of China's healthcare system, the current state of its broad reforms, and the uneasy balance between China's market-driven approach and governmental regulation. Most importantly, it devotes considerable attention to the major problems confronting China, including chronic illness, public health, and long-term care and economic security for the elderly. Burns and Liu have assembled the latest research from leading health economists and political scientists, as well as senior public health officials and corporate executives, making this book an essential read for industry professionals, policymakers, researchers, and students studying comparative health systems

The decision to source software development to an overseas firm (offshoring) is looked at frequently in simple economic terms - it's cheaper, and skilled labor is easier to find. In practice, however, offshoring is fraught with difficulties. As well as the considerable challenge of controlling projects at a distance, there are differences in culture, language, business methods, politics, and many other issues to contend with. Nevertheless, as many firms have discovered, the benefits of getting it right are too great to ignore. This book explains everything you need to know to put offshoring into practice, avoid the pitfalls, and develop effective working relationships. It covers a comprehensive range of the important offshoring issues: from ROI to strategy, from SLA to culture, from country comparisons to provider marketing. Written for CTOs, CIOs, consultants, and other IT executives, this book is also an excellent introduction to sourcing for business students.

This book combines the proceedings of Symposium EE, Solid-State Ionics, and Symposium FF, Materials for Fuel Cells and Fuel Processors, both from the 2002 MRS Fall Meeting in Boston. Developments in solid-state ionics, and advances in the domains of energy storage and conversion and environmental monitoring, are featured. The largest clusters of papers are devoted to lithium batteries and fuel cell technology. It reflects the dominating relevance of these applications for fostering the modern telecommunications and information society and the development of environmentally friendly electric transportation and energy transformation systems, replacing traditional combustion technology. Topics include: theory/inorganic ion conductors; oxide electroceramics for separation membranes and gas sensors; cathode materials for lithium batteries; anode materials for lithium batteries and polymer electrolytes; proton exchange membrane fuel cells; and solid oxide fuel cells.

In order to help people with a mental illness it is important to be able to understand and measure the severity of the experiences that they find distressing and disabling and which can affect their behaviour. SCAN is a form of interview, found acceptable to patients, which provides a detailed and accurate picture of 'mental state'. When analysed by computer it provides a diagnosis that is comparable wherever the system is used. The 9th edition of the Present State Examination (PSE-9) was published in 1974 and served to link the two main approaches to the description and classification of psychological problems. PSE-10/SCAN builds on the experience of extensive tests using PSE-9. It retains the main features of PSE-9 and links together the two international classification systems, ICD-10 and DSM-IV. This reference manual is a companion to the SCAN interview schedule and software. It describes the rationale and development of the system and provides a valuable introduction to its uses.

In order to help people with a mental illness it is important to be able to understand and measure the severity of the experiences that they find distressing and disabling and which can affect their behaviour. SCAN is a form of interview, found acceptable to patients, which provides a detailed and accurate picture of 'mental state'. When analysed by computer it provides a diagnosis that is comparable wherever the system is used. The 9th edition of the Present State Examination (PSE-9) was published in 1974 and served to link the two main approaches to the description and classification of psychological problems. PSE-10/SCAN builds on the experience of extensive tests using PSE-9. It retains the main features of PSE-9 and links together the two international classification systems, ICD-10 and DSM-IV. This reference manual is a companion to the SCAN interview schedule and software. It describes the rationale and development of the system and provides a valuable introduction to its uses.

Inverse Modeling of the Ocean and Atmosphere is a graduate-level book for students of oceanography and meteorology, and anyone interested in combining computer models and observations of the hydrosphere or solid earth. A step-by-step development of maximally efficient inversion algorithms, using ideal models, is complemented by computer codes and comprehensive details for realistic models. Variational tools and statistical concepts are concisely introduced, and applications to contemporary research models, together with elaborate observing systems, are examined in detail. The book offers a review of the various alternative approaches, and further advanced research topics are discussed. Derived from the author's lecture notes, this book constitutes an ideal course companion for graduate students, as well as being a valuable reference source for researchers and managers in theoretical earth science, civil engineering and applied mathematics.

During the past two decades there has been active interplay between geometric measure theory and Fourier analysis. This book describes part of that development, concentrating on the relationship between the Fourier transform and Hausdorff dimension. The main topics concern applications of the Fourier transform to geometric problems involving Hausdorff dimension, such as Marstrand type projection theorems and Falconer's distance set problem, and the role of Hausdorff dimension in modern Fourier analysis, especially in Kakeya methods and Fourier restriction phenomena. The discussion includes both classical results and recent developments in the area. The author emphasises partial results of important open problems, for example, Falconer's distance set conjecture, the Kakeya conjecture and the Fourier restriction conjecture. Essentially self-contained, this book is suitable for graduate students and researchers in mathematics.

Written for a one-semester course in hydraulics, this concise textbook is rooted in the fundamental principles of fluid mechanics and aims to promote sound hydraulic engineering practice. Basic methods are presented to underline the theory and engineering applications, and examples and problems build in complexity as students work their way through the textbook. Abundant worked examples and calculations, real-world case studies, and revision exercises, as well as precisely crafted end-of-chapter exercises ensure students learn exactly what they need in order to consolidate their knowledge and progress in their career. Students learn to solve pipe networks, optimize pumping systems, design pumps and turbines, solve differential equations for gradually-varied flow and unsteady flow, and gain knowledge of hydraulic structures like spillways, gates, valves, and culverts. An essential textbook for intermediate to advanced undergraduate and graduate students in civil and environmental engin

This three-volume series presents the ideas, models and approaches essential to understanding plasma dynamics and self-organization for researchers and graduate students in plasma physics, controlled fusion and related fields such as plasma astrophysics. Volume I develops the physical kinetics of plasma turbulence through a focus on quasi-particle models and dynamics. It discusses the essential physics concepts and theoretical methods for describing weak and strong fluid and phase space turbulence in plasma systems far from equilibrium. The book connects the traditionally 'plasma' topic of weak or wave turbulence theory to more familiar fluid turbulence theory, and extends both to the realm of collisionless phase space turbulence. This gives readers a deeper understanding of these related fields, and builds a foundation for future applications to multi-scale processes of self-organization in tokamaks and other confined plasmas. This book emphasizes the conceptual foundations and physic

This graduate-level textbook on thermal physics covers classical thermodynamics, statistical mechanics and its applications. It describes theoretical methods to calculate thermodynamic properties, such as the equation of state, specific heat, Helmholtz free energy, magnetic susceptibility and phase transitions of macroscopic systems. In addition to the more standard material covered, this book also describes powerful techniques, which are not found elsewhere, to determine the correlation effects on which the thermodynamic properties are based. Particular emphasis is given to the cluster variation method and a novel formulation is developed for its expression in terms of correlation functions. Although a basic knowledge of quantum mechanics is required, the mathematical formulations are accessible and entirely self-contained. The book will therefore constitute an ideal companion text for graduate students studying courses on the theory of complex analysis, classical mechanics, classical

This graduate-level textbook on thermal physics covers classical thermodynamics, statistical mechanics and its applications. It describes theoretical methods to calculate thermodynamic properties, such as the equation of state, specific heat, Helmholtz free energy, magnetic susceptibility and phase transitions of macroscopic systems. In addition to the more standard material covered, this book also describes powerful techniques, which are not found elsewhere, to determine the correlation effects on which the thermodynamic properties are based. Particular emphasis is given to the cluster variation method and a novel formulation is developed for its expression in terms of correlation functions. Although a basic knowledge of quantum mechanics is required, the mathematical formulations are accessible and entirely self-contained. The book will therefore constitute an ideal companion text for graduate students studying courses on the theory of complex analysis, classical mechanics, classical

This indispensable guide will equip the reader with a thorough understanding of the field of foaming chemistry. Assuming only basic theoretical background knowledge, the book provides a straightforward introduction to the principles and properties of foams and foaming surfactants. It discusses the key ideas that underpin why foaming occurs, how it can be avoided and how different degrees of antifoaming can be achieved, and covers the latest test methods, including laboratory and industrial developed techniques. Detailing a variety of different kinds of foams, from wet detergents and food foams, to polymeric, material and metal foams, it connects theory to real-world applications and recent developments in foam research. Combining academic and industrial viewpoints, this book is the definitive stand-alone resource for researchers, students and industrialists working on foam technology, colloidal systems in the field of chemical engineering, fluid mechanics, physical chemistry, and appli

The emergence of observing systems such as acoustically-tracked floats in the deep ocean, and surface drifters navigating by satellite has seen renewed interest in Lagrangian fluid dynamics. Starting from the foundations of elementary kinematics and assuming some familiarity of Eulerian fluid dynamics, this 2006 book reviews the classical and new exact solutions of the Lagrangian framework, and then addresses the general solvability of the resulting general equations of motion. A unified account of turbulent diffusion and dispersion is offered, with applications among others to plankton patchiness in the ocean. Written at graduate level, the book provides the first detailed and comprehensive analytical development of the Lagrangian formulation of fluid dynamics, of interest not only to applied mathematicians but also oceanographers, meteorologists, mechanical engineers, astrophysicists and indeed all investigators of the dynamics of fluids.

This book describes in detail a research project dedicated to liquid-particle flow using ultrasound techniques. The project consists of theoretical, experimental, data science, finite element modeling, mechanical design and project management components. The objective of the project was to develop the ultrasonic methodology for measurement and characterization of liquid flow containing solid particles, in online (real-time) measurement conditions. The project consists of primary and complementary studies. The primary studies comprise development of the ultrasonic methodology for the simultaneous measurement of the average particle concentration and flow speed parameters. The developed methodology is based on the ultrasonic attenuation spectroscopy and the sound speed measurement methods, supported by data science programs. The complementary studies include acoustic streaming, designing a small-scale rotational test cell with an annular flow channel, testing it for various applications

Geopressure drives fluid flow and is important for hydrocarbon exploration, carbon sequestration, and designing safe and economical wells. This concise guide explores the origins of geopressure and presents a step-by-step approach to characterizing and predicting pressure and least principal stress in the subsurface. The book emphasizes how geology, and particularly the role of flow along permeable layers, drives the development and distribution of subsurface pressure and stress. Case studies, such as the Deepwater Horizon blowout, and laboratory experiments, are used throughout to demonstrate methods and applications. It succinctly discusses the role of elastoplastic behaviour, the full stress tensor, and diagenesis in pore pressure generation, and it presents workflows to predict pressure, stress, and hydrocarbon entrapment. It is an essential guide for academics and professional geoscientists and petroleum engineers interested in predicting pressure and stress, and understanding the