This book is intended to give a general overview of reliability, faults, fault models, nanotechnology, nanodevices, fault-tolerant architectures and reliability evaluation techniques. Additionally, the book provides an in depth state-of-the-art research results and methods for fault tolerance as well as the methodology for designing fault-tolerant systems out of highly unreliable components.

This book deals with energy delivery challenges of the power processing unit of modern computer microprocessors. It describes in detail the consequences of current trends in miniaturization and clock frequency increase, upon the power delivery unit, referred to as voltage regulator. This is an invaluable reference for anybody needing to understand the key performance limitations and opportunities for improvement, from both a circuit and systems perspective, of state-of-the-art power solutions for next generation CPUs.

The field of large-scale dimensional metrology (LSM) deals with objects that have linear dimensions ranging from tens to hundreds of meters. It has recently attracted a great deal of interest in many areas of production, including the automotive, railway, and shipbuilding sectors. Distributed Large-Scale Dimensional Metrology introduces a new paradigm in this field that reverses the classical metrological approach: measuring systems that are portable and can be easily moved around the location of the measured object, which is preferable to moving the object itself. Distributed Large-Scale Dimensional Metrology combines the concepts of distributed systems and large scale metrology at the application level. It focuses on the latest insights and challenges of this new generation of systems from the perspective of the designers and developers. The main topics are: coverage of measuring area, sensors calibration, on-line diagnostics, probe management, and analysis of metrological performance. The general descriptions of each topic are further enriched by specific examples concerning the use of commercially available systems or the development of new prototypes. This will be particularly useful for professional practitioners such as quality engineers, manufacturing and development engineers, and procurement specialists, but Distributed Large-Scale Dimensional Metrology also has a wealth of information for interested academics.

This book tackles head-on the challenges of digital design in the era of billion-transistor SoCs. It discusses fundamental design concepts in design and coding required to produce robust, functionally correct designs. It also provides specific techniques for measuring and minimizing complexity in RTL code. Finally, it discusses the tradeoff between RTL and high-level (C-based) design and how tools and languages must progress to address the needs of tomorrow's SoC designs.

Over the last 15 years, the application of innovative steel concepts in the automotive industry has increased steadily. Numerical simulation technology of hot forming of high-strength steel allows engineers to modify the formability of hot forming steel metals and to optimize die design schemes. Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming focuses on hot and cold forming theories, numerical methods, relative simulation and experiment techniques for high-strength steel forming and die design in the automobile industry. Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming introduces the general theories of cold forming, then expands upon advanced hot forming theories and simulation methods, including: the forming process, constitutive equations, hot boundary constraint treatment, and hot forming equipment and experiments. Various calculation methods of cold and hot forming, based on the authors' experience in commercial CAE software for sheet metal forming, are provided, as well as a discussion of key issues, such as hot formability with quenching process, die design and cooling channel design in die, and formability experiments. Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming will enable readers to develop an advanced knowledge of hot forming, as well as to apply hot forming theories, calculation methods and key techniques to direct their die design. It is therefore a useful reference for students and researchers, as well as automotive engineers.

This book presents new results on applications of geometric algebra. The time when researchers and engineers were starting to realize the potential of quaternions for - plications in electrical, mechanic, and control engineering passed a long time ago. Since the publication of Space-Time Algebra by David Hestenes (1966) and Clifford Algebra to Geometric Calculus: A Uni?ed Language for Mathematics and Physics by David Hestenes and Garret Sobczyk (1984), consistent progress in the app- cations of geometric algebra has taken place. Particularly due to the great dev- opments in computer technology and the Internet, researchers have proposed new ideas and algorithms to tackle a variety of problems in the areas of computer science and engineering using the powerful language of geometric algebra. In this process, pioneer groups started the conference series entitled "Applications of Geometric Algebra in Computer Science and Engineering" (AGACSE) in order to promote the research activity in the domain of the application of geometric algebra. The ?rst conference, AGACSE'1999, organized by Eduardo Bayro-Corrochano and Garret Sobczyk, took place in Ixtapa-Zihuatanejo, Mexico, in July 1999. The contri- tions were published in Geometric Algebra with Applications in Science and En- neering, Birkhauser, 2001. The second conference, ACACSE'2001, was held in the Engineering Department of the Cambridge University on 9-13 July 2001 and was organizedbyLeoDorst,ChrisDoran,andJoanLasenby. Thebestconferencecont- butions appeared as a book entitled Applications of Geometric Algebra in Computer Science and Engineering, Birkhauser, 2002. The third conference, AGACSE'2008, took place in August 2008 in Grimma, Leipzig, Germany.

