The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, both for the domain of processor pipeline design and for memory subsystems. They then dive into the presentation of several new post-silicon verification solutions aimed at boosting the verification coverage of modern processors, dedicating several chapters to this topic. The presentation of runtime verification solutions follows a similar approach. This is an area of processor design that is still in its early stages of exploration and that holds the promise of accomplishing the ultimate goal of achieving complete correctness guarantees for microprocessor-based computation. The authors conclude the book with a look towards the future of late-stage verification and its growing role in the processor life-cycle.

This volume contains the proceedings of the First International Con- rence on "Complex System Design & Management" (CSDM 2010; website: http://www.csdm2010.csdm.fr). Jointly organized, under the guidance of the CESAMES nonpro?t organization, by Ecole Polytechnique and Ecole Centrale de Paris, it was held from October 27 to October 29 at the Cit' e Internationale Universitaire of Paris (France). Mastering complex systems requires the understanding of industrial pr- tices as well as sophisticated theoretical techniques and tools. Thus, the c- ationofameetingforumatEuropeanlevel(whichdidnotexistyet)dedicated to all academic researchers and industrial actors working on complex ind- trial systems engineering was deemed crucial. It was actually for us a sine qua non condition in order to nurture and develop in Europe this complex industrial systems science which is now emergent. The purpose of the "Complex Systems Design & Management" (CSDM) conference was exactly to be such a forum, in order to become, in time, the European academic-industrial conference of reference in the ?eld of complex industrialsystems engineering,which is a quite ambitious objective.To make the CSDM conference this convergence point of the academic and industrial communities in complex industrial systems, we based our organization on a principle of complete parity between academics and industrialists (see the conference organization sections in the next pages). This principle was ?rst implemented as follows: * the Programme Committee consists of 50 % academics and 50 % indust- alists, * the Invited Speakers are coming equally from academic and industrial environments.

In the last decade, signi?cant changes have occurred in the ?eld of vehicle motion planning, and for UAVs in particular. UAV motion planning is especially dif?cult due to several complexities not considered by earlier planning strategies: the - creased importance of differential constraints, atmospheric turbulence which makes it impossible to follow a pre-computed plan precisely, uncertainty in the vehicle state, and limited knowledge about the environment due to limited sensor capabilities. These differences have motivated the increased use of feedback and other control engineering techniques for motion planning. The lack of exact algorithms for these problems and dif?culty inherent in characterizing approximation algorithms makes it impractical to determine algorithm time complexity, completeness, and even soundness. This gap has not yet been addressed by statistical characterization of experimental performance of algorithms and benchmarking. Because of this overall lack of knowledge, it is dif?cult to design a guidance system, let alone choose the algorithm. Throughout this paper we keep in mind some of the general characteristics and requirements pertaining to UAVs. A UAV is typically modeled as having velocity and acceleration constraints (and potentially the higher-order differential constraints associated with the equations of motion), and the objective is to guide the vehicle towards a goal through an obstacle ?eld. A UAV guidance problem is typically characterized by a three-dimensional problem space, limited information about the environment, on-board sensors with limited range, speed and acceleration constraints, and uncertainty in vehicle state and sensor data.

Modelling for Business Improvement contains the proceedings of the First International Conference on Process Modelling and Process Management (MMEP 2010) held in Cambridge, England, in March 2010. It contains contributions from an international group of leading researchers in the fields of process modelling and process management. This conference will showcase recent trends in the modelling and management of engineering processes, explore potential synergies between different modelling approaches, gather and discuss future challenges for the management of engineering processes and discuss future research areas and topics. Modelling for Business Improvement is divided into three main parts: 1. Theoretical foundation of modelling and management of engineering processes, and achievements in theory. 2. Experiences from management practice using various modelling methods and tools, and their future challenges. 3. New perspectives on modelling methods, techniques and tools.

To meet and adapt to the current and future trends and issues in technology and society, the science committee of The German Academic Society for Production Engineering (WGP) continues to define future topics for production technology. These themes represent not only the key focus for the scientific work of the WGP, but also the central themes of the first annual conference in June 2011, whose paper is publically available in this volume. Such themes, including electric mobility, medical technology, lightweight construction, and resource efficiency, as well as mass production ability have all been identified as future, large-scale, and long-term drivers of change. Future trends influence changes sustainably and fundamentally; they permeate society, technology, economics, and value systems and have an effect in virtually all areas of life. The WGP has, as part of its research, established for itself the goal of not only observing these emerging changes, but also of supervising and influencing their development in order to ensure steady progress, secure sustainability, and shape the future.

Innovating in Product/Process Development demonstrates how to achieve true innovation in product development, and how to launch a new product in the quickest and cheapest way. The new approach to product development proposed in this book is based on the most recent research in the field. It suggests the integration of several tools that are currently only used independently, with the aim of stimulating the creation of innovative ideas in general, and specifically in the areas of product/process improvements and problem solving. Innovating in Product/Process Development explores different aspects of innovation processes in twenty-first century industry from a global economic perspective. It presents in detail several approaches to support these processes, from ICT-based systems to collaborative working environments, all of which will be of interest to MBA or advanced students; researchers; and design teams charged with the creation of new product lines.

This book is an integrated approach to kinematic and dynamic analysis. The matrix techniques presented are general and fully applicable to two- or three-dimensional systems. They lend themselves to programming and digital computation and can act as the basis of a usable tool for designers. Techniques have broad applicability to the design analysis of all multibody mechanical systems. The more powerful and more flexible the approach, and the less specialisation and reprogramming required for each application, the better. The matrix methods presented have been developed using these ideas as primary goals. Matrix methods can be applied by hand to such problems as the slider-crank mechanism, but this is not the intent of this text, and often the rigor required for such an attempt becomes quite burdensome in comparison with other techniques. The matrix methods have been extensively tested, both in the classroom and in the world of engineering industry.

The EUCOMES08, Second European Conference on Mechanism Science is the second event of a series that has been started in 2006 as a conference activity for an European community working in Mechanism Science. The ?rst event was held in Obergurgl, Austria in 2006. This year EUCOMES08 Conference has come to Cassino in Italy taking place from 17 to 20 September 2008. TheaimoftheEUCOMESConference istobringtogetherEuropean researchers, industry professionals and students from the broad ranges of disciplines referring to Mechanism Science, in an intimate, collegial and stimulating environment. In this second event we have received an increased attention to the initiative, as canbeseenbythefactthattheEUCOMES08Proceedingswillcontaincontributions by authors even from all around the world. This means also that there is a really interest to have not only a conference frame but even a need of aggregation for an European Community well identi?ed in Mechanism Science with the aim to strengthen common views and collaboration activities among European researchers and institutions. I believe that a reader will take advantage of the papers in these Proceedings with further satisfaction and motivation for her or his work. These papers cover the wide ?eld of the Mechanism Science. The program of EUCOMES08 Conference has included technical sessions with oral presentations, which, together with informal conversations during the social program, have enabled to offer wide opportunities to share experiences and discuss scienti?c achievements and current trends in the areas encompassed by the EUCOMES08 conference.

Research into gastrointestinal motility has received renewed interest in part due to recent advances in the techniques for measuring the structure and function of gastrointestinal cells, tissue and organs. The integration of this wealth of data into biophysically based computation models can aid in interpretation of experimental and clinical measurements and the refinement of measurement techniques. The contents of this book span multiple scales - from cell, tissue, organ, to whole body and is divided into four broad sections covering: i) gastrointestinal cellular activity and tissue structure; (ii) techniques for measuring, analyzing and visualizing high-resolution extra-cellular recordings; (iii) methods for sensing gastroelectrical activity using non-invasive bio-electro-magnetic fields and for modulating the underlying gastric electrical activity and finally (iv) methods for assessing manometric and videographic motility patterns and the application of these data for predicting the flow and mixing behavior of luminal contents by using computational fluid dynamic techniques. This book aims to provide both an overview of historical and existing research techniques as well as to highlight future directions and challenges for the community as a whole. It will be suitable for clinicians to understand the cellular and biophysical underpinnings of gastric emptying, gastroenterologists, surgeons, bioengineers and all scientists with interests in gastrointestinal motility research.

