Modal and Temporal Properties of Processes

Modal and Temporal Properties of Processes
Author: Colin Stirling
Publisher: Springer Science & Business Media
Total Pages: 199
Release: 2013-03-14
Genre: Technology & Engineering
ISBN: 1475735502

In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.

Particles in Water

Particles in Water
Author: John Gregory
Publisher: CRC Press
Total Pages: 196
Release: 2005-09-06
Genre: Science
ISBN: 0203508459

Based on the authors more than 35 years of experience, Particles in Water: Properties and Processes examines particles and their behavior in water systems. The book offers clear and accessible methods for characterizing a range of particles both individually and as aggregates. The author delineates the principles for understanding particle

Euromat 99, Microstructures, Mechanical Properties and Processes

Euromat 99, Microstructures, Mechanical Properties and Processes
Author: Yves Bréchet
Publisher: John Wiley & Sons
Total Pages: 440
Release: 2000-07-13
Genre: Medical
ISBN: 9783527301225

The relation between microstructures and mechanical properties has always been a challenge for materials science. Modelling the formation, properties and long term stability of microstructures is one of the most impressive and promising advances of modern materials science. This book presents recent advances and challenges in this fast evolving cross disciplinary field. It addresses applications of classical physical metallurgy, and the need for new modelling approaches, both on the analytical viewpoint and on the simulation side.

Lunar Domes

Lunar Domes
Author: Raffaello Lena
Publisher: Springer Science & Business Media
Total Pages: 211
Release: 2013-03-28
Genre: Science
ISBN: 8847026377

Lunar domes are structures of volcanic origin which are usually difficult to observe due to their low heights. The Lunar Domes Handbook is a reference work on these elusive features. It provides a collection of images for a large number of lunar domes, including telescopic images acquired with advanced but still moderately intricate amateur equipment as well as recent orbital spacecraft images. Different methods for determining the morphometric properties of lunar domes (diameter, height, flank slope, edifice volume) from image data or orbital topographic data are discussed. Additionally, multispectral and hyperspectral image data are examined, providing insights into the composition of the dome material. Several classification schemes for lunar domes are described, including an approach based on the determined morphometric quantities and spectral analyses. Furthermore, the book provides a description of geophysical models of lunar domes, which yield information about the properties of the lava from which they formed and the depth of the magma source regions below the lunar surface.

Wood Properties and Processing

Wood Properties and Processing
Author: Miha Humar
Publisher: MDPI
Total Pages: 350
Release: 2020-05-23
Genre: Technology & Engineering
ISBN: 3039288210

Wood-based materials are CO2-neutral, renewable, and considered to be environmentally friendly. The huge variety of wood species and wood-based composites allows a wide scope of creative and esthetic alternatives to materials with higher environmental impacts during production, use and disposal. Quality of wood is influenced by the genetic and environmental factors. One of the emerging uses of wood are building and construction applications. Modern building and construction practices would not be possible without use of wood or wood-based composites. The use of composites enables using wood of lower quality for the production of materials with engineered properties for specific target applications. Even more, the utilization of such reinforcing particles as carbon nanotubes and nanocellulose enables development of a new generation of composites with even better properties. The positive aspect of decomposability of waste wood can turn into the opposite when wood or wood-based materials are exposed to weathering, moisture oscillations, different discolorations, and degrading organisms. Protective measures are therefore unavoidable for many outdoor applications. Resistance of wood against different aging factors is always a combined effect of toxic or inhibiting ingredients on the one hand, and of structural, anatomical, or chemical ways of excluding moisture on the other.

Microscopic Properties and Processes in Minerals

Microscopic Properties and Processes in Minerals
Author: Kate Wright
Publisher: Springer Science & Business Media
Total Pages: 670
Release: 1999-10-31
Genre: Science
ISBN: 9780792359814

