Alloy Modeling Design

Author : Daniel Jackson
Publisher : MIT Press
Page : 373 pages
File Size : 51,5 Mb
Release : 2012
Category : Computers
ISBN : 9780262017152

Get Book

Software Abstractions by Daniel Jackson Pdf

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.

Author : G. M. Stocks,Patrice E. A. Turchi
Publisher : Unknown
Page : 325 pages
File Size : 49,6 Mb
Release : 1994
Category : Alloys
ISBN : 0873392493

Get Book

Alloy Modeling & Design by G. M. Stocks,Patrice E. A. Turchi Pdf

Author : Krishnan K. Sankaran,Rajiv S. Mishra
Publisher : Elsevier
Page : 506 pages
File Size : 40,5 Mb
Release : 2017-06-14
Category : Technology & Engineering
ISBN : 9780128120255

Get Book

Metallurgy and Design of Alloys with Hierarchical Microstructures by Krishnan K. Sankaran,Rajiv S. Mishra Pdf

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

Author : Antonio Concilio,Leonardo Lecce
Publisher : Elsevier
Page : 449 pages
File Size : 51,9 Mb
Release : 2014-09-25
Category : Technology & Engineering
ISBN : 9780080999210

Get Book

Shape Memory Alloy Engineering by Antonio Concilio,Leonardo Lecce Pdf

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

Author : Cristina Artini
Publisher : CRC Press
Page : 375 pages
File Size : 52,8 Mb
Release : 2017-07-12
Category : Science
ISBN : 9781351647656

Get Book

Alloys and Intermetallic Compounds by Cristina Artini Pdf

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.

Author : George E. Totten,Lin Xie,Kiyoshi Funatani
Publisher : CRC Press
Page : 752 pages
File Size : 43,9 Mb
Release : 2003-11-21
Category : Technology & Engineering
ISBN : 0203913302

Get Book

Handbook of Mechanical Alloy Design by George E. Totten,Lin Xie,Kiyoshi Funatani Pdf

Offering one of the field's most thorough treatments of material design principles, including a concise overview of fastener design, the Handbook of Mechanical Alloy Design provides an extensive overview of the effects of alloy compositional design on expected mechanical properties. This reference highlights the design elements that must be considered in risk-based metallurgical design and covers alloy design for a broad range of materials, including the increasingly important powder metal and metal matrix alloys. It discusses the design issues associated with carbon, alloy, and tool steels, microalloyed steels, and more. The Handbook of Mechanical Alloy Design is a must-have reference.

Author : Dimitris C. Lagoudas
Publisher : Springer Science & Business Media
Page : 446 pages
File Size : 46,7 Mb
Release : 2008-06-05
Category : Technology & Engineering
ISBN : 9780387476858

Get Book

Shape Memory Alloys by Dimitris C. Lagoudas Pdf

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.

Author : Masahiko Morinaga
Publisher : Elsevier
Page : 288 pages
File Size : 49,9 Mb
Release : 2018-11-16
Category : Technology & Engineering
ISBN : 9780128147078

Get Book

A Quantum Approach to Alloy Design by Masahiko Morinaga Pdf

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

Author : G. M. Stocks,Patrice E. A. Turchi
Publisher : Minerals, Metals, & Materials Society
Page : 346 pages
File Size : 51,9 Mb
Release : 1994
Category : Technology & Engineering
ISBN : UOM:39015034261357

Get Book

Alloy Modeling & Design by G. M. Stocks,Patrice E. A. Turchi Pdf

This work brings together contributions from researchers in a variety of fields that have a common interest in applying the most recent developments in basic research to the design of new alloys. The papers are from Materials Week '93 held in Pittsburgh, Pennsylvania, October 17-21, 1993.

Author : George E. Totten,Lin Xie,Kiyoshi Funatani
Publisher : CRC Press
Page : 534 pages
File Size : 51,8 Mb
Release : 2003-12-02
Category : Science
ISBN : 0203913450

Get Book

Modeling and Simulation for Material Selection and Mechanical Design by George E. Totten,Lin Xie,Kiyoshi Funatani Pdf

This reference describes advanced computer modeling and simulation procedures to predict material properties and component design including mechanical properties, microstructural evolution, and materials behavior and performance. The book illustrates the most effective modeling and simulation technologies relating to surface-engineered compounds, fastener design, quenching and tempering during heat treatment, and residual stresses and distortion during forging, casting, and heat treatment. With contributions from internationally recognized experts in the field, it enables researchers to enhance engineering processes and reduce production costs in materials and component development.

