Dynamic programming: An interactive approach

An interactive approach to the formulation, modeling, analysis, and solution of discrete deterministic dynamic programming problems is presented. The approach utilizes APL both as the mathematical and the programming language. The interactive capabilities of APL and the simple one-to-one correspondence between the programming and the mathematical language provide an extremely convenient environment for dynamic programming investigations in general and for teaching/learning purposes in particular. The approach is illustrated by a simple model and a numerical example.     

Logic-Based Modeling and Solution of Nonlinear Discrete/Continuous Optimization Problems

This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP for the case when these problems are modeled with algebraic equations and inequalities. Since algebraic representations have some limitations such as difficulty of formulation and numerical singularities for the nonlinear case, we consider logic-based modeling as an alternative approach, particularly Generalized Disjunctive Programming (GDP), which the authors have extensively investigated over the last few years. Solution strategies for GDP models are reviewed, including the continuous relaxation of the disjunctive constraints. Also, we briefly review a hybrid model that integrates disjunctive programming and mixed-integer programming. Finally, the global optimization of nonconvex GDP problems is discussed through a two-level branch and bound procedure.     

Analytical modeling of active magnetic bearing geometry

The aim of this paper is to present a new graphical approach to the shape design of the active magnetic bearing (AMB) stator. The AMB is a tool to levitate the rotor without contact. The standard design method uses a computer-aided design (CAD) software in the modeling process. Therefore the designed AMB shape consists of graphical primitives like lines and arcs with fixed properties. For the advanced interdisciplinary analysis of the AMB construction the shape generation and modifications ought to be done automatically. The proposed method is based on mathematical analysis and representation of the AMB stator by curves. Second and third order Bézier curves given in polynomial and rational form are compared to the circle and arc based arcs. The fitting quality is considered for the selection of the appropriate arc representation. The obtained shapes are ready to be used in the magnetic field analysis and optimization procedures to find an optimal form of the AMB construction. The author’s experience in modeling and vector graphics was a motivation to look at the AMB construction from mathematical and programming point of view. The AMB components are modeled with parametric curves under constraints defined by the AMB static and dynamic properties. Such a described 2D or 3D model can be generated automatically in a programming way for a wide range of AMB configurations in further research. Selected configurations are presented to show features of the proposed method and realized algorithm. The selected features of the proposed solution as well as feedback from industry are discussed.     

电力市场输电阻塞管理问题的规划模型求解

针对CUMCM2 0 0 4B电力市场的输电阻塞管理问题,建立目标规划模型,详细给出利用MATLAB优化工具箱函数linprog及fgoalattain求解模型的方法,指出正确使用数学软件在建模活动中的重要性.     

Using linear programming to analyze and optimize stochastic flow lines

This paper presents a linear programming approach to analyze and optimize flow lines with limited buffer capacities and stochastic processing times. The basic idea is to solve a huge but simple linear program that models an entire simulation run of a multi-stage production process in discrete time, to determine a production rate estimate. As our methodology is purely numerical, it offers the full modeling flexibility of stochastic simulation with respect to the probability distribution of processing times. However, unlike discrete-event simulation models, it also offers the optimization power of linear programming and hence allows us to solve buffer allocation problems. We show under which conditions our method works well by comparing its results to exact values for two-machine models and approximate simulation results for longer lines.     

Copula selection for graphical models in continuous Estimation of Distribution Algorithms

This paper presents the use of graphical models and copula functions in Estimation of Distribution Algorithms (EDAs) for solving multivariate optimization problems. It is shown in this work how the incorporation of copula functions and graphical models for modeling the dependencies among variables provides some theoretical advantages over traditional EDAs. By means of copula functions and two well known graphical models, this paper presents a novel approach for defining new EDAs. Either dependence is modeled by a copula function chosen from a predefined set of six functions that aim to cover a wide range of inter-relations. It is also shown how the use of mutual information in the learning of graphical models implies a natural way of employing copula entropies. The experimental results on separable and non-separable functions show that the two new EDAs, which adopt copula functions to model dependencies, perform better than their original version with Gaussian variables.     

Integrating modeling,algorithm design,and computational implementation to solve a large-scale non-linear mixed integer programming problem

