The first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second Edition, Electronic Design Automation for IC System Design, Verification, and Testing thoroughly examines system-level design, microarchitectural design, logic verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for integrated circuit (IC) designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. New to This Edition: Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non-recurring engineering (NRE) costs Significant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithography New coverage of cutting-edge applications and approaches realized in the decade since publication of the previous edition-these are illustrated by new chapters on high-level synthesis, system-on-chip (SoC) block-based design, and back-annotating system-level models Offering improved depth and modernity, Electronic Design Automation for IC System Design, Verification, and Testing provides a valuable, state-of-the-art reference for electronic design automation (EDA) students, researchers, and professionals.

This book provides an overview and up-to-date synthesis of the most commonly used non-destructive technologies for the reverse engineering of built infrastructure facilities. These technologies tackle both the geometric and radiometric characterization of built structures, and thus, validated technologies such as laser scanning, photogrammetry, and multispectral remote sensing are presented in depth, from their fundamentals to their application to management systems for diverse applications in civil engineering (damage inspection, structural calculations, road inventory and inspections, BIM, etc.). Alternative methods are therefore presented for routine sub-surface inspections by using non-invasive geophysics (e.g. magnetic, electrical and electromagnetic), as well as thermography for the nearest sub-surface. The book is divided into three sections, whose main features are as follows: Section 1: Fundamentals, principles and applications of: laser scanning, photogrammetry, geophysics, ground penetrating radar, IR thermography, multispectral imaging. Section 2: Applications to the inspection of infrastructure facilities: tunnels, breakwaters, railways, roads, and modeling of existing buildings (damage inspection in constructions, thermographic 3D modeling, structural modeling of industrial constructions). Section 3: new management tools and intelligent modeling: infrastructure management systems based on non-destructive technologies for masonry arch bridges, computational approaches for GPR processing and interpretation, automatic processing and object recognition from laser scanning data, BIM for existing buildings. This cutting-edge edited volume will be a valuable resource for students, researchers and professional engineers with an interest in non-destructive technologies and their applications to reverse engineering of structures and infrastructure.

From the viewpoint of structural chemistry, structure and bonding lie at the heart of rational syntheses that have already contributed to many signi?cant scienti?c advances in inorganic chemistry and material chemistry, and especially to the discovery of some functional materials. Naturally the ?rst step to novel functional material is "synthesis", and in many cases exploratory synthesis seems to be the onlyworkableroutetonewcompound.However,rationalsynthesiswillsurelymake property-oriented exploration more fruitful and pleasing. Successundertheguidanceofelectronicstructuralfeatures,bondinginteractions, chemical reactivity of building units, etc. has been achieved in many systems. We have presented some signi?cant advances on ?ve topics via review-type chapters that were written by ?ve of the leading authorities in their ?elds. These chapters c- cern chemical approach to new quasicrystals, discovery of complicated compounds of pnicogen, the tuning of redox levels and oligomerization of triruthenium-acetate clusters, structural modi?cation of monomeric phthalocyanines, and the controlled assembly of amino lanthanide metal-organic frameworks (MOFs). Thisvolumehasshownthatthecontrolledassemblyandmodi?cationofinorganic systems are accessible and efforts along the way will contribute greatly to the discovery of new functional materials as well as the satisfaction of the curiosity of fundamental research.

First published in 1999. Routledge is an imprint of Taylor & Francis, an informa company.

This book is the first, single-source guide to successful experiments using the local electrode atom probe (LEAP (R)) microscope. Coverage is both comprehensive and user friendly, including the fundamentals of preparing specimens for the microscope from a variety of materials, the details of the instrumentation used in data collection, the parameters under which optimal data are collected, the current methods of data reconstruction, and selected methods of data analysis. Tricks of the trade are described that are often learned only through trial and error, allowing users to succeed much more quickly in the challenging areas of specimen preparation and data collection. A closing chapter on applications presents selected, state-of-the-art results using the LEAP microscope.

All living things contain carbon in some form, as it is the primary component of macromolecules including proteins, lipids, nucleic acids (RNA and DNA), and carbohydrates. As a matter of fact, it is the backbone of all organic (chemistry) compounds forming different kinds of bonds. Carbon: The Black, the Gray and the Transparent is not a complete scientific history of the material, but a book that describes key discoveries about this old faithful element while encouraging broader perspectives and approaches to its research due to its vast applications. All allotropes of carbon are described in this book, along with their properties, uses, and methods of procurement or manufacturing. Black carbon is represented by coal, gray carbon is represented by graphite, and transparent carbon is represented by diamond.

