Программирование

Различные книги в жанре Программирование

Time-Predictable Architectures

Christine Rochange

Building computers that can be used to design embedded real-time systems is the subject of this title. Real-time embedded software requires increasingly higher performances. The authors therefore consider processors that implement advanced mechanisms such as pipelining, out-of-order execution, branch prediction, cache memories, multi-threading, multicorearchitectures, etc. The authors of this book investigate the timepredictability of such schemes.

Dictionary of Computer Vision and Image Processing, Enhanced Edition

Craig Robertson

Written by leading researchers, the 2nd Edition of the Dictionary of Computer Vision & Image Processing is a comprehensive and reliable resource which now provides explanations of over 3500 of the most commonly used terms across image processing, computer vision and related fields including machine vision. It offers clear and concise definitions with short examples or mathematical precision where necessary for clarity that ultimately makes it a very usable reference for new entrants to these fields at senior undergraduate and graduate level, through to early career researchers to help build up knowledge of key concepts. As the book is a useful source for recent terminology and concepts, experienced professionals will also find it a valuable resource for keeping up to date with the latest advances. New features of the 2nd Edition: Contains more than 1000 new terms, notably an increased focus on image processing and machine vision terms; Includes the addition of reference links across the majority of terms pointing readers to further information about the concept under discussion so that they can continue to expand their understanding; Now available as an eBook with enhanced content: approximately 50 videos to further illustrate specific terms; active cross-linking between terms so that readers can easily navigate from one related term to another and build up a full picture of the topic in question; and hyperlinked references to fully embed the text in the current literature.

Computer Vision in Vehicle Technology. Land, Sea, and Air

Atsushi Imiya

A unified view of the use of computer vision technology for different types of vehicles Computer Vision in Vehicle Technology focuses on computer vision as on-board technology, bringing together fields of research where computer vision is progressively penetrating: the automotive sector, unmanned aerial and underwater vehicles. It also serves as a reference for researchers of current developments and challenges in areas of the application of computer vision, involving vehicles such as advanced driver assistance (pedestrian detection, lane departure warning, traffic sign recognition), autonomous driving and robot navigation (with visual simultaneous localization and mapping) or unmanned aerial vehicles (obstacle avoidance, landscape classification and mapping, fire risk assessment). The overall role of computer vision for the navigation of different vehicles, as well as technology to address on-board applications, is analysed. Key features: Presents the latest advances in the field of computer vision and vehicle technologies in a highly informative and understandable way, including the basic mathematics for each problem. Provides a comprehensive summary of the state of the art computer vision techniques in vehicles from the navigation and the addressable applications points of view. Offers a detailed description of the open challenges and business opportunities for the immediate future in the field of vision based vehicle technologies. This is essential reading for computer vision researchers, as well as engineers working in vehicle technologies, and students of computer vision.

Enterprise Interoperability. Research and Applications in Service-oriented Ecosystem (Proceedings of the 5th International IFIP Working Conference IWIE 2013)

Martin Zelm

