153 results (0,22938 seconds)

Show all filters

Brand

Merchant

Price (EUR)

Reset filter

Products
From
Shops

Embedded Software System Testing Automatic Testing Solution Based on Formal Method

Embedded Software System Testing Automatic Testing Solution Based on Formal Method

This book introduces embedded software engineering and management methods proposing the relevant testing theory and techniques that promise the final realization of automated testing of embedded systems. The quality and reliability of embedded systems have become a great concern faced with the rising demands for the complexity and scale of system hardware and software. The authors propose and expound on the testing theory and techniques of embedded software systems and relevant environment construction technologies providing effective solutions for the automated testing of embedded systems. Through analyzing typical testing examples of the complex embedded software systems the authors verify the effectiveness of the theories technologies and methods proposed in the book. In combining the fundamental theory and technology and practical solutions this book will appeal to researchers and students studying computer science software engineering and embedded systems as well as professionals and practitioners engaged in the development verification and maintenance of embedded systems in the military and civilian fields. | Embedded Software System Testing Automatic Testing Solution Based on Formal Method

GBP 77.99
1

Load Testing of Bridges: Two Volume Set

Load Testing of Bridges: Two Volume Set

Load Testing of Bridges featuring contributions from almost fifty authors from around the world across two interrelated volumes deals with the practical aspects the scientific developments and the international views on the topic of load testing of bridges. Volume 12 Load Testing of Bridges: Current practice and Diagnostic Load Testing starts with a background to bridge load testing including the historical perspectives and evolutions and the current codes and guidelines that are governing in countries around the world. The second part of the book deals with preparation execution and post-processing of load tests on bridges. The third part focuses on diagnostic load testing of bridges. Volume 13 Load Testing of Bridges: Proof Load Testing and the Future of Load Testing focuses first on proof load testing of bridges. It discusses the specific aspects of proof load testing during the preparation execution and post-processing of such a test (Part 1). The second part covers the testing of buildings. The third part discusses novel ideas regarding measurement techniques used for load testing. Methods using non-contact sensors such as photography- and video-based measurement techniques are discussed. The fourth part discusses load testing in the framework of reliability-based decision-making and in the framework of a bridge management program. The final part of the book summarizes the knowledge presented across the two volumes as well as the remaining open questions for research and provides practical recommendations for engineers carrying out load tests. This work will be of interest to researchers and academics in the field of civil/structural engineering practicing engineers and road authorities worldwide. | Load Testing of Bridges: Two Volume Set

GBP 44.99
1

Miniaturized Testing of Engineering Materials

Miniaturized Testing of Engineering Materials

This book is a comprehensive overview of methods of characterizing the mechanical properties of engineering materials using specimen sizes in the micro-scale regime (0. 3-5. 0 mm). A range of issues associated with miniature specimen testing like correlation methodologies for data transferability between different specimen sizes use of numerical simulation/analysis for data inversion application to actual structures using scooped out samples or by in-situ testing and more importantly developing a common code of practice are discussed and presented in a concise manner. | Miniaturized Testing of Engineering Materials

GBP 44.99
1

Mechanical Wear Fundamentals and Testing Revised and Expanded

Mechanical Wear Fundamentals and Testing Revised and Expanded

Written by a tribological expert with more than thirty years of experience in the field Mechanical Wear Fundamentals and Testing Second Edition compiles an extensive range of graphs tables micrographs and drawings to illustrate wear friction and lubrication behavior in modern engineering applications. The author promotes a clear understanding of wear testing methodologies for avoidance and resolution of deterioration and weakening in specific engineering designs. Comprehensively describes more than 20 different phenomenological wear tests and over 10 operational wear tests | Mechanical Wear Fundamentals and Testing Revised and Expanded

GBP 59.99
1

Pressure and Temperature Well Testing

Pressure and Temperature Well Testing

