Abstract

advertisement
Zbl 0973.92022
Maniatis, T.A.; Nikita, K.S.; Uzunoglu, N.K.
Diffraction tomography based on Gaussian basis functions expansion of the
scatterer and nonlinear optimization. (English)
[CA] Dassios, G. (ed.) et al., Scattering theory and biomedical engineering modelling
and applications. Proceedings of the 4th international workshop, Perdika, Greece,
October 8-10, 1999. Singapore: World Scientific. 242-249 (2000). [ISBN 981-02-4391X]
Summary: A diffraction tomography method for medical imaging applications using
ultrasonic or electromagnetic radiation is presented. The Lippmann-Schwinger
Scattering Integral Equation (SIE), used to describe the associated inverse scattering
problem, is discretized using a spectral domain moment technique, where the unknown
internal field is expanded in a limited number of plane waves while the scatterer is
expressed in terms of Gaussian basis functions. The inverse scattering problem is
formulated as a problem of nonlinear optimization that is solved using either the
modified gradient method or the quasi-Newton method. Numerical results indicate that
the quasi-Newton method provides faster convergence and better accuracy for the given
inverse scattering problem formulation.
Zbl 0922.90106
Adjiman, C.S.; Schweiger, C.A.; Floudas, C.A.
Mixed-integer nonlinear optimization in process synthesis. (English)
[CA] Du, Ding-Zhu (ed.) et al., Handbook of combinatorial optimization. Vol. 1.
Boston: Kluwer Academic Publishers. 1-76 (1998). [ISBN 0-7923-5018-9/hbk; ISBN 07923-5019-7/set]
The use of networks allows the representation of a variety of important engineering
problems. The treatment of a particular class of network applications, the process
synthesis problem, is exposed in this paper. Process Synthesis seeks to develop
systematically process flowsheets that convert raw materials into desired products. In
recent years, the optimization approach to process synthesis has shown promise in
tackling this challenge. It requires the development of a network of interconnected units,
the process superstructure, that represents the alternative process flowsheets. The
mathematical modeling of the superstructure has a mixed set of binary and continuous
variables and results in a mixed-integer optimization model. Due to the nonlinearity of
chemical models, these problems are generally classified as Mixed-Integer Nonlinear
Programming (MINLP) problems. \par A number of local optimization algorithms,
developed for the solution of this class of problems, are presented in this paper:
Generalized Benders Decomposition (GBD), Outer Approximation (OA), Generalized
Cross Decomposition (GCD), Branch-and-Bound (BB), Extended Cutting Plane (ECP),
and Feasibility Approach (FA). Some recent developments for the global optimization
of nonconvex MINLPs are then introduced. In particular, two branch-and-bound
approaches are discussed: the Special structure Mixed Integer Nonlinear $\alpha$BB
(SMIN-$\alpha$BB), where the binary variables should participate linearly or in mixedbilinear terms, and the General structure Mixed Integer Nonlinear $\alpha$BB (GMIN$\alpha$BB), where the continuous relaxation of the binary variables must lead to a
twice-differentiable problem. Both algorithms are based on the $\alpha$BB global
optimization algorithm for nonconvex continuous problems.\par Once the theoretical
issues behind local and global optimization algorithms for MINLPs have been exposed,
attention is directed to their algorithmic development and implementation. The
framework MINOPT is discussed as a computational tool for the solution of process
synthesis problems. It is an implementation of a number of local optimization
algorithms for the solution of MINLPs. The use of MINOPT is illustrated through the
solution of a variety of process network problems. The synthesis problem for a heat
exchanger network is then presented to demonstrate the global optimization SMIN$\alpha$BB algorithm.
A Novel Continuous-Time Modeling and Optimization Framework for Well Platform
Planning Problems
Xiaoxia Lin
Department of Chemical Engineering, Princeton University, Princeton, NJ 08544-5263, USA
Christodoulos A. Floudas
Department of Chemical Engineering, Princeton University, Princeton, NJ 08544-5263, USA.
floudas@titan.princeton.edu
Abstract
The long-term planning problem for integrated gas field development is investigated. The key
decisions involve both design of the production and transportation network structure and
operation of the gas fields over time. A novel continuous-time modeling and optimization approach
is proposed, which introduces the concept of event points and allows the well platforms to come
online at potentially any time within the continuous horizon under consideration. A two-level
formulation and solution framework is developed to take into account complicated economic
calculations and results in mixed-integer nonlinear programming (MINLP) problems. As compared
with the discrete-time model, the proposed approach leads to more compact mathematical models
and significant reduction of the size of the resulting MINLP problems. Even though, the proposed
approach in its current form cannot guarantee convergence to the optimal solution, computational
results show that this approach can reduce the computational efforts required substantially and
solve problems that are intractable for the discrete-time model.
Keywords
long-term planning, gas field development, continuous-time formulation, mixed-integer nonlinear
programming (MINLP)
Article ID: 5113332
Zbl 1030.92015
Ferris, Michael C.; Lim, Jinho; Shepard, David M.
Radiosurgery treatment planning via nonlinear programming. (English)
[J] Ann. Oper. Res. 119, 247-260 (2003). [ISSN 0254-5330]
Summary: The Gamma Knife is a highly specialized treatment unit that provides an
advanced stereotactic approach to the treatment of tumors, vascular malformations, and
pain disorders within the head. Inside a shielded treatment unit, multiple beams of
radiation are focussed into an approximately spherical volume, generating a high dose
shot of radiation. The treatment planning process attempts to cover the tumor with
sufficient dosage without overdosing normal tissue or surrounding sensitive structures.
An optimization problem is formulated that determines where to center the shots, for
how long to expose each shot on the target, and what size focussing helmets should be
used.\par We outline a new approach that models the dose distribution nonlinearly, and
use a smoothing approach to treat discrete problem choices. The resulting nonlinear
program is not convex and several heuristic approaches are used to improve solution
time and quality. The overall approach is fast and reliable; we give several results
obtained from use in a clinical setting.
MSC 2000:
*92C50 Medical appl. of mathematical biology
90C90 Appl. of mathematical programming
90C30 Nonlinear programming
Zbl 1016.49030
Gerdts, Matthias
A moving horizon technique for the simulation of automobile test-drives. (English)
[J] ZAMM, Z. Angew. Math. Mech. 83, No.3, 147-162 (2003). [ISSN 0044-2267; ISSN
1521-4001]
Summary: The test-drive of an automobile along a given test-course can be modeled by
formulation of a suitable optimal control problem. For the numerical solution the
optimal control problem is discretized by a direct shooting method and transformed into
a finite dimensional nonlinear optimization problem. With increasing length of the testcourse, the dimension of the nonlinear optimization problem increases as well and its
numerical solution becomes very difficult due to stability reasons. Therefore a moving
horizon technique with reduced range of vision for the test-driver is introduced. Instead
of treating the complete test-course, a comparatively short local sector is considered on
which a corresponding local optimal control problem can be solved comfortably. The
local solutions are then combined by suitable transient conditions. A numerical example
with a realistic car model is given.
MSC 2000:
*49N90 Applications of optimal control and differential games
90C90 Appl. of mathematical programming
49M37 Methods of nonlinear programming type
90C30 Nonlinear programming
Optimizing color picture tubes by highcost nonlinear programming
Dick den Hertog
a
b
,a
and Peter Stehouwer
,
,b
Tilburg University, CentER, P.O. Box 90153, 5000 LE, Tilburg, The Netherlands
Centre for Quantitative Methods, P.O. Box 414, 5600 AK, Eindhoven, The Netherlands
Available online 8 February 2002.
Abstract
In this paper we discuss the application of optimization techniques for the design of several parts
of the color picture tube, the key component of television sets and computer monitors. These
projects have been carried out for Philips Display Components in Eindhoven. Philips developed
several computer simulation models of picture tube parts. Designers use these models to simulate
the physical behavior of a particular part design. Depending on the amount of detail in the model,
the running time of a typical simulation ranges from one up to 10 hours. Tube designers are
confronted with the problem of finding settings for a large number of design parameters that are
optimal with respect to several simulated tube characteristics. This problem can be modeled as a
so-called high-cost nonlinear programming problem. This paper reports on the successful
application of our four-step compact model approach to solve this problem. The presented results
are based on four projects in which we optimized picture tube parts. Among the realized benefits
for Philips are a design improvement of 30% and a time-to-market reduction of 50–60%.
Author Keywords: Nonlinear programming; Design of computer experiments; Compact
modeling; Engineering design; Simulation
Zbl pre01878837
Kaiser, M.J.
The polygonal containment model. (English)
[J] Appl. Math. Lett. 15, No.1, 89-94 (2002). [ISSN 0893-9659]
Summary: The polygonal containment problem is to position two structures of convex
forms under rigid motion mechanics such that the forms of one structure are completely
contained within the elements of the associated structure. In this note, the polygonal
containment problem is formalized in terms of a generalized containment model and
solved as a constrained nonlinear program.
MSC 2000:
*90C90 Appl. of mathematical programming
90C30 Nonlinear programming
Optimum shapes of reservoirs
H. Mehrazin
Department of Civil Engineering, Faculty of Engineering, University of Teheran, P.O. Box 11365,
Tehran 4563, Iran
Available online 7 December 2000.
Abstract
The aim of this paper is to find the optimal shape of reservoirs and to minimize the whole lateral
surface area for a known volume V. The minimization is studied for some geometrical shapes
generated by rotation. It is proved that the lateral surface area of a hollow ellipsoid with negligible
or non negligible thickness is minimized when it is transformed to a sphere and a formula is
proved for the calculation of lateral surface area of ellipsoid. It is then proved that the
minimization of the whole lateral surface area with a constant volume results to a differential
equation which cannot be resolved in general case; but only for some particular boundary values
by which we obtain the greatest ratio V/Sm for the sphere.
Author Keywords: Optimization; Lateral surface; Ellipsoid; Sphere
Zbl 0996.49023
Kleis, D.; Sachs, E.W.
Optimal control of the sterilization of prepackaged food. (English)
[J] SIAM J. Optim. 10, No.4, 1180-1195 (2000). [ISSN 1052-6234; ISSN 1095-7189]
Summary: To model the process of sterilization by heating in the food industry, we
derive an optimal control problem with state and control constraints governed by a
nonlinear heat equation. A discretized form of the problem can then be expressed as a
large-scale continuous optimization problem and solved by a special sequential
quadratic programming method. The model provides useful insights -- for example,
when maximizing the retention of vitamins, the computed optimal control differs from
the one typically used in industry -- and can be generalized.
MSC 2000:
*49N90 Applications of optimal control and differential games
90C90 Appl. of mathematical programming
90C55 Methods of successive quadratic programming type
90C30 Nonlinear programming
49M37 Methods of nonlinear programming type
Zbl 0979.90123
Aliyu, M.D.S.
A vertex algorithm for collision detection. (English)
[J] Eur. J. Oper. Res. 120, No.1, 174-180 (2000). [ISSN 0377-2217]
Summary: An algorithm for detecting the collision of moving objects is presented. The
algorithm applies to polyhedral objects that can be represented as convex hulls of finite
number of vertices in two- or three-dimensional space. This is then extended to a threeor four-dimensional space (respectively) to represent the objects and their motion.
Nonlinear programming techniques are then employed to detect possible interference.
The algorithm detects in one step whether or not the objects will interfere during their
motion which may involve pure translations or rotations or both. A subalgorithm for
computing the minimum distance between the objects is also presented. This can be
used to solve the interference detection problem or for more general applications.
MSC 2000:
*90C57 Polyhedral combinatorics, branch-and-bound, branch-and-cut
90C30 Nonlinear programming
90C90 Appl. of mathematical programming
93C85 Automated control systems
Zbl 0949.90027
Ahmadi, Reza H.; Kouvelis, Panagiotis
Design of electronic assembly lines: An analytical framework and its application.
(English)
[J] Eur. J. Oper. Res. 115, No.1, 113-137 (1999). [ISSN 0377-2217]
Summary: The design of component assembly lines in Printed Circuit Board (PCB)
manufacturing environments is a challenging problem faced by many firms in the
electronics industry. The main design approaches to such component assembly lines are
the mini-line, flexible flow line, and hybrid line designs. In this paper, we discuss the
operational trade-offs associated with these design alternatives and present a
mathematical programming framework that captures relevant system design issues.
Each of the design alternatives can be viewed as a special case of the stated
mathematical programming model. We develop effective algorithms to solve these
mathematical programs. We have used the framework in a specific PCB manufacturing
environment to advise managers on the best configuration of their lines. The models
were used as sensitivity analysis tools. The results of our computational experiments,
combined with qualitative comparisons of different design approaches developed by a
crossfunctional team (engineers, manufacturing and product managers), have led to the
development of a set of managerial guidelines for the selection of the design plan for
component assembly lines in the studied environment.
MSC 2000:
*90B30 Production models
90C90 Appl. of mathematical programming
90C30 Nonlinear programming
Zbl 0945.90062
Makowski, Marek
Generation and analysis of a nonlinear optimization problem: European ozone
model case study. (English)
[CA] Polis, Michael P. (ed.) et al., Systems modelling and optimization. Proceedings of
the 18th IFIP TC7 conference, Detroit, MI, USA, July 22-25, 1997. Boca Raton, FL:
Chapman \& Hall/ CRC. Chapman Hall/CRC Res. Notes Math. 396, 477-485 (1999).
[ISBN 0-8493-0607-8]
Summary: The paper presents an outline of the Ozone model being developed at IIASA
and used for analysis of various policy measures aimed at reduction of air pollution in
order to improve the corresponding air quality in Europe.\par Generation of the Ozone
model requires statistical analysis of a large amount of data, and analysis of the model
requires solution of large scale nonlinear optimization problems. A model generator has
been developed not only for providing various optimization solvers with the model
specification but also for performing data consistency check and in order to allow for
implementation two techniques (soft constraints and regularization) necessary for a
more complete model analysis.
MSC 2000:
*90C30 Nonlinear programming
90C90 Appl. of mathematical programming
Zbl 0910.90206
Lindberg, Per Olov; Wolf, Andreas
Optimization of the short term operation of a cascade of hydro power stations.
(English)
[CA] Hager, William H. (ed.) et al., Optimal control: theory, algorithms, and
applications. Proceedings of a conference, University of Florida, Gainesville, FL, USA,
February 27--March 1, 1997. Dordrecht: Kluwer Academic Publishers. Appl. Optim.
15, 326-345 (1998). [ISBN 0-7923-5067-7/hbk]
We study the operation of a cascade of hydropower stations for given time varying
prices and given inflows. The objective is to maximize the value of the power output,
under constraints on final reservoir contents. The flow of the river is modeled through
nonlinear partial differential equations (PDEs), the St. Venant equations, which are
solved iteratively. For the stations, empirical but smooth efficiency curves are
employed. Exploiting the structure of the problem, a descent method of reduced
gradient type is developed. Convexification is used to avoid getting trapped in local
minima. Further scaling of the problem has been applied with rather dramatic success.
MATLAB computations on a small but realistic problem are presented.
MSC 2000:
*90B90 Case-oriented studies in OR
90C90 Appl. of mathematical programming
90C30 Nonlinear programming
Zbl 0907.90115
Çetinkaya, S.; Parlar, M.
Nonlinear programming analysis to estimate implicit inventory backorder costs.
(English)
[J] J. Optimization Theory Appl. 97, No.1, 71-92 (1998). [ISSN 0022-3239]
We use nonlinear programming to provide an alternative treatment of the economic
order quantity problem with planned backorders. Many businesses, such as capitalgoods firms that deal with expensive products and some service industries that cannot
store their services, operate with substantial backlogs. In practical problems, it is usually
very difficult to estimate accurately the values of the two types of backorder costs, i.e.,
the time-dependent unit backorder cost and the unit backorder cost. We redefine the
original problem without including these backorder costs and construct a nonlinear
programming problem with two service measure constraints which may be easier to
specify than the backorder costs. We find that, with this different formulation of our
new problem, we obtain results which give implicit estimates of the backorder costs.
The alternative formulation provides an easier-to-use model and managerially
meaningful results. Next, we show that, for a wide range of parameter values, it usually
suffices to consider only one type of backorder cost, or equivalently, only one type of
service measure constraint. Finally, we develop expressions which bracket the optimal
values of the decision variables in a narrow range and provide a simple method for
computing the optimal solution. In the most complicated case, this method requires
finding the unique root of a polynomial.
MSC 2000:
*90B05 Inventory management
90C90 Appl. of mathematical programming
90C30 Nonlinear programming
Zbl 0924.90075
Bretthauer, Kurt M.; Côté, Murray J.
Nonlinear programming for multiperiod capacity planning in a manufacturing
system. (English)
[J] Eur. J. Oper. Res. 96, No.1, 167-179 (1997). [ISSN 0377-2217]
We present nonlinear programming methods for capacity planning in a manufacturing
system that consists of a set of machines or work stations producing multiple products.
We model the facility as an open network of queues where capacity at each work station
in the system may be changed in each of a finite number of time periods. To determine
the timing and size of capacity changes, we present two nonlinear programming models
and methods for solving the resulting problems. One model involves minimizing total
capacity costs such that plant congestion is controlled via upper limits on work-inprocess. The other model involves minimizing a weighted sum of product lead times
subject to budget constraints on capacity costs. We present solution methods for
continuous and discrete capacity options and convex and nonconvex (e.g., economies of
scale) capacity cost functions. We use branch-and-bound and outer approximation
techniques to determine globally optimal solutions to the nonconvex problems.
Computational testing of the algorithms is reported.
MSC 2000:
*90B30 Production models
90C90 Appl. of mathematical programming
90C30 Nonlinear programming
Zbl 0890.90125
Amos, F.; Rönnqvist, M.; Gill, G.
Modelling the pooling problem at the New Zealand Refining Company. (English)
[J] J. Oper. Res. Soc. 48, No.8, 767-778 (1997). [ISSN 0160-5682]
Pooling is usually present throughout an oil refinery right from the processing of raw
crudes through to the blending of petroleum products. Pooling occurs when two or more
crudes, each with specific properties such as cost, sulphur content and unique
distillation yields, are processed through distilling units simultaneously to yield
downstream fractions. The decisions required in this problem are to select the quantities
of each crude to be processed in each crude distiller and to select the best points which
produce the desired fractions while minimising total cost of crude. Cut points are
temperatures in the distillers at which different output streams are separated. In the
proposed model, we introduce the use of cumulative functions for the distillation yields
which enables a detailed description of the process in a mathematical model.
Preliminary numerical results at the New Zealand Refining Company show that the
nonlinear model accurately describes the pooling problem and simultaneously is
efficiently solvable.
MSC 2000:
*90B90 Case-oriented studies in OR
90C90 Appl. of mathematical programming
90C30 Nonlinear programming
Zbl 0866.90044
Filar, J.A.; Gaertner, P.S.; Janssen, M.A.
An application of optimization to the problem of climate change. (English)
[CA] Floudas, C. A. (ed.) et al., State of the art in global optimization: computational
methods and applications. Papers of the conference, Princeton, NJ, USA, April 28--30,
1995. Dordrecht: Kluwer Academic Publishers. Nonconvex Optim. Appl. 7, 475-498
(1996). [ISBN 0-7923-3838-3]
The objective of this paper is to demonstrate a methodology whereby reductions of
greenhouse gas emissions can be allocated on a regional level with minimal deviation
from the ``business as usual emission scenario''. The methodology developed employs a
two stage optimization process utilizing techniques of mathematical programming. The
stage one process solves a world emission reduction problem producing an optimal
emission reduction strategy for the world by maximizing an economic utility function.
Stage two addresses a regional emission reduction allocation problem via the solution of
an auxiliary optimization problem minimizing disruption from the above business as
usual emission strategies. Our analysis demonstrates that optimal CO$_2$ emission
reduction strategies are very sensitive to the targets placed on CO$_2$ concentrations,
in every region of the world. It is hoped that the optimization analysis will help
decision-makers narrow their debate to realistic environmental targets.
MSC 2000:
*91B76 Environmental economics
90C90 Appl. of mathematical programming
90C30 Nonlinear programming
Zbl 0805.94011
Chang, Yaw O.; Karlof, John K.
Large scale geometric programming: An application in coding theory. (English)
[J] Comput. Oper. Res. 21, No.7, 747-755 (1994). [ISSN 0305-0548]
An algorithm is presented that solves the initial vector problem for group codes for the
Gaussian channel. The Gaussian channel is a communications model in which messages
are represented by vectors in $\bbfR\sp n$ and transmitted over a noisy channel. In this
paper, the set of messages, called a code, is generated by a group of permutation
matrices and the problem of finding the code with the largest minimum distance
between codewords for a particular permutation group is called the initial vector
problem. This problem is an especially large scale nonlinear programming problem. We
transform it to a generalized geometric programming problem and use the double
condensation method to develop an algorithm for its solution.
MSC 2000:
*94A24 Coding theorems (Shannon theory)
90C90 Appl. of mathematical programming
90C30 Nonlinear programming
94A40 Channel models
Download