In a fast changing global economy governed by Enterprise Services and the Future Internet, enterprises and virtual factories will self-organize in distributed, interoperable, innovation Ecosystems where the issues of Enterprise Interoperability need to be solved in a multi-view of information, services and processes throughout Enterprise Networks. The book constitutes the proceedings of five workshops co- located with the Fifth IFIP Working Conference IWEI 2013. It contains the presented peer reviewed papers and summaries of the workshop discussions. Complementing the IWEI Conference program, the workshops aimed at exploiting new issues, challenges and solutions for Enterprise Interoperability and Manufacturing Eco Systems. The scope of the workshops spanned over a range of interoperability issues in Service Science and innovation, Model Driven Service Engineering Architectures, Service Modelling Languages, reference ontology for manufacturing , Case studies and tools particularly for SMEs, Business – IT alignment and related Standardization. Contents 1 – Model Driven Services Engineering Architecture (MDSEA): A Result of MSEE Project An Architecture for Service Modelling in Servitization Context: MDSEA, Y. Ducq. A Set of Templates for MDSEA, D. Chen. 2 – Interoperability to Support Business–IT Alignment Report Workshop 2, I.-S. Fan, V. Taratoukhine, M. Matzner. Interoperability as a Catalyst for Business Innovation, J.H.P. Eloff, M.M. Eloff, M.T. Dlamini, E. Ngassam, D. Ras. Process-Oriented Business Modeling – An Application in the Printing Industry, A. Malsbender, K. Ortbach, R. Plattfaut, M. Voigt, B. Niehaves. A Comparative Study of Modelling Methodologies Using a Concept of Process Consistency, E. Babkin, E. Potapova, Y. Zelenova. Maintenance Support throughout the Life-Cycle of High Value Manufacturing Products. Interoperability Issues, A. Fedotova, V. Taratoukhine, Y. Kupriyanov. Using Enterprise Architecture to Align Business Intelligence Initiatives, I.-S. Fan, S. Warner. Towards Enterprise Architecture Using Solution Architecture Models, V. Agievich, R. Gimranov, V. Taratoukhine, J. Becker. 3 – Standardisation for Interoperability in the Service-Oriented Enterprise Report Workshop 3, M. Zelm, D. Chen. Standardisation in Manufacturing Service Engineering, M. Zelm, G. Doumeingts. Service Modelling Language and Potentials for a New Standard, D. Chen. An Approach to Standardise a Service Life Cycle Management, M. Freitag, D. Kremer, M. Hirsch, M. Zelm. Open Business Model, Process and Service Innovation with VDML and ServiceML, A. J. Berre, H. De Man, Y. Lew, B. Elvesæter, B.M. Ursin-Holm. Reference Ontologies for Manufacturing, R. Young, N. Hastilow, M. Imran, N. Chungoora, Z. Usman, A.-F. Cutting-Decelle. Standardisation Tools for Negotiating Interoperability Solutions, T. Santos, C. Coutinho, A. Cretan, M. Beca, R. Jardim-Goncalves. 4 – Case Studies on Enterprise Interoperability: How IT Managers Profit from EI Research Report Workshop 4, S. Kassel. Experiences of Transferring Approaches of Interoperability into SMEs, F. Gruner, S. Kassel. 5 – Selected New Applications of Enterprise Interoperability . 179 Report Workshop 5, L. Ferreira Pires, P. Johnson. Service-Oriented Enterprise Interoperability in Logistics, W. Hofman. An Ontological Approach to Logistics, L. Daniele, L. Ferreira Pires. Social Vision of Collaboration of Organizations on a Cloud Platform, A. Montarnal, W. Mu, F. Bénaben, A.-M. Barthe-Delanoë, J. Lamothe. Semantic Standards Quality Measured for Achieving Enterprise Interoperability: The Case of the SETU Standard for Flexible Staffing, E. Folmer, H. Wu. Re

Fundamentals of Complex Networks. Models, Structures and Dynamics

Guanrong Chen

Complex networks such as the Internet, WWW, transportation networks, power grids, biological neural networks, and scientific cooperation networks of all kinds provide challenges for future technological development. • The first systematic presentation of dynamical evolving networks, with many up-to-date applications and homework projects to enhance study • The authors are all very active and well-known in the rapidly evolving field of complex networks • Complex networks are becoming an increasingly important area of research • Presented in a logical, constructive style, from basic through to complex, examining algorithms, through to construct networks and research challenges of the future

Modeling and Optimization of Parallel and Distributed Embedded Systems

Sanjay Ranka

This book introduces the state-of-the-art in research in parallel and distributed embedded systems, which have been enabled by developments in silicon technology, micro-electro-mechanical systems (MEMS), wireless communications, computer networking, and digital electronics. These systems have diverse applications in domains including military and defense, medical, automotive, and unmanned autonomous vehicles. The emphasis of the book is on the modeling and optimization of emerging parallel and distributed embedded systems in relation to the three key design metrics of performance, power and dependability. Key features: Includes an embedded wireless sensor networks case study to help illustrate the modeling and optimization of distributed embedded systems. Provides an analysis of multi-core/many-core based embedded systems to explain the modeling and optimization of parallel embedded systems. Features an application metrics estimation model; Markov modeling for fault tolerance and analysis; and queueing theoretic modeling for performance evaluation. Discusses optimization approaches for distributed wireless sensor networks; high-performance and energy-efficient techniques at the architecture, middleware and software levels for parallel multicore-based embedded systems; and dynamic optimization methodologies. Highlights research challenges and future research directions. The book is primarily aimed at researchers in embedded systems; however, it will also serve as an invaluable reference to senior undergraduate and graduate students with an interest in embedded systems research.

Numerical Analysis with Applications in Mechanics and Engineering

Petre Teodorescu

