Wyniki wyszukiwania:

This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004.

The 12 revised full papers presented aurvey current issues theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.

This book focuses on the unified solutions and analysis for the problems in soil mechanics based on the unified strength theory, which is a new theory on the yield and failure of materials under multi-axial stresses. Then, it provides a system of yield and failure criteria adopted for most materials, from metallic materials to rocks, concretes, soils, polymers, etc. It includes the Tresca criterion, Mohr–Coulomb theory, and Mises criterion as well, which are special cases or linear approximation of the UST.

This book is devoted to the cultural and biological dimensions and values of landscapes, linking the concepts of biodiversity, landscape and culture and presenting an essential approach for landscape analysis, interpretation and sustainable dynamics.

Early chapters explore the concepts and values of biocultural landscapes, before addressing the methodology to identify the relationship between biological and cultural diversity. The volume continuous with a series of case studies and with an exploration of the key role of biocultural diversity in contemporary landscape...

This book focuses on water content estimation and control of the PEM fuel cell stack and the individual cell in vehicle. Firstly, the mathematical connection between polarization curve and equivalent circuit model proves importance of MEA and its feasibility to study water content. Optimizing structure of MEA realizes the internal water content recirculation of a fuel cell and improves its performance under middle or lower current density. The influence of water content on performance of MEA is quantified, and variation of equivalent circuit model is an excellent indicator of water...