The series Advances in Polymer Science presents critical reviews of the present and future trends in polymer and biopolymer science. It covers all areas of research in polymer and biopolymer science including chemistry, physical chemistry, physics, material science.The thematic volumes are addressed to scientists, whether at universities or in industry, who wish to keep abreast of the important advances in the covered topics.Advances in Polymer Science enjoys a longstanding tradition and good reputation in its community. Each volume is dedicated to a current topic, and each review critically surveys one aspect of that topic, to place it within the context of the volume. The volumes typically summarize the significant developments of the last 5 to 10 years and discuss them critically, presenting selected examples, explaining and illustrating the important principles, and bringing together many important references of primary literature. On that basis, future research directions in the area can be discussed. Advances in Polymer Science volumes thus are important references for every polymer scientist, as well as for other scientists interested in polymer science - as an introduction to a neighboring field, or as a compilation of detailed information for the specialist.Review articles for the individual volumes are invited by the volume editors. Single contributions can be specially commissioned.Readership: Polymer scientists, or scientists in related fields interested in polymer and biopolymer science, at universities or in industry, graduate students.

This book is the 2nd special volume dedicated to the memory of Gerard Maugin. Over 30 leading scientists present their contribution to reflect the vast field of scientific activity of Gerard Maugin. The topics of contributions employing often non-standard methods (generalized model) in this volume show the wide range of subjects that were covered by this exceptional scientific leader. The topics range from micromechanical basics to engineering applications, focusing on new models and applications of well-known models to new problems. They include micro-macro aspects, computational efforts, possibilities to identify the constitutive equations, and old problems with incorrect or non-satisfying solutions based on the classical continua assumptions.

"Long-Term Durability of Polymeric Matrix Composites" presents a comprehensive knowledge-set of matrix, fiber and interphase behavior under long-term aging conditions, theoretical modeling and experimental methods. This book covers long-term constituent behavior, predictive methodologies, experimental validation and design practice. Readers will also find a discussion of various applications, including aging air craft structures, aging civil infrastructure, in addition to engines and high temperature applications.

All aspects of our lives, industry, health, travel and leisure, are utterly reliant on rubber materials, yet typically this notion rarely occurs to us. Increasingly, greater demands are made on elastomeric compounds and we seek elevated performance in terms of improved physical and chemical properties. In particular, we have come to expect rubber components (tyres, vibration isolators, seals etc) to exhibit exceptional wear and fatigue resistance, often at elevated temperatures. Unsurprisingly then, the emphasis in characterising isochoric materials has shifted significantly away from understanding and modelling hyperelastic material behaviour, to a position where we can confi dently design and manufacture rubber components having the functionality and resilience to meet the dynamic loading and harsh environmental conditions that are prevalent today. In consequence, state-of-the-art technology in terms of dynamic response and fatigue resistance are strongly represented here along with numerous insights into advanced elastomers used in novel applications. This development is not at the expense of research devoted to current test procedures and the constitutive equations and algorithms that underpin finite element methods. As a result, Constitutive Models for Rubber VII is not only essential reading for undergraduates, postgraduates, academics and researchers working in the discipline, but also for all those designers and engineers involved in the improvement of machines and devices by introducing new and novel elastomers possessing elevated properties.

concentrates on teaching techniques using as much theory as needed.application of the techniques to many problems of materials characterization.

Mossbauer spectroscopy is a profound analytical method which has nevertheless continued to develop. The authors now present a state-of-the art book which consists of two parts. The first part details the fundamentals of Mossbauer spectroscopy and is based on a book published in 1978 in the Springer series 'Inorganic Chemistry Concepts' by P. Gutlich, R. Link and A.X. Trautwein.

The second part covers useful practical aspects of measurements, and the application of the techniques to many problems of materials characterization. The update includes the use of synchroton radiation and many instructive and illustrative examples in fields such as solid state chemistry, biology and physics, materials and the geosciences, as well as industrial applications. Special chapters on magnetic relaxation phenomena (S. Morup) and computation of hyperfine interaction parameters (F. Neese) are also included.

The book concentrates on teaching the technique using theory as much as needed and as little as possible. The reader will learn the fundamentals of the technique and how to apply it to many problems of materials characterization. Transition metal chemistry, studied on the basis of the most widely used Mossbauer isotopes, will be in the foreground.

