Multiwavelength Optical Networks systematically studies the major research issues in WDM (Wavelength Division Multiplexing) optical networks, such as routing and wavelength assignment, QoS multicast routing, design of logical topologies, and placement of wavelength converters. The book consists of two parts. The first part studies the fundamental concepts and principles of WDM networks. The second part discusses advanced and research issues of WDM networks.
The authors of the book have many years of working experience in the areas of computer networks and network optimization. The book discusses many difficult issues of WDM networks in a very comprehensive way. For each problem, there is a background discussion, and then the mathematical formulation, followed by the solutions.

Operations research often solves deterministic optimization problems based on elegantand conciserepresentationswhereall parametersarepreciselyknown. In the face of uncertainty, probability theory is the traditional tool to be appealed for, and stochastic optimization is actually a signi?cant sub-area in operations research. However, the systematic use of prescribed probability distributions so as to cope with imperfect data is partially unsatisfactory. First, going from a deterministic to a stochastic formulation, a problem may becomeintractable. Agoodexampleiswhengoingfromdeterministictostoch- tic scheduling problems like PERT. From the inception of the PERT method in the 1950's, it was acknowledged that data concerning activity duration times is generally not perfectly known and the study of stochastic PERT was launched quite early. Even if the power of today's computers enables the stochastic PERT to be addressed to a large extent, still its solutions often require simplifying assumptions of some kind. Another di?culty is that stochastic optimization problems produce solutions in the average. For instance, the criterion to be maximized is more often than not expected utility. This is not always a meaningful strategy. In the case when the underlying process is not repeated a lot of times, let alone being one-shot, it is not clear if this criterion is realistic, in particular if probability distributions are subjective. Expected utility was proposed as a rational criterion from ?rst principles by Savage. In his view, the subjective probability distribution was - sically an artefact useful to implement a certain ordering of solutions.

Optimum envelope-constrained filter design is concerned with time-domain synthesis of a filter such that its response to a specific input signal stays within prescribed upper and lower bounds, while minimizing the impact of input noise on the filter output or the impact of the shaped signal on other systems depending on the application. In many practical applications, such as in TV channel equalization, digital transmission, and pulse compression applied to radar, sonar and detection, the soft least square approach, which attempts to match the output waveform with a specific desired pulse, is not the most suitable one. Instead, it becomes necessary to ensure that the response stays within the hard envelope constraints defined by a set of continuous inequality constraints. The main advantage of using the hard envelope-constrained filter formulation is that it admits a whole set of allowable outputs. From this set one can then choose the one which results in the minimization of a cost function appropriate to the application at hand. The signal shaping problems so formulated are semi-infinite optimization problems. This monograph presents in a unified manner results that have been generated over the past several years and are scattered in the research literature. The material covered in the monograph includes problem formulation, numerical optimization algorithms, filter robustness issues and practical examples of the application of envelope constrained filter design. Audience: Postgraduate students, researchers in optimization and telecommunications engineering, and applied mathematicians.

Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction to the science and art of using modeling in logic for integer programming. Written for graduate and postgraduate students, as well as academics and practitioners, the book is divided into four chapters that all avoid the typical format of definitions, theorems and proofs and instead introduce concepts and results within the text through examples. References are given at the end of each chapter to the more mathematical papers and texts on the subject, and exercises are included to reinforce and expand on the material in the chapter. Methods of solving with both logic and IP are given and their connections are described. Applications in diverse fields are discussed, and Williams shows how IP models can be expressed as satisfiability problems and solved as such.

