Software Abstractions
Software Abstractions

Author: Daniel Jackson

Publisher: MIT Press

Published: 2012

Total Pages: 373

ISBN-13: 0262017156

DOWNLOAD EBOOK

An approach to software design that introduces a fully automated analysis giving designers immediate feedback, now featuring the latest version of the Alloy language. In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach—which Jackson calls “lightweight formal methods” or “agile modeling”—takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback. Jackson has developed Alloy, a language that captures the essence of software abstractions simply and succinctly, using a minimal toolkit of mathematical notions. This revised edition updates the text, examples, and appendixes to be fully compatible with Alloy 4.

Metallurgy and Design of Alloys with Hierarchical Microstructures
Metallurgy and Design of Alloys with Hierarchical Microstructures

Author: Krishnan K. Sankaran

Publisher: Elsevier

Published: 2017-06-14

Total Pages: 508

ISBN-13: 0128120258

DOWNLOAD EBOOK

Metallurgy and Design of Alloys with Hierarchical Microstructures covers the fundamentals of processing-microstructure-property relationships and how multiple properties are balanced and optimized in materials with hierarchical microstructures widely used in critical applications. The discussion is based principally on metallic materials used in aircraft structures; however, because they have sufficiently diverse microstructures, the underlying principles can easily be extended to other materials systems. With the increasing microstructural complexity of structural materials, it is important for students, academic researchers and practicing engineers to possess the knowledge of how materials are optimized and how they will behave in service. The book integrates aspects of computational materials science, physical metallurgy, alloy design, process design, and structure-properties relationships, in a manner not done before. It fills a knowledge gap in the interrelationships of multiple microstructural and deformation mechanisms by applying the concepts and tools of designing microstructures for achieving combinations of engineering properties—such as strength, corrosion resistance, durability and damage tolerance in multi-component materials—used for critical structural applications. - Discusses the science behind the properties and performance of advanced metallic materials - Provides for the efficient design of materials and processes to satisfy targeted performance in materials and structures - Enables the selection and development of new alloys for specific applications based upon evaluation of their microstructure as illustrated in this work

Alloys and Intermetallic Compounds
Alloys and Intermetallic Compounds

Author: Cristina Artini

Publisher: CRC Press

Published: 2017-07-12

Total Pages: 267

ISBN-13: 1351647652

DOWNLOAD EBOOK

This book focuses on the role of modeling in the design of alloys and intermetallic compounds. It includes an introduction to the most important and most used modeling techniques, such as CALPHAD and ab-initio methods, as well as a section devoted to the latest developments in applications of alloys. The book emphasizes the correlation between modeling and technological developments while discussing topics such as wettability of Ultra High Temperature Ceramics by metals, active brazing of diamonds to metals in cutting tools, surface issues in medicine, novel Fe-based superconductors, metallic glasses, high entropy alloys, and thermoelectric materials.

Shape Memory Alloy Engineering
Shape Memory Alloy Engineering

Author: Antonio Concilio

Publisher: Elsevier

Published: 2014-09-25

Total Pages: 449

ISBN-13: 0080999212

DOWNLOAD EBOOK

Shape Memory Alloy Engineering introduces materials, mechanical, and aerospace engineers to shape memory alloys (SMAs), providing a unique perspective that combines fundamental theory with new approaches to design and modeling of actual SMAs as compact and inexpensive actuators for use in aerospace and other applications. With this book readers will gain an understanding of the intrinsic properties of SMAs and their characteristic state diagrams, allowing them to design innovative compact actuation systems for applications from aerospace and aeronautics to ships, cars, and trucks. The book realistically discusses both the potential of these fascinating materials as well as their limitations in everyday life, and how to overcome some of those limitations in order to achieve proper design of useful SMA mechanisms. Discusses material characterization processes and results for a number of newer SMAs Incorporates numerical (FE) simulation and integration procedures into commercial codes (Msc/Nastran, Abaqus, and others) Provides detailed examples on design procedures and optimization of SMA-based actuation systems for real cases, from specs to verification lab tests on physical demonstrators One of the few SMA books to include design and set-up of demonstrator characterization tests and correlation with numerical models

A Quantum Approach to Alloy Design
A Quantum Approach to Alloy Design

Author: Masahiko Morinaga

Publisher: Elsevier

Published: 2018-11-16

Total Pages: 290

ISBN-13: 0128147075

DOWNLOAD EBOOK

