Here's the only book to comprehensively address integrated optics from both the theory and practical modeling standpoints -- it reveals crucial design methods that decrease your overall device modeling effort.

This volume contains papers that have been selected after review for oral presentation at ISRM 2015, the Fourth IFToMM International Symposium on Robotics and Mechatronics held in Poitiers, France 23-24 June 2015. These papers provide a vision of the evolution of the disciplines of robotics and mechatronics, including but not limited to: mechanism design; modeling and simulation; kinematics and dynamics of multibody systems; control methods; navigation and motion planning; sensors and actuators; bio-robotics; micro/nano-robotics; complex robotic systems; walking machines, humanoids-parallel kinematic structures: analysis and synthesis; smart devices; new design; application and prototypes. The book can be used by researchers and engineers in the relevant areas of robotics and mechatronics.

Digital Video and HD: Algorithms and Interfaces provides a one-stop shop for the theory and engineering of digital video systems. Equally accessible to video engineers and those working in computer graphics, Charles Poynton s revision to his classic text covers emergent compression systems, including H.264 and VP8/WebM, and augments detailed information on JPEG, DVC, and MPEG-2 systems. This edition also introduces the technical aspects of file-based workflows and outlines the emerging domain of metadata, placing it in the context of digital video processing.
With the help of hundreds of high quality technical illustrations, this book presents the following topics:
* Basic concepts of digitization, sampling, quantization, gamma, and filtering
* Principles of color science as applied to image capture and display
* Scanning and coding of SDTV and HDTV
* Video color coding: luma, chroma (4:2:2 component video, 4"f"SC composite video)
* Analog NTSC and PAL
* Studio systems and interfaces
* Compression technology, including M-JPEG and MPEG-2
* Broadcast standards and consumer video equipment"

Unifying two decades of research, this book is the first to establish a comprehensive foundation for a systematic analysis and design of linear systems with general state and input constraints. For such systems, which can be used as models for most nonlinear systems, the issues of stability, controller design, additonal constraints, and satisfactory performance are addressed. The book is an excellent reference for practicing engineers, graduate students, and researchers in control systems theory and design. It may also serve as an advanced graduate text for a course or a seminar in nonlinear control systems theory and design in applied mathematics or engineering departments. Minimal prerequisites include a first graduate course in state-space methods as well as a first course in control systems design.

Proceedings of China Modern Logistics Engineering covers nearly all areas of logistics engineering technology, focusing on the latest findings and the following theoretical aspects: Logistics Systems and Management Research; Green Logistics and Emergency Logistics; Enterprise Logistics; Material Handling; Warehousing Technology Research; Supply Chain Management; Logistics Equipment; Logistics Packaging Technology; Third-party Logistics, etc. The book will help readers to grasp the relevant aspects of the theory involved, research and development trends, while also offering guidance for their work and related studies. It is intended for researchers, scholars and graduate students in logistics management, logistics engineering, transportation, business administration, E-commerce and industrial engineering.

This book examines seven key combinatorial engineering frameworks (composite schemes consisting of algorithms and/or interactive procedures) for hierarchical modular (composite) systems. These frameworks are based on combinatorial optimization problems (e.g., knapsack problem, multiple choice problem, assignment problem, morphological clique problem), with the author's version of morphological design approach - Hierarchical Morphological Multicritieria Design (HMMD) - providing a conceptual lens with which to elucidate the examples discussed. This approach is based on ordinal estimates of design alternatives for systems parts/components, however, the book also puts forward an original version of HMMD that is based on new interval multiset estimates for the design alternatives with special attention paid to the aggregation of modular solutions (system versions). The second part of 'Modular System Design and Evaluation' provides ten information technology case studies that enriches understanding of the design of system design, detection of system bottlenecks and system improvement, amongst others. The book is intended for researchers and scientists, students, and practitioners in many domains of information technology and engineering. The book is also designed to be used as a text for courses in system design, systems engineering and life cycle engineering at the level of undergraduate level, graduate/PhD levels, and for continuing education. The material and methods contained in this book were used over four years in Moscow Institute of Physics and Technology (State University) in the author's faculty course "System Design".

This second companion volume on engineering studies considers engineering practice including contextual analyses of engineering identity, epistemologies and values. Key overlapping questions examine such issues as an engineering identity, engineering self-understandings enacted in the professional world, distinctive characters of engineering knowledge and how engineering science and engineering design interact in practice. Authors bring with them perspectives from their institutional homes in Europe, North America, Australia\ and Asia. The volume includes 24 contributions by more than 30 authors from engineering, the social sciences and the humanities. Additional issues the chapters scrutinize include prominent norms of engineering, how they interact with the values of efficiency or environmental sustainability. A concluding set of articles considers the meaning of context more generally by asking if engineers create their own contexts or are they created by contexts. Taken as a whole, this collection of original scholarly work is unique in its broad, multidisciplinary consideration of the changing character of engineering practice.