A much-needed guide on how to use numerical methods to solve practical engineering problems Bridging the gap between mathematics and engineering, Numerical Analysis with Applications in Mechanics and Engineering arms readers with powerful tools for solving real-world problems in mechanics, physics, and civil and mechanical engineering. Unlike most books on numerical analysis, this outstanding work links theory and application, explains the mathematics in simple engineering terms, and clearly demonstrates how to use numerical methods to obtain solutions and interpret results. Each chapter is devoted to a unique analytical methodology, including a detailed theoretical presentation and emphasis on practical computation. Ample numerical examples and applications round out the discussion, illustrating how to work out specific problems of mechanics, physics, or engineering. Readers will learn the core purpose of each technique, develop hands-on problem-solving skills, and get a complete picture of the studied phenomenon. Coverage includes: How to deal with errors in numerical analysis Approaches for solving problems in linear and nonlinear systems Methods of interpolation and approximation of functions Formulas and calculations for numerical differentiation and integration Integration of ordinary and partial differential equations Optimization methods and solutions for programming problems Numerical Analysis with Applications in Mechanics and Engineering is a one-of-a-kind guide for engineers using mathematical models and methods, as well as for physicists and mathematicians interested in engineering problems.

Evolutionary Algorithms for Mobile Ad Hoc Networks

Patricia Ruiz

Describes how evolutionary algorithms (EAs) can be used to identify, model, and minimize day-to-day problems that arise for researchers in optimization and mobile networking Mobile ad hoc networks (MANETs), vehicular networks (VANETs), sensor networks (SNs), and hybrid networks—each of these require a designer’s keen sense and knowledge of evolutionary algorithms in order to help with the common issues that plague professionals involved in optimization and mobile networking. This book introduces readers to both mobile ad hoc networks and evolutionary algorithms, presenting basic concepts as well as detailed descriptions of each. It demonstrates how metaheuristics and evolutionary algorithms (EAs) can be used to help provide low-cost operations in the optimization process—allowing designers to put some “intelligence” or sophistication into the design. It also offers efficient and accurate information on dissemination algorithms, topology management, and mobility models to address challenges in the field. Evolutionary Algorithms for Mobile Ad Hoc Networks: Instructs on how to identify, model, and optimize solutions to problems that arise in daily research Presents complete and up-to-date surveys on topics like network and mobility simulators Provides sample problems along with solutions/descriptions used to solve each, with performance comparisons Covers current, relevant issues in mobile networks, like energy use, broadcasting performance, device mobility, and more Evolutionary Algorithms for Mobile Ad Hoc Networks is an ideal book for researchers and students involved in mobile networks, optimization, advanced search techniques, and multi-objective optimization.

Memory Allocation Problems in Embedded Systems. Optimization Methods

Maria Soto

Embedded systems are everywhere in contemporary life and are supposed to make our lives more comfortable. In industry, embedded systems are used to manage and control complex systems (e.g. nuclear power plants, telecommunications and flight control) and they are also taking an important place in our daily activities (e.g. smartphones, security alarms and traffic lights). In the design of embedded systems, memory allocation and data assignment are among the main challenges that electronic designers have to face. In fact, they impact heavily on the main cost metrics (power consumption, performance and area) in electronic devices. Thus designers of embedded systems have to pay careful attention in order to minimize memory requirements, thus improving memory throughput and limiting the power consumption by the system’s memory. Electronic designers attempt to minimize memory requirements with the aim of lowering the overall system costs. A state of the art of optimization techniques for memory management and data assignment is presented in this book.

Mathematical Programming Solver Based on Local Search

Thierry Benoist

This book covers local search for combinatorial optimization and its extension to mixed-variable optimization. Although not yet understood from the theoretical point of view, local search is the paradigm of choice for tackling large-scale real-life optimization problems. Today’s end-users demand interactivity with decision support systems. For optimization software, this means obtaining good-quality solutions quickly. Fast iterative improvement methods, like local search, are suited to satisfying such needs. Here the authors show local search in a new light, in particular presenting a new kind of mathematical programming solver, namely LocalSolver, based on neighborhood search. First, an iconoclast methodology is presented to design and engineer local search algorithms. The authors’ concern regarding industrializing local search approaches is of particular interest for practitioners. This methodology is applied to solve two industrial problems with high economic stakes. Software based on local search induces extra costs in development and maintenance in comparison with the direct use of mixed-integer linear programming solvers. The authors then move on to present the LocalSolver project whose goal is to offer the power of local search through a model-and-run solver for large-scale 0-1 nonlinear programming. They conclude by presenting their ongoing and future work on LocalSolver toward a full mathematical programming solver based on local search.