A Quantum Approach to Alloy Design: An Exploration of Material Design and Development Based Upon Alloy Design Theory and Atomization Energy Method presents a molecular orbital approach to alloy design that is based on electronic structure calculations using the DV-X alpha cluster method and new alloying parameters obtained from these calculations. Topics discussed include alloy properties, such as corrosion resistance, shape memory effect and super-elasticity that are treated by using alloying parameters in biomedical titanium alloys. This book covers various topics of not only metals and alloys, but also metal oxides, hydrides and even hydrocarbons. In addition, important alloy properties, such as strength, corrosion resistance, hydrogen storage and catalysis are treated in view of electron theory. - Presents alloy design theory and the atomization-energy method and its use for the fundamental understanding of materials and materials design and development - Discusses, for the first time, the atomization-energy analysis of the local lattice strains introduced around alloying elements in metals - Illustrates a simplified approach to predict the structure and phases stability of new alloys/materials

Design of Shape Memory Alloy (SMA) Actuators
Design of Shape Memory Alloy (SMA) Actuators

Author: Ashwin Rao

Publisher: Springer

Published: 2015-05-08

Total Pages: 137

ISBN-13: 3319031880

DOWNLOAD EBOOK

This short monograph presents an analysis and design methodology for shape memory alloy (SMA) components such as wires, beams, and springs for different applications. The solid-solid, diffusionless phase transformations in thermally responsive SMA allows them to demonstrate unique characteristics like superelasticity and shape memory effects. The combined sensing and actuating capabilities of such materials allows them to provide a system level response by combining multiple functions in a single material system. In SMA, the combined mechanical and thermal loading effects influence the functionality of such materials. The aim of this book is to make the analysis of these materials accessible to designers by developing a "strength of materials" approach to the analysis and design of such SMA components inspired from their various applications with a review of various factors influencing the design process for such materials.

Shape Memory Alloys
Shape Memory Alloys

Author: Dimitris C. Lagoudas

Publisher: Springer Science & Business Media

Published: 2008-06-05

Total Pages: 446

ISBN-13: 0387476857

DOWNLOAD EBOOK

This book provides a working knowledge of the modeling and engineering applications of shape memory alloys (SMAs), beginning with a rigorous introduction to continuum mechanics and continuum thermodynamics as they relate to the development of SMA modeling.Modern SMAs can recover from large amounts of bending and deformation, and millions of repetitions within recoverable ranges. SMAs are used in the medical industry to create stents, in the dental industry to create dental and orthodontic archwires, and in the aerospace industry to create fluid fittings. The text presents a unified approach to the constitutive modeling of SMAs, including modeling of magnetic and high temperature SMAs.

Crystal Plasticity Finite Element Methods
Crystal Plasticity Finite Element Methods

Author: Franz Roters

Publisher: John Wiley & Sons

Published: 2011-08-04

Total Pages: 188

ISBN-13: 3527642099

DOWNLOAD EBOOK

Written by the leading experts in computational materials science, this handy reference concisely reviews the most important aspects of plasticity modeling: constitutive laws, phase transformations, texture methods, continuum approaches and damage mechanisms. As a result, it provides the knowledge needed to avoid failures in critical systems udner mechanical load. With its various application examples to micro- and macrostructure mechanics, this is an invaluable resource for mechanical engineers as well as for researchers wanting to improve on this method and extend its outreach.

Artificial Intelligence-Aided Materials Design
Artificial Intelligence-Aided Materials Design

Author: Rajesh Jha

Publisher: CRC Press

Published: 2022-03-15

Total Pages: 363

ISBN-13: 1000541339

DOWNLOAD EBOOK

This book describes the application of artificial intelligence (AI)/machine learning (ML) concepts to develop predictive models that can be used to design alloy materials, including hard and soft magnetic alloys, nickel-base superalloys, titanium-base alloys, and aluminum-base alloys. Readers new to AI/ML algorithms can use this book as a starting point and use the MATLAB® and Python implementation of AI/ML algorithms through included case studies. Experienced AI/ML researchers who want to try new algorithms can use this book and study the case studies for reference. Offers advantages and limitations of several AI concepts and their proper implementation in various data types generated through experiments and computer simulations and from industries in different file formats Helps readers to develop predictive models through AI/ML algorithms by writing their own computer code or using resources where they do not have to write code Covers downloadable resources such as MATLAB GUI/APP and Python implementation that can be used on common mobile devices Discusses the CALPHAD approach and ways to use data generated from it Features a chapter on metallurgical/materials concepts to help readers understand the case studies and thus proper implementation of AI/ML algorithms under the framework of data-driven materials science Uses case studies to examine the importance of using unsupervised machine learning algorithms in determining patterns in datasets This book is written for materials scientists and metallurgists interested in the application of AI, ML, and data science in the development of new materials.