Page 4
Page 4
Structural Sensitivity Analysis and Optimization 1 : Linear Systems
Introduces structural design concepts that include the CAD-based design model, design parameterization, performance measures, costs, and constraints. It also discusses design sensitivity analysis of linear structural systems, and discrete and continuum design sensitivity analysis methods
Structural mechanics : Analytical and numerical approaches for structural analysis
Covers both standard and advanced topics of structural mechanics. Standard subjects covered include geometric stability, forces and displacements of statically determinate structures, force and displacement method, and influence lines. Advanced topics include matrix displacement method, dynamics of structures, and limit loading.
Strengthening of concrete structures : Unified design approach, Numerical examples and case Studies
Presents unified design approach for strengthening concrete members with different techniques such as concrete, steel, and FRP jacketing. Preference between the various techniques is explained in light of strengthening limits, procedures, and application for each case. Examples for evaluation of existing structures and design equations for strengthening concrete elements are presented based on the ACI design codes and standards. Numerical examples are also given for different strengthening techniques with illustrations for the construction methodology and detailing for each case.
Stochastic Numerics for the Boltzmann Equation
Stochastic numerical methods play an important role in large scale computations in the applied sciences. The first goal of this book is to give a mathematical description of classical direct simulation Monte Carlo (DSMC) procedures for rarefied gases, using the theory of Markov processes as a unifying framework. The second goal is a systematic treatment of an extension of DSMC, called stochastic weighted particle method. This method includes several new features, which are introduced for the purpose of variance reduction (rare event simulation). Rigorous convergence results as well as detailed numerical studies are presented.
Stochastic Calculus of Variations in Mathematical Finance
This book starts with an exposition from scratch of this theory. Greeks (price sensitivities) are reinterpreted in terms of Malliavin calculus. Integration by parts formulae provide stable Monte Carlo schemes for numerical valuation of digital options. Finite-dimensional projections of infinite-dimensional Sobolev spaces lead to Monte Carlo computations of conditional expectations useful for computing American options.
Steel Plate Shear Walls with Gravity Load : Theory and Design
Establishes a vertical stress distribution of the walls under compression and in-plane bending load and an inclination angle of the tensile field strip. The stress throughout the inclined tensile strip, as we consider the effect of the vertical stress distribution, is determined using the von Mises yield criterion. The shear strength is calculated by integrating the shear stress along the width. The proposed theoretical model is verified by tests and numerical simulations. Researchers, scientists and engineers in the field of structural engineering can benefit from the book. As such, this book provides valuable knowledge, useful methods, and practical algorithms that can be considered in practical design of building structures adopting a steel shear wall system.
Steel Designers' Handbook
An invaluable tool for all practising structural, civil and mechanical engineers as well as engineering students at university and TAFE in Australia and New Zealand. It has been prepared in response to changes in the design Standard AS 4100, the structural Design Actions Standards, AS /ANZ 1170, other processing Standards such as welding and coatings, updated research as well as feedback from users. This edition is based on Australian Standard (AS) 4100: 1998 and subsequent amendments. The worked numerical examples in the book have been extensively revised with further examples added.
Static Compression of Energetic Materials
Developing and testing novel energetic materials is an expanding branch of the materials sciences. To study the equations-of-state (EOS) of energetic materials in extreme regimes both shock and static high pressure studies are required. The present volume is an introduction and review of theoretical, experimental and numerical aspects of static compression of such materials.
Square-Wave Voltammetry : Theory and Application
Square-wave voltammetry is a technique readily available to every researcher, scientist, engineer and practitioner applying modern electrochemical measurement systems. It is of beneficial use in analytical applications and in fundamental studies of electrode mechanisms. But the optimised exploitation of this technique is only possible for those with a detailed knowledge of signal generation and of the thermodynamics and kinetics involved. This volume, written by three distiguished experts, systematically delivers the complete and in-depth information that enables both researchers and users of square-wave voltammetry to apply this technique effectively. Square-Wave Voltammetry also offers an appendix on mathematical modeling and a chapter on the most important electrode mechanisms which briefly reviews the underlying theory and numerical formulae intrinsic for simulating experiments with popular software tools
Springer Handbook of Experimental Solid Mechanics
Documents both the traditional techniques as well as the new methods for experimental studies of materials, components, and structures. The emergence of new materials and new disciplines, together with the escalating use of on- and off-line computers for rapid data processing and the combined use of experimental and numerical techniques have greatly expanded the capabilities of experimental mechanics. New exciting topics are included on biological materials, MEMS and NEMS, nanoindentation, digital photomechanics, photoacoustic characterization, and atomic force microscopy in experimental solid mechanics.Presenting complete instructions to various areas of experimental solid mechanics, guidance to detailed expositions in important references, and a description of state-of-the-art applications in important technical areas, this thoroughly revised and updated edition is an excellent reference to a widespread academic, industrial, and professional engineering audience.
Spectral Methods : Fundamentals in Single Domains
Since the publication of "Spectral Methods in Fluid Dynamics", spectral methods, particularly in their multidomain version, have become firmly established as a mainstream tool for scientific and engineering computation. While retaining the tight integration between the theoretical and practical aspects of spectral methods that was the hallmark of the earlier book, Canuto et al. now incorporate the many improvements in the algorithms and the theory of spectral methods that have been made since 1988. The initial treatment Fundamentals in Single Domains discusses the fundamentals of the approximation of solutions to ordinary and partial differential equations on single domains by expansions in smooth, global basis functions.
Spectral Methods : Evolution to Complex Geometries and Applications to Fluid Dynamics
Spectral methods, particularly in their multidomain version, have become firmly established as a mainstream tool for scientific and engineering computation. While retaining the tight integration between the theoretical and practical aspects of spectral methods that was the hallmark of their 1988 book, Canuto et al. now incorporate the many improvements in the algorithms and the theory of spectral methods that have been made since then.The recent companion book Fundamentals in Single Domains discusses the fundamentals of the approximation of solutions to ordinary and partial differential equations on single domains by expansions in smooth, global basis functions.
Spectral Finite Element Method : Wave Propagation, Diagnostics and Control in Anisotropic and Inhomogeneous Structures
Discuss the different types of SFEM for regular and damaged 1-D and 2-D waveguides, various solution techniques, different methods of detecting the presence of damages and their locations, and different methods available to actively control the wave propagation responses. The theory is supported by tables, figures and graphs; all the numerical examples are designed to bring out the essential wave behavior in these complex structures. Some case studies based on real-world problems are also presented.
Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 ; Selected Papers from the ICOSAHOM Conference, London, UK, July 9-13, 2018
Features a selection of high-quality papers from the presentations at the International Conference on Spectral and High-Order Methods 2018, offering an overview of the depth and breadth of the activities within this important research area. The carefully reviewed papers provide a snapshot of the state of the art, while the extensive bibliography helps initiate new research directions.
Solving Polynomial Equations : Foundations, Algorithms, and Applications
The subject of this book is the solution of polynomial equations, that is, s- tems of (generally) non-linear algebraic equations. This study is at the heart of several areas of mathematics and its applications. It has provided the - tivation for advances in di?erent branches of mathematics such as algebra, geometry, topology, and numerical analysis.
Solving PDEs in Python : The FEniCS Tutorial I
This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software library. Using a series of examples, including the Poisson equation, the equations of linear elasticity, the incompressible Navier–Stokes equations, and systems of nonlinear advection–diffusion–reaction equations, it guides readers through the essential steps to quickly solving a PDE in FEniCS, such as how to define a finite variational problem, how to set boundary conditions, how to solve linear and nonlinear systems, and how to visualize solutions and structure finite element Python programs.
Solitary Waves in Dispersive Complex Media : Theory, Simulation, Applications
This book is devoted to one of the most interesting and rapidly developing areas of modern nonlinear physics and mathematics - the theoretical, analytical and advanced numerical, study of the structure and dynamics of one-dimensional as well as two- and three-dimensional solitons and nonlinear waves described by Korteweg-de Vries (KdV), Kadomtsev-Petviashvili (KP), nonlinear Schrödinger (NLS) and derivative NLS (DNLS) classes of equations. Special attention is paid to generalizations (relevant to various complex physical media) of these equations, accounting for higher-order dispersion corrections, influence of dissipation, instabilities, and stochastic fluctuations of the wave fields. The book addresses researchers working in the theory and numerical simulations of dispersive complex media in such fields as hydrodynamics, plasma physics, and aerodynamics. It will also be useful as a reference work for graduate students in physics and mathematics.
Soil Stress-Strain Behavior : Measurement, Modeling and Analysis : A Collection of Papers of the Geotechnical Symposium in Rome, March 16–17, 2006
The material in this work is focused on recent developments in research into the stress-strain behavior of geomaterials, with an emphasis on laboratory measurements, soil constitutive modeling and behavior of soil structures (such as reinforced soils, piles and slopes).
Software Verification ; 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
Constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).
Software for Exascale Computing - SPPEXA 2016-2019
This book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019.