Focal-plane sensor-processor imager devices are sensor arrays and processor arrays embedded in each other on the same silicon chip. This close coupling enables ultra-fast processing even on tiny, low power devices, because the slow and energetically expensive transfer of the large amount of sensory data is eliminated. This technology also makes it possible to produce locally adaptive sensor arrays, which can (similarly to the human retina) adapt to the large dynamics of the illumination in a single scene This book focuses on the implementation and application of state-of-the-art vision chips. It provides an overview of focal plane chip technology, smart imagers and cellular wave computers, along with numerous examples of current vision chips, 3D sensor-processor arrays and their applications. Coverage includes not only the technology behind the devices, but also their near- and mid-term research trends.

Single-threaded software applications have ceased to see signi?cant gains in p- formance on a general-purpose CPU, even with further scaling in very large scale integration (VLSI) technology. This is a signi?cant problem for electronic design automation (EDA) applications, since the design complexity of VLSI integrated circuits (ICs) is continuously growing. In this research monograph, we evaluate custom ICs, ?eld-programmable gate arrays (FPGAs), and graphics processors as platforms for accelerating EDA algorithms, instead of the general-purpose sing- threaded CPU. We study applications which are used in key time-consuming steps of the VLSI design ?ow. Further, these applications also have different degrees of inherent parallelism in them. We study both control-dominated EDA applications and control plus data parallel EDA applications. We accelerate these applications on these different hardware platforms. We also present an automated approach for accelerating certain uniprocessor applications on a graphics processor. This monograph compares custom ICs, FPGAs, and graphics processing units (GPUs) as potential platforms to accelerate EDA algorithms. It also provides details of the programming model used for interfacing with the GPUs.

Human lives are getting increasingly entangled with technology, especially comp- ing and electronics. At each step we take, especially in a developing world, we are dependent on various gadgets such as cell phones, handheld PDAs, netbooks, me- cal prosthetic devices, and medical measurement devices (e.g., blood pressure m- itors, glucometers). Two important design constraints for such consumer electronics are their form factor and battery life. This translates to the requirements of reduction in the die area and reduced power consumption for the semiconductor chips that go inside these gadgets. Performance is also important, as increasingly sophisticated applications run on these devices, and many of them require fast response time. The form factor of such electronics goods depends not only on the overall area of the chips inside them but also on the packaging, which depends on thermal ch- acteristics. Thermal characteristics in turn depend on peak power signature of the chips. As a result, while the overall energy usage reduction increases battery life, peak power reduction in?uences the form factor. One more important aspect of these electronic equipments is that every 6 months or so, a newer feature needs to be added to keep ahead of the market competition, and hence new designs have to be completed with these new features, better form factor, battery life, and performance every few months. This extreme pressure on the time to market is another force that drives the innovations in design automation of semiconductor chips.

What is 'design creativity'? It is impossible to answer this question without considering why human beings can - and do - 'design'. Design creativity is instrumental in not only addressing social problems faced across the world, but also evoking an innate appreciation for beauty and a sense of personal contentment. Design Creativity 2010 comprises advanced research findings on design creativity and perspectives on future directions of design creativity research. The papers included were presented and discussed at the first ICDC (International Conference on Design Creativity), which was held at Kobe, Japan, in 2010. Design Creativity 2010 encourages readers to enhance and expand their activities in the field of design creativity.

This book constitutes the refereed proceedings of the 11th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2014, held in Seattle, WA, USA, in September 2014. The 33 full and 10 short papers presented were carefully reviewed and selected from 78 submissions. The papers cover topics such as cloud technology; the use of cloud for manufacturing, re-source selection, service evaluation, and control; methods for processing and visualizing big data created by the social media, such as Twitter and Facebook; real-time data about human interaction; sentiment analysis; trend analysis; location-based crowdsourcing; effective teamwork; cooperative visualization.

The book presents several highly selected cases in emerging countries where the production-logistics systems have been optimized or improved with the support of mathematical models. The book contains a selection of papers from the 5th International Conference on Production Research (ICPR) Americas 2010 held on July 21-23 in Bogota, Colombia. The main topic of the conference was "Technologies in Logistics and Manufacturing for Small and Medium Enterprises" which is perfectly aligned with the realities of emerging countries. The book presents methodologies and case studies related to a wide variety of production/logistics systems such as diary production, auto parts, steel and iron production, and financial services. It is focused but not limited to Small/Medium Enterprises.

The perfect reference for all AutoCAD users

"AutoCAD 2015 and AutoCAD LT 2015 Bible" is the book you want to have close at hand to answer those day-to-day questions about this industry-leading software. Author and Autodesk University instructor Ellen Finkelstein guides readers through AutoCAD 2015 and AutoCAD LT 2015 with clear, easy-to-understand instruction and hands-on tutorials that allow even total beginners to create a design on their very first day. Although simple and fundamental enough to be used by those new to CAD, the book is so comprehensive that even Autodesk power users will want to keep a copy on their desks.