The book comprises two parts: Pressure and Flow Well Testing (Part I) and Temperature Well Testing (Part II) and contains numerous authors’ developments. Due to the similarity in Darcy’s and Fourier’s laws the same differential diffusivity equation describes the transient flow of incompressible fluid in porous medium and heat conduction in solids. Therefore it is reasonable to assume that the techniques and data processing procedures of pressure well tests can be applied to temperature well tests. The book presents new methods to determine the formation of permeability and skin factors from tests conducted in simulated wells designing interference well tests processing constant bottom-hole pressure tests estimation of the formation temperature and geothermal gradients from temperature surveys and logs in-situ determination of the formation thermal conductivity and contact thermal resistance of boreholes temperature regime of boreholes (cementing of production liners) and the recovery of thermal equilibrium in deep and superdeep wells. Processing and analysis of pressure and geothermal data are shown on numerous field examples from different regions of the world. The book is intended for students engineers and researchers in the field of hydrocarbon geophysics and geology groundwater searching and exploitation and subsurface environment examination. It will be also useful for specialists studying pressure and temperature in parametric deep and superdeep wells. | Pressure and Temperature Well Testing

GBP 59.99
1

Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits

Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits

Advances in design methods and process technologies have resulted in a continuous increase in the complexity of integrated circuits (ICs). However the increased complexity and nanometer-size features of modern ICs make them susceptible to manufacturing defects as well as performance and quality issues. Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits covers common problems in areas such as process variations power supply noise crosstalk resistive opens/bridges and design-for-manufacturing (DfM)-related rule violations. The book also addresses testing for small-delay defects (SDDs) which can cause immediate timing failures on both critical and non-critical paths in the circuit. Overviews semiconductor industry test challenges and the need for SDD testing including basic concepts and introductory material Describes algorithmic solutions incorporated in commercial tools from Mentor Graphics Reviews SDD testing based on alternative methods that explores new metrics top-off ATPG and circuit topology-based solutions Highlights the advantages and disadvantages of a diverse set of metrics and identifies scope for improvement Written from the triple viewpoint of university researchers EDA tool developers and chip designers and tool users this book is the first of its kind to address all aspects of SDD testing from such a diverse perspective. The book is designed as a one-stop reference for current industrial practices research challenges in the domain of SDD testing and recent developments in SDD solutions.

GBP 74.99
1

Soil Engineering Testing Design and Remediation

Soil Engineering Testing Design and Remediation

In the last forty years at least fifty books have been written on the subject of soil mechanics most of them textbooks. Only a few touch on practical applications. Soil Engineering: Testing Design and Remediation supplies the information needed to fill the gap between textbook learning and practical know-how. When engineers deal with major projects such as the Teton Dam or the Leaning Tower of Pisa they need high-tech solutions. More often than not however they deal with the foundations for warehouses schools medium-rise buildings and residential structures projects that need low-tech solutions. Ninety percent of the time consulting engineers don't require mathematical treatment or computer analysis they require experience. Soil engineering problems cannot be resolved with textbook information alone. This book provides the practical meaning of the different aspects of soil mechanics the use of unconfined compression test data the meaning of consolidated tests the practical value of lateral pressure and more. In addition to the technical aspects of foundation investigation in the real world the shadow of litigation looms over every consultant's head. The author covers legal issues in detail. After several years in foundation investigation most consultants realize that soil engineering is a combination of art and science. Soil Engineering: Testing Design and Remediation demystifies this connection and supplies real-world examples of practical applications. This hands-on ready reference will be essential tool for any consultant working in the field. | Soil Engineering Testing Design and Remediation

GBP 44.99
1

Natural Fiber Composites Manufacturing Characterization and Testing

Natural Fiber Composites Manufacturing Characterization and Testing