One of the major developments in Earth Sciences in general, and mineralogy in particular, has been the growth of our understanding of the microscopic behaviour of the complex materials that make up the Earth. This has been made possible by advances in our ability to probe minerals at the atomic level, over a large range of pressure and temperature conditions. New experimental techniques include the use of scanning probe microscopies to investigate mineral surfaces, as well as the use of neutron scattering, nuclear spectroscopies and synchrotron radiation to investigate the bonding and structure of minerals. In addition, there have been major developments in computational methods so that it is now possible to calculate the electronic structure of many rock forming materials. The aim of this volume is to give a coherent survey of the latest developments in experimental and theoretical approaches to the study of microscopic propertie~ and processes in minerals. Chapters in the book cover a number of key themes in the mineral sciences such as the behaviour of minerals at extremes of pressure and temperature, ordering in complex silicates, mechanisms of water incorporation in mantle phases, the importance of reactions occurring at the mineral surface, and the ability of computational methods to provide useful, qualitative information on the bulk and surface properties of minerals. The background to several experimental techniques is covered in some detail with examples of relevance to the issues cited above.

Business Process Management

Business Process Management
Author: Mathias Weske
Publisher: Springer Nature
Total Pages: 464
Release: 2024
Genre: Business
ISBN: 3662695189

In this book, Mathias Weske details the complete business process lifecycle from process modeling to process enactment and process evaluation. After starting with the general foundations and abstractions in business process management, he introduces process modeling languages and process choreographies, as well as formal properties of processes and data. Eventually, he presents both traditional and advanced business process management architectures, covering, for example, workflow management systems, service-oriented architectures, and data-driven approaches. The 4th edition of his book contains significant updates, including a new section on directly follows graphs that play a crucial role in process mining. In addition, the core of declarative process modeling is introduced. The increasingly important role of data in business processes is addressed by a new section on data objects and data models in the data and decision chapter. To cover a recent trend in process automation, the enterprise systems architecture chapter now includes a section on robotic process automation. Mathias Weske argues that all communities involved need to have a common understanding of the different aspects of business process management. Hence his textbook is ideally suited for classes on business process management, information systems architecture, and workflow management alike. The accompanying website www.bpm-book.com contains further information and additional teaching material.

Processes of Emergence of Systems and Systemic Properties

Processes of Emergence of Systems and Systemic Properties
Author: Gianfranco Minati
Publisher: World Scientific
Total Pages: 839
Release: 2009
Genre: Mathematics
ISBN: 981279347X

This book contains the Proceedings of the 2007 Conference of the Italian Systems Society. Papers deal with the interdisciplinary study of processes of emergence, considering theoretical aspects and applications from physics, cognitive science, biology, artificial intelligence, economics, architecture, philosophy, music and social systems. Such an interdisciplinary study implies the need to model and distinguish, in different disciplinary contexts, the establishment of structures, systems and systemic properties. Systems, as modeled by the observer, not only possess properties, but are also able to make emergent new properties. While current disciplinary models of emergence are based on theories of phase transitions, bifurcations, dissipative structures, multiple systems and organization, the present volume focuses on both generalizing those disciplinary models and identifying correspondences and new more general approaches. The general conceptual framework of the book relates to the attempt to build a general theory of emergence as a general theory of change, corresponding to Von Bertalanffy''s project for a general system theory.

Ceramic Materials

Ceramic Materials
Author: Philippe Boch
Publisher: John Wiley & Sons
Total Pages: 593
Release: 2010-01-05
Genre: Technology & Engineering
ISBN: 0470394544

This book is primarily an introduction to the vast family of ceramic materials. The first part is devoted to the basics of ceramics and processes: raw materials, powders synthesis, shaping and sintering. It discusses traditional ceramics as well as “technical” ceramics – both oxide and non-oxide – which have multiple developments. The second part focuses on properties and applications, and discusses both structural and functional ceramics, including bioceramics. The fields of abrasion, cutting and tribology illustrate the importance of mechanical properties. It also deals with the questions/answers of a ceramicist regarding electronuclear technology. As chemistry is an essential discipline for ceramicists, the book shows, in particular, what soft chemistry can contribute as a result of sol-gel methods.