Berth allocation at indented berths for mega-containerships

This paper addresses the berth allocation problem at a multi-user container terminal with indented berths for fast handling of mega-containerships. In a previous research conducted by the authors, the berth allocation problem at a conventional form of the multi-user terminal was formulated as a nonlinear mathematical programming, where more than one ship are allowed to be moored at a specific berth if the berth and ship lengths restriction is satisfied. In this paper, we first construct a new integer linear programming formulation for easier calculation and then the formulation is extended to model the berth allocation problem at a terminal with indented berths, where both mega-containerships and feeder ships are to be served for higher berth productivity. The berth allocation problem at the indented berths is solved by genetic algorithms. A wide variety of numerical experiments were conducted and interesting findings were explored.     

A weak linearization of the Kuhn-tucker conditions for a class of allocation problems

The return obtained from the allocation of resources to an activity is occasionally modelled by means of concave, strictly increasing functions. Exponential functions of a certain class conveniently lend themselves to such modelling. A nonlinear programming formulation of a multiresource allocation problem with return functions of the class appears to have Kuhn-Tucker conditions which in a sense are intrinsically linear. The paper shows how this fact can be utilised to save processing time in the execution of numerical algorithms for the solution of this mathematical programming problem.     

The Fundamental Relations between Geometric Programming Duality, Parametric Programming Duality, and Ordinary Lagrangian Duality

Every formulation of mathematical programming duality (known to the author) for continuous finite-dimensional optimization can easily be viewed as a special case of at least one of the following three formulations: the geometric programming formulation (of the generalized geometric programming type), the parametric programming formulation (of the generalized Rockafellar-perturbation type), and the ordinary Lagrangian formulation (of the generalized Falk type). The relative strengths and weaknesses of these three duality formulations are described herein, as are the fundamental relations between them. As a theoretical application, the basic duality between Fenchel's hypothesis and the existence of recession directions in convex programming is established and then expressed within each of these three duality formulations     

Mathematical programming formulations for approximate simulation of multistage production systems

Mathematical programming representation has been recently used to describe the behavior of discrete event systems as well as their formal properties. This new way of representing discrete event systems paves the way to the creation of simpler mathematical programming models that reduce the complexity of the system analysis. The paper proposes an approximate representation for a class of production systems characterized by several stages, limited buffer capacities and stochastic production times. The approximation exploits the concept of a time buffer, modeled as a constraint that put into a temporal relationship the completion times of two customers in a sample path. The main advantage of the proposed formulation is that it preserves its linearity even when used for optimization and, for such a reason, it can be adopted in simulation–optimization problems to reduce the initial solution space. The approximate formulation is applied to relevant problems such as buffer capacity allocation in manufacturing systems and control parameters setting in pull systems.     

The Evolution of Mathematical Programming Systems

Computer programs to solve linear programming problems by the simplex method have existed since the early 1950s. They remain the central feature of today's mathematical programming systems. There has been a steady increase in the size of problem that can be solved: this has been due as much to a better understanding of how to exploit sparseness as to larger and faster computers. There has been a steady increase in the type of problem that can be solved: this has been due as much to new concepts, such as separable programming, integer variables and special ordered sets, as to new algorithms. There has been a steady increase in the extent to which the application of mathematical programming has become more automatic. This applies both to the use of computerized matrix generators and report writers and to the mathematical formulation itself, in that we rely less on the user producing a well-scaled linear programming problem and are starting on the process of automatically sharpening the formulation of integer programming problems.Important new work is being done on all these aspects of computational mathematical programming.     

Re-solving stochastic programming models for airline revenue management

We study some mathematical programming formulations for the origin-destination model in airline revenue management. In particular, we focus on the traditional probabilistic model proposed in the literature. The approach we study consists of solving a sequence of two-stage stochastic programs with simple recourse, which can be viewed as an approximation to a multi-stage stochastic programming formulation to the seat allocation problem. Our theoretical results show that the proposed approximation is robust, in the sense that solving more successive two-stage programs can never worsen the expected revenue obtained with the corresponding allocation policy. Although intuitive, such a property is known not to hold for the traditional deterministic linear programming model found in the literature. We also show that this property does not hold for some bid-price policies. In addition, we propose a heuristic method to choose the re-solving points, rather than re-solving at equally-spaced times as customary. Numerical results are presented to illustrate the effectiveness of the proposed approach.     

