Book:
Quality-Driven SystemC DesignAuthor:
Daniel Grosse, Rolf DrechslerPages:
170Format:
PDFLanguage:
EnglishISBN10:
904813630XA quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the following chapters the three levels for modeling and verification are considered in detail. At each level the verification quality is measured. In summary, following the new design and verification flow a high overall quality results. 
Book:
Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded SystemsAuthor:
Frank GhenassiaPages:
271Format:
PDFLanguage:
EnglishISBN10:
0387262326Currently employed at STMicroelectronics, Transactional-Level Modeling (TLM) puts forward a novel SoC design methodology beyond RTL with measured improvements of productivity and first time silicon success. The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique.
Book:
Conceptual Modeling for Discrete-Event SimulationAuthor:
Stewart Robinson, Roger Brooks, Kathy Kotiadis, Durk-Jouke Van Der ZeePages:
527Format:
PDFLanguage:
EnglishISBN10:
1439810370Bringing together an international group of researchers involved in military, business, and health modeling and simulation, Conceptual Modeling for Discrete-Event Simulation presents a comprehensive view of the current state of the art in the field. The book addresses a host of issues, including:What is a conceptual model? How is conceptual modeling performed in general and in specific modeling domains? What is the role of established approaches in conceptual modeling?Each of the book’s six parts focuses on a different aspect of conceptual modeling for simulation. The first section discusses the purpose and requirements of a conceptual model. The next set of chapters provides frameworks and tools for conceptual modeling. The book then describes the use of soft systems methodology for model structuring as well as the application of software engineering methods and tools for model specification. After illustrating how conceptual modeling is adopted in the military and semiconductor manufacturing, the book concludes with a discussion on future research directions.This volume offers a broad, multifaceted account of the field by presenting diverse perspectives on what conceptual modeling entails. It also provides a basis upon which these perspectives can be compared.
Book:
Reinforcement Learning and Dynamic Programming Using Function ApproximatorsAuthor:
Lucian Busoniu, Robert Babuska, Bart De Schutter, Damien ErnstPages:
275Format:
PDFLanguage:
EnglishISBN10:
1439821089This book provides a comprehensive and unparalleled exploration of the field of RL and DP. With a focus on continuous-variable problems, this seminal text details essential developments that have substantially altered the field over the past decade.From household appliances to applications in robotics, engineered systems involving complex dynamics can only be as effective as the algorithms that control them. While Dynamic Programming (DP) has provided researchers with a way to optimally solve decision and control problems involving complex dynamic systems, its practical value was limited by algorithms that lacked the capacity to scale up to realistic problems.However, in recent years, dramatic developments in Reinforcement Learning (RL), the model-free counterpart of DP, changed our understanding of what is possible. Those developments led to the creation of reliable methods that can be applied even when a mathematical model of the system is unavailable, allowing researchers to solve challenging control problems in engineering, as well as in a variety of other disciplines, including economics, medicine, and artificial intelligence.
Book:
Digital Terrain Modeling: Acquisition, Manipulation And ApplicationsAuthor:
Naser El-Sheimy, Caterina Valeo, Ayman HabibPages:
270Format:
PDFLanguage:
EnglishISBN10:
1580539211With its expanding array of applications in everything from biodiversity modeling to wireless communications, it's no wonder digital terrain modeling (DTM) - the electronic process of representing topography in three dimensions -- is a hot subject among engineers and geoscientists. This concise resource is the first truly complete guide to this growing field. It combines a mathematically rigorous treatment of DTM generation, manipulation, and analysis together with the full spectrum of real-world applications. The book describes the various data acquisition techniques and explains how to determine the most appropriate DTM generation method for any given project. This unique reference presents highly illustrative examples and real-world applications that highlight DTM's current capabilities and limitations in various environmental modeling, mapping, military, transportation, and engineering activities.
Book:
Receding Horizon Control: Model Predictive Control for State ModelsAuthor:
Wook Hyun Kwon, Soo Hee HanPages:
380Format:
PDFLanguage:
EnglishISBN10:
1846280249Receding Horizon Control introduces the essentials of a successful feedback strategy that has emerged in many industrial fields: the process industries in particular. Receding horizon control (RHC) has a number of advantages over other types of control: easier computation than steady-state optimal control; greater adaptability to parametric changes than infinite horizon control; better tracking than PID and good constraint handling among others.
The text builds understanding starting with optimal controls for simple linear systems and working through constrained systems to nonlinear cases. RHC is applied to discrete-time systems for better understanding and easier computer application. Its diverse techniques are unified using the state-space framework. Worked examples and exercises throughout the book allow you to practise as you go and MATLAB® files for the solution of selected examples can be downloaded from springeronline.com.Graduate students following masters and doctoral courses in control theory and engineering will find Receding Horizon Control to be an excellent companion to tuition and research. Tutors and academics researching model predictive control can use this not only as a scholarly textbook but as a co-ordinated reference for its wide range of receding horizon schemes.
Book:
Neural Networks and Sea Time Series: Reconstruction and Extreme-Event AnalysisAuthor:
Brunello Tirozzi, Silvia Puca, Stefano Pittalis, Antonello Bruschi, Sara MorucciPages:
180Format:
PDFLanguage:
EnglishISBN10:
0817643478Increasingly, neural networks are used and implemented in a wide range of fields and have become useful tools in probabilistic analysis and prediction theory. This book—unique in the literature—studies the application of neural networks to the analysis of time series of sea data, namely significant wave heights and sea levels. The particular problem examined as a starting point is the reconstruction of missing data, a general problem that appears in many cases of data analysis.Specific topics covered include:* Presentation of general information on the phenomenology of waves and tides, as well as related technical details of various measuring processes used in the study* Description of the model of wind waves (WAM) used to determine the spectral function of waves and predict the behavior of SWH (significant wave heights); a comparison is made of the reconstruction of SWH time series obtained by means of neural network algorithms versus SWH computed by WAM* Principles of artificial neural networks, approximation theory, and extreme-value theory necessary to understand the main applications of the book.* Application of artificial neural networks (ANN) to reconstruct SWH and sea levels (SL)* Comparison of the ANN approach and the approximation operator approach, displaying the advantages of ANN* Examination of extreme-event analysis applied to the time series of sea data in specific locations* Generalizations of ANN to treat analogous problems for other types of phenomena and dataThis book, a careful blend of theory and applications, is an excellent introduction to the use of ANN, which may encourage readers to try analogous approaches in other important application areas. Researchers, practitioners, and advanced graduate students in neural networks, hydraulic and marine engineering, prediction theory, and data analysis will benefit from the results and novel ideas presented in this useful resource.
Book:
Image-Based ModelingAuthor:
Long QuanPages:
251Format:
PDFLanguage:
EnglishISBN10:
1441966781“This book guides you in the journey of 3D modeling from the theory with elegant mathematics to applications with beautiful 3D model pictures. Written in a simple, straightforward, and concise manner, readers will learn the state of the art of 3D reconstruction and modeling.” —Professor Takeo Kanade, Carnegie Mellon University The computer vision and graphics communities use different terminologies for the same ideas. This book provides a translation, enabling graphics researchers to apply vision concepts, and vice-versa, independence of chapters allows readers to directly jump into a specific chapter of interest, compared to other texts, gives more succinct treatment overall, and focuses primarily on vision geometry. Image-Based Modeling is for graduate students, researchers, and engineers working in the areas of computer vision, computer graphics, image processing, robotics, virtual reality, and photogrammetry.
Book:
Software Solutions for Rapid PrototypingAuthor:
Ian GibsonPages:
380Format:
PDFLanguage:
EnglishISBN10:
1860583601Software Solutions for Rapid Prototyping goes to the heart of RP. It is the software programming that drives the modelling, execution, and creation of the actual models linking to the CAD packages.
Advances and refinements in software and its integrationto RP systems are providing new and innovative solutions to RP problems. Written by a team of experts this book will help extend the usefulness of the technology.
Rapid Prototyping is a technology that is now common use in industry. Some companies outsource this work to specialist suppliers and consultants. Others have brought the technology in-house. There is, therefore, interest in this field from both academics and industry, but much of the development is still done by researchers in academic settings - funded by industry.
[list][*]RP database systems
[*]Heterogeneous solid modelling for RP
[*]Decision support systems
[*]Reverse engineering and RP
[*]Virtual reality support for RP
[/list]
Those involved in RP technologies in industry and in academia will find this book invaluble in the development of their work. Manufacturing industries, product designers, software developers for design, manufacturing, and RP, all need to know about the scope and opportunities that software solutions can offer them.
