Determining confidence bounds for highly reliable coherent systems based on a paucity of component failures

A computationally simple method for obtaining confidence bounds for highly reliable coherent systems, based on component tests which experience few or no failures, is given. Binomial and Type I censored exponential failure data are considered. Here unknown component unreliabilities are ordered by weighting factors, which are firstly presumed known then sensitivity of the confidence bounds to these assumed weights is examined and shown to be low.     

An algorithm for 0-1 multiple-knapsack problems

The 0-1 multiple-knapsack problem is an extension of the well-known 0-1 knapsack problem. It is a problem of assigning m objects, each having a value and a weight, to n knapsacks in such a way that the total weight in each knapsack is less than its capacity limit and the total value in the knapsacks is maximized. A branch-and-bound algorithm for solving the problem is developed and tested. Branching rules that avoid the search of redundant partial solutions are used in the algorithm. Various bounding techniques, including Lagrangean and surrogate relaxations, are investigated and compared.     

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.     

Bounds on optimal cost for a replacement problem with partial observations

This paper characterizes the structure of optimal strategies for a replacement problem for two special cases of observation quality. It is shown that when the state of the system is either completely observed or completely unobserved at every decision epoch by the controller, reasonable assumptions are sufficient for the existence of optimal replacement strategies composed of policies having a generalized, control-limit form. These structural results are of particular interest since the optimal cost functions for the two special cases represent bounds on the optimal cost function for the general partially observed case, significant computational simplification can result for the two special cases due to their optimal strategy structure, and optimal strategies possessing a control-limit structure do not necessarily exist for the general partially observed case.     

A methodology for studying the dynamics of extended logistic systems

An extended logistic system is a well-defined configuration of equipment, modules, inventories, and repair and replacement facilities modeling a complex, repairable system with on-going repair. The design of such systems has been based largely on the static tools of inventory theory and reliability theory, i.e., on steady-state distributions and on associated means and variances. Such static tools suppress the scale of real lime and ignore system persistence time in up-states and persistence time in down-states. A reasonably simple dynamic methodology is presented, focusing on system failure time as a more meaningful objective function for system-design tradeoff studies. In the presence of good reliability, it is shown that different candidates for system failure time effectively merge to yield an unambiguous, single system failure time. Examples illustrating the importance of dynamic information for system design are given.     

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.