This book covers the use of accessible natural fibers towards the requirement and compatibility of industrial sustainability. Using natural characteristics of composites through technology and techniques the inherent qualities of natural fibers are discussed in relation to the design of experiments. This book also elaborates on the durability of composites subjected to environmental conditions biodegradability environmental issues product life cycle assessment and testing methods. Offers detailed coverage of functional aspects of natural fiber composites along with applications Discusses natural fiber inherent character based composite formation techniques Reviews micro-mechanical and macro-mechanical properties and functional use of natural fiber reinforced composites Content based on functional requirements selection and process consideration Discusses product life cycle assessment and recycling techniques This book is aimed at researchers students industrialists and fabricators of composites. | Natural Fiber Composites Manufacturing Characterization and Testing

GBP 44.99
1

Above Ground Storage Tanks Practical Guide to Construction Inspection and Testing

Above Ground Storage Tanks Practical Guide to Construction Inspection and Testing

Covers All Site Activities after DesignAbove Ground Storage Tanks: Practical Guide to Construction Inspection and Testing is an ideal guide for engineers involved in the mechanical construction of above ground storage tanks. This text details the construction of storage tanks in accordance with the American Petroleum Institute requirements for API 650 and is the first book to cover every stage subsequent to the design of storage tanks. The author focuses on the mechanical construction inspection and testing of storage tanks and all aspects on-site after design and explains the relevance of code requirements. In addition he incorporates real-world applications based on his own experience and provides a host of practical tips useful in avoiding repair and reworks during construction of storage tanks. Presents material compiled according to the requirements of API 650 for the construction of storage tanksIncludes coverage of the practical aspects of tank farm layout design foundation erection welding inspection and testing Explains the details of construction /welding sequences and NDT with simple sketches and tablesSpells out applicable codes and specifications and provides logical explanations of various code requirementsA reference for beginners and practitioners in the construction industry Above Ground Storage Tanks: Practical Guide to Construction Inspection and Testing contains valuable information on API 650 code requirements and specifications and the construction of above ground storage tanks. | Above Ground Storage Tanks Practical Guide to Construction Inspection and Testing

GBP 46.99
1

Essentials of Polygraph and Polygraph Testing

Essentials of Polygraph and Polygraph Testing

Throughout history there has been an intrinsic need for humans to detect deception in other humans. Developed in 1923 the polygraph machine was a tool designed to do just this. To date there have been many improvements made to the basic polygraph instrument. This book outlines the instrumentation as well as the latest in questioning techniques and methods available to the professional interviewer to determine truth from deception. The book covers psychology and physiology a history of polygraph with the advances of leading figures question formulation data analysis legal implications and legal cases and the author’s developed technique Integrated Zone Comparison Technique (IZCT). | Essentials of Polygraph and Polygraph Testing

GBP 66.99
1

Electronic Design Automation for IC System Design Verification and Testing

Electronic Design Automation for IC System Design Verification and Testing

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.

GBP 74.99
1

Hydrostatic Testing Corrosion and Microbiologically Influenced Corrosion A Field Manual for Control and Prevention

Hydrostatic Testing Corrosion and Microbiologically Influenced Corrosion A Field Manual for Control and Prevention

Hydrostatic Testing Corrosion and Microbiologically Influenced Corrosion: A Field Manual for Control and Prevention teaches industry professionals managers and researchers how to combat corrosion failure associated with hydrotesting. It discusses how a test liquid must be selected how corrosion by bacteria should be controlled and how to eliminate the risk of leakage. Rather than teaching how hydrotests should be conducted it helps the reader evaluate the quality of a hydrotest that’s already been conducted in terms of oxygen scavenger use biocide testing inhibitor addition and water quality and explains the tasks that top and middle management must ensure are taken with respect to corrosion assessment of hydrotesting. The manual also discusses microbiologically influenced corrosion (MIC) as the main corrosion mechanism related to post-hydrotesting and offers essential knowledge on combating this corrosion process. In addition to being a manual for top and middle management on how to deal with corrosion this book also: | Hydrostatic Testing Corrosion and Microbiologically Influenced Corrosion A Field Manual for Control and Prevention