Author : Cristina Artini
Publisher : CRC Press
Page : 368 pages
File Size : 41,7 Mb
Release : 2017-07-12
Category : Science
ISBN : 9781498741446

Get Book

Alloys and Intermetallic Compounds by Cristina Artini Pdf

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.

Author : Tomáš Vojnar,Lijun Zhang
Publisher : Springer
Page : 433 pages
File Size : 48,5 Mb
Release : 2019-04-03
Category : Computers
ISBN : 9783030174620

Get Book

Tools and Algorithms for the Construction and Analysis of Systems by Tomáš Vojnar,Lijun Zhang Pdf

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

Author : Zhiqiang Li
Publisher : Springer Nature
Page : 289 pages
File Size : 40,6 Mb
Release : 2023-10-26
Category : Technology & Engineering
ISBN : 9789819939091

Get Book

Superplastic Forming/Diffusion Bonding Technology of Titanium Alloys by Zhiqiang Li Pdf

This book provides a comprehensive illustration to the superplastic forming/diffusion bonding (SPF/DB) technology developed over decades of research on titanium alloys, process modeling, and its application. SPF/DB technology plays key roles in building aviation components with complicated structures, with highly beneficial effects when well designed. With the ever-increasing demand on components with multiple layers, there is an urgent need for an updated assessment of traditional and modern SPF/DB processing methods. Success critically depends on making the most practical and effective choice of SPF/DB method for a given application. The book introduces titanium and titanium alloys, SPF/DB processing and its modeling, and applications for building typical single or multiple layer(s) structures. Particular attention is paid to illustrating the microstructure evolution during SPF/DB processes. The information for making technical decisions about optimal choice of measurement and evaluation methods is also given in the book. Each chapter follows a focused and pragmatic format. Fully illustrated throughout, the book presents the state of the art in SPF/DB technology in a manner that makes it useful for engineers to improve the established forming processes and quality of components. This book is an essential reading material for industrial practitioners, academic researchers and postgraduates.

Author : Prashanth Konda Gokuldoss,Zhi Wang
Publisher : MDPI
Page : 372 pages
File Size : 51,8 Mb
Release : 2020-04-15
Category : Technology & Engineering
ISBN : 9783039283521

Get Book

Alloy Design and Process Innovations by Prashanth Konda Gokuldoss,Zhi Wang Pdf

Additive manufacturing (AM) is one of the manufacturing processes that warrants the attention of industrialists, researchers and scientists, because of its ability to produce materials with a complex shape without theoretical restrictions and with added functionalities. There are several advantages to employing additive manufacturing as the primary additive manufacturing process. However, there exist several challenges that need to be addressed systematically. A couple such issues are alloy design and process development. Traditionally alloys designed for conventional cast/powder metallurgical processes were fabricated using advanced AM processes. This is the wrong approach considering that the alloys should be coined based on the process characteristics and meta-stable nature of the process. Hence, we must focus on alloy design and development for AM that suits the AM processes. The AM processes, however, improve almost every day, either in terms of processing capabilities or processing conditions. Hence, the processing part warrants a section that is devoted to these advancements and innovations. Accordingly, the present Special Issue (book) focuses on two aspects of alloy development and process innovations. Here, 45 articles are presented covering different AM processes including selective laser melting, electron beam melting, laser cladding, direct metal laser sintering, ultrasonic consolidation, wire arc additive manufacturing, and hybrid manufacturing. I believe that this Special Issue bears is vital to the field of AM and will be a valuable addition.

Author : Mohammad H. Elahinia
Publisher : John Wiley & Sons
Page : 297 pages
File Size : 55,6 Mb
Release : 2016-01-19
Category : Technology & Engineering
ISBN : 9781118359440

Get Book

Shape Memory Alloy Actuators by Mohammad H. Elahinia Pdf

This book provides a systematic approach to realizing NiTi shape memory alloy actuation, and is aimed at science and engineering students who would like to develop a better understanding of the behaviors of SMAs, and learn to design, simulate, control, and fabricate these actuators in a systematic approach. Several innovative biomedical applications of SMAs are discussed. These include orthopedic, rehabilitation, assistive, cardiovascular, and surgery devices and tools. To this end unique actuation mechanisms are discussed. These include antagonistic bi-stable shape memory-superelastic actuation, shape memory spring actuation, and multi axial tension-torsion actuation. These actuation mechanisms open new possibilities for creating adaptive structures and biomedical devices by using SMAs.