Minimum Cost Allocation of Tenders

In a big organization like the Australian Post Office, where large sums of money are spent to purchase a very large number of items every financial year, the problem is that of allocating the orders of the different items to the competing tenderers at a minimum cost. We have dealt with this in two sections; one is devoted to quantity discounts, the other to order value discounts. We have shown the mathematical formulation using integer and mixed integer linear programming, the mathematical programming systems used, the benefits gained and costs incurred, and the effects of the implementation of minimum cost allocation techniques on the organizational structure of some sections of the A.P.O. We have also shown that these techniques could be used to analyse the relative economic efficiencies of the competing tenderers with the objective of formulating a suitable economic purchasing policy for the organization concerned.     

A Multiobjective Decision Analysis: Budget Planning for Product Engineering

A multiobjective decision analysis was conducted to help the director of a product engineering group within a major corporation plan the allocation of his operating budget. Use of decomposition results from multiattribute utility theory led to a nonlinear programming formulation of the allocation problem that was convenient to solve and for which the required utility and probability data could be obtained. The analysis indicated that a substantial change from the traditional allocation policy would be desirable. The analysis approach and the results were well received by management.     

Basin-wide cooperative water resources allocation

The Cooperative Water Allocation Model (CWAM) is designed within a general mathematical programming framework for modeling equitable and efficient water allocation among competing users at the basin level and applied to a large-scale water allocation problem in the South Saskatchewan River Basin located in southern Alberta, Canada. This comprehensive model consists of two main steps: initial water rights allocation and subsequent water and net benefits reallocation. Two mathematical programming approaches, called the priority-based maximal multiperiod network flow (PMMNF) method and the lexicographic minimax water shortage ratios (LMWSR) technique, are developed for use in the first step. Cooperative game theoretic approaches are utilized to investigate how the net benefits can be fairly reallocated to achieve optimal economic reallocation of water resources in the second step. The application of this methodology to the South Saskatchewan River Basin shows that CWAM can be utilized as a tool for promoting the understanding and cooperation of water users to achieve maximum welfare in a river basin and minimize the potential damage caused by water shortages, through water rights allocation, and water and net benefit transfers among water users under a regulated water market or administrative allocation mechanism.     

A global supply chain model with transfer pricing and transportation cost allocation

We present a model for the optimization of a global supply that maximizes the after tax profits of a multinational corporation and that includes transfer prices and the allocation of transportation costs as explicit decision variables. The resulting mathematical formulation is a non-convex optimization problem with a linear objective function, a set of linear constraints, and a set of bilinear constraints. We develop a heuristic solution algorithm that applies successive linear programming based on the reformulation and the relaxation of the original problem. Our computational experiments investigate the impact of using different starting points. The algorithm produces feasible solutions with very small gaps between the solutions and their upper bound (UB).     

New Uniform Parametric Error Bounds

A uniform parametric error bound is a uniform error estimate for feasible solutions of a family of parametric mathematical programming problems. It has been proven useful in exact penalty formulation for bilevel programming problems. In this paper, we derive new sufficient conditions for the existence of uniform parametric error bounds.     

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.     

A Probabilistic Objective Function for R & D Portfolio Selection

This paper contributes to the literature on the problem of allocation of resources to a set of risky investments. Our objective is to develop the ideas in the context of a research and development laboratory. A mathematical programming approach to the resource allocation problem is taken, and various forms for an objective function under risk are discussed. A probabilistic objective function appropriate to R & D is isolated and tested on a small hypothetical example. Parametric linear programming is used to yield a near-optimum allocation.     

Planning Activities in a Network of Logistic Platforms with Shared Resources