Here is what you'll find inside the book: Part I: Introducing AutoCAD and AutoCAD LT BasicsPart II: Drawing in Two DimensionsPart III: Working with DataPart IV: Drawing in Three DimensionsPart V: Organizing and Managing DrawingsPart VI: Customizing AutoCAD and AutoCAD LTPart VII: Programming AutoCADPart VIII: AppendixesAppendix A: Installing and Configuring AutoCAD and AutoCAD LTAppendix B: AutoCAD and AutoCAD LT Resources

In addition, the book also explores advanced techniques like programming with AutoLISP and VBA, and demonstrates AutoCAD 2015 customization that can smooth workflow. The companion website contains real-world drawings for each tutorial, plus bonus chapters and video tutorials. If you need to become an AutoCAD guru, "AutoCAD 2015 and AutoCAD LT 2015 Bible" is the one resource that will get you there quickly.

Research on real-time Java technology has been prolific over the past decade, leading to a large number of corresponding hardware and software solutions, and frameworks for distributed and embedded real-time Java systems. This book is aimed primarily at researchers in real-time embedded systems, particularly those who wish to understand the current state of the art in using Java in this domain. Much of the work in real-time distributed, embedded and real-time Java has focused on the Real-time Specification for Java (RTSJ) as the underlying base technology, and consequently many of the Chapters in this book address issues with, or solve problems using, this framework.Describes innovative techniques in: scheduling, memory management, quality of service and communication systems supporting real-time Java applications;Includes coverage of multiprocessor embedded systems and parallel programming;Discusses state-of-the-art resource management for embedded systems, including Java's real-time garbage collection and parallel collectors;Considers hardware support for the execution of Java programs including how programs can interact with functional accelerators;Includes coverage of Safety Critical Java for development of safety critical embedded systems."

This volume is the first book describing the new concept of "Mixed Reality" which is a kind of virtual reality in a broader sense. Published as the proceedings of the first International Symposium on Mixed Reality and written by an interdisciplinary group of experts from all over the world in both industry and academia, this book provides an in-depth look at the current state of mixed reality technology and the scope of its use in entertainment and interactive arts, as well as in engineering and medical applications. Because of the inherent interdisciplinary applications of the mixed reality technology, this book will be useful for computer scientists in computer graphics, computer vision, human computer interaction, and multimedia technologies, and for people involved in cinema/movie, architecture/civil engineering, medical informatics, and interactive entertainment.

These proceedings contain lectures presented at the NATO-NSF-ARO sponsored Advanced Study I stitute on "Computer Aided Analysis and Optimization of Mechanical System Dynamics" held in Iowa City, Iowa, 1-12 August, 1983. Lectures were presented by free world leaders in the field of machine dynamics and optimization. Participants in the Institute were specialists from throughout NATO, many of whom presented contributed papers during the Institute and all of whom participated actively in discussions on technical aspects of the subject. The proceedings are organized into five parts, each addressing a technical aspect of the field of computational methods in dynamic analysis and design of mechanical systems. The introductory paper presented first in the text outlines some of the numerous technical considerations that must be given to organizing effective and efficient computational methods and computer codes to serve engineers in dynamic analysis and design of mechanical systems. Two substantially different approaches to the field are identified in this introduction and are given attention throughout the text. The first and most classical approach uses a minimal set of Lagrangian generalized coordinates to formulate equations of motion with a small number of constraints. The second method uses a maximal set of cartesian coordinates and leads to a large number of differential and algebraic constraint equations of rather simple form. These fundamentally different approaches and associated methods of symbolic computation, numerical integration, and use of computer graphics are addressed throughout the proceedings.

All-embracing manufacturing is a system that aims to dissolve the complexity of the manufacturing process and restore the inherent simplicity. It claims that production is very simple and flexible by nature. However, the complexity is a result of the production system approach which makes it rigid and therefore complex. All-embracing manufacturing introduces flexibility to production planning, it eliminates constraints, bottlenecks, and disruptions automatically while it restores the simplicity. No decision is made ahead of time, but only at the time of execution. It introduces technology as dominant part of manufacturing. It is a computer oriented system that imitates human behavior i.e. practically as any of us behave in daily personal life.

Kinetic energy harvesting converts movement or vibrations into electrical energy, enables battery free operation of wireless sensors and autonomous devices and facilitates their placement in locations where replacing a battery is not feasible or attractive. This book provides an introduction to operating principles and design methods of modern kinetic energy harvesting systems and explains the implications of harvested power on autonomous electronic systems design. It describes power conditioning circuits that maximize available energy and electronic systems design strategies that minimize power consumption and enable operation. The principles discussed in the book will be supported by real case studies such as battery-less monitoring sensors at water waste processing plants, embedded battery-less sensors in automotive electronics and sensor-networks built with ultra-low power wireless nodes suitable for battery-less applications.

