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

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.

Method of Moments for 2D Scattering Problems. Basic Concepts and Applications

Nicolas Pinel

Electromagnetic wave scattering from randomly rough surfaces in the presence of scatterers is an active, interdisciplinary area of research with myriad practical applications in fields such as optics, acoustics, geoscience and remote sensing. In this book, the Method of Moments (MoM) is applied to compute the field scattered by scatterers such as canonical objects (cylinder or plate) or a randomly rough surface, and also by an object above or below a random rough surface. Since the problem is considered to be 2D, the integral equations (IEs) are scalar and only the TE (transverse electric) and TM (transverse magnetic) polarizations are addressed (no cross-polarizations occur). In Chapter 1, the MoM is applied to convert the IEs into a linear system, while Chapter 2 compares the MoM with the exact solution of the field scattered by a cylinder in free space, and with the Physical Optics (PO) approximation for the scattering from a plate in free space. Chapter 3 presents numerical results, obtained from the MoM, of the coherent and incoherent intensities scattered by a random rough surface and an object below a random rough surface. The final chapter presents the same results as in Chapter 3, but for an object above a random rough surface. In these last two chapters, the coupling between the two scatterers is also studied in detail by inverting the impedance matrix by blocks. Contents 1. Integral Equations for a Single Scatterer: Method of Moments and Rough Surfaces. 2. Validation of the Method of Moments for a Single Scatterer. 3. Scattering from Two Illuminated Scatterers. 4. Scattering from Two Scatterers Where Only One is Illuminated. Appendix. Matlab Codes. About the Authors Christophe Bourlier works at the IETR (Institut d’Electronique et de Télécommunications de Rennes) laboratory at Polytech Nantes (University of Nantes, France) as well as being a Researcher at the French National Center for Scientific Research (CNRS) on electromagnetic wave scattering from rough surfaces and objects for remote sensing applications and radar signatures. He is the author of more than 160 journal articles and conference papers. Nicolas Pinel is currently working as a Research Engineer at the IETR laboratory at Polytech Nantes and is about to join Alyotech Technologies in Rennes, France. His research interests are in the areas of radar and optical remote sensing, scattering and propagation. In particular, he works on asymptotic methods of electromagnetic wave scattering from random rough surfaces and layers. Gildas Kubické is in charge of the “Expertise in electroMagnetism and Computation” (EMC) laboratory at the DGA (Direction Générale de l’Armement), French Ministry of Defense, where he works in the field of radar signatures and electromagnetic stealth. His research interests include electromagnetic scattering and radar cross-section modeling.

Live-Line Operation and Maintenance of Power Distribution Networks

Tianyou Li

Excellent reference outlining the technical basis and working principles of live-line working, with current application technology, tools and working methods Introduces live-line working technology for the operation and maintenance of medium and low voltage power distribution networks, covering both the methods and techniques of live-line working on distribution networks with O&M field practices and experiences Elaborates the technical basis and working principles of live-line working in detail, with current application technology, tools and working methods Combining theory and practice closely, it provides technical guidance and helpful references to technical personnel who are engaged in distribution operation management, as well as related academics and researchers Written by a team of authors with extensive experience in both industry and academic fields, providing first-hand testimony of the issues facing electricity distribution companies, and offering sound theoretical foundations and rich field experiences

A Course in Statistics with R

Suresh Ramaiah

Integrates the theory and applications of statistics using R A Course in Statistics with R has been written to bridge the gap between theory and applications and explain how mathematical expressions are converted into R programs. The book has been primarily designed as a useful companion for a Masters student during each semester of the course, but will also help applied statisticians in revisiting the underpinnings of the subject. With this dual goal in mind, the book begins with R basics and quickly covers visualization and exploratory analysis. Probability and statistical inference, inclusive of classical, nonparametric, and Bayesian schools, is developed with definitions, motivations, mathematical expression and R programs in a way which will help the reader to understand the mathematical development as well as R implementation. Linear regression models, experimental designs, multivariate analysis, and categorical data analysis are treated in a way which makes effective use of visualization techniques and the related statistical techniques underlying them through practical applications, and hence helps the reader to achieve a clear understanding of the associated statistical models. Key features: Integrates R basics with statistical concepts Provides graphical presentations inclusive of mathematical expressions Aids understanding of limit theorems of probability with and without the simulation approach Presents detailed algorithmic development of statistical models from scratch Includes practical applications with over 50 data sets

Evolutionary Algorithms for Food Science and Technology

Evelyne Lutton

Researchers and practitioners in food science and technology routinely face several challenges, related to sparseness and heterogeneity of data, as well as to the uncertainty in the measurements and the introduction of expert knowledge in the models. Evolutionary algorithms (EAs), stochastic optimization techniques loosely inspired by natural selection, can be effectively used to tackle these issues. In this book, we present a selection of case studies where EAs are adopted in real-world food applications, ranging from model learning to sensitivity analysis.