This paper describes the formulation of a nonlinear mixed integer programming model for a large-scale product development and distribution problem and the design and computational implementation of a special purpose algorithm to solve the model. The results described demonstrate that integrating the art of modeling with the sciences of solution methodology and computer implementation provides a powerful approach for attacking difficult problems. The efforts described here were successful because they capitalized on the wealth of existing modeling technology and algorithm technology, the availability of efficient and reliable optimization, matrix generation and graphics software, and the speed of large-scale computer hardware. The model permitted the combined use of decomposition, general linear programming and network optimization within a branch and bound algorithm to overcome mathematical complexity. The computer system reliably found solutions with considerably better objective function values 30 to 50 times faster than had been achieved using general purpose optimization software alone. Throughout twenty months of daily use, the system was credited with providing insights and suggesting strategies that led to very large dollar savings.This research was supported in part by the Office of Naval Research Contract N00014-78-C-0222, by the Center for Business Decision Analysis, by the University of Texas at Austin, and by the David Bruton, Jr., Centennial Chair in Business Decision Support Systems. Reproduction in whole or in part is permitted for any purpose of the U.S. Government.Center for Business Decision Analysis, Graduate School of Business — GSB 3.126, University of Texas, Austin, Texas 78712, USA.     

Integrating modeling,algorithm design,and computational implementation to solve a large-scale nonlinear mixed integer programming problem

This paper describes the formulation of a nonlinear mixed integer programming model for a large-scale product development and distribution problem and the design and computational implementation of a special purpose algorithm to solve the model. The results described demonstrate that integrating the art of modeling with the sciences of solution methodology and computer implementation provides a powerful approach for attacking difficult problems. The efforts described here were successful because they capitalized on the wealth of existing modeling technology and algorithm technology, the availability of efficient and reliable optimization, matrix generation and graphics software, and the speed of large-scale computer hardware. The model permitted the combined use of decomposition, general linear programming and network optimization within a branch and bound algorithm to overcome mathematical complexity. The computer system reliably found solutions with considerably better objective function values 30 to 50 times faster than had been achieved using general purpose optimization software alone. Throughout twenty months of daily use, the system was credited with providing insights and suggesting strategies that led to very large dollar savings. This research was supported in part by the Office of Naval Research Contract N00014-78-C-0222, by the Center for Business Decision Analysis*, by the University of Texas at Austin, and by the David Bruton, Jr., Centennial Chair in Business Decision Support Systems. Reproduction in whole or in part is permitted for any purpose of the U.S. Government. Center for Business Decision Analysis, Graduate School of Business — GSB 3.126, University of Texas, Austin, Texas 78712, USA.     

Multi-parallel work centers scheduling optimization with shared or dedicated resources in low-volume low-variety production systems

A new methodology for modeling large-scale scheduling problems in low-volume low-variety production systems is proposed through this paper. Such scheduling problems are constrained by limited time and resources, where each work center is assigned a unique statement of work, to be completed on-time with the budgeted number of resources. Products assembled in low-volume low-variety production systems are processed through a series of stations referred to as work centers, where varying levels and classifications of resources are deployed onto the product. Aircraft, heavy aero-structures, and heavy military equipment are examples of products assembled in low-volume low-variety production systems. To ensure products are delivered on-time and on-budget, it is crucial to execute to a detailed schedule, such that all precedence, resource, zonal, and other constraints and characteristics inherent in such production systems are successfully satisfied. Despite the criticality of detailed schedules in delivering products on-time and on-budget, limited research is reported on mixed-integer programming approaches for scheduling optimization of activities in low-volume low-variety production systems. The discrete-time linear mixed-integer mathematical programming model developed in this paper fills the gap in the current literature with a direct impact on the organizations’ service levels and bottom line. The proposed mathematical programming models are validated through a real-world case-study of the assembly process of a narrow body aircraft to ensure compatibility in the modeling of large-scale industrial problems.     

Scenario optimization