Computing has become essential for the modeling, analysis, and optimization of systems. This book is devoted to algorithms, computational analysis, and decision models. The chapters are organized in two parts: optimization models of decisions and models of pricing and equilibria.
Optimization is at the core of rational decision making. Even when the decision maker has more than one goal or there is significant uncertainty in the system, optimization provides a rational framework for efficient decisions. The Markowitz mean-variance formulation is a classical example. The first part of the book is on recent developments in optimization decision models for finance and economics. The first four chapters of this part focus directly on multi-stage problems in finance. Chapters 5-8 involve the use of worst-case robust analysis. Chapters 9-11 are devoted to portfolio optimization. The final four chapters are on transportation-inventory with stochastic demand; optimal investment with CRRA utility; hedging financial contracts; and, automatic differentiation for computational finance.
The uncertainty associated with prediction and modeling constantly requires the development of improved methods and models. Similarly, as systems strive towards equilibria, the characterization and computation of equilibria assists analysis and prediction. The second part of the book is devoted to recent research in computational tools and models of equilibria, prediction, and pricing. The first three chapters of this part consider hedging issues in finance. Chapters 19-22 consider prediction and modeling methodologies. Chapters 23-26 focus on auctions and equilibria. Volatility models are investigated in chapters 27-28. The final two chapters investigate risk assessment and product pricing.
Audience: Researchers working in computational issues related to economics, finance, and management science.

System Modeling and Optimization is an indispensable reference for anyone interested in the recent advances in these two disciplines. The book collects, for the first time, selected articles from the 21st and most recent IFIP TC 7 conference in Sophia Antipolis, France.

Applied mathematicians and computer scientists can attest to the ever-growing influence of these two subjects. The practical applications of system modeling and optimization can be seen in a number of fields: environmental science, transport and telecommunications, image analysis, free boundary problems, bioscience, and non-cylindrical evolution control, to name just a few.

New developments in each of these fields have contributed to a more complex understanding of both system modeling and optimization. Editors John Cagnol and Jean-Paul Zol sio, chairs of the conference, have assembled System Modeling and Optimization to present the most up-to-date developments to professionals and academics alike.

The problem of "Shortest Connectivity," which is discussed here, has a long and convoluted history. Many scientists from many fields as well as laymen have stepped on its stage. Usually, the problem is known as Steiner's Problem and it can be described more precisely in the following way: Given a finite set of points in a metric space, search for a network that connects these points with the shortest possible length. This shortest network must be a tree and is called a Steiner Minimal Tree (SMT). It may contain vertices different from the points which are to be connected. Such points are called Steiner points. Steiner's Problem seems disarmingly simple, but it is rich with possibilities and difficulties, even in the simplest case, the Euclidean plane. This is one of the reasons that an enormous volume of literature has been published, starting in 1 the seventeenth century and continuing until today. The difficulty is that we look for the shortest network overall. Minimum span ning networks have been well-studied and solved eompletely in the case where only the given points must be connected. The novelty of Steiner's Problem is that new points, the Steiner points, may be introduced so that an intercon necting network of all these points will be shorter. This also shows that it is impossible to solve the problem with combinatorial and geometric methods alone."

Continuous optimization is the study of problems in which we wish to opti mize (either maximize or minimize) a continuous function (usually of several variables) often subject to a collection of restrictions on these variables. It has its foundation in the development of calculus by Newton and Leibniz in the 17* DEGREES century. Nowadys, continuous optimization problems are widespread in the mathematical modelling of real world systems for a very broad range of applications. Solution methods for large multivariable constrained continuous optimiza tion problems using computers began with the work of Dantzig in the late 1940s on the simplex method for linear programming problems. Recent re search in continuous optimization has produced a variety of theoretical devel opments, solution methods and new areas of applications. It is impossible to give a full account of the current trends and modern applications of contin uous optimization. It is our intention to present a number of topics in order to show the spectrum of current research activities and the development of numerical methods and applications."

This book concentrates on providing technical tools to make the user of Multiple Criteria Decision Making (MCDM) methodologies independent of bulky optimization computations. These bulky computations have been a necessary, but limiting, characteristic of interactive MCDM methodologies and algorithms. The book removes these limitations of MCDM problems by reducing a problem's computational complexity. The result is a wider and more functional general framework for presenting, teaching, implementing and applying a wide range of MCDM methodologies.

This book is a comprehensive survey of the mathematical concepts and principles of industrial mathematics. Its purpose is to provide students and professionals with an understanding of the fundamental mathematical principles used in Industrial Mathematics/OR in modeling problems and application solutions. All the concepts presented in each chapter have undergone the learning scrutiny of the author and his students. The illustrative material throughout the book was refined for student comprehension as the manuscript developed through its iterations, and the chapter exercises are refined from the previous year's exercises.

