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

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

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.

Verification of Communication Protocols in Web Services. Model-Checking Service Compositions

Zahir Tari

In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues, researchers have been putting various efforts and coming up with innovative ideas. Within the last few years, we have seen a steep growth of research works particularly on various sensor node organization issues. The objective of this book is to gather recent advancements in the fields of self-organizing wireless sensor networks as well as to provide the readers with the essential information about sensor networking.

Metaheuristics for Vehicle Routing Problems

Nacima Labadie

This book is dedicated to metaheuristics as applied to vehicle routing problems. Several implementations are given as illustrative examples, along with applications to several typical vehicle routing problems. As a first step, a general presentation intends to make the reader more familiar with the related field of logistics and combinatorial optimization. This preamble is completed with a description of significant heuristic methods classically used to provide feasible solutions quickly, and local improvement moves widely used to search for enhanced solutions. The overview of these fundamentals allows appreciating the core of the work devoted to an analysis of metaheuristic methods for vehicle routing problems. Those methods are exposed according to their feature of working either on a sequence of single solutions, or on a set of solutions, or even by hybridizing metaheuristic approaches with others kind of methods.

Visual Inspection Technology in the Hard Disk Drive Industry

Paisarn Muneesawang

A presentation of the use of computer vision systems to control manufacturing processes and product quality in the hard disk drive industry. Visual Inspection Technology in the Hard Disk Drive Industry is an application-oriented book borne out of collaborative research with the world’s leading hard disk drive companies. It covers the latest developments and important topics in computer vision technology in hard disk drive manufacturing, as well as offering a glimpse of future technologies.

Visualizing Financial Data

Julie Rodriguez

A fresh take on financial data visualization for greater accuracy and understanding Your data provides a snapshot of the state of your business and is key to the success of your conversations, decisions, and communications. But all of that communication is lost – or incorrectly interpreted – without proper data visualizations that provide context and accurate representation of the numbers. In Visualizing Financial Data, authors Julie Rodriguez and Piotr Kaczmarek draw upon their understanding of information design and visual communication to show you how to turn your raw data into meaningful information. Coverage includes current conventions paired with innovative visualizations that cater to the unique requirements across financial domains, including investment management, financial accounting, regulatory reporting, sales, and marketing communications. Presented as a series of case studies, this highly visual guide presents problems and solutions in the context of real-world scenarios. With over 250 visualizations, you’ll have access to relevant examples that serve as a starting point to your implementations. • Expand the boundaries of data visualization conventions and learn new approaches to traditional charts and graphs • Optimize data communications that cater to you and your audience • Provide clarity to maximize understanding • Solve data presentation problems using efficient visualization techniques • Use the provided companion website to follow along with examples The companion website gives you the illustration files and the source data sets, and points you to the types of resources you need to get started.

Evolutionary Algorithms

Alain Petrowski

Evolutionary algorithms are bio-inspired algorithms based on Darwin’s theory of evolution. They are expected to provide non-optimal but good quality solutions to problems whose resolution is impracticable by exact methods. In six chapters, this book presents the essential knowledge required to efficiently implement evolutionary algorithms. Chapter 1 describes a generic evolutionary algorithm as well as the basic operators that compose it. Chapter 2 is devoted to the solving of continuous optimization problems, without constraint. Three leading approaches are described and compared on a set of test functions. Chapter 3 considers continuous optimization problems with constraints. Various approaches suitable for evolutionary methods are presented. Chapter 4 is related to combinatorial optimization. It provides a catalog of variation operators to deal with order-based problems. Chapter 5 introduces the basic notions required to understand the issue of multi-objective optimization and a variety of approaches for its application. Finally, Chapter 6 describes different approaches of genetic programming able to evolve computer programs in the context of machine learning.

Parallel Scientific Computing

Frederic Magoules

Scientific computing has become an indispensable tool in numerous fields, such as physics, mechanics, biology, finance and industry. For example, it enables us, thanks to efficient algorithms adapted to current computers, to simulate, without the help of models or experimentations, the deflection of beams in bending, the sound level in a theater room or a fluid flowing around an aircraft wing. This book presents the scientific computing techniques applied to parallel computing for the numerical simulation of large-scale problems; these problems result from systems modeled by partial differential equations. Computing concepts will be tackled via examples. Implementation and programming techniques resulting from the finite element method will be presented for direct solvers, iterative solvers and domain decomposition methods, along with an introduction to MPI and OpenMP.