The complete set of eigenvalues is found for the (unlabeled) infinitely-many-neutral-alleles diffusion model. The transition density for the process, originally derived by Griffiths, is rederived as an eigenfunction expansion.

We consider an increasing supercritical branching process in a random environment and obtain bounds on the Laplace transform and distribution function of the limiting random variable. There are two possibilities that can be distinguished depending on the nature of the component distributions of the environment. If the minimum family size of each is 1, the growth will be as a power depending on a parameter α. If the minimum family sizes of some are greater than 1, it will be exponential, depending on a parameter γ. We obtain bounds on the distribution function analogous to those found for the simple Galton-Watson case. It is not possible to obtain exact estimates and we are only able to obtain bounds to within ε of the parameters.

In this paper we introduce and define for the first time the concept of a non-homogeneous semi-Markov system (NHSMS). The problem of finding the expected population stucture is studied and a method is provided in order to find it in closed analytic form with the basic parameters of the system. Moreover, the problem of the expected duration structure in the state is studied. It is also proved that all maintainable expected duration structures by recruitment control belong to a convex set the vertices of which are specified. Finally an illustration is provided of the present results in a manpower system.

The classical one-compartment model with no input or pure death process is shown to be a limiting case of a ‘binomial cascade' model which has the same mean and in which particles exit the compartment in binomial clusters. The transition probabilities of the binomial cascade process are derived in closed form. The model is easily modified to allow Poisson input into the compartment. Distributional results are given for this model also. In particular, it is shown that the M/M/∞ queue is a limiting case.

Denote by Sn the set of all distinct rooted trees with n labeled vertices. Define τn as the total height of a tree chosen at random in the set Sn , assuming that all the possible nn –1 choices are equally probable. The total height of a tree is defined as the sum of the heights of its vertices. The height of a vertex in a rooted tree is the distance from the vertex to the root of the tree, that is, the number of edges in the path from the vertex to the root. This paper is concerned with the distribution and the moments of τn and their asymptotic behavior as n → ∞.

Let X (1) ≦ X (2) ≦ ·· ·≦ X (N(t)) be the order statistics of the first N(t) elements from a sequence of independent identically distributed random variables, where {N(t); t ≧ 0} is a renewal counting process independent of the sequence of X's. We give a complete description of the asymptotic distribution of sums made from the top kt extreme values, for any sequence kt such that kt → ∞, kt /t → 0 as t → ∞. We discuss applications to reinsurance policies based on large claims.

Let {Xn, n ≧ 1} be an i.i.d. sequence of positive random variables with a continuous distribution function having a regularly varying upper tail. Denote by {X(n), n ≧ 1} the corresponding sequence of record values. We introduce two statistics based on the sequence of successive record values and investigate their asymptotic behaviour. We also give some numerical results.

Let Y 0, Y 1, Y 2, ··· be an i.i.d. sequence of random variables with absolutely continuous distribution function F, and let {N(t), t ≧ 0} be a Poisson process with rate λ (t) and mean Λ(t), independent of the Yj 's. We associate Y 0 with the point t = 0, and Yj with the jth point of N(·), j ≧ 1. The first Yj (j ≧ 1) to exceed all previous ones is the first record value, and the time of its occurrence is the first record time; subsequent record values and times are defined analogously. For general Λ, we give the joint distribution of the values and times of the first n records to occur after a fixed time T, 0 ≦ T < ∞. Assuming that F satisfies Von Mises regularity conditions, and that λ (t)/Λ (t) → c ∈ (0, ∞) as t → ∞, we find the limiting joint p.d.f. of the values and times of the first n records after T, as T → ∞. In the course of this we correct a result of Gaver and Jacobs (1978). We also consider limiting marginal and conditional distributions. In addition, we extend a known result for the limit as the number of records K → ∞, and we compare the results for the limit as T → ∞ with those for the limit as K → ∞.

We consider a Wiener process between a reflecting and an absorbing barrier and derive a series solution for the transition density of the process and for the density of the time to absorption. If the drift is towards the reflecting barrier, the variance is not too large, and the distance of the barriers is not too small, the leading term of the series derives from imaginary solutions of the basic eigenvalue equation of this problem. It is shown that these leading terms often make the dominant contribution to the complete series. Finally, we consider previous attempts by Fürth [3], Cox and Miller [1], and by Goel and Richter-Dyn [5] to solve the stated problem and point out, in some detail, why their solutions are wrong.

Mathematical models have been proposed for oil exploration and other kinds of search. They can be used to estimate the amount of undiscovered resources or to investigate optimal stopping times for the search. Here we consider a continuous search for hidden objects using a model which represents the number and values of the objects by mixtures of Poisson processes. The flexibility of the model and its complexity depend on the number of components in the mixture. In simple cases, optimal stopping rules can be found explicitly and more general qualitative results can sometimes be obtained.

This paper considers the undershoot of a general continuous-time risk process with dependent increments under a certain initial level. The increments are given by the locations and amounts of claims which are described by a stationary marked point process. Under a certain balance condition, it is shown that the distribution of the undershoot depends only on the mark distribution and on the intensity of the underlying point process, but not on the form of its distribution. In this way an insensitivity property is extended which has been proved in Björk and Grandell [3] for the ruin probability, i.e. for the probability that after a finite time interval the initial level will be crossed from above.

