Gaver, D. P.
Overview
Works:  48 works in 77 publications in 1 language and 125 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
First order autoregressive gamma sequences by
D. P Gaver(
)
1 edition published in 1978 in Undetermined and held by 9 WorldCat member libraries worldwide
http://archive.org/details/firstorderautore00gave
1 edition published in 1978 in Undetermined and held by 9 WorldCat member libraries worldwide
http://archive.org/details/firstorderautore00gave
Statistical Approaches to Managing Manpower Data Bases by
D. P Gaver(
)
1 edition published in 1974 in Undetermined and held by 9 WorldCat member libraries worldwide
This report discusses various data base types, with particular emphasis on controlling and understanding the error content by statistical means A model is also made to describe a data base as an inventory; costs of modifying and maintaining the base are included
1 edition published in 1974 in Undetermined and held by 9 WorldCat member libraries worldwide
This report discusses various data base types, with particular emphasis on controlling and understanding the error content by statistical means A model is also made to describe a data base as an inventory; costs of modifying and maintaining the base are included
Analytical models for mobile sensor (UAV) coverage of a region by
D.P Gaver(
)
1 edition published in 1998 in Undetermined and held by 9 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)
1 edition published in 1998 in Undetermined and held by 9 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)
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
)
3 editions published in 1982 in English and held by 4 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)
3 editions published in 1982 in English and held by 4 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)
Channels that cooperatively service a data stream and voice messages, I by
Donald Paul Gaver(
Book
)
3 editions published in 1979 in English and held by 3 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
3 editions published in 1979 in English and held by 3 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
Channel blocking in a satellite communication system model by
Donald Paul Gaver(
Book
)
3 editions published in 1978 in English and held by 3 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
3 editions published in 1978 in English and held by 3 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
Diffusion approximations for the cooperative service of voice and data messages by John P Lehoczky(
Book
)
3 editions published in 1980 in English and held by 3 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)
3 editions published in 1980 in English and held by 3 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)
Analytical Models for Mobile Sensor (UAV) Coverage of a Region(
Book
)
2 editions published in 1998 in English and held by 3 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 3 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)
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
)
3 editions published in 1979 in English and held by 3 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)
3 editions published in 1979 in English and held by 3 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)
Analysis of exception data in a staging hierarchy by
Donald Paul Gaver(
Book
)
4 editions published in 1974 in English and held by 3 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
4 editions published in 1974 in English and held by 3 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
Index policies for shooting problems(
Book
)
2 editions published in 2006 in English and held by 2 WorldCat member libraries 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 2 WorldCat member libraries 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
DiscrepancyTolerant Hierarchical Poisson EventRate Analyses by
Donald Paul Gaver(
Book
)
2 editions published in 1985 in English and held by 2 WorldCat member libraries worldwide
There are units (machines) that generate events (failures) at possibly different, constant, Poisson rates. Having observed a record of such events, it is desired to (a) characterize the overall variability of true rates, and (b) use the result of (a) to create improved estimates of the individual rates by selective pooling. The results are evaluated by simulation, and applied to actual operational data. Additional keywords: Statistical estimation; Bayes theorem; Population(Mathematics); Superpopulation; Mathematical models. (Author)
2 editions published in 1985 in English and held by 2 WorldCat member libraries worldwide
There are units (machines) that generate events (failures) at possibly different, constant, Poisson rates. Having observed a record of such events, it is desired to (a) characterize the overall variability of true rates, and (b) use the result of (a) to create improved estimates of the individual rates by selective pooling. The results are evaluated by simulation, and applied to actual operational data. Additional keywords: Statistical estimation; Bayes theorem; Population(Mathematics); Superpopulation; Mathematical models. (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)
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
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)
Estimation of SeaSurface Windspeed from Whitecap Cover: Statistical Approaches Compared Empirically and by Simulation by I. G O'Muircheartaigh(
Book
)
3 editions published in 1985 in English and held by 2 WorldCat member libraries worldwide
In this work, several (5) statistical estimators for solving the typical remote sensing 'inverse' problem are explained, illustrated and evaluated using both real data sets connecting surface windspeed and whitecap coverage and simulated data. The results suggests the superiority of some of these estimators
3 editions published in 1985 in English and held by 2 WorldCat member libraries worldwide
In this work, several (5) statistical estimators for solving the typical remote sensing 'inverse' problem are explained, illustrated and evaluated using both real data sets connecting surface windspeed and whitecap coverage and simulated data. The results suggests the superiority of some of these estimators
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Naval Postgraduate School (U.S.)
 NAVAL POSTGRADUATE SCHOOL MONTEREY CA
 Jacobs, P. A. Author
 Samanta, P. K.
 Brokhaven National Laboratory
 U.S. Nuclear Regulatory Commission Office for Analysis and Evaluation of Operational Data Division of Safety Programs
 Lehoczky, John P. Author
 Electric Power Research Institute
 Butterworth, R. W.
 Campbell, D. R.
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 Probabilities Programming (Mathematics) Queuing theory Remote sensingMathematical models Search theory Stochastic processes System analysis TelecommunicationMathematical models Telecommunication systemsMathematical models Timesharing computer systems Traffic congestionMathematical models Unified operations (Military science)
Languages