Human action analyses and recognition are challenging problems due to large variations in human motion and appearance, camera viewpoint and environment settings. The field of action and activity representation and recognition is relatively old, yet not well-understood by the students and research community. Some important but common motion recognition problems are even now unsolved properly by the computer vision community. However, in the last decade, a number of good approaches are proposed and evaluated subsequently by many researchers. Among those methods, some methods get significant attention from many researchers in the computer vision field due to their better robustness and performance. This book will cover gap of information and materials on comprehensive outlook - through various strategies from the scratch to the state-of-the-art on computer vision regarding action recognition approaches. This book will target the students and researchers who have knowledge on image processing at a basic level and would like to explore more on this area and do research. The step by step methodologies will encourage one to move forward for a comprehensive knowledge on computer vision for recognizing various human actions.

Future computer aided design systems will themselves be designed using tools and methods that are still under development. This book presents the latest progress in research on the tools and methods needed to develop those CAD systems. The topics covered include algorithmic aspects, the product data and development process, future CAD architectures, feature based modeling and automatic feature recognition, complex surface design, and system implementation issues. The book contains contributions by the world's leading experts in the field of CAD technology from both universities and industry. The contributions are based on lectures given at the International Conference and Research Center for Computer Science, Schloss Dagstuhl, Germany.

A systematic computer-aided approach provides a versatile setting for the control engineer to overcome the complications of controller design for highly nonlinear systems. Computer-aided Nonlinear Control System Design provides such an approach based on the use of describing functions. The text deals with a large class of nonlinear systems without restrictions on the system order, the number of inputs and/or outputs or the number, type or arrangement of nonlinear terms. The strongly software-oriented methods detailed facilitate fulfillment of tight performance requirements and help the designer to think in purely nonlinear terms, avoiding the expedient of linearization which can impose substantial and unrealistic model limitations and drive up the cost of the final product.

Design procedures are presented in a step-by-step algorithmic format each step being a functional unit with outputs that drive the other steps. This procedure may be easily implemented on a digital computer with example problems from mechatronic and aerospace design being used to demonstrate the techniques discussed. The author s commercial MATLAB(r)-based environment, available separately from insert URL here, can be used to create simulations showing the results of using the computer-aided control system design ideas characterized in the text.

Academic researchers and graduate students studying nonlinear control systems and control engineers dealing with nonlinear plant, particularly mechatronic or aerospace systems will find Computer-aided Nonlinear Control System Design to be of great practical assistance adding to their toolbox of techniques for dealing with system nonlinearities. A basic knowledge of calculus, nonlinear analysis and software engineering will enable the reader to get the best from this book."

Focusing on the computer graphics required to create digital media this book discusses the concepts and provides hundreds of solved examples and unsolved problems for practice. Pseudo codes are included where appropriate but these coding examples do not rely on specific languages. The aim is to get readers to understand the ideas and how concepts and algorithms work, through practicing numeric examples.

Topics covered include:

2D Graphics

3D Solid Modelling

Mapping Techniques

Transformations in 2D and 3D Space

Illuminations, Lighting and Shading

Ideal as an upper level undergraduate text, "Digital Media A Problem-solving Approach for Computer Graphic, "approaches the field at a conceptual level thus no programming experience is required, just a basic knowledge of mathematics and linear algebra."

This volume contains the refereed and revised papers of the Fourth International Conference on Design Computing and Cognition (DCC'10), held in Stuttgart, Germany. The material in this book represents the state-of-the-art research and developments in design computing and design cognition. The papers are grouped under the following nine headings, describing both advances in theory and application and demonstrating the depth and breadth of design computing and design cognition: Design Cognition; Framework Models in Design; Design Creativity; Lines, Planes, Shape and Space in Design; Decision-Making Processes in Design; Knowledge and Learning in Design; Using Design Cognition; Collaborative/Collective Design; and Design Generation. This book is of particular interest to researchers, developers and users of advanced computation in design across all disciplines and to those who need to gain better understanding of designing.

xv From the Old to the New xvii Acknowledgments xxi 1 Verilog - A Tutorial Introduction 1 Getting Started 2 A Structural Description 2 Simulating the binaryToESeg Driver 4 Creating Ports For the Module 7 Creating a Testbench For a Module 8 11 Behavioral Modeling of Combinational Circuits Procedural Models 12 Rules for Synthesizing Combinational Circuits 13 14 Procedural Modeling of Clocked Sequential Circuits Modeling Finite State Machines 15 Rules for Synthesizing Sequential Systems 18 Non-Blocking Assignment ("

Offers users the first resource guide that combines both the methodology and basics of SystemVerilog Addresses how all these pieces fit together and how they should be used to verify complex chips rapidly and thoroughly. Unique in its broad coverage of SystemVerilog, advanced functional verification, and the combination of the two.