This book deals with the theory and applications of the Reformulation- Linearization/Convexification Technique (RL T) for solving nonconvex optimization problems. A unified treatment of discrete and continuous nonconvex programming problems is presented using this approach. In essence, the bridge between these two types of nonconvexities is made via a polynomial representation of discrete constraints. For example, the binariness on a 0-1 variable x . can be equivalently J expressed as the polynomial constraint x . (1-x . ) = 0. The motivation for this book is J J the role of tight linear/convex programming representations or relaxations in solving such discrete and continuous nonconvex programming problems. The principal thrust is to commence with a model that affords a useful representation and structure, and then to further strengthen this representation through automatic reformulation and constraint generation techniques. As mentioned above, the focal point of this book is the development and application of RL T for use as an automatic reformulation procedure, and also, to generate strong valid inequalities. The RLT operates in two phases. In the Reformulation Phase, certain types of additional implied polynomial constraints, that include the aforementioned constraints in the case of binary variables, are appended to the problem. The resulting problem is subsequently linearized, except that certain convex constraints are sometimes retained in XV particular special cases, in the Linearization/Convexijication Phase. This is done via the definition of suitable new variables to replace each distinct variable-product term. The higher dimensional representation yields a linear (or convex) programming relaxation.

Optimization methods have been considered in many articles, monographs, and handbooks. However, experts continue to experience difficulties in correctly stating optimization problems in engineering. These troubles typically emerge when trying to define the set of feasible solutions, i.e. the constraints imposed on the design variables, functional relationships, and criteria. The Parameter Space Investigation (PSI) method was developed specifically for the correct statement and solution of engineering optimization problems. It is implemented in the MOVI 1.0 software package, a tutorial version of which is included in this book. The PSI method and MOVI 1.0 software package have a wide range of applications. The PSI method can be successfully used for the statement and solution of the following multicriteria problems: design, identification, design with control, the optional development of prototypes, finite element models, and the decomposition and aggregation of large-scale systems.

Audience: The PSI method will be of interest to researchers, graduate students, and engineers who work in engineering, mathematical modelling and industrial mathematics, and in computer and information science.

This work examines all the fuzzy multicriteria methods recently developed, such as fuzzy AHP, fuzzy TOPSIS, interactive fuzzy multiobjective stochastic linear programming, fuzzy multiobjective dynamic programming, grey fuzzy multiobjective optimization, fuzzy multiobjective geometric programming, and more. Each of the 22 chapters includes practical applications along with new developments/results.
This book may be used as a textbook in graduate operations research, industrial engineering, and economics courses. It will also be an excellent resource, providing new suggestions and directions for further research, for computer programmers, mathematicians, and scientists in a variety of disciplines where multicriteria decision making is needed.

Since I started working in the area of nonlinear programming and, later on, variational inequality problems, I have frequently been surprised to find that many algorithms, however scattered in numerous journals, monographs and books, and described rather differently, are closely related to each other. This book is meant to help the reader understand and relate algorithms to each other in some intuitive fashion, and represents, in this respect, a consolidation of the field. The framework of algorithms presented in this book is called Cost Approxi mation. (The preface of the Ph.D. thesis Pat93d] explains the background to the work that lead to the thesis, and ultimately to this book.) It describes, for a given formulation of a variational inequality or nonlinear programming problem, an algorithm by means of approximating mappings and problems, a principle for the update of the iteration points, and a merit function which guides and monitors the convergence of the algorithm. One purpose of this book is to offer this framework as an intuitively appeal ing tool for describing an algorithm. One of the advantages of the framework, or any reasonable framework for that matter, is that two algorithms may be easily related and compared through its use. This framework is particular in that it covers a vast number of methods, while still being fairly detailed; the level of abstraction is in fact the same as that of the original problem statement."

This is the first book devoted entirely to Particle Swarm Optimization (PSO), which is a non-specific algorithm, similar to evolutionary algorithms, such as taboo search and ant colonies.