GBP 48.99
1

Handbook of Geotechnical Testing: Basic Theory Procedures and Comparison of Standards

Handbook of Geotechnical Testing: Basic Theory Procedures and Comparison of Standards

Determination of the physical chemical and mechanical properties of ground materials is the key to successfully deliver such projects as slope stabilization excavation and lateral support foundation etc. A book containing both theory of geomaterial testing and up-to-date testing methods is much in demand for obtaining reliable and accurate test results. This book is intended primarily to serve this need and aims at the clear explanation in adequate depth of the fundamental principles requirements and procedures of soil and rock tests. It is intended that the book will serve as a useful source of reference for professionals in the field of geotechnical and geological engineering. It can work as a one-stop knowledge warehouse to build a basic cognition of material tests on which the readers are working. It helps college students bridge the gap between class education and engineering practice and helps academic researchers guarantee reliable and accurate test results. It is also useful for training new technicians and providing a refresher for veterans. Engineers contemplating the ICE IOM3 and other certification exams will find this book an essential test preparation aid. It is assumed that the reader has no prior knowledge of the subject but has a good understanding of basic mechanics. | Handbook of Geotechnical Testing: Basic Theory Procedures and Comparison of Standards

GBP 56.99
1

Asphalt Mixture Specification and Testing

Asphalt Mixture Specification and Testing

This guide reviews the way asphalt mixture can be specified with particular emphasis on the test methods used to measure performance. The advantages and limitations of the tests are described for measuring the desired property and engineers can specify a test according to the material’s use. The book starts with a resume of specifications and their relative advantages and disadvantages for different situations. Then different properties are discussed in terms of: their specification; the test methods that can be used (primarily the EN 12697 suite of European methods of which the author has been responsible for drafting); the extent to which the results predict performance; the levels that can be achieved with different asphalt mixes and types; what levels if any should be specified in various situations and pavement layers; and which other properties are adversely affected by enhanced performance. The final section covers various aspects of sustainability with a strong emphasis on durability. Better understanding should enable clients and consultants who specify pavements to produce durable asphalt pavements more economically and also help asphalt producers and students trying to understand the black art of asphalt. | Asphalt Mixture Specification and Testing

GBP 44.99
1

Bio-based Wood Adhesives Preparation Characterization and Testing

Bio-based Wood Adhesives Preparation Characterization and Testing

Adhesive bonding plays an increasing role in the forest product industry and is a key factor for efficiently utilizing timber and other lignocellulosic resources. As synthetic wood adhesives are mostly derived from depleting petrochemical resources and have caused increasing environmental concern natural product and byproduct-derived adhesives have attracted much attention in the last decades. Although adhesives made from plant and animal sources have been in existence since ancient times increased knowledge of their chemistry and improved technical formulation of their preparation are still needed to promote their broader industrial applications. The primary goals of this book are to (1) synthesize the fundamental knowledge and latest research on bio-based adhesives from a remarkable range of natural products and byproducts (2) identify need areas and provide directions of future bio-based adhesive research and (3) help integrating research findings in practical adhesive application for maximal benefits. This book covers information on a variety of natural products and byproducts and the latest research on formulation testing and improvement of the relevant adhesives in fifteen chapters written by an international group of accomplished contributors. This book will serve as a valuable reference source for university faculty graduate students research scientists agricultural and wood engineers international organization advocators and government agency regulators who work and deal with enhanced utilization of agricultural and forest products and byproducts. | Bio-based Wood Adhesives Preparation Characterization and Testing

GBP 44.99
1

Smart Cement Development Testing Modeling and Real-Time Monitoring

Smart Cement Development Testing Modeling and Real-Time Monitoring

