Congestion analysis of a computer core storage system

This paper studies the congestion problems of the computer core storage units. The principle of storage request interleaving is briefly discussed as means of increasing thruput. An analytic model is proposed to analyze the core storage system with a two-way interleaving feature. The model, an approximation to the physical system, is an extension of a queueing model with bulk service considered by Bailey in Ref. [1].     

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     

Security assurances and proliferation risks in the Trump administration

Comments that Donald Trump made while campaigning to be U.S. president have raised concerns that his administration will pull back from U.S. alliance commitments and encourage countries such as Japan and South Korea to acquire nuclear arms. The new article by Frühling and O’Neil outlines an institutional framework that can be helpful in assessing the risks that Trump administration policies will lead to nuclear proliferation. An institutional perspective shows that important elements of U.S. security assurances will continue to function, and this reduces the chances that President Trump’s actions or statements will trigger proliferation by U.S. allies. The greatest risk to global non-proliferation efforts posed by a Trump administration in fact lies elsewhere, in the possibility that President Trump will seek to abrogate the Iran nuclear deal.     

An algorithm for optimal shipments with given frequencies

This article deals with the problem of minimizing the transportation and inventory cost associated with the shipment of several products from a source to a destination, when a finite set of shipping frequencies is available. A mixed-integer programming model—shown to be NP-hard—is formulated for that problem. The computational complexity of some similar models applied to different problems is also investigated. In particular, whereas the capacitated plant location problem with operational cost in product form is NP-hard, the simple plant location problem with the same characteristics can be solved in polynomial time. A branch-and-bound algorithm is finally worked out, and some computational results are presented. © 1996 John Wiley & Sons, Inc.     

Safety stock reduction by order splitting

In this article we consider an item for which a continuous review, reorder point, order quantity inventory control system is used. The amount of safety stock required depends upon, among other factors, the average value and variability of the length of the replenishment lead time. One way to reduce these quantities is to split orders among two or more vendors. In this article the random lead times are assumed to have Weibull distributions. This permits the development of analytic expressions for the reduction in the expected value and variability of total demand until the critical first (earliest) delivery received from a vendor. An expression is also obtained for the reorder point that provides a given probability of no stockout prior to the first delivery. Lower bounds are given on the order quantity so as to ensure that the probability of a stockout before any one of the later (second, third, etc.) deliveries is sufficiently small to be considered negligible. The analytic and tabular results can be used to estimate the benefits (reduced carrying costs and/or increased service level) of order splitting.     

A model for critical crack size estimation in fatigue failure of gun barrels

With repeated firing, fatigue cracks are produced in a gun barrel, and the barrel is no longer useful when a crack reaches a critical size. The initial crack size and the critical crack size, as well as the number of firings producing the critical crack size, may be considered as random variables. Assuming a proportional damage model for crack growth, a method for estimating the critical crack size distribution is presented. From these results, an estimate of the barrel life, or the residual barrel life once a crack of a given size is measured, can be obtained.     

Gittins-index heuristics for research planning

The classical work of Gittins, which resulted in the celebrated index result, had applications to research planning as an important part of its motivation. However, research planning problems often have features that are not accommodated within Gittins's original framework. These include precedence constraints on the task set, influence between tasks, stopping or investment options and routes to success in which some tasks do not feature. We consider three classes of Markovian decision models for research planning, each of which has all of these features. Gittins-index heuristics are proposed and are assessed both analytically and computationally. They perform impressively. © 1995 John Wiley & Sons, Inc.     

The simple multiserver loss system with time-varying intensities

For the loss system with time-varying intensities and a finite number of identical servers we derive formulas for the expected number of refused customers in a given time interval and for the expected number of servers busy at a given time instant. © 1994 John Wiley & Sons, Inc.     

On excess-, current-, and total-life distributions of phase-type renewal processes

Consider a renewal process whose interrenewal-time distribution is phase type with representation (α, T). We show that the (time-dependent) excess-life distribution is phase type with representation (α′, T), where α′ is an appropriately modified initial probability vector. Using this result, we derive the (time-dependent) distributions for the current life and the total life of the phase-type renewal process. They in turn enable us to obtain the equilibrium distributions for the three random variables. These results simplify the computation of the respective distribution functions and consequently enhance the potential use of renewal theory in stochastic modeling—particularly in inventory, queueing, and reliability applications. © 1992 John Wiley & Sons, Inc.