Uncertainty in the parameters of a mathematical program may present a modeller with considerable difficulties. Most approaches in the stochastic programming literature place an apparent heavy data and computational burden on the user and as such are often intractable. Moreover, the models themselves are difficult to understand. This probably explains why one seldom sees a fundamentally stochastic model being solved using stochastic programming techniques. Instead, it is common practice to solve a deterministic model with different assumed scenarios for the random coefficients. In this paper we present a simple approach to solving a stochastic model, based on a particular method for combining such scenario solutions into a single, feasible policy. The approach is computationally simple and easy to understand. Because of its generality, it can handle multiple competing objectives, complex stochastic constraints and may be applied in contexts other than optimization. To illustrate our model, we consider two distinct, important applications: the optimal management of a hydro-thermal generating system and an application taken from portfolio optimization.     

The Development of a Mathematical Model of the Operations of a National Glass Manufacturer

In this paper, a mathematical model of the entire operations of a national glass manufacturer is developed. This includes the float glass manufacture, distribution, storage operations and the technical considerations dictated by the plant as well as the operating procedures. The model is initially for a planning year, and is generated from a ‘monthly model’. This monthly model interconnects with other monthly models primarily via stock flows. The mathematical model is formulated in a unique way that allows certain production aspects to be modelled using a ‘pseudo-continuous’ time frame, rather than a discrete one. The generation of the overall model (as a mixed integer linear programming problem) and its solution is also discussed.     

A Declarative Modeling Framework that Integrates Solution Methods

Constraint programming offers modeling features and solution methods that are unavailable in mathematical programming but are often flexible and efficient for scheduling and other combinatorial problems. Yet mathematical programming is well suited to declarative modeling languages and is more efficient for some important problem classes. This raises this issue as to whether the two approaches can be combined in a declarative modeling framework. This paper proposes a general declarative modeling system in which the conditional structure of the constraints shows how to integrate any “checker” and any special-purpose “solver”. In particular this integrates constraint programming and optimization methods, because the checker can consist of constraint propagation methods, and the solver can be a linear or nonlinear programming routine.     

COTS selection using fuzzy interactive approach

In this paper, we introduce fuzzy mathematical programming (FMP) for decision-making related to software creation by selecting optimal commercial-off-the-shelf (COTS) products in a modular software system. Each module in such software systems have different alternatives with variations in their properties, for example, quality, reliability, execution time, size and cost. Due to these variations, component-based software developers generally deals with the problem of selecting appropriate COTS products. The development of COTS-based systems largely depends on the success of the selection process. Various crisp optimization models of COTS products selection have been proposed in literature. However, in real COTS products selection problem, it is difficult to estimate precisely the values of various model parameters due to lack of sufficient data and also because of measurement errors. Hence, instead of crisp optimization model, if we use flexible optimization model then we might obtain results which are more preferred by the decision maker. In this study, we use multiple methodologies such as quality model, analytical hierarchy process and FMP to develop fuzzy multiobjective optimization model of the COTS products selection. To determine a preferred compromise solution for the multiobjective optimization problem, an interactive fuzzy approach is used.     

A survey of some mathematical programming models in transportation

Transportation problems constitute a fertile domain for the application of mathematical programming models and nonlinear optimization techniques, distribution problems, entropy models, traffic assigment problems and many others are good examples of this assertion. This paper provides a summary overview of the main modeling approaches in transportation and the related optimization models, symmetric and asymmetric, and an overview on the state-of-the-art of the origindestination adjustment problems and the related bilevel optimization methods.     

Environmental supply chain network design using multi-objective fuzzy mathematical programming

The concern about environmental impact of business activities has spurred an interest in designing environmentally conscious supply chains. This paper proposes a multi-objective fuzzy mathematical programming model for designing an environmental supply chain under inherent uncertainty of input data in such problem. The proposed model is able to consider the minimization of multiple environmental impacts beside the traditional cost minimization objective to make a fair balance between them. A life cycle assessment-based (LCA-based) method is applied to assess and quantify the environmental impact of different options for supply chain network configuration. Also, to solve the proposed multi-objective fuzzy optimization model, an interactive fuzzy solution approach is developed. A real industrial case is used to demonstrate the significance and applicability of the developed fuzzy optimization model as well as the usefulness of the proposed solution approach.     

Multi-objective optimization in uncertain random environments

