Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Das Radialverdichterrad wird standardmäßig aus der warmfesten Al-Legierung 2618A gefertigt. Die Arbeit soll dazu beitragen, eine verbesserte Vorgehensweise zur Lebensdauerberechnung von Al-Verdichterrädern zu entwickeln. Eine Lebensdauervorhersage kann nur auf der Basis solider Daten erfolgreich sein. Zur Schaffung einer derartigen Datenbasis wurden zahlreiche LCF-Versuche durchgeführt. Ferner wurde der Einfluss der Bauteilgröße auf das LCF- und das Schädigungsverhalten untersucht.

Größeneinfluss --- Mitteldehnungseinfluss --- Kerbwirkung --- Temperatureinfluss --- LCF

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines the methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of program statements. Cambridge LCF is based on an earlier theorem-proving system, Edinburgh LCF, which introduced a design that gives the user flexibility to use and extend the system. A goal of this book is to explain the design, which has been adopted in several other systems. The book consists of two parts. Part I outlines the mathematical preliminaries, elementary logic and domain theory, and explains them at an intuitive level, giving reference to more advanced reading; Part II provides sufficient detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach.

Cambridge LCF (Computer system) --- Computable functions --- Data processing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This text grew out of graduate level courses in mathematics, engineering and physics given at several universities. The courses took students who had some background in differential equations and lead them through a systematic grounding in the theory of Hamiltonian mechanics from a dynamical systems point of view. Topics covered include a detailed discussion of linear Hamiltonian systems, an introduction to variational calculus and the Maslov index, the basics of the symplectic group, an introduction to reduction, applications of Poincaré's continuation to periodic solutions, the use of normal forms, applications of fixed point theorems and KAM theory. There is a special chapter devoted to finding symmetric periodic solutions by calculus of variations methods. The main examples treated in this text are the N-body problem and various specialized problems like the restricted three-body problem. The theory of the N-body problem is used to illustrate the general theory. Some of the topics covered are the classical integrals and reduction, central configurations, the existence of periodic solutions by continuation and variational methods, stability and instability of the Lagrange triangular point. Ken Meyer is an emeritus professor at the University of Cincinnati, Glen Hall is an associate professor at Boston University, and Dan Offin is a professor at Queen's University.

Hamiltonian systems. --- Many-body problem. --- Nonlinear theories. --- Nucleon-nucleon scattering. --- Hamiltonian systems --- Many-body problem --- Mathematics --- Physical Sciences & Mathematics --- Calculus --- Geometry --- n-body problem --- Problem of many bodies --- Problem of n-bodies --- Hamiltonian dynamical systems --- Systems, Hamiltonian --- Edinburgh LCF (Computer system) --- Edinburgh LCF (système informatique) --- -Edinburgh LCF (Computer system) --- 681.3*D24 --- 681.3*F1 --- Edinburgh Logic for Computable Functions (Computer system) --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Decidability (Mathematical logic) --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Computation by abstract devices --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Edinburgh LCF (Computer system). --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F1 Computation by abstract devices --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Mathematics. --- Mathematical analysis. --- Analysis (Mathematics). --- Dynamics. --- Ergodic theory. --- Physics. --- Dynamical Systems and Ergodic Theory. --- Theoretical, Mathematical and Computational Physics. --- Analysis. --- Computer architecture. Operating systems --- Computable functions --- #TCPW:boek --- #TCPW P3.0 --- 681.3*F41 --- Computer systems --- Proof theory --- Recursive functions --- Data processing --- Natural philosophy --- Philosophy, Natural --- Physical sciences --- Dynamics --- Ergodic transformations --- Continuous groups --- Mathematical physics --- Measure theory --- Transformations (Mathematics) --- Dynamical systems --- Kinetics --- Mechanics, Analytic --- Force and energy --- Mechanics --- Physics --- Statics --- 517.1 Mathematical analysis --- Mathematical analysis --- Math --- Science --- Differentiable dynamical systems --- Data processing. --- Fonctions calculables --- Differentiable dynamical systems. --- Global analysis (Mathematics). --- Analysis, Global (Mathematics) --- Differential topology --- Functions of complex variables --- Geometry, Algebraic --- Differential dynamical systems --- Dynamical systems, Differentiable --- Dynamics, Differentiable --- Differential equations --- Global analysis (Mathematics) --- Topological dynamics --- Computer science. --- Computer Science, general. --- Informatics --- Mathematical physics. --- Physical mathematics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The advent of additive manufacturing (AM) processes applied to the fabrication of structural components creates the need for design methodologies supporting structural optimization approaches that take into account the specific characteristics of the process. While AM processes enable unprecedented geometrical design freedom, which can result in significant reductions of component weight, on the other hand they have implications in the fatigue and fracture strength due to residual stresses and microstructural features. This is linked to stress concentration effects and anisotropy that still warrant further research. This Special Issue of Applied Sciences brings together papers investigating the features of AM processes relevant to the mechanical behavior of AM structural components, particularly, but not exclusively, from the viewpoints of fatigue and fracture behavior. Although the focus of the issue is on AM problems related to fatigue and fracture, articles dealing with other manufacturing processes with related problems are also be included.