This is the first book summarizing the theoretical basics of thermal nondestructive testing (TNDT) by combining elements of heat conduction, infrared thermography, and industrial nondestructive testing. The text contains the physical models of TNDT, heat transfer in defective and sound structures, and thermal properties of materials. Also included are the optimization of TNDT procedures, defect characterization, data processing in TNDT, active and passive TNDT systems, as well as elements of statistical data treatment and decision making. This text contains in-depth descriptions of applications in infrared/thermal testing within aerospace, power production, building, as well as the conservation of artistic monuments The book is intended for the industrial specialists who are involved in technical diagnostics and nondestructive testing. It may also be useful for academic researchers, undergraduate, graduate and PhD university students.

This book describes the latest developments in the new research discipline of X-ray nanochemistry, which uses nanomaterials to enhance the effectiveness of X-ray irradiation. Nanomaterials now can be synthesized in such a way as to meet the demand for complex functions that enhance the X-ray effect. Innovative methods of delivering the X-rays, which can interact with those nanomaterials much more strongly than energetic electrons and gamma rays, also create new opportunities to enhance the X-ray effect. As a result, new concepts are conceived and new developments are made in the last decade, which are discussed and summarized in this book. This book will help define the discipline and encourage more students and scientists to work in this discipline. These efforts will eventually lead to formation of a full set of physical, chemical and materials principles for this new research field.

This special issue of Corrosion Engineering Science and Technology is dedicated to the study of corrosion of objects from historical sites. The issue contains contributions from the 2009 EUROCORR session on Corrosion of Archaeological and Heritage Artefacts organised by the European Federation of Corrosion's working party and commissioned articles on other key issues. The objective is to give the reader a broad understanding of corrosion of ancient materials, for the most part metal but also glass. Articles shed light on a range of analytical approaches related to the study of the complex systems that make up historical artifacts. In order to arrive at an understanding of the nanometric organisation of rust layers and interphases, such studies must be approached on a macroscopic scale. Techniques used include; macrophotography, synchrotron radiation and transmission electron microscopy (TEM) that ensure results that are both exhaustive and representative of particular observations. This issue demonstrates the wealth of approaches possible in the study of the corrosion of ancient materials.

Today, multi-functional materials such as piezoelectric/ferroelectric ceramics, magneto-strictive and shape memory alloys are gaining increasing applications as sensors, actuators or smart composite materials systems for emerging high tech areas. The stable performance and reliability of these smart components under complex service loads is of paramount practical importance. However, most multi-functional materials suffer from various mechanical and/or electro-magnetical degra-dation mechanisms as fatigue, damage and fracture. Therefore, this exciting topic has become a challenge to intensive international research, provoking the interdisciplinary approach between solid mechanics, materials science and physics. This book summarizes the outcome of the above mentioned IUTAM-symposium, assembling contributions by leading scientists in this area. Particularly, the following topics have been addressed: (1) Development of computational methods for coupled electromechanical field analysis, especially extended, adaptive and multi-level finite elements. (2) Constitutive modeling of non-linear smart material behavior with coupled electric, magnetic, thermal and mechanical fields, primarily based on micro-mechanical models. (3) Investigations of fracture and fatigue in piezoelectric and ferroelectric ceramics by means of process zone modeling, phase field simulation and configurational mechanics. (4) Reliability and durability of sensors and actuators under in service loading by alternating mechanical, electrical and thermal fields. (5) Experimental methods to measure fracture strength and to investigate fatigue crack growth in ferroelectric materials under electromechanical loading. (6) New ferroelectric materials, compounds and composites with enhanced strain capabilities.

This book presents the physical science experiments in a space microgravity environment conducted on board the SJ-10 recoverable satellite, which was launched on April 6th, 2016 and recovered on April 18th, 2016. The experiments described were selected from ~100 proposals from various institutions in China and around the world, and have never previously been conducted in the respective fields. They involve fluid physics and materials science, and primarily investigate the kinetic properties of matter in a space microgravity environment. The book provides a comprehensive review of these experiments, as well as the mission's execution, data collection, and scientific outcomes.