We consider the class of bandit problems in which each of the n ≧ 2 independent arms generates rewards according to one of the same two reward distributions, and discounting is geometric over an infinite horizon. We show that the dynamic allocation index of Gittins and Jones (1974) in this context is strictly increasing in the probability that an arm is the better of the two distributions. It follows as an immediate consequence that myopic strategies are the uniquely optimal strategies in this class of bandit problems, regardless of the value of the discount parameter or the shape of the reward distributions. Some implications of this result for bandits with Bernoulli reward distributions are given.

In response to the computational complexity of the dynamic programming/backwards induction approach to the development of optimal policies for semi-Markov decision processes, we propose a class of heuristics resulting from an inductive process which proceeds forwards in time. These heuristics always choose actions in such a way as to minimize some measure of the current cost rate. We describe a procedure for calculating such cost rate heuristics. The quality of the performance of such policies is related to the speed of evolution (in a cost sense) of the process. A simple model of preventive maintenance is described in detail. Cost rate heuristics for this problem are calculated and assessed computationally.

In this paper we first prove an arrangement-decreasing property of partial sums of independent random variables when they are partially ordered through the likelihood ratio ordering. We then apply a similar argument to obtain a stochastic ordering of random processes via a comparison of their parameter functions, with special applications to Poisson and Wiener processes. Finally, in Section 4 we present some applications in reliability theory, queueing, and first-passage problems.

We study some distribution properties of a random sum of i.i.d. non-negative random variables, where the number of terms is geometrically distributed and not independent of the summands. The results are applied to the system failure time of a one-unit system with a single spare and repair facility. In such a system when the operating unit fails it is immediately replaced by the spare and sent to the repair facility. The system continues operating until the first time when the failed unit has not yet been repaired by the failure of the operating unit. Certain ageing properties such as NBU, NWU, NBUE, NWUE, HNBUE, HNWUE, L+ and L– are shown to be inheritable from the working time of the operating unit to the system lifetime.

We consider scheduling problems with m machines in parallel and n jobs. The machines are subject to breakdown and repair. Jobs have exponentially distributed processing times and possibly random release dates. For cost functions that only depend on the set of uncompleted jobs at time t we provide necessary and sufficient conditions for the LEPT rule to minimize the expected cost at all t within the class of preemptive policies. This encompasses results that are known for makespan, and provides new results for the work remaining at time t. An application is that if the cµ rule has the same priority assignment as the LEPT rule then it minimizes the expected weighted number of jobs in the system for all t. Given appropriate conditions, we also show that the cµ rule minimizes the expected value of other objective functions, such as weighted sum of job completion times, weighted number of late jobs, or weighted sum of job tardinesses, when jobs have a common random due date.

Cottrell et al. (1983) have indicated how ideas from the large deviations theory lead to fast simulation schemes that estimate the mean time taken by the slotted ALOHA protocol to saturate starting empty. Such fast simulation schemes are particularly useful when the attempt probability is small. The remaining time to saturation when the protocol has been operating for a time is more accurately described by the quasi-stationary exit time from the stable regime. The purpose of this article is to prove that the ratio of the quasi-stationary exit time to the exit time starting empty approaches 1 as the attempt probability becomes small.

It is shown that random variables X exist, not exponentially or geometrically distributed, such that

P{X – b ≧ x | X ≧ b} = P{X ≧ x}

for all x > 0 and infinitely many different values of b. A class of distributions having the given property is exhibited. We call them ALM distributions, since they almost have the lack-of-memory property. For a given subclass of these distributions some phenomena relating to service by an unreliable server are discussed.

We study two FIFO single-server queueing models in which both the arrival and service processes are modulated by the amount of work in the system. In the first model, the nth customer's service time, Sn , depends upon their delay, Dn , in a general Markovian way and the arrival process is a non-stationary Poisson process (NSPP) modulated by work, that is, with an intensity that is a general deterministic function g of work in system V(t). Some examples are provided. In our second model, the arrivals once again form a work-modulated NSPP, but, each customer brings a job consisting of an amount of work to be processed that is i.i.d. and the service rate is a general deterministic function r of work. This model can be viewed as a storage (dam) model (Brockwell et al. (1982)), but, unlike previous related literature, (where the input is assumed work-independent and stationary), we allow a work-modulated NSPP. Our approach involves an elementary use of Foster's criterion (via Tweedie (1976)) and in addition to obtaining new results, we obtain new and simplified proofs of stability for some known models. Using further criteria of Tweedie, we establish sufficient conditions for the steady-state distribution of customer delay and sojourn time to have finite moments.

The use of taboo probabilities in Markov chains simplifies the task of calculating the queue-length distribution from data recording customer departure times and service commencement times such as might be available from automatic bank-teller machine transaction records or the output of telecommunication network nodes. For the case of Poisson arrivals, this permits the construction of a new simple exact O(n 3) algorithm for busy periods with n customers and an O(n 2 log n) algorithm which is empirically verified to be within any prespecified accuracy of the exact algorithm. The algorithm is extended to the case of Erlang-k interarrival times, and can also cope with finite buffers and the real-time estimates problem when the arrival rate is known.