History of engineering & technology --- milling process --- part functionality --- surface integrity --- research progress --- non-proportional mixed mode loading --- fractography --- mode II stress intensity factor --- finite element analysis --- rail steel --- wheel steel --- monolithic zirconia crown --- dental implant abutment --- cyclic loading --- mode III stress intensity factor --- FEA --- adaptive control --- fatigue testing --- simply supported bending --- mini specimen --- additive manufacturing --- 304L stainless steel --- LCF --- crack propagation --- blade-disc-Franc3D --- mixed-mode cracking --- fatigue life improvement --- materials characterization --- ultrasonic impact treatment --- DMLS --- fatigue --- fracture --- finite element method (FEM)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The cryosphere is very sensitive to climate change, and glaciers represent one of the most important archives of atmospheric composition and its variability. From the Himalaya to the European Alps, the longest mid-latitude mountain chain in the world, lie thousands of glaciers that have collected atmospheric compounds over the last millennia. China and Italy are located at the opposite terminals of this long mountain chain, comprising strategic positions for understanding climate evolution and providing important information for the modeling of future climates. The results presented are highlights of some of the most recent advances in cryospheric studies, especially on the topic of mineral dust and aerosols in the atmosphere. They evidence the complexity of the chemical–physical processes involving solid compounds occurring in glacier, snow, and permafrost environments, covering different aspects such as spatial and temporal trends, as well as the impact of mineral and nonmineral particles. Results also show that recent advances in measurement techniques and source apportionment may be powerful and sophisticated tools to provide novel, high-quality scientific information.

XAS spectroscopy --- bacteria --- XANES --- mineral elements --- X-ray fluorescence spectroscopy --- iron geochemistry --- ice --- X-ray absorption fine structure spectroscopy --- mineral dust --- compositional data analysis --- synchrotron radiation --- dust --- global warming hiatus --- simultaneous measurements --- TXRF --- low concentration elemental analysis --- global warming slowdown --- paleoclimatology --- water --- X-ray fluorescence --- snow --- long-range transport --- southern hemisphere --- Antarctica --- ice core --- cryoconite --- evaporation --- contaminants --- POPs --- paleoclimate --- XANES and LCF --- ultra-dilution --- particulate matter --- trace elements --- atmospheric mineral dust --- cryospheric sciences --- ice cores --- X-ray absorption near edge spectroscopy --- droplets --- Arctic rapid warming --- microbiology --- cryosphere --- polycapillary optics --- environment --- Laohugou glacier --- iron speciation --- X-ray absorption spectroscopy --- Arctic --- insoluble dust