Over three billion metric tons of cement are produced annually worldwide making concrete the most extensively used construction material. Self-sensing or smart cement allows real-time monitoring of performance through the entire service life of a concrete structure for the detection of changing stresses contamination excessive temperature gas leaks and pre-seismic activity. This is achieved by adding a very small proportion of conductive or semi-conductive fibers such as carbon fibers to the bulk cement making it piezoresistive and enabling changes in the concrete’s electrical resistivity in response to shear stress and strain to be monitored. This state-of-the-art reference work presents experimental results with a realistic theoretical framework for cement manufactures concrete technologists and contractors as well as researchers. | Smart Cement Development Testing Modeling and Real-Time Monitoring

GBP 44.99
1

Advances in Design and Testing of Future Smart Roads Considering Urbanization Digitalization Electrification and Climate Change

Advances in Design and Testing of Future Smart Roads Considering Urbanization Digitalization Electrification and Climate Change

The streets and roads constitute an enormous part of civil infrastructure and a large part of our cities- a social resource that must be properly managed and developed. Therefore many road construction companies contractors transport and traffic administrations and municipalities are seeking for new road design models that can withstand modern challenges and demands. Advances in Design and Testing of Future Smart Roads: Considering Urbanization Digitalization Electrification and Climate Change deals with adapting current road designs to better withstand these future challenges as well as optimizing their structural design. Furthermore the book illustrates recommendations and models for street/road sections including the road section with a reconfigurable design which can be used in both reconstruction and new construction of roads. Features: • Covers road testbeds that meet the challenge of future urbanization including digitalization and electrification • Provides recommendations for potential climate change impacts including flooding and ice accumulation problems • Introduces the concept of reconfigurable and removable streets including recommendations for corresponding street testbeds This book will be of interest to road construction companies and contractors transport and traffic administrations and municipalities lecturers researchers students and anyone interested in transport infrastructure and future road designs. | Advances in Design and Testing of Future Smart Roads Considering Urbanization Digitalization Electrification and Climate Change

GBP 54.99
1

Bituminous Binders and Mixes

Bituminous Binders and Mixes

The aim of the studies presented in this report is the implementation of rational concepts and testing procedures for the design and manufacture of bituminous materials for applications in pavement construction. Practical test procedures are recommended for binder evaluation mix design and performance assessment of bituminous materials. The three main topics addressed are binder testing mix design and mechanical testing of mixtures. Each is examined through interlaboratory tests and there is a literary review of existing practices and methods for the production of polymer modified binders mixture design and the mechanical properties of mixtures. | Bituminous Binders and Mixes

GBP 59.99
1

Econometrics

Econometrics

A collection of proofs of fundamental theorems this volume utilizes a format that is exhaustive and consistent. Every result covered in ``Econometrics''is proved as well as stated. One notation system is used throughout the volume. The topics included in the book cover such areas as estimations and testing in linear regression models under various sets of assumptions and estimation and testing in simultaneous equations models. The latter subject is treated more extensively than in most econometrics books and the entire volume is characterized by its rigorous level of examination.

GBP 59.99
1

Test Quality for Construction Materials and Structures Proceedings of the International RILEM/ILAC Symposium

Test Quality for Construction Materials and Structures Proceedings of the International RILEM/ILAC Symposium

Testing of materials and manufactured items is a key element in the process from standard specifications though control and verification during manufacture to trade in actual products. Cooperative agreements and networks are being set up covering reference materials and calibration. This process is becoming more urgent with the development in the European market and other international developments. This book presents international views on this fast changing field with the main themes of: technical components of test quality; quality assurance in testing laboratories; laboratory accreditation and transnational recognition of test results. | Test Quality for Construction Materials and Structures Proceedings of the International RILEM/ILAC Symposium

GBP 62.99
1

Digital Microfluidic Biochips Design Automation and Optimization

Digital Microfluidic Biochips Design Automation and Optimization