Uncertain random variables are used to describe the phenomenon of simultaneous appearance of both uncertainty and randomness in a complex system. For modeling multi-objective decision-making problems with uncertain random parameters, a class of uncertain random optimization is suggested for decision systems in this paper, called the uncertain random multi-objective programming. For solving the uncertain random programming, some notions of the Pareto solutions and the compromise solutions as well as two compromise models are defined. Subsequently, some properties of these models are investigated, and then two equivalent deterministic mathematical programming models under some particular conditions are presented. Some numerical examples are also given for illustration.     

Teaching teachers mathematics through programming

There are two main arguments underlying the claims for the value of interactive computer programming used by students to model mathematical ideas. One is concerned with mathematical content, i.e. with mathematics as an object of study. The other is concerned with mathematical activity, i.e. doing mathematics, or ‘Mathematicking’ [1]. Both content and activity include processes and these provide the main links with programming. Examples of processes in the content of mathematics are addition, transformation and integration, and these can be described by instructions in a computer program. Examples of process in the activity are problem‐solving, proof generation and pattern finding which can be described by analogy to program building and debugging. We assess the arguments for programming, in relation to the training of teachers, and describe a pilot‐study in which student teachers with mathematical difficulties were taught the programming language LOGO. Observation of the students, learning the language and using it to manipulate computer models of mathematical ideas, which they had not understood previously, highlights both advantages and disadvantages in this approach. The problem of the representation of mathematical ideas within programming projects is discussed.     

Stochastic modelling of reservoir operations

The nature of hydrologic parameters in reservoir management models is uncertain. In mathematical programming models the uncertainties are dealt with either indirectly (sensitivity analysis of a deterministic model) or directly by applying a chance-constrained type of formulation or some of the stochastic programming techniques (LP and DP based models). Various approaches are reviewed in the paper. Moran's theory of storage is an alternative stochastic modelling approach to mathematical programming techniques. The basis of the approach and its application is presented. Reliability programming is a stochastic technique based on the chance-constrained approach, where the reliabilities of the chance constraints are considered as extra decision variables in the model. The problem of random event treatment in the reservoir management model formulation using reliability programming is addressed in this paper.     

The Advantages of Fuzzy Optimization Models in Practical Use

Classical mathematical programming models require well-defined coefficients and right hand sides. In order to avoid a non satisfying modeling usually a broad information gathering and processing is necessary. In case of real problems some model parameters can be only roughly estimated. While in case of classical models the vague data is replaced by "average data", fuzzy models offer the opportunity to model subjective imaginations of the decision maker as precisely as a decision maker will be able to describe it. Thus the risk of applying a wrong model of the reality and selecting solutions which do not reflect the real problem can be clearly reduced. The modeling of real problems by means of deterministic and stochastic models requires extensive information processing. On the other hand we know that an optimum solution is finally defined only by few restrictions. Especially in case of larger systems we notice afterwards that most of the information is useless. The dilemma of data processing is due to the fact that first we have to calculate the solution in order to define, whether the information must be well-defined or whether vague data may be sufficient. Based on multicriteria programming problems it should be demonstrated that the dilemma of data processing in case of real programming problems can be handled adequately by modeling them as fuzzy system combined with an interactive problem-solving. Describing the real problem by means of a fuzzy system first of all only the available information or such information which can be achieved easily will be considered. Then we try to develop an optimum solution. With reference to the cost-benefit relation further information can be gathered in order to describe the solution more precisely. Furthermore it should be pointed out that some interactive fuzzy solution algorithms, e.g. FULPAL provide the opportunity to solve mixed integer multicriteria programming models as well.     

Parameter estimation in stochastic scenario generation systems

Scenario analysis offers an effective tool for addressing the stochastic elements in multi-period financial planning models. Critical to any scenario generation process is the estimation of the input parameters of the underlying stochastic model for economic factors. In this paper, we propose a new approach for estimation, known as the integrated parameter estimation (IPE). This approach combines the significant features of other well-known estimation techniques within a non-convex multiple objective optimization framework, with the objective weights controlling the relative importance of the features. We solve the non-convex optimization problem using adaptive memory programming – a variation of tabu search. Based on a short interest rate model using UK treasury rates from 1980 to 1995, the integrated approach compares favorably with maximum likelihood and the generalized method of moments. We also evaluate performance with Towers Perrin's CAP:Link scenario generation system.