Hasil Pencarian  ::  Simpan CSV :: Kembali

Abstrak :
This book presents the work done by the RILEM Technical Committee 227-HPB (Physical properties and behaviour of High-Performance Concrete at high temperature). It contains the latest research results on the behaviour of high-performance concretes at high temperature. The book presents the state of the art of experimental data on High-Performance concretes and it collects and synthesizes useful data about concrete behaviour at high temperatures. The book is divided into independent chapters dealing with degradation reactions in concrete exposed to high temperatures; mass transport properties; thermal properties; and mechanical properties. The results presented especially target a group of users composed by universities and testing laboratories, building material companies and industries, material scientists and experts, building and infrastructure authorities, designers and civil engineers.

Abstrak :
This book offers readers comprehensive coverage of security policy specification using new policy languages, implementation of security policies in Systems-on-Chip (SoC) designs – current industrial practice, as well as emerging approaches to architecting SoC security policies and security policy verification. The authors focus on a promising security architecture for implementing security policies, which satisfies the goals of flexibility, verification, and upgradability from the ground up, including a plug-and-play hardware block in which all policy implementations are enclosed. Using this architecture, they discuss the ramifications of designing SoC security policies, including effects on non-functional properties (power/performance), debug, validation, and upgrade. The authors also describe a systematic approach for “hardware patching”, i.e., upgrading hardware implementations of security requirements safely, reliably, and securely in the field, meeting a critical need for diverse Internet of Things (IoT) devices. - Provides comprehensive coverage of SoC security requirements, security policies, languages, and security architecture for current and emerging computing devices; - Explodes myths and ambiguities in SoC security policy implementations, and provide a rigorous treatment of the subject; - Demonstrates a rigorous, step-by-step approach to developing a diversity of SoC security policies; - Introduces a rigorous, disciplined approach to “hardware patching”, i.e., secure technique for updating hardware functionality of computing devices in-field; - Includes discussion of current and emerging approaches for security policy verification.

Abstrak :
Residual Stress, Thermomechanics & Infrared Imaging, Hybrid Techniques and Inverse Problems, Volume 7 of the Proceedings of the 2018 SEM Annual Conference & Exposition on Experimental and Applied Mechanics, the seventh volume of eight from the Conference, brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on a wide range of areas, including: - Inverse Problems/Hybrid Techniques - Material Characterizations Using Thermography - Thermoelastic Stress Analysis - Fatigue & Damage Evaluation Using Infrared Thermography - Integration of Infrared Thermography & DIC - Thermographic Non-Destructive Evaluation (NDE)

Abstrak :
The book reports on advanced topics in the areas of wearable robotics research and practice. It focuses on new technologies, including neural interfaces, soft wearable robots, sensors and actuators technologies, and discusses important regulatory challenges, as well as clinical and ethical issues. Based on the 4th International Symposium on Wearable Robotics, WeRob2018, held October 16-20, 2018, in Pisa, Italy, the book addresses a large audience of academics and professionals working in government, industry, and medical centers, and end-users alike. It provides them with specialized information and with a source of inspiration for new ideas and collaborations. It discusses exemplary case studies highlighting practical challenges related to the implementation of wearable robots in a number of fields. One of the focus is on clinical applications, which was encouraged by the colocation of WeRob2018 with the International Conference on Neurorehabilitation, INCR2018. Additional topics include space applications and assistive technologies in the industry. The book merges together the engineering, medical, ethical and political perspectives, thus offering a multidisciplinary, timely snapshot of the field of wearable technologies.

Abstrak :
Providing a comprehensive overview of hot stamping (also known as ‘press hardening’), this book examines all essential aspects of this innovative metal forming method, and explores its various uses. It investigates hot stamping from both technological and business perspectives, and outlines potential future developments. Individual chapters explore topics such as the history of hot stamping, the state of the art, materials and processes employed, and how hot stamping is currently being used in the automotive industry to create ultra-high-strength steel components. Drawing on experience and expertise gathered from academia and industry worldwide, the book offers an accessible resource for a broad readership including students, researchers, vehicle manufacturers and metal forming companies.

