This paper considers estimators of parameters of the Boolean model which are obtained by means of the method of intensities. For an estimator of the intensity of the point process of germ points the asymptotic normality is proved and the corresponding variance is given. The theory is based on a study of second-order characteristics of the point process of lower-positive tangent points of the Boolean model. An estimator of the distribution of a typical grain is also discussed.

In this paper, we consider several stochastic models arising from environmental problems. First, we study pollution in a domain where undesired chemicals are deposited at random times and locations according to Poisson streams. The chemical concentration can be modeled by a linear stochastic partial differential equation (SPDE) which is solved by applying a general result. Various properties, especially the limit behavior of the pollution process, are discussed. Secondly, we consider the pollution problem when a tolerance level is imposed. The chemical concentration can still be modeled by a SPDE which is no longer linear. Its properties are investigated in this paper. When the leakage rate is positive, it is shown that the pollution process has an equilibrium state given by the deterministic model treated in [2]. Finally, the linear filtering problem is considered based on the data of several observation stations.

Consider a spatial point pattern realized from an inhomogeneous Poisson process on a bounded Borel set , with intensity function λ (s; θ), where . In this article, we show that the maximum likelihood estimator and the Bayes estimator are consistent, asymptotically normal, and asymptotically efficient as the sample region . These results extend asymptotic results of Kutoyants (1984), proved for an inhomogeneous Poisson process on [0, T] , where T →∞. They also formalize (and extend to the multiparameter case) results announced by Krickeberg (1982), for the spatial domain . Furthermore, a Cramér–Rao lower bound is found for any estimator of θ. The asymptotic properties of and are considered for modulated (Cox (1972)), and linear Poisson processes.

Consider the total service time of a job on an unreliable server under preemptive-repeat-different and preemptive-resume service disciplines. With identical initial conditions, for both cases, we notice that the distributions of the total service time under these two disciplines coincide, when the original service time (without interruptions due to server failures) is exponential and independent of the server reliability. We show that this fact under varying server reliability is a characterization of the exponential distribution. Further we show, under the same initial conditions, that the coincidence of the mean values also leads to the same characterization.

The expected number of upcrossings for a max-stable process is computed and compared with known results for stable processes. Asymptotically the formulas are of the same order.

The maximum of a Gaussian random field was used by Worsley et al. (1992) to test for activation at an unknown point in positron emission tomography images of blood flow in the human brain. The Euler characteristic of excursion sets was used as an estimator of the number of regions of activation. The expected Euler characteristic of excursion sets of stationary Gaussian random fields has been derived by Adler and Hasofer (1976) and Adler (1981). In this paper we extend the results of Adler (1981) to χ2, F and t fields. The theory is applied to some three-dimensional images of cerebral blood flow from a study on pain perception.

The aim of this paper is to extend the existing theory of second-order self-similar processes as defined by Cox (1984) from the univariate case to higher dimensions. Multivariate self-similar processes defined in terms of second-order theory for stationary time series can be used as models for long-range dependent observations when the marginal observations are long-range dependent. An interesting question concerns the correlation structure within the processes when the marginal processes are correlated. We show that the self-similarity requirement, as defined in this article, implies a cross-correlation structure similar to that for the marginal processes. This occurs both in the time domain and in the frequency domain. This fact can be used to obtain generalized least squares estimates for the long-range dependence parameters. We discuss some difficulties concerning estimation based on simulations.

We derive two kinds of rate conservation laws for describing the time-dependent behavior of a process defined with a stationary marked point process and starting at time 0. These formulas are called TRCLs (time-dependent rate conservation laws). It is shown that TRCLs are useful to study the transient behaviors of risk and storage processes with stationary claim and supply processes and with a general premium and release rates, respectively. Detailed discussions are given for the severity for the risk process, and for the workload process of a single-server queue.

Through the study of a simple embedded martingale we obtain an extension of the Kesten–Stigum theorem and prove a central limit theorem for controlled Galton-Watson processes.

We study the problem of maximizing the probability of stopping at an object which is best in at least one of a given set of criteria, using only stopping rules based on the knowledge of whether the current object is relatively best in each of the criteria. The asymptotic results for the case of independent criteria are shown to hold in certain cases where the componentwise maxima are, pairwise, either asymptotically independent or asymptotically full dependent.

An example of the former is a random sample from a bivariate correlated normal distribution; thus our results settle a question posed recently by T. S. Ferguson.