This book is about optimization techniques and is subdivided into two parts. In the first part a wide overview on optimization theory is presented. Optimization is presented as being composed of five topics, namely: design of experiment, response surface modeling, deterministic optimization, stochastic optimization, and robust engineering design. Each chapter, after presenting the main techniques for each part, draws application oriented conclusions including didactic examples. In the second part some applications are presented to guide the reader through the process of setting up a few optimization exercises, analyzing critically the choices which are made step by step, and showing how the different topics that constitute the optimization theory can be used jointly in an optimization process. The applications which are presented are mainly in the field of thermodynamics and fluid dynamics due to the author's background.

Characterisation: this volume presents the latest contribution to the theory and practice of modern robotics given by the world recognised scientists from Australia, Canada, Europe, Japan and USA.

to increase the use of direct contact processes, the National Science Foundation sup ported a workshop on direct contact heat transfer at the Solar Energy Research Insti tute in the summer of 1985. We served as organizers for this workshop, which em phasized an area of thermal engineering that, in our opinion, has great promise for the future, but has not yet reached the point of wide-spread commercial application. Hence, a summary of the state of knowledge at this point is timely. The workshop had a dual objective: 1. To summarize the current state of knowledge in such a form that industrial practi tioners can make use of the available information. 2. To indicate the research and development needed to advance the state-of-the-art, indicating not only what kind of research is needed, but also the industrial poten tial that could be realized if the information to be obtained through the proposed research activities were available.

Base stations developed according to the 3GPP Long Term Evolution (LTE) standard require unprecedented processing power. 3GPP LTE enables data rates beyond hundreds of Mbits/s by using advanced technologies, necessitating a highly complex LTE physical layer. The operating power of base stations is a significant cost for operators, and is currently optimized using state-of-the-art hardware solutions, such as heterogeneous distributed systems. The traditional system design method of porting algorithms to heterogeneous distributed systems based on test-and-refine methods is a manual, thus time-expensive, task. Physical Layer Multi-Core Prototyping: A Dataflow-Based Approach provides a clear introduction to the 3GPP LTE physical layer and to dataflow-based prototyping and programming. The difficulties in the process of 3GPP LTE physical layer porting are outlined, with particular focus on automatic partitioning and scheduling, load balancing and computation latency reduction, specifically in systems based on heterogeneous multi-core Digital Signal Processors. Multi-core prototyping methods based on algorithm dataflow modeling and architecture system-level modeling are assessed with the goal of automating and optimizing algorithm porting. With its analysis of physical layer processing and proposals of parallel programming methods, which include automatic partitioning and scheduling, Physical Layer Multi-Core Prototyping: A Dataflow-Based Approach is a key resource for researchers and students. This study of LTE algorithms which require dynamic or static assignment and dynamic or static scheduling, allows readers to reassess and expand their knowledge of this vital component of LTE base station design.

The concept generation process seems like an intuitional thought: difficult to capture and perform, although everyone is capable of it. It is not an analytical process but a synthetic process which has yet to be clarified. Furthermore, new research methods for investigating the concept generation process-a very difficult task since the concept generation process is driven by inner feelings deeply etched in the mind-are necessary to establish its theory and methodology. Concept Generation for Design Creativity - A Systematized Theory and Methodology presents the concept generation process both theoretically and methodologically. Theoretically, the concept generation process is discussed by comparing metaphor, abduction, and General Design Theory from the notions of similarities and dissimilarities. Analogy, blending, and integration by thematic relation have been explained methodologically. So far, these theories and methods have been discussed independently, and the relations among them have not been clarified. Two newly developed research methods to investigate the concept generation process are clearly explained: the explanation-based protocol analysis and constructive simulation. By reading Concept Generation for Design Creativity - A Systematized Theory and Methodology, students, researchers and lecturers in design disciplines (including engineering design, industrial design, software design, CHI, design education, and cognitive science ) can obtain a clear picture of the advanced research findings and the outline of the theories and methods for concept generation. Furthermore, readers are expected to achieve the competence to generate new concepts.

Since the 1970's, an increasing amount of specialized research has focused on the problems created by instability of internal flow in hydroelectric power plants. However, progress in this field is hampered by the inter disciplinary nature of the subject, between fluid mechanics, structural mechanics and hydraulic transients. Flow-induced Pulsation and Vibration in Hydroelectric Machinery provides a compact guidebook explaining the many different underlying physical mechanisms and their possible effects. Typical phenomena are described to assist in the proper diagnosis of problems and various key strategies for solution are compared and considered with support from practical experience and real-life examples. The link between state-of the-art CFD computation and notorious practical problems is discussed and quantitative data is provided on normal levels of vibration and pulsation so realistic limits can be set for future projects. Current projects are also addressed as the possibilities and limitations of reduced-scale model tests for prediction of prototype performance are explained. Engineers and project planners struggling with the practical problems will find Flow-induced Pulsation and Vibration in Hydroelectric Machinery to be a comprehensive and convenient reference covering key topics and ideas across a range of relevant disciplines.

This book reflects the shift in design paradigm in automobile industry. It presents future innovations, often referred as "automotive systems engineering". These cause fundamental innovations in the field of driver assistance systems and electro-mobility as well as fundamental changes in the architecture of the vehicles. New driving functionalities can only be realized if the software programs of multiple electronic control units work together correctly. This volume presents the new and innovative methods which are mandatory to master the complexity of the vehicle of the future.

This textbook is ideal for a course in engineering systems dynamics and controls. The work is a comprehensive treatment of the analysis of lumped parameter physical systems. Starting with a discussion of mathematical models in general, and ordinary differential equations, the book covers input/output and state space models, computer simulation and modeling methods and techniques in mechanical, electrical, thermal and fluid domains. Frequency domain methods, transfer functions and frequency response are covered in detail. The book concludes with a treatment of stability, feedback control (PID, lead-lag, root locus) and an introduction to discrete time systems. This new edition features many new and expanded sections on such topics as: solving stiff systems, operational amplifiers, electrohydraulic servovalves, using Matlab with transfer functions, using Matlab with frequency response, Matlab tutorial and an expanded Simulink tutorial. The work has 40% more end-of-chapter exercises and 30% more examples.

Stereolithography: Materials, Processes and Applications will focus on recent advances in stereolithography covering aspects related to the most recent advances in the field, in terms of fabrication processes (two-photon polymerization, micro-stereolithography, infrared stereolithography and stereo-thermal-lithography), materials (novel resins, hydrogels for medical applications and highly reinforced resins with ceramics and metals), computer simulation and applications.

This is a new type of edited volume in the Frontiers in Electronic Testing book series devoted to recent advances in electronic circuits testing. The book is a comprehensive elaboration on important topics which capture major research and development efforts today. "Hot" topics of current interest to test technology community have been selected, and the authors are key contributors in the corresponding topics.

The book offers a snapshot of the state-of-art in the field of model-based mechatronic system design. It covers topics including machine design and optimization, predictive systems in manufacturing networks, and the development of software for modeling and simulation of processes, which are supplemented by practical case studies. The book is a collection of fifteen selected contributions presented during the Workshop on Mechatronic Systems, held on March 17-19, 2014, in Mahdia, Tunisia. The workshop was jointly organized by the Laboratory of Mechanics Modeling and Production (LA2MP) of the National School of Engineers Sfax, Tunisia, and the Laboratory for Mechanical Systems and Materials Engineering (LISMMA) of Higher Institute of Mechanics (SUPMECA), Paris, France.

The focus of this book is the modeling of the location of economic activities, measured in terms of employment, in land-use and transportation systems. These measures are key inputs to models at intra-urban scales of the flows of persons and goods for both urban and transport planning. The models described here are either components of comprehensive models or specialist studies. Economic activities can be defined in terms of jobs or private-sector firms and public service organisations. Different levels of aggregation are used both in terms of organisational and geographical dimensions. In the case of firms and public organizations, a distinction can be made between the organizations themselves and corresponding establishments. For urban simulation models, it is the location of establishments that is important. At the more coarse levels of aggregation that are usually used in comprehensive models, firms and organizations are aggregated into sectors.

This proven and internationally recognized text teaches the methods of engineering design as a condition of successful product development. It breaks down the design process into phases and then into distinct steps, each with its own working methods. The book provides more examples of product development; it also tightens the scientific bases of its design ideas with new solution fields in composite components, building methods, mechatronics and adaptronics. The economics of design and development are covered and electronic design process technology integrated into its methods. The book is sharply written and well-illustrated.

The 19th CIRP Conference on Life Cycle Engineering continues a strong tradition of scientific meetings in the areas of sustainability and engineering within the community of the International Academy for Production Engineering (CIRP). The focus of the conference is to review and discuss the current developments, technology improvements, and future research directions that will allow engineers to help create green businesses and industries that are both socially responsible and economically successful. The symposium covers a variety of relevant topics within life cycle engineering including Businesses and Organizations, Case Studies, End of Life Management, Life Cycle Design, Machine Tool Technologies for Sustainability, Manufacturing Processes, Manufacturing Systems, Methods and Tools for Sustainability, Social Sustainability, and Supply Chain Management.

Whilst previous methods for business process reengineering have focused on time and cost reduction policies to preserve competitive services and products, "Re-engineering of Products and Processes: How to Achieve Global Success in the Changing Marketplace" presents a new approach which aims to include aspects that impact the customer perceived value. This method supports business reengineering initiatives by identifying process bottlenecks as well as new products and services viable to overcome market competition.

This original approach is described step-by-step, explaining the theory through examples of performable tasks and the selection of relevant tools according to the nature of the problem. Supported by illustrations, tables and diagrams, "Re-engineering of Products and Processes: How to Achieve Global Success in the Changing Marketplace" clearly explains a method which is then applied to several case studies across different industrial sectors.

"Re-engineering of Products and Processes: How to Achieve Global Success in the Changing Marketplace" provides a scientific reference for researchers and PhD students working in several fields of the Industrial Engineering: mechanical, electric, electronic sectors and, more in general, all the industrial areas where there are needs to design innovative products. The step-by-step description on how to employ the proposed method and its application to practical examples, make the book a key resource for industry consultants and managers who look to increase the value of their products and services for new and existing customers."

This book is intended for those people who have a knowledge or understanding of rubber materials and processes but who wish to update their knowledge. It should be read in conjunction with Developments in Rubber Technology-l as that volume discussed developments in natural rubber and selected special purpose synthetic rubbers as well as additives. The authors have been selected for their expertise in each particular field and we, as editors, would like to express our appreciation to the individual authors and also to their companies. Such a book would be impossible to produce without such active cooperation as we have received. Volumes 1 and 2 of Developments in Rubber Technology cover rubbers which are processed and vulcanised in the traditional manner. It is appreciated that the omission of non-vulcanised rubber materials (the so called thermoplastic elastomers) will be unwelcome to many readers but it is intended, because of the size of the subject, to cover these materials in a subsequent volume. A.W. K.S.L."