Optimal stopping problems for differential equations perturbed by a poisson process

We investigate a class of optimal stopping problems for dynamical systems described by one-dimensional differential equations with an additive Poisson disturbance. The rate of the disturbance may depend upon the current state of the system. A dynamic programming equation for the optimal stopping cost is derived along with conditions which must be met at the boundary of the optimal stopping set. These boundary conditions depend upon whether or not the stopping set may be entered by smooth motion.     

Economic impact and the notion of compensated procurement

The paper consists essentially of two parts. In the first part a linear economic impact model is presented whose structure is based on subcontracting flows. The structural coefficients are defined in terms of flows per area. The model is derived from two identities that are analogous to the income and expenditure identities of national income accounting. The parameters are prime contracts and when one or several of the prime contracts are changed, the model determines the impacts of such changes on the various regions that have been selected. The impacts can be combined with regional multipliers to derive changes in regional income and regional employment. Fragmentary data for this kind of model have been collected on a one-time basis by DOD in 1965 and some results based on the data are presented. The second part of the paper is concerned with normative economics. A scheme is suggested, called compensated procurement, that outlines how the Department of Defense might employ the impact model in a macroeconomic setting. The basic idea is that a stabilization fund be established to finance an array of potential projects which are contracted for to balance sudden shifts in defense demand. Only short-run stabilization is advocated.     

Landmarks in defense literature

Achtung-Panzer! By Major General Heinz Guderian, Translated by Christopher Duffy with Introduction and Notes by Paul Harris. (Arms & Armour Press £16.99. ISBN 1-85409-138-7, 220 pages)     

A two-phase procedure for allotting geostationary orbital locations to communications satellites

We consider the problem of allotting locations in the geostationary orbit to communication satellites, subject to angle of elevation and electromagnetic interference constraints. An optimization framework is used as a means of finding feasible allotment plans. Specifically, we present a two-phase solution procedure for the satellite location problem (SLP). The objective in SLP is to allot geostationary orbital locations to satellites so as to minimize the sum of the absolute differences between the locations prescribed for the satellites and corresponding specified desired locations. We describe two heuristics, an ordering procedure and a k-permutation algorithm, that are used in tandem to find solutions to SLP. Solutions to a worldwide example problem with 183 satellites serving 208 service areas are summarized.     

A linear programming approach to geometric programs

A cutting plane method, based on a geometric inequality, is described as a means of solving geometric programs. While the method is applied to the primal geometric program, it is shown to retain the geometric programming duality relationships. Several methods of generating the cutting planes are discussed and illustrated on some example problems.     

Minimax trees,paths, and cut sets

The notions of minimax paths, trees, and cut sets are defined for undirected graphs; and relationships between these entities are established. Simple solution procedures based on these relationships are presented.     

Toward a study of bidding processes part IV - games with unknown costs

This paper represents a continuation of three previous papers [1-.3] in the study of competitive bidding processes. It treats the case where a bidder's knowledge of his competitor's cost i s given by a probability distribution over a certain interval. The results obtained extend the work of Vickrey [4] to the case where the cost intervals a r e not necessarily symmetric.     

A tactical warfare simulation program

The Tactical Warfare Simulation Program is a procedure by which the major interactions among opposing military units and terrain features can be treated in a tactical limited warfare situation. It is a critical-area, sequence-of-event model and is programmed in SIM-SCRIPT. In this program a military unit is described by such properties as strength, size, location, velocity, and attrition rates. Some of the events which can occur to a military unit are entering/leaving terrain features, becoming engaged/disengaged with opposing units, retreating, reaching an objective, and breaking. Following a discussion of the general features of the program, a study of a hypothetical war is presented.     

Cyclic best first search: Using contours to guide branch‐and‐bound algorithms

The cyclic best‐first search (CBFS) strategy is a recent search strategy that has been successfully applied to branch‐and‐bound algorithms in a number of different settings. CBFS is a modification of best‐first search (BFS) that places search tree subproblems into contours which are collections of subproblems grouped in some way, and repeatedly cycles through all non‐empty contours, selecting one subproblem to explore from each. In this article, the theoretical properties of CBFS are analyzed for the first time. CBFS is proved to be a generalization of all other search strategies by using a contour definition that explores the same sequence of subproblems as any other search strategy. Further, a bound is proved between the number of subproblems explored by BFS and the number of children generated by CBFS, given a fixed branching strategy and set of pruning rules. Finally, a discussion of heuristic contour‐labeling functions is provided, and proof‐of‐concept computational results for mixed‐integer programming problems from the MIPLIB 2010 database are shown. © 2017 Wiley Periodicals, Inc. Naval Research Logistics, 64: 64–82, 2017