Let X, X1, X2, … be i.i.d. Sn=Σ1nXj, E|X| > 0, E(X) = 0 and τ = inf {n ≥ 1: Sn ≥ 0}. By Wald's equation, E(τ) =∞. If E(X2) <∞, then by a theorem of Burkholder and Gundy (1970), E(τ1/2) =∞. In this paper, we prove that if E((X–)2) <∞, then E(τ1/2) =∞. When X is integer-valued and X ≥ −1 a.s., a necessary and sufficient condition for E(τ1–1/p) <∞, p > 1, is Σn–1–1p E|Sn| <∞.

In this article, we generalize results by Dimitrov and Khalil (1990), Khalil et al. (1991), and van Harn and Steutel (1991) and obtain some characterizations of the exponential and geometric laws.

The reliability of many stochastic repairable systems depends on several characteristics that are time dependent. In this paper, we develop general repair models for a repairable system by using auxiliary stochastic processes which describe physical characteristics of the system and derive various properties of resulting models. We also obtain an inference procedure to assess the number of failures and expected number of failures for our proposed models by observing auxiliary processes.

Clearly, our inference procedure is different from the traditional approach, where successive times of occurrence of failures are observed.

This paper considers the absorption of a non-decreasing compound Poisson process of finite order in a general upper boundary. The problem is relevant in fields such as risk theory, Kolmogorov–Smirnov statistics and sequential analysis. The probability of absorption and first-passage times are given in terms of a generating function which depends on the boundary only and can be computed readily. Absorption is certain or not as the asymptotic slope of the boundary is greater or less than the expected increase of the process in unit time. The case of the linear boundary is considered in detail.

If X is a Brownian motion with drift and γ = inf{t > 0: Mt = t} we derive the joint density of the triple {U, γ, Δ}, where and Δ= γ —Xγ. In the case δ = 0 it follows easily from this that Δ has an Exp(2) distribution and this in turn implies the rather surprising result that if τ= inf{t > 0: Xt = Mt = t}, then Pr{τ = 0} = 0 and . We also derive various other distributional results involving the pair (X, M), including for example the distribution of ; in particular we show that, in case δ. = 1, when Pr{0 < τ < ∞} = 1, the ratio τ+/τ has the arc-sine distribution.

Exceedances of a non-stationary sequence above a boundary define certain point processes, which converge in distribution under mild mixing conditions to Poisson processes. We investigate necessary and sufficient conditions for the convergence of the point process of exceedances, the point process of upcrossings and the point process of clusters of exceedances. Smooth regularity conditions, as smooth oscillation of the non-stationary sequence, imply that these point processes converge to the same Poisson process. Since exceedances are asymptotically rare, the results are extended to triangular arrays of rare events.

In this paper, optimal stopping problems for semi-Markov processes are studied in a fairly general setting. In such a process transitions are made from state to state in accordance with a Markov chain, but the amount of time spent in each state is random. The times spent in each state follow a general renewal process. They may depend on the present state as well as on the state into which the next transition is made.

Our goal is to maximize the expected net return, which is given as a function of the state at time t minus some cost function. Discounting may or may not be considered. The main theorems (Theorems 3.5 and 3.11) are expressions for the optimal stopping time in the undiscounted and discounted case. These theorems generalize results of Zuckerman [16] and Boshuizen and Gouweleeuw [3]. Applications are given in various special cases.

The results developed in this paper can also be applied to semi-Markov shock models, as considered in Taylor [13], Feldman [6] and Zuckerman [15].

We propose a two-parameter family of conjugate prior distributions for the number of undiscovered objects in a class of Bayesian search models. The family contains the one-parameter Euler and Heine families as special cases. The two parameters may be interpreted respectively as an overall success rate and a rate of depletion of the source of objects. The new family gives enhanced flexibility in modelling.

A reference probability is explicitly constructed under which the signal and observation processes are independent. A simple, explicit recursive form is then obtained for the conditional density of the signal given the observations. Both non-linear and linear filters are considered, as well as two different information patterns.

For two-dimensional spatial data, a spatial unilateral autoregressive moving average (ARMA) model of first order is defined and its properties studied. The spatial correlation properties for these models are explicitly obtained, as well as simple conditions for stationarity and conditional expectation (interpolation) properties of the model. The multiplicative or linear-by-linear first-order spatial models are seen to be a special case which have proved to be of practical use in modeling of two-dimensional spatial lattice data, and hence the more general models should prove to be useful in applications. These unilateral models possess a convenient computational form for the exact likelihood function, which gives proper treatment to the border cell values in the lattice that have a substantial effect in estimation of parameters. Some simulation results to examine properties of the maximum likelihood estimator and a numerical example to illustrate the methods are briefly presented.