This paper has been motivated by the study of a real application, the transshipment container terminal of Gioia Tauro in Italy. The activities in a container terminal concern with the movement of containers from/to mother vessels and feeders and with the handling and storage of containers in the yard. For such type of applications both operational (e.g., scheduling) and tactical (e.g., planning) models, currently available in the literature, are not useful in terms of operations management and resources optimization. Indeed, the former models are too detailed for the complexity of the systems, while the latter are not able to capture the operational constraints in representing those activities which limit the nominal capacity. Herein, the container terminal, or more in general a service or production system, is represented as a network of complex substructures or platforms. The idea is to formalize the concept of platform capacity, which is used to represent the operational aspects of the container terminal in a mathematical model for the tactical planning. The problem, which consists in finding an allocation of resources in each platform in order to minimize the total delay on the overall network and on the time horizon, is modelled by a mathematical programming formulation for which we carry out a computational analysis using CPLEX-MIP solver. Moreover, we present a dynamic programming based heuristic to solve larger instances in short computational time. On all but one of the smaller instances, the heuristic solutions are also optimal. On the larger instances, the maximum gap, i.e. the percentage deviation, between the heuristic solutions and the best solutions computed by CPLEX-MIP within the time limit of 3600 s, has been 6.3%.     

A Representation and Economic Interpretation of a Two-Level Programming Problem

This paper first presents a formulation for a class of hierarchial problems that show a two-stage decision making process; this formulation is termed multilevel programming and could be defined, in general, as a mathematical programming problem (master) containing other multilevel programs in the constraints (subproblems). A two-level problem is analyzed in detail, and we develop a solution procedure that replaces the subproblem by its Kuhn-Tucker conditions and then further transforms it into a mixed integer quadratic programming problem by exploiting the disjunctive nature of the complementary slackness conditions.An example problem is solved and the economic implications of the formulation and its solution are reviewed.     

Exact and approximate methods for a one-dimensional minimax bin-packing problem

One-dimensional bin-packing problems require the assignment of a collection of items to bins with the goal of optimizing some criterion related to the number of bins used or the ‘weights’ of the items assigned to the bins. In many instances, the number of bins is fixed and the goal is to assign the items such that the sums of the item weights for each bin are approximately equal. Among the possible applications of one-dimensional bin-packing in the field of psychology are the assignment of subjects to treatments and the allocation of students to groups. An especially important application in the psychometric literature pertains to splitting of a set of test items to create distinct subtests, each containing the same number of items, such that the maximum sum of item weights across all bins is minimized. In this context, the weights typically correspond to item statistics derived from difficulty and discrimination indices. We present a mixed zero-one integer linear programming (MZOILP) formulation of this one-dimensional minimax bin-packing problem and develop an approximate procedure for its solution that is based on the simulated annealing algorithm. In two comparisons that focused on 34 practically-sized test problems (up to 6000 items and 300 bins), the simulated annealing heuristic generally provided better solutions than were obtained when using a commercial mathematical programming software package to solve the MZOILP formulation directly.     

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.     

Optimal and suboptimal capacity allocation in communication networks

Gomory and Hu (Ref. 1) formulated the optimal allocation of capacities to the links of a communication networks as a problem in linear programming. The application of this formulation to the solution of problems of realistic size does, however, require an excessive amount of computation. In the present paper, a slightly different formulation is given. The resulting optimality conditions readily lend themselves to the construction of problems with known optimal solutions, thereby providing suitable examples for the assessment of the efficiencies of approximate methods. An approximate method that has been found highly efficient in many cases is illustrated by an example.     

A compact formulation of an elastoplastic analysis problem

Two important problems in the area of engineering plasticity are limit load analysis and elastoplastic analysis. It is well known that these two problems can be formulated as linear and quadratic programming problems, respectively (Refs. 1–2). In applications, the number of variables in each of these mathematical programming problems tends to be large. Consequently, it is important to have efficient numerical methods for their solution. The purpose of this paper is to present a method which allows the quadratic programming formulation of the elastoplastic analysis to be reformulated as an equivalent quadratic programming problem which has significantly fewer variables than the original formulation. Indeed, in Section 4, we will present details of an example for which the original quadratic programming formulation required 297 variables and for which the equivalent formulation presented here required only two variables. The method is based on a characterization of the entire family of optimal solutions for a linear programming problem.This research was supported by the Natural Science and Engineering Council of Canada under Grant No. A8189 and by a Leave Fellowship from the Social Sciences and Humanities Research Council of Canada. The author takes pleasure in acknowledging many stimulating discussions with Professor D. E. Grierson.     

A supernodal formulation of vertex colouring with applications in course timetabling

For many problems in scheduling and timetabling, the choice of a mathematical programming formulation is determined by the formulation of the graph colouring component. This paper briefly surveys seven known integer programming formulations of vertex colouring and introduces a new approach using “supernodes”.