Microfluidics-based biochips combine electronics with biochemistry providing access to new application areas in a wide variety of fields. Continued technological innovations are essential to assuring the future role of these chips in functional diversification in biotech pharmaceuticals and other industries. Revolutionary guidance on design optimization and testing of low-cost disposable biochips Microfluidic Biochips: Design Automation and Optimization comprehensively covers the appropriate design tools and in-system automation methods that will help users adapt to new technology and progress in chip design and manufacturing. Based on results from several Duke University research projects on design automation for biochips this book uses real-life bioassays as examples to lay out an automated design flow for creating microfluidic biochips. It also develops solutions to the unique problems associated with that process. Highlights the design of the protein crystallization chip to illustrate the benefits of automated design flowIn addition to covering automated design the authors provide a detailed methodology for the testing use and optimization of robust cost-efficient manufacturable digital microfluidic systems used in protein crystallization and other areas. The invaluable tools and practices presented here will help readers to: Address optimization problems related to layout synthesis droplet routing and testing for digital microfluidic biochips Make routing-aware architectural-level design choices and defect-tolerant physical design decisions simultaneously Achieve the optimization goal which includes minimizing time-to-response chip area and test complexity Effectively deal with practical issues such as defects fabrication cost physical constraints and application-driven design The authors present specialized pin-constrained design techniques for making biochips with a focus on cost and disposability. They also discuss chip testing to ensure dependability which is key to optimizing safety-critical applications such as point-of-care medical diagnostics on-chip DNA analysis automated drug discovery air-quality monitoring and food-safety testing. This book is an optimal reference for academic and industrial researchers in the areas of digital microfluidic biochips and electronic design automation. | Digital Microfluidic Biochips Design Automation and Optimization

GBP 69.99
1

Forensic DNA Applications An Interdisciplinary Perspective

Forensic DNA Applications An Interdisciplinary Perspective

Forensic DNA Applications: An Interdisciplinary Perspective Second Edition is fully updated to outline the latest advances in forensic DNA testing techniques and applications. It continues to fill the need for a reference book for people working in the field of forensic molecular biology testing and research as well as individuals investigating and adjudicating cases involving DNA evidence whether they be civil or criminal cases. DNA techniques have greatly impacted obvious traditional forensic areas but such advances have also positively affected myriad new areas of research and inquiry. It is possible today to think about solving forensic problems that were simply unheard of even a few years ago. As such the book pulls all relevant research and applied science together into a detailed and comprehensive collection. Part I begins with the history and development of DNA typing and profiling for criminal and civil purposes. It discusses the statistical interpretation of results with case examples mitochondrial DNA testing Y single nucleotide polymorphisms (SNPs) and short tandem repeats (STRs) and X SNP and STR testing. It also explores low copy number DNA typing mixtures and quality assurance and control. Part II moves on to cover the various uses and applications of analyzing collected physical evidence victim identification in mass disasters analyzing animal DNA forensic botany and other unique applications. Part III is dedicated to the latest advances and developments in human molecular biology and Part IV looks at policies and laws and ethics governing DNA evidence and its utilization in various cases and the courts. Forensic DNA Applications Second Edition covers cutting-edge research and advancements in the field and is the most up-to-date reference available. Edited and contributed to by the world's foremost leaders in the field it is a must-have reference for established professionals and an essential resource to legal professionals—lawyers and judges dealing with civil and criminal cases involving DNA technology—as well as students entering the fields of genetics and forensic DNA analysis. | Forensic DNA Applications An Interdisciplinary Perspective

GBP 56.99
1

Nonparametric Regression and Spline Smoothing

Nonparametric Regression and Spline Smoothing

Provides a unified account of the most popular approaches to nonparametric regression smoothing. This edition contains discussions of boundary corrections for trigonometric series estimators; detailed asymptotics for polynomial regression; testing goodness-of-fit; estimation in partially linear models; practical aspects problems and methods for confidence intervals and bands; local polynomial regression; and form and asymptotic properties of linear smoothing splines. | Nonparametric Regression and Spline Smoothing

GBP 44.99
1