This volume contains selected and reviewed manuscripts from the 2nd Regional Conference on Mechanical and Marine Engineering (ReMME 2018), 'Sustainable Through Engineering,' which was held from November 7 to 9, 2018, at the Ipoh, Perak, Malaysia. This conference was organized by the Center of Refrigeration and Air Conditioning (CARe) and Center of Marine Engineering (CTME) Politeknik Ungku Omar, Jalan Raja Musa Mahadi, 31400 Ipoh, Perak. It discusses the expertise, skills, and techniques needed for the development of energy and renewable energy system, new materials and biomaterials, and marine technology. It focuses on finite element analysis, computational fluids dynamics, programming and mathematical methods that are used for engineering simulations, and present many state-of-the-art applications. For example, modern joining technologies can be used to fabricate new compound or composite materials, even those formed from dissimilar component materials. These composite materials are often exposed to harsh environments, must deliver specific characteristics, and are primarily used in automotive and marine technologies, i.e., ships, amphibious vehicles, docks, offshore structures, and even robots. An energy efficient methods such cogeneration, thermal energy storage and solar desalination also being highlighted as sustainable engineering in this book chapter. The committee members can be listed as follows: Patron:Dr. Hj. Zairon Mustapha (Director). Advisor: Muhmmad Zubir Mohd Hanifah (Deputy Director Academic), Dr. Azhar Abdullah (Head of Innovation, Research & Commercialization). Chairman 1: Dr. Adzuieen Nordin. Chairman 2: Hairi Haizri Che Amat. Secretariat 1: Dr. Woo Tze Keong. Secretariat 2: Dr. Saw Chun Lin. Secretary: Mahani Mohd Zamberi, Maslinda Rahmad. Floor Manager: Dr. Adzuieen Nordin, Marzuki Mohammad Treasurer: Shahrul Nahar Omar Kamal. Webmaster: Mohamad Asyraf Othoman, Mohd Assidiq Che Ahmad, Mohd Hashim Abd. Razak. Proceeding & Editorial: Didi Asmara Salim, Khairil Ashraf Ahmad Maliki, Khirwizam Md Hkhir. Publicity: Nur Azrina Zainal Ariff, Norsheila Buyamin, Rawaida Muhammad, Noor Khairunnisa Kamaruddin. Reviewer: Zakiman Zali, Shahril Jalil. Technical Manager: Mohd Faisol Saad. Springer Publication Editorial: Dr. Saw Chun Lin, Dr. Woo Tze Keong, Didi Asmara Salim, Dr. Salvinder Singh Karam Singh. Protocol & Opening Ceremony: Mohd Rizan Abdul, Yeoh Poh See. Souvenir: Sharifah Zainhuda Syed Tajul Ariffin. Registration: Muhammad Zaki Zainal, Adi Firdaus Hat, Nor Ashimy Mohd Noor, Mohd Naim Awang. Proofread: Shamsul Banu Mohamed Siddik, Fairuz Liza Shuhaimi. Logistics: Mohd Zulhairi Zulkipli, Ahmad Fithri Hasyimie Hashim. Multimedia: Muhammad Redzuan Che Noordin, Mohd Redzuwan Danuri, Ahmad Syawal Yeop Aziz. Liason: Roseazah Ramli, Amrul Zani Mahadi. Sponsorship: Zuraini Gani, Hazril Hisham Hussin.

The series Advances in Polymer Science presents critical reviews of the present and future trends in polymer and biopolymer science. It covers all areas of research in polymer and biopolymer science including chemistry, physical chemistry, physics, material science. The thematic volumes are addressed to scientists, whether at universities or in industry, who wish to keep abreast of the important advances in the covered topics. Advances in Polymer Science enjoys a longstanding tradition and good reputation in its community. Each volume is dedicated to a current topic and each review critically surveys one aspect of that topic, to place it within the context of the volume. The volumes typically summarize the significant developments of the last 5 to 10 years and discuss them critically, presenting selected examples, explaining and illustrating the important principles and bringing together many important references of primary literature. On that basis, future research directions in the area can be discussed. Advances in Polymer Science volumes thus are important references for every polymer scientist, as well as for other scientists interested in polymer science - as an introduction to a neighboring field, or as a compilation of detailed information for the specialist. Review articles for the individual volumes are invited by the volume editors. Single contributions can be specially commissioned. Readership: Polymer scientists, or scientists in related fields interested in polymer and biopolymer science, at universities or in industry, graduate students.