Since its original development in 1995, PSO has mainly been applied to continuous-discrete heterogeneous strongly non-linear numerical optimization and it is thus used almost everywhere in the world. Its convergence rate also makes it a preferred tool in dynamic optimization.

Invexity and Optimization presents results on invex function and their properties in smooth and nonsmooth cases, pseudolinearity and eta-pseudolinearity. Results on optimality and duality for a nonlinear scalar programming problem are presented, second and higher order duality results are given for a nonlinear scalar programming problem, and saddle point results are also presented. Invexity in multiobjective programming problems and Kuhn-Tucker optimality conditions are given for a multiobjecive programming problem, Wolfe and Mond-Weir type dual models are given for a multiobjective programming problem and usual duality results are presented in presence of invex functions. Continuous-time multiobjective problems are also discussed. Quadratic and fractional programming problems are given for invex functions. Symmetric duality results are also given for scalar and vector cases.

The era of interior point methods (IPMs) was initiated by N. Karmarkar 's 1984 paper, which triggered turbulent research and reshaped almost all areas of optimization theory and computational practice. This book offers comprehensive coverage of IPMs. It details the main results of more than a decade of IPM research. Numerous exercises are provided to aid in understanding the material.

Reliability theory is a major concern for engineers and managers engaged in making high quality products and designing highly reliable systems. "Advanced Reliability Models and Maintenance Policies" is a survey of new research topics in reliability theory and optimization techniques in reliability engineering. The book introduces partition and redundant problems within reliability models, and provides optimization techniques. The book also indicates how to perform maintenance in a finite time span and at failure detection, and to apply recovery techniques for computer systems. New themes such as reliability complexity and service reliability in reliability theory are theoretically proposed, and optimization problems in management science using reliability techniques are presented. The book is an essential guide for graduate students and researchers in reliability theory, and a valuable reference for reliability engineers engaged both in maintenance work and in management and computer systems.

This book deals with combinatorial aspects of epistasis, a notion that existed for years in genetics and appeared in the ?eld of evolutionary algorithms in the early 1990s. Even thoughthe?rst chapterputsepistasisintheperspective ofevolutionary algorithms and arti?cial intelligence, and applications occasionally pop up in other chapters, thisbookisessentiallyaboutmathematics, aboutcombinatorialtechniques to compute in an e?cient and mathematically elegant way what will be de?ned as normalized epistasis. Some of the material in this book ?nds its origin in the PhD theses of Hugo Van Hove [97] and Dominique Suys [95]. The sixth chapter also contains material that appeared in the dissertation of Luk Schoofs [84]. Together with that of M. Teresa Iglesias [36], these dissertations form the backbone of a decade of mathematical ventures in the world of epistasis. The authors wish to acknowledge support from the Flemish Fund of Scienti?c - search (FWO-Vlaanderen) and of the Xunta de Galicia. They also wish to explicitly mentiontheintellectualandmoralsupporttheyreceivedthroughoutthepreparation of this work from their family and their colleagues Emilio Villanueva, Jose Mar'a Barja and Arnold Beckelheimer, as well as our local T T Xpert Jan Adriaenssens.

THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were numerous and extremely influential. His book on advanced asymptotic methods, North Holland 1958, was a classic and was subsequently turned into a book in the well known Dover book series. His work on combinatorics yielded influential notions and theorems of which we mention the de Bruijn-sequences of 1946 and the de Bruijn-Erdos theorem of 1948. De Bruijn's contributions to mathematics also included his work on generalized function theory, analytic number theory, optimal control, quasicrystals, the mathematical analysis of games and much more. In the 1960s de Bruijn became fascinated by the new computer technology and as a result, decided to start the new AUTOMATH project where he could check, with the help of the computer, the correctness of books of mathematics. In each area that de Bruijn approached, he shed a new light and was known for his originality and for making deep intellectual contributions. And when it came to automating mathematics, he again did it his way and introduced the highly influential AUTOMATH. In the past decade he has also been working on theories of the human brain."

