In this paper we study the fighter problem with discrete ammunition. An aircraft (fighter) equipped with n anti-aircraft missiles is intercepted by enemy airplanes, the appearance of which follows a homogeneous Poisson process with known intensity. If j of the n missiles are spent at an encounter, they destroy an enemy plane with probability a(j), where a(0) = 0 and {a(j)} is a known, strictly increasing concave sequence, e.g. a(j) = 1 - qj, 0 < q < 1. If the enemy is not destroyed, the enemy shoots the fighter down with known probability 1 - u, where 0 ≤ u ≤ 1. The goal of the fighter is to shoot down as many enemy airplanes as possible during a given time period [0, T]. Let K(n, t) be the smallest optimal number of missiles to be used at a present encounter, when the fighter has flying time t remaining and n missiles remaining. Three seemingly obvious properties of K(n, t) have been conjectured: (A) the closer to the destination, the more of the n missiles one should use; (B) the more missiles one has; the more one should use; and (C) the more missiles one has, the more one should save for possible future encounters. We show that (C) holds for all 0 ≤ u ≤ 1, that (A) and (B) hold for the ‘invincible fighter’ (u = 1), and that (A) holds but (B) fails for the ‘frail fighter’ (u = 0); the latter is shown through a surprising counterexample, which is also valid for small u > 0 values.

We consider the pseudo-p-Laplacian, an anisotropicversion of the p-Laplacian operator for $p\not=2$ . We studyrelevant properties of its first eigenfunction for finite p andthe limit problem as p → ∞.

A recent study on the GI/G/1 queue derives the Maclaurin series for the moments of the waiting time and the delay to respect to some parameters. By the same approach, we obtain an identity on the moments of the transient delay of the M/G/1 queue. This identity allows us to understand the transient behavior of the process better. We apply the identity with other established results to study convergence rate and stochastic concavity of the transient delay process, and to derive bounds and approximations of the moments. Our approximation and bound both have simple closed forms and are asymptotically exact as either the traffic intensity goes to zero or the process approaches stationarity. Performance of the approximation of several M/G/1 queues is illustrated by numerical experiments. It is interesting to note that our results can also help to gain variance reduction in simulation.

This paper establishes structural properties for the throughput of a large class of queueing networks with i.i.d. new-better-than-used service times. The main result obtained in this paper is applied to a wide range of networks, including tandems, cycles and fork-join networks with general blocking and starvation (as well as certain networks with splitting and merging of traffic streams), to deduce the concavity of their throughput as a function of system parameters, such as buffer and initial job configurations, and blocking and starvation parameters. These results have important implications for the optimal design and control of such queueing networks by providing exact solutions, reducing the search space over which optimization need be performed, or establishing the convergence of optimization algorithms. In order to obtain results for such disparate networks in a unified manner, we introduce the framework of constrained discrete event systems (CDES), which enables us to characterize any permutable and non-interruptive queueing network through its constraint set. The main result of this paper establishes comparison properties of the event occurrence processes of CDES as a function of the constraint sets, which are then translated into the above-mentioned concavity of the throughput as a function of system parameters in the context of queueing networks.

In this paper we investigate the characterizations of life distributions under four stochastic orderings, < p, < (p), < (p) and < L, by a unified method. Conditions for the stochastic equality of two non-negative random variables under the four stochastic orderings are derived. Many previous results are consequences. As applications, we provide characterizations of life distributions by a single value of their Laplace transforms under orderings < p and < (p) and their moment generating functions under orderings < p and < (p). Under ordering < L, a characterization is given by the expected value of a strictly completely monotone function. The conditions for the stochastic equality of two non-negative vectors under the stochastic orderings < (p), < (p) and < L are presented in terms of the Laplace transforms and moment generating functions of their extremes and sample means. Characterizations of the exponential distribution among L and L life distribution classes are also given.

Vinogradov (1973) used the Laplace transform to characterize the IFR class of life distributions and later Block and Savits (1980) extended the characterization to the main reliability classes. Here we use the same transform again to characterize the continuous time renewal equation and some properties of its solution.

Vasicek (1977) proved that among all queueing disciplines that do not change the departure process of the queue, FIFO and LIFO yield, respectively, the smallest and the largest expectation of any given convex function of the service delay. In this note we further show that, if arriving customers join the queue stochastically ‘closer' to the server(s), then the expected value of any convex function of service delay is larger. As a more interesting result, we also show that if the function under consideration is concave, then the conclusion will be exactly the opposite. This result indicates that LIFO will be the best discipline if the delay cost is an increasing function but at a diminishing rate.