Gaver, D. P.
Overview
Works:  46 works in 67 publications in 1 language and 91 library holdings 

Roles:  Author 
Publication Timeline
.
Most widely held works by
D. P Gaver
Detecting component failure potential using proportional hazard model by
D. P Gaver(
Book
)
2 editions published in 1989 in English and held by 20 WorldCat member libraries worldwide
2 editions published in 1989 in English and held by 20 WorldCat member libraries worldwide
A Simulation study : emergency diesel generator availability(
Book
)
1 edition published in 1981 in English and held by 7 WorldCat member libraries worldwide
1 edition published in 1981 in English and held by 7 WorldCat member libraries worldwide
Inspection models and their application by
L. C Thomas(
Book
)
2 editions published in 1991 in English and held by 5 WorldCat member libraries worldwide
2 editions published in 1991 in English and held by 5 WorldCat member libraries worldwide
Finite birthanddeath models in randomly changing environments by
Donald Paul Gaver(
Book
)
2 editions published in 1982 in English and held by 3 WorldCat member libraries worldwide
This report provides computational methods for studying properties of birthdeath processes whose transition rates (infinitesimal generator) varies in accordance with a random, 'environmental', process. In particular, the models may be used to represent the availability fo redundant systems subject to external shocks or other 'common cause' failures. These models also represent search for an object when the search environment (e.g. weather) varies randomly in time. (Author)
2 editions published in 1982 in English and held by 3 WorldCat member libraries worldwide
This report provides computational methods for studying properties of birthdeath processes whose transition rates (infinitesimal generator) varies in accordance with a random, 'environmental', process. In particular, the models may be used to represent the availability fo redundant systems subject to external shocks or other 'common cause' failures. These models also represent search for an object when the search environment (e.g. weather) varies randomly in time. (Author)
Probability models for multiprogramming computer systems by
D. P Gaver(
Book
)
2 editions published in 1966 in English and held by 3 WorldCat member libraries worldwide
A probability model is developed for a computer system that is capable of multi programming, i.e., that maintains several program segments simultaneously in Main Memory (core), the latter being served by several inputoutput channels. Under various probabilistic assumptions, reflecting the mixture of jobs submitted to the system, the productivity of systems of various configurations is studied. (Author)
2 editions published in 1966 in English and held by 3 WorldCat member libraries worldwide
A probability model is developed for a computer system that is capable of multi programming, i.e., that maintains several program segments simultaneously in Main Memory (core), the latter being served by several inputoutput channels. Under various probabilistic assumptions, reflecting the mixture of jobs submitted to the system, the productivity of systems of various configurations is studied. (Author)
Channels That Cooperatively Service a Data Stream and Voice Messages. II. Diffusion Approximations by John P Lehoczky(
Book
)
2 editions published in 1979 in English and held by 2 WorldCat member libraries worldwide
A system of channels mutually accommodate both data and voice messages, voice having preemptive priority but being a loss system, and data being allowed to queue. Approximations to the data queue properties are derived. (Author)
2 editions published in 1979 in English and held by 2 WorldCat member libraries worldwide
A system of channels mutually accommodate both data and voice messages, voice having preemptive priority but being a loss system, and data being allowed to queue. Approximations to the data queue properties are derived. (Author)
Storage Problems When Demand is 'All or Nothing' by
Donald Paul Gaver(
Book
)
2 editions published in 1979 in English and held by 2 WorldCat member libraries worldwide
An inventory of physical goods or storage space (in a communications system buffer, for instance) often experiences 'all or nothing' demand: if a demand of random size D can be immediately and entirely filled from stock it is satisfied, but otherwise it vanishes. Probabilistic properties of the resulting inventory level are discussed analytically, both for the single buffer and for multiple buffer problems. Numerical results are presented. (Author)
2 editions published in 1979 in English and held by 2 WorldCat member libraries worldwide
An inventory of physical goods or storage space (in a communications system buffer, for instance) often experiences 'all or nothing' demand: if a demand of random size D can be immediately and entirely filled from stock it is satisfied, but otherwise it vanishes. Probabilistic properties of the resulting inventory level are discussed analytically, both for the single buffer and for multiple buffer problems. Numerical results are presented. (Author)
Finite Markov Chain Models SkipFree in One Direction by
G Latouche(
Book
)
2 editions published in 1982 in English and held by 2 WorldCat member libraries worldwide
Finite Markov processes are considered, with bidimensional state space, such that transitions from state (n, i) to state (m, j) are possible only if m <or = n+l. The analysis leads to efficient computational algorithms, to determine the stationary probability distribution, and moments of first passage times. (Author)
2 editions published in 1982 in English and held by 2 WorldCat member libraries worldwide
Finite Markov processes are considered, with bidimensional state space, such that transitions from state (n, i) to state (m, j) are possible only if m <or = n+l. The analysis leads to efficient computational algorithms, to determine the stationary probability distribution, and moments of first passage times. (Author)
Analytical Models for Mobile Sensor (UAV) Coverage of a Region(
Book
)
2 editions published in 1998 in English and held by 2 WorldCat member libraries worldwide
The effective use of mobile sensors (UAVs for example, but not exclusively) to investigate own and opponent force status in geographical regions requires planning to compensate for their limitations. These limitations include finite endurance, and realistic mission unreliability: the failure propensities of platform and sensing packages, and the consequent need for maintenance and logistics support. This paper supplies analytical (mathematical) models (AMM) to assist planners, and the acquirers and operational testers of mobile sensor assets. The results are formulas (that can be quickly evaluated numerically) for the expected time on station (fraction of time a region has sensor presence) of several cooperatively operating systems supported by several maintenance facilities. These results can be used to estimate the number of sensors of a particular type needed to cover a region adequately. Limited evidence indicates usefully satisfactory agreement between analytical model estimates and those from more detailed and elaborate Monte Carlo simulations (MCS)
2 editions published in 1998 in English and held by 2 WorldCat member libraries worldwide
The effective use of mobile sensors (UAVs for example, but not exclusively) to investigate own and opponent force status in geographical regions requires planning to compensate for their limitations. These limitations include finite endurance, and realistic mission unreliability: the failure propensities of platform and sensing packages, and the consequent need for maintenance and logistics support. This paper supplies analytical (mathematical) models (AMM) to assist planners, and the acquirers and operational testers of mobile sensor assets. The results are formulas (that can be quickly evaluated numerically) for the expected time on station (fraction of time a region has sensor presence) of several cooperatively operating systems supported by several maintenance facilities. These results can be used to estimate the number of sensors of a particular type needed to cover a region adequately. Limited evidence indicates usefully satisfactory agreement between analytical model estimates and those from more detailed and elaborate Monte Carlo simulations (MCS)
Diffusion Approximations for the Cooperative Service of voice and Data Messages by John P Lehoczky(
Book
)
2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide
A probability model is presented for a set of communication channels that share the service of data and voice transmissions. A diffusiontheoretic approximation is derived, utilizing new results of Burman (1979). It is shown that the data queue (which is of low priority relative to voice) is approximated by a Wiener process. (Author)
2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide
A probability model is presented for a set of communication channels that share the service of data and voice transmissions. A diffusiontheoretic approximation is derived, utilizing new results of Burman (1979). It is shown that the data queue (which is of low priority relative to voice) is approximated by a Wiener process. (Author)
Analysis of exception data in a staging hierarchy by
Donald Paul Gaver(
Book
)
3 editions published in 1974 in English and held by 2 WorldCat member libraries worldwide
This paper is concerned with the analysis of program address trace data in a demand paged computer system having a three level staging hierarchy. Our primary objective is to explore the data both graphically and numerically, using methods that may be useful when other data traces become available. A secondary objective has been to fit plausible pointprocess type models to the data. It is believed that the present approach, combining dataanalytic procedures with probability modeling, will prove useful in understanding program behavioro and htus aid in the rational design of complex computer systems
3 editions published in 1974 in English and held by 2 WorldCat member libraries worldwide
This paper is concerned with the analysis of program address trace data in a demand paged computer system having a three level staging hierarchy. Our primary objective is to explore the data both graphically and numerically, using methods that may be useful when other data traces become available. A secondary objective has been to fit plausible pointprocess type models to the data. It is believed that the present approach, combining dataanalytic procedures with probability modeling, will prove useful in understanding program behavioro and htus aid in the rational design of complex computer systems
Timedependent delays at traffic merges by
D. P Gaver(
Book
)
3 editions published in 1966 in English and held by 2 WorldCat member libraries worldwide
The expected delay of a sideroad driver attempting to merge with, or cross, a mainroad traffic stream is studied. The model includes the effect of mixture of 'slow' and 'fast' drivers at the side road, and of different gap acceptance probabilities. Numerical results show the manner in which longrun delays are approached, and an approximation to the transient behavior of delays is studied. (Author)
3 editions published in 1966 in English and held by 2 WorldCat member libraries worldwide
The expected delay of a sideroad driver attempting to merge with, or cross, a mainroad traffic stream is studied. The model includes the effect of mixture of 'slow' and 'fast' drivers at the side road, and of different gap acceptance probabilities. Numerical results show the manner in which longrun delays are approached, and an approximation to the transient behavior of delays is studied. (Author)
Channels that Cooperatively Service a Data Stream and Voice Messages. I by
Donald Paul Gaver(
Book
)
2 editions published in 1979 in English and held by 2 WorldCat member libraries worldwide
A system of channels cooperatively services both voice and data messages arriving at one node of a communications network. This paper is devoted to the analysis of a particular channelsharing strategy, in which voice traffic always occupies its channels when available, but data service is allowed to occur on empty voice channels. Voice traffic is taken to be of high priority; voice arrivals that find all voice channels busy are treated as losses. Note that voice traffic will be relatively infrequent as compared to data, and will also exhibit relatively long holding (service) times. Data traffic is taken to be heavy, and exhibits very short holding times (per word unit): compared to voice, data appears to arrive nearly continuously; when all data (and empty voice) channels are filled, queueing occurs
2 editions published in 1979 in English and held by 2 WorldCat member libraries worldwide
A system of channels cooperatively services both voice and data messages arriving at one node of a communications network. This paper is devoted to the analysis of a particular channelsharing strategy, in which voice traffic always occupies its channels when available, but data service is allowed to occur on empty voice channels. Voice traffic is taken to be of high priority; voice arrivals that find all voice channels busy are treated as losses. Note that voice traffic will be relatively infrequent as compared to data, and will also exhibit relatively long holding (service) times. Data traffic is taken to be heavy, and exhibits very short holding times (per word unit): compared to voice, data appears to arrive nearly continuously; when all data (and empty voice) channels are filled, queueing occurs
Diffusion approximations and models for certain congestion problems by
D. P Gaver(
Book
)
1 edition published in 1981 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1981 in English and held by 2 WorldCat member libraries worldwide
Channel Blocking in a Satellite Communication System Model by
Donald Paul Gaver(
Book
)
2 editions published in 1978 in English and held by 2 WorldCat member libraries worldwide
A model is constructed for a communication system that involves a single satellite and many ground stations. The probability that messages are blocked is studied. (Author)
2 editions published in 1978 in English and held by 2 WorldCat member libraries worldwide
A model is constructed for a communication system that involves a single satellite and many ground stations. The probability that messages are blocked is studied. (Author)
Statistical Approaches to Managing Manpower Data Bases by
D. P Gaver(
)
1 edition published in 1974 in Undetermined and held by 1 WorldCat member library worldwide
http://archive.org/details/statisticalappro00gave
1 edition published in 1974 in Undetermined and held by 1 WorldCat member library worldwide
http://archive.org/details/statisticalappro00gave
Index policies for shooting problems(
Book
)
2 editions published in 2006 in English and held by 1 WorldCat member library worldwide
We consider a scenario in which a single Red wishes to shoot at a collection of Blue targets, one at a time, to maximize some measure of return obtained from Blues killed before Red's own (possible) demise. Such a situation arises in various military contexts such as the conduct of air defence by Red in the face of Blue SEAD (suppression of enemy air defences). A class of decision processes called multiarmed bandits has been previously deployed to develop optimal policies for Red in which she attaches a calibrating (Gittins) index to each Blue target and optimally shoots next at the Blue with largest index value. The current paper seeks to elucidate how a range of developments of index theory are able to accommodate features of such problems which are of practical military import. Such features include levels of risk to Red which are policy dependent, Red having imperfect information about the Blues she faces, an evolving population of Blue targets and the possibility of Red disengagement. The paper concludes with a numerical study which both compares the performance of (optimal) index policies to a range of competitors and also demonstrates the value to Red of (optimal) disengagement
2 editions published in 2006 in English and held by 1 WorldCat member library worldwide
We consider a scenario in which a single Red wishes to shoot at a collection of Blue targets, one at a time, to maximize some measure of return obtained from Blues killed before Red's own (possible) demise. Such a situation arises in various military contexts such as the conduct of air defence by Red in the face of Blue SEAD (suppression of enemy air defences). A class of decision processes called multiarmed bandits has been previously deployed to develop optimal policies for Red in which she attaches a calibrating (Gittins) index to each Blue target and optimally shoots next at the Blue with largest index value. The current paper seeks to elucidate how a range of developments of index theory are able to accommodate features of such problems which are of practical military import. Such features include levels of risk to Red which are policy dependent, Red having imperfect information about the Blues she faces, an evolving population of Blue targets and the possibility of Red disengagement. The paper concludes with a numerical study which both compares the performance of (optimal) index policies to a range of competitors and also demonstrates the value to Red of (optimal) disengagement
LowLevel Stratus Prediction Using Binary Statistical Regression: A Progress Report Using Moffett Field Data(
Book
)
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
Various statistical models and techniques were employed to forecast the existence of lowlevel stratus conditions. They are illustrated for data at a single station (Moffett Field, Sunnyvale, California) using singlestation surface meteorological measurements only as explanatory variables. A preliminary exploratory data analysis shows that low (right) dew point depression is associated with the existence (nonexistence) of lowlevel stratus at Moffett Field. Procedures for and results of various methods of fitting logistic models to the data are described. The fitted models were used to forecast stratus on reserved data sets (crossvalidation). Results of the crossvalidation are given. (Author)
1 edition published in 1983 in English and held by 1 WorldCat member library worldwide
Various statistical models and techniques were employed to forecast the existence of lowlevel stratus conditions. They are illustrated for data at a single station (Moffett Field, Sunnyvale, California) using singlestation surface meteorological measurements only as explanatory variables. A preliminary exploratory data analysis shows that low (right) dew point depression is associated with the existence (nonexistence) of lowlevel stratus at Moffett Field. Procedures for and results of various methods of fitting logistic models to the data are described. The fitted models were used to forecast stratus on reserved data sets (crossvalidation). Results of the crossvalidation are given. (Author)
Exploratory analysis of access path length data for an ims installation by
D. P Gaver(
Book
)
1 edition published in 1976 in English and held by 1 WorldCat member library worldwide
1 edition published in 1976 in English and held by 1 WorldCat member library worldwide
First order autoregressive gamma sequences by
D. P Gaver(
Book
)
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
An autoregressive model that generates Markov correlated time series is described. The time series have exponential or gamma distributed marginal distributions. Various properties of these time series are investigated
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
An autoregressive model that generates Markov correlated time series is described. The time series have exponential or gamma distributed marginal distributions. Various properties of these time series are investigated
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Jacobs, P. A. Author
 NAVAL POSTGRADUATE SCHOOL MONTEREY CA
 Samanta, P. K.
 U.S. Nuclear Regulatory Commission Office for Analysis and Evaluation of Operational Data Division of Safety Programs
 Brokhaven National Laboratory
 Naval Postgraduate School (U.S.)
 Thomas, L. C. (Lyn Carey) Author
 Systems Exploration, inc
 Electric Power Research Institute
 Butterworth, R. W.
Associated Subjects
AlgorithmsMathematical models Artificial satellites in telecommunication Data transmission systemsMathematical models Diesel electric powerplants Diffusion processes InventoriesMathematical models Markov processes Markov processesMathematical models MaterialsDeterioration Military surveillanceMathematical models Monte Carlo method Multiprogramming (Electronic computers) Nuclear power plants Nuclear power plantsRisk assessment Nuclear power plantsSafety measuresSimulation methods Oral communicationMathematical models Point processes Probabilities Programming (Mathematics) Queuing theory Remote sensingMathematical models Search theory Stochastic processes System analysis TelecommunicationMathematical models Telecommunication systemsMathematical models Timeseries analysis Timesharing computer systems Traffic congestionMathematical models Traffic engineeringMathematical models Unified operations (Military science)
Languages