Computer Aided Tolerancing (CAT) is an important topic in any field of design and production where parts move relative to one another and/or are assembled together. Geometric variations from specified dimensions and form always occur when parts are manufactured. Improvements in production systems can cause the amounts of the variations to become smaller, but their presence does not disappear. To shorten the time from concept to market of a product, it has been increasingly important to take clearances and the tolerancing of manufacturing variations into consideration right from the beginning, at the stage of design. Hence, geometric models are defined that represent both the complete array of geometric variations possible during manufacture and also the influence of geometry on the function of individual parts and on assemblies of them.

The contents of this book originate from a collection of selected papers presented at the 9th CIRP International Seminar on CAT that was held from April 10-12, 2005 at Arizona State University, USA. The CIRP (College International pour la Recherche en Production or International Institution for Production Engineering Research) plans this seminar every two years, and the book is one in a series of Proceedings on CAT. The book is organized into seven parts: Models for Tolerance Representation and Specification, Tolerance Analysis, Tolerance Synthesis, Computational Metrology and Verification, Tolerances in Manufacturing, Applications to Machinery, and Incorporating Elasticity in Tolerance Models."

Quantitativeapproachesforsolvingproductionplanningandinventorymanagement problems in industry have gained growing importance in the past years. Due to the increasinguse of AdvancedPlanningSystems, a widespreadpracticalapplicationof the sophisticated optimization models and algorithms developed by the Production Management and Operations Research community now seem within reach. The possibility that productscan be replaced by certain substitute productsexists in various application areas of production planning and inventory management. Substitutions can be useful for a number of reasons, among others to circ- vent production and supply bottlenecks and disruptions, increase the service level, reduce setup costs and times, and lower inventories and thereby decrease ca- tal lockup. Considering the current trend in industry towards shorter product life cycles and greater product variety, the importance of substitutions appears likely to grow. Closely related to substitutions are ?exible bills-of-materials and recipes in multi-level production systems. However, so far, the aspect of substitutions has not attracted much attention in academic literature. Existing lot-sizing models matching complex requirements of industrial optimization problems (e.g., constrained capacities, sequence-dependent setups, multiple resources) such as the Capacitated Lot-Sizing Problem with Sequence-Dependent Setups (CLSD) and the General Lot-Sizing and Scheduling Problem for Multiple Production Stages (GLSPMS) do not feature in substitution options.

With the advent of approximation algorithms for NP-hard combinatorial optimization problems, several techniques from exact optimization such as the primal-dual method have proven their staying power and versatility. This book describes a simple and powerful method that is iterative in essence, and similarly useful in a variety of settings for exact and approximate optimization. The authors highlight the commonality and uses of this method to prove a variety of classical polyhedral results on matchings, trees, matroids, and flows. The presentation style is elementary enough to be accessible to anyone with exposure to basic linear algebra and graph theory, making the book suitable for introductory courses in combinatorial optimization at the upper undergraduate and beginning graduate levels. Discussions of advanced applications illustrate their potential for future application in research in approximation algorithms.

This book constitutes the refereed proceedings of the 6th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2011, held in Ouro Preto, Brazil, in April 2011. The 42 revised full papers presented were carefully reviewed and selected from 83 submissions. The papers deal with fundamental questions of EMO theory, such as the development of algorithmically efficient tools for the evaluation of solution-set quality, the theoretical questions related to solution archiving and others. They report on the continuing effort in the development of algorithms, either for dealing with particular classes of problems or for new forms of processing the problem information. Almost one third of the papers is related to EMO applications in a diversity of fields. Eleven papers are devoted to promote the interaction with the related field of Multi-Criterion Decision Making (MCDM).

Supply relations are often governed by so-called relational contracts. These are informal agreements sustained by the value of future cooperation. Although relational contracts persist in practice, research on these types of contract is only emerging in Operations and Supply Chain Management. This book studies a two-firm supply chain, where repeated transactions via well-established supply contracts and continued quality-improvement efforts are governed by a relational contract. We are able to characterize an optimal relational contract, i.e., to develop policies for supplier and buyer that structure investments in quality and flexibility in a way that no other self-enforcing contract generates higher expected joint surplus. A second goal is to compare the performance of different returns mechanisms in the context of relational contracting (quantity flexibility and buy-back contracts). Industry studies motivate the presented model.