The primary objective of this book is to provide an easy approach to the basic principles of Engineering Drawing, which is one of the core subjects for undergraduate students in all branches of engineering. Further, it offers comprehensive coverage of topics required for a first course in this subject, based on the author's years of experience in teaching this subject. Emphasis is placed on the precise and logical presentation of the concepts and principles that are essential to understanding the subject. The methods presented help students to grasp the fundamentals more easily. In addition, the book highlights essential problem-solving strategies and features both solved examples and multiple-choice questions to test their comprehension.

The book provides a comprehensive description and implementation methodology for the Philips/NXP Aethereal/aelite Network-on-Chip (NoC). The presentation offers a systems perspective, starting from the system requirements and deriving and describing the resulting hardware architectures, embedded software, and accompanying design flow. Readers get an in depth view of the interconnect requirements, not centered only on performance and scalability, but also the multi-faceted, application-driven requirements, in particular composability and predictability. The book shows how these qualitative requirements are implemented in a state-of-the-art on-chip interconnect, and presents the realistic, quantitative costs.

Since process variation and chip performance uncertainties have become more pronounced as technologies scale down into the nanometer regime, accurate and efficient modeling or characterization of variations from the device to the architecture level have become imperative for the successful design of VLSI chips. This book provides readers with tools for variation-aware design methodologies and computer-aided design (CAD) of VLSI systems, in the presence of process variations at the nanometer scale. It presents the latest developments for modeling and analysis, with a focus on statistical interconnect modeling, statistical parasitic extractions, statistical full-chip leakage and dynamic power analysis considering spatial correlations, statistical analysis and modeling for large global interconnects and analog/mixed-signal circuits. Provides readers with timely, systematic and comprehensive treatments of statistical modeling and analysis of VLSI systems with a focus on interconnects, on-chip power grids and clock networks, and analog/mixed-signal circuits; Helps chip designers understand the potential and limitations of their design tools, improving their design productivity; Presents analysis of each algorithm with practical applications in the context of real circuit design; Includes numerical examples for the quantitative analysis and evaluation of algorithms presented. Provides readers with timely, systematic and comprehensive treatments of statistical modeling and analysis of VLSI systems with a focus on interconnects, on-chip power grids and clock networks, and analog/mixed-signal circuits; Helps chip designers understand the potential and limitations of their design tools, improving their design productivity; Presents analysis of each algorithm with practical applications in the context of real circuit design; Includes numerical examples for the quantitative analysis and evaluation of algorithms presented.

This book contains the extended papers presented at the 2nd Workshop on Supervised and Unsupervised Ensemble Methods and their Applications (SUEMA)heldon21-22July,2008inPatras,Greece,inconjunctionwiththe 18thEuropeanConferenceon Arti?cial Intelligence(ECAI 2008). This wo- shop was a successor of the smaller event held in 2007 in conjunction with 3rd Iberian Conference on Pattern Recognition and Image Analysis, Girona, Spain. The success of that event as well as the publication of workshop - pers in the edited book "Supervised and Unsupervised Ensemble Methods and their Applications", published by Springer-Verlag in Studies in Com- tational Intelligence Series in volume 126, encouraged us to continue a good tradition. The scope of both SUEMA workshops (hence, the book as well) is the application of theoretical ideas in the ?eld of ensembles of classi?cation and clusteringalgorithmstoreal/lifeproblemsinscienceandindustry. Ensembles, which represent a number of algorithms whose class or cluster membership predictions are combined together to produce a single outcome value, have alreadyprovedto be a viable alternativeto a single best algorithmin various practical tasks under di?erent scenarios, from bioinformatics to biometrics, from medicine to network security. The ensemble approach is caused to life by the famous "no free lunch" theorem, stating that there is no absolutely best algorithm to solve all problems. Although ensembles cannot be cons- ered as absolute remedy of a single algorithm de?ciency, it is widely believed thatensemblesprovideabetteranswerto"nofreelunch"theoremthanas- glebestalgorithm. Statistical,algorithmical,representational,computational and practical reasons can explain the success of ensemble methods.

