Reports and Technical Reports
Derived Preconditions and Their Use in Program Synthesis
(Monterey, California. Naval Postgraduate School, 1982-03); NPS52-82-002
In this paper we pose and begin to explore a deductive problem more general than that of finding a proof that a given goal formula logically follows from a given set of hypotheses. The problem is most simply stated in the ...
Thrust Vector Control, Heat Transfer Modeling
(Monterey, California. Naval Postgraduate School, 1986-07); NPS69-86-005
The report presents heat transfer modeling of Thrust Vector control systems using the PHOENICS computer code. Simple two-dimensional wedged blunt bodies have been examined in supersonic cold flow, for both laminar and ...
Follow-up Study of Recruitment of College-Bound Students Through Use of the ACT Assessment File
(Monterey, California. Naval Postgraduate School, 1986-10)
The purpose of the present study was to: 1) further evaluate the methodology employed in the pilot studies for using ACT records in targeting college-bound young people for recruiting, and 2) develop mail-out .materials ...
Information Management in the Department of Defense: The Role of Librarians
(Monterey, California. Naval Postgraduate School, 1983-07); NPS0142-83-001
The 24th Military Librarians Workshop convened to consider the role played by librarians in the management of defense-related information needs. Speakers from the Department of Defense, the General Accounting Office, the ...
New Directions In Database-Systems Research and Development
(Monterey, California. Naval Postgraduate School, 1985-02); NPS52-85-001
In this paper, three new directions in database-systems research and development are indicated. One new direction is the emergence of the multilingual database systems where a single database system can execute many ...
Notes on search, detection and localization modeling (Fourth Revision)
(Monterey, California. Naval Postgraduate School, 1987-04); NPS71-87-001 (Fourth Revision)
This report contains an analysis of three post launch evasion strategies. The purpose of the analysis is to provide equations that can be used with values determined by other means to obtain a conservative estimate of the ...
A Flash X-Ray Facility for the Naval Postgraduate School
(Monterey, California. Naval Postgraduate School, 1985-06); NPS-61-85-004
A Pulsar Model 112A flash X-ray machine has been acquired by the Naval Postgraduate School. This brief report describes the technical aspects of the accelerator and provides. documentation so that interested and affected ...
The Magnetic Field Gradiometer
(STAR Laboratory Department or Electrical Engineering Stanford University, 1983-02)
This report has two principal goals: First, to present a general review of magnetic field
gradiometers and, second, to provide new data concerning these gradiometers, including new
information about their response to ...
Voice of America HF Curtain Array Interference Study
(Monterey, California. Naval Postgraduate School, 1981-07-09)
This report describes the results of a computer modeling investigation
in which the interference to VHF and UHF communications/navigation equipments from a Voice of America HF relay station was determined. The radiating
portions ...
Voice of America HF Curtain Array Interference Study
(Monterey, California. Naval Postgraduate School, 1981-10); NPS-62-81-036PR
This report describes the results of a computer modeling investigation in
which the interference to VHF and UHF communications/navigation equipments
from a Voice of America HF relay station was determined. The radiating ...