Abstrak :
This book presents the second volume of Piola’s original Italian text together with the English-language translation and comments, showing convincingly that Gabrio Piola’s work must still be regarded as a modern theory. Gabrio Piola’s work has had an enormous impact on the development of applied mathematics and continuum mechanics. As such, a committee of scientific experts took it upon themselves to translate his complete works. In a second step, they commented on Piola’s work and compared it to modern theories in mechanics in order to stress Piola’s impact on modern science and prove and confirm that he achieved significant milestones in applied mathematics.

Abstrak :
This book focuses on new developments in polytopic projects, particularly on implementation domains and case studies, as well as high-dimensional methodology. Polytopic projects are based on a general reference architecture inspired and shared by the functional organization of organisms and enterprises as informational and cognitive systems, the scientific and engineering methodology and the operational structure of existing self-evolvable and self-sustainable systems.

Abstrak :
This book presents a seamless and unified scheme for automating very complicated calculations required to design, evaluate performance characteristics of, and implement broadband and narrow band impedance matching sub-circuits. The results of these automated calculations (the component values of the impedance matching sub-circuit) are formatted as text SPICE(Simulation Program with Integrated Circuit Emphasis) input netlists. Readers then immediately can use any available SPICE simulator to measure the performance characteristics (DC response, transient response, frequency response, RMS power transferred from source to load, reflection coefficient insertion and transmission loss, ans standing wave ratio – SWR). The text SPICE netlist can be edited easily to fine-tune the performance characteristics, and perform design space exploration and “what-if” type of analyses. - Presents details of a coherent, logical and seamless scheme to design and measure the performance characteristics of both broad and narrow band impedance matching sub-circuits; - Relieves the designer from having to manually do complex, multi-step(therefore error-prone and time-consuming) calculations, especially those related to broadband impedance matching sub-circuit design; - Provides SPICE input netlists, which enable readers to use any available SPICE simulator to estimate the performance characteristics.

Abstrak :
This proceedings volume chronicles the papers presented at the 35th CIB W78 2018 Conference: IT in Design, Construction, and Management, held in Chicago, IL, USA, in October 2018. The theme of the conference focused on fostering, encouraging, and promoting research and development in the application of integrated information technology (IT) throughout the life-cycle of the design, construction, and occupancy of buildings and related facilities. The CIB – International Council for Research and Innovation in Building Construction – was established in 1953 as an association whose objectives were to stimulate and facilitate international cooperation and information exchange between governmental research institutes in the building and construction sector, with an emphasis on those institutes engaged in technical fields of research. The conference brought together more than 200 scholars from 40 countries, who presented the innovative concepts and methods featured in this collection of papers.

Abstrak :
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies. The book consists of five parts, the first two of which present a rigorous exposition of the general theory based on the first principles of arithmetic. Part I covers bit vectors and the bit manipulation primitives, integer and fixed-point encodings, and bit-wise logical operations. Part II addresses the properties of floating-point numbers, the formats in which they are encoded as bit vectors, and the various modes of floating-point rounding. In Part III, the theory is extended to the analysis of several algorithms and optimization techniques that are commonly used in commercial implementations of elementary arithmetic operations. As a basis for the formal verification of such implementations, Part IV contains high-level specifications of correctness of the basic arithmetic instructions of several major industry-standard floating-point architectures, including all details pertaining to the handling of exceptional conditions. Part V illustrates the methodology, applying the preceding theory to the comprehensive verification of a state-of-the-art commercial floating-point unit. All of these results have been formalized in the logic of the ACL2 theorem prover and mechanically checked to ensure their correctness. They are presented here, however, in simple conventional mathematical notation. The book presupposes no familiarity with ACL2, logic design, or any mathematics beyond basic high school algebra. It will be of interest to verification engineers as well as arithmetic circuit designers who appreciate the value of a rigorous approach to their art, and is suitable as a graduate text in computer arithmetic.