This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure that those systems execute c- rectly. Over the last decade, formal veri?cation has made signi?cant headway in the analysis of industrial systems, particularly in the realm of veri?cation of hardware. A key advantage of formal veri?cation is that it provides a mathematical guarantee of their correctness (up to the accuracy of formal models and correctness of r- soning tools). In the process, the analysis can expose subtle design errors. Formal veri?cation is particularly effective in ?nding corner-case bugs that are dif?cult to detect through traditional simulation and testing. Nevertheless, and in spite of its promise, the application of formal veri?cation has so far been limited in an ind- trial design validation tool ?ow. The dif?culties in its large-scale adoption include the following (1) deductive veri?cation using theorem provers often involves - cessive and prohibitive manual effort and (2) automated decision procedures (e. g. , model checking) can quickly hit the bounds of available time and memory. This book presents recent advances in formal veri?cation techniques and d- cusses the applicability of the techniques in ensuring the reliability of large-scale systems. We deal with the veri?cation of a range of computing systems, from - quential programsto concurrentprotocolsand pipelined machines.

Embedded systems applications that are either mission or safety-critical usually entail low- to mid- production volumes, require the rapid development of specific tasks, which are typically computing intensive, and are cost bounded. The adoption of re-configurable FPGAs in such application domains is constrained to the availability of suitable techniques to guarantee the dependability requirements entailed by critical applications. This book describes the challenges faced by designers when implementing a mission- or safety-critical application using re-configurable FPGAs and it details various techniques to overcome these challenges. In addition to an overview of the key concepts of re-configurable FPGAs, it provides a theoretical description of the failure modes that can cause incorrect operation of re-configurable FPGA-based electronic systems. It also outlines analysis techniques that can be used to forecast such failures and covers the theory behind solutions to mitigate fault effects. This book also reviews current technologies available for building re-configurable FPGAs, specifically SRAM-based technology and Flash-based technology. For each technology introduced, theoretical concepts presented are applied to real cases. Design techniques and tools are presented to develop critical applications using commercial, off-the-shelf devices, such as Xilinx Virtex FPGAs, and Actel ProASIC FPGAs. Alternative techniques based on radiation hardened FPGAs, such as Xilinx SIRF and Atmel ATF280 are also presented. This publication is an invaluable reference for anyone interested in understanding the technologies of re-configurable FPGAs, as well as designers developing critical applications based on these technologies.

This monograph presents the latest developments and applications of computational tools related to the biosciences and medical engineering. Computational tools such as the finite element methods, computer-aided design and optimization as well as visualization techniques such as computed axial tomography open completely new research fields with a closer joining of the engineering and bio/medical area. Nevertheless, there are still hurdles since both directions are based on quite different ways of education. Often even the "language" is sometimes different from discipline to discipline. This monograph reports the results of different multi-disciplinary research projects, for example, from the areas of scaffolds and synthetic bones, implants and medical devices and medical materials. It is also shown that the application of computational methods often necessitates mathematical and experimental methods.

This book describes principles, industry practices and evolutionary methodologies for advanced safety studies, which are helpful in effectively managing volatile, uncertain, complex, and ambiguous (VUCA) environments within the framework of quantitative risk assessment and management and associated with the safety and resilience of structures and infrastructures with tolerance against various types of extreme conditions and accidents such as fires, explosions, collisions and grounding. It presents advanced computational models for characterizing structural actions and their effects in extreme and accidental conditions, which are highly nonlinear and non-Gaussian in association with multiple physical processes, multiple scales, and multiple criteria. Probabilistic scenario selection practices and applications are presented. Engineering practices for structural crashworthiness analysis in extreme conditions and accidents are described. Multidisciplinary approaches involving advanced computational models and large-scale physical model testing are emphasized. The book will be useful to students at a post-graduate level as well as researchers and practicing engineers.

This book offers a clear, yet comprehensive guide to how to structure a design project, focusing in particular on the key questions designers, architects, policy makers and health professionals should consider when working towards inclusion through design. The book is based on a series of lessons held by the author and his colleague Avril Accolla, whose aim was to train technicians at all levels to be capable of catering for the needs of the elderly. It clearly draws the outline of their "Ask the Right Question" approach, whose purpose is to help convey the notions in question appropriately to people with such widely different backgrounds, curricula, interests and cultures. Using a minimalist approach, based mainly on the discussion of eye-catching real-life examples placed in logical order and a crystal clear, engaging style, this book is a must-have for designers, technicians, customers and health practitioners, as well as social scientists and policy makers who deal with inclusive design at different levels and anyone interested in topics related to technological evolution and social integration.