This book covers novel research results for process and techniques of materials characterization for a wide range of materials. The authors provide a comprehensive overview of the aspects of structural and chemical characterization of these materials. The articles contained in this book covers state of the art and experimental techniques commonly used in modern materials characterization. The book includes theoretical models and numerous illustrations of structural and chemical characterization properties.

This STAR on asphalt materials presents the achievements of RILEM TC 206 ATB, acquired over many years of interlaboratory tests and international knowledge exchange. It covers experimental aspects of bituminous binder fatigue testing; the background on compaction methods and imaging techniques for characterizing asphalt mixtures including validation of a new imaging software; it focuses on experimental questions and analysis tools regarding mechanical wheel tracking tests, comparing results from different labs and using finite element techniques. Furthermore, long-term rutting prediction and evaluation for an Austrian road are discussed, followed by an extensive analysis and test program on interlayer bond testing of three different test sections which were specifically constructed for this purpose. Finally, the key issue of manufacturing reclaimed hot mix asphalt in the laboratory is studied and recommendations for laboratory ageing of bituminous mixtures are given.

Common engineering materials reach in many demanding applications such as automotive or aerospace their limits and new developments are required to ful ll increasing demands on performance and characteristics. The properties of ma- rials can be increased for example by combining different materials to achieve better properties than a single constituent or by shaping the material or c- stituents in a speci c structure. Many of these new materials reveal a much more complex behavior than traditional engineering materials due to their advanced str- ture or composition. Furthermore, the classical applications of many engineering materials are extended to new ranges of applications and to more demanding en- ronmental conditions such as elevated temperatures. All these tendencies require in addition to the synthesis of new materials, proper methods for their m- ufacturing and extensive programs for their characterization. In many elds of application, the development of new methods and processes must be acc- plished by accurate and reliable modeling and simulation techniques. Only the interaction between these new developments with regards to manufacturing, m- eling, characterization, further processing and monitoring of materials will allow to meet all demands and to introduce these developments in safety-relevant applications. The 3rd International Conference on Advanced Computational Engineering and Experimenting, ACE-X 2009, was held in Rome, Italy, from 22 to 23 June 2009 with a strong focus on the above mentioned developments.

"Semiconductor-On-Insulator Materials for NanoElectronics Applications is devoted to the fast evolving field of modern nanoelectronics, and more particularly to the physics and technology of nanoelectronic devices built on semiconductor-on-insulator (SemOI) systems. The book contains the achievements in this field from leading companies and universities in Europe, USA, Brazil and Russia. It is articulated around four main topics: 1. New semiconductor-on-insulator materials; 2. Physics of modern SemOI devices; 3. Advanced characterization of SemOI devices; 4. Sensors and MEMS on SOI. "Semiconductor-On-Insulator Materials for NanoElectonics Applications is useful not only to specialists in nano- and microelectronics but also to students and to the wider audience of readers who are interested in new directions in modern electronics and optoelectronics.

Amperometric sensors, biosensors included, particularly rely on suitable electrode materials. Progress in material science has led to a wide variety of options that are available today. For the first time, these novel functional electrode coating materials are reviewed in this monograph, written by and for electroanalytical chemists. This includes intrinsically conducting, redox and ion-exchange polymers, metal and carbon nanostructures, silica based materials. Monolayers and relatively thick films are considered. The authors critically discuss preparation methods, in addition to chemical and physical characteristics of these new materials. They present various examples of emerging applications in electroanalysis. Due to its comprehensive coverage, the book will become an indispensable source for researchers working on the development and even proper use of new amperometric sensor systems.

This work sets out to explore the "aggregates" field in a comprehensive manner, from natural deposits to finished products. Topics covered include: the aggregates market in France; tests and specifications; loading and transport; the quarrying of massive rocks; and crushing and grinding.

Graphene is one of the most intensively studied materials, and has unusual electrical, mechanical and thermal properties, which provide almost unlimited potential applications. This book provides an introduction to the electrical and transport properties of graphene and other two-dimensional nanomaterials, covering ab-initio to multiscale methods. Updated from the first edition, the authors have added chapters on other two-dimensional materials, spin-related phenomena, and an improved overview of Berry phase effects. Other topics include powerful order N electronic structure, transport calculations, and ac transport and multiscale transport methodologies. Chapters are complemented with concrete examples and case studies, questions and exercises, detailed appendices and computational codes. It is a valuable resource for graduate students and researchers working in physics, materials science or engineering who are interested in the field of graphene-based nanomaterials.