Artificial Intelligence (AI) is penetrating in all sciences as a multidisciplinary approach. However, adopting the theory of AI including computer vision and computer audition to urban intellectual space, is always difficult for architecture and urban planners. This book overcomes this challenge through a conceptual framework by merging computer vision and audition to urban studies based on a series of workshops called Remorph, conducted by Tehran Urban Innovation Center (TUIC).

To satisfy the higher requirements of digitally converged embedded systems, this book describes heterogeneous multicore technology that uses various kinds of low-power embedded processor cores on a single chip. With this technology, heterogeneous parallelism can be implemented on an SoC, and greater flexibility and superior performance per watt can then be achieved. This book defines the heterogeneous multicore architecture and explains in detail several embedded processor cores including CPU cores and special-purpose processor cores that achieve highly arithmetic-level parallelism. The authors developed three multicore chips (called RP-1, RP-2, and RP-X) according to the defined architecture with the introduced processor cores. The chip implementations, software environments, and applications running on the chips are also explained in the book. Provides readers an overview and practical discussion of heterogeneous multicore technologies from both a hardware and software point of view; Discusses a new, high-performance and energy efficient approach to designing SoCs for digitally converged, embedded systems; Covers hardware issues such as architecture and chip implementation, as well as software issues such as compilers, operating systems, and application programs; Describes three chips developed according to the defined heterogeneous multicore architecture, including chip implementations, software environments, and working applications.

Volume 2 of the updated and extended 3rd edition of this work focuses on the chemistry and technology of rigid polyurethanes. Recent developments in obtaining polyols from renewable resources and the field of rigid polyurethanes have been included. This book is of interest to chemists and engineers in industry and academia as well as anyone working with polyols for the manufacture of PUs.

During the past two decades, there has been a dramatic increase in interest in the study of ageing-related changes in cognitive abilities. In this volume researchers from a variety of theoretical perspectives discuss adult age differences in a wide range of cognitive skills. Of special interest is the extent to which ageing effects on performance are related to variations in the representation, organization and utilization of knowledge, broadly defined. Recent research and theory in the field of ageing has emphasized the need to examine such processes more closely in order to provide a more complete understanding of ageing effects on cognitive behaviour.

With the increasing complexity and dynamism in today's machine design and development, more precise, robust and practical approaches and systems are needed to support machine design. Existing design methods treat the targeted machine as stationery. Analysis and simulation are mostly performed at the component level. Although there are some computer-aided engineering tools capable of motion analysis and vibration simulation etc., the machine itself is in the dry-run state. For effective machine design, understanding its thermal behaviours is crucial in achieving the desired performance in real situation. Dynamic Thermal Analysis of Machines in Running State presents a set of innovative solutions to dynamic thermal analysis of machines when they are put under actual working conditions. The objective is to better understand the thermal behaviours of a machine in real situation while at the design stage. The book has two major sections, with the first section presenting a broad-based review of the key areas of research in dynamic thermal analysis and simulation, and the second section presents an in-depth treatment of relevant methodology and algorithms, leading to better understanding of a machine in real situation. The book is a collection of novel ideas, taking into account the need for presenting intellectual challenges while appealing to a broad readership, including academic researchers, practicing engineers and managers, and graduate students. Given the essential role of modern machines in factory automation and quality assurance, a book dedicated to the topic of dynamic thermal analysis, and its practical applications to machine design would be beneficial to readers of all design and manufacturing sectors, from machine design to automotive engineering, in better understanding the present challenges and solutions, as well as future research directions in this important area.

This book contains selected papers of the 11th OpenFOAM (R) Workshop that was held in Guimaraes, Portugal, June 26 - 30, 2016. The 11th OpenFOAM (R) Workshop had more than 140 technical/scientific presentations and 30 courses, and was attended by circa 300 individuals, representing 180 institutions and 30 countries, from all continents. The OpenFOAM (R) Workshop provided a forum for researchers, industrial users, software developers, consultants and academics working with OpenFOAM (R) technology. The central part of the Workshop was the two-day conference, where presentations and posters on industrial applications and academic research were shown. OpenFOAM (R) (Open Source Field Operation and Manipulation) is a free, open source computational toolbox that has a larger user base across most areas of engineering and science, from both commercial and academic organizations. As a technology, OpenFOAM (R) provides an extensive range of features to solve anything from complex fluid flows involving chemical reactions, turbulence and heat transfer, to solid dynamics and electromagnetics, among several others. Additionally, the OpenFOAM technology offers complete freedom to customize and extend its functionalities.

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.

"