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 ...
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 ...
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 ...
An Adaptation of the MINIMUF HF Propagation Prediction Program to the TI-59 Calculator
(Monterey, California. Naval Postgraduate School, 1980-07-01); NPS-62-80-017PR
An algorithm for predicting the Maximum Usable Frequency between two
points on the surface of the earth for High Frequency communications
is implemented on a TI-59 hand-held programmable calculator.
TI-59 Programs for Multiple Regression
(Monterey, California. Naval Postgraduate School, 1980-05); NPS55-80-018
Programs for conducting multiple regression analyses with up to seven
independent variables are given for the TI-59 calculator.
Navlisp Reference Manual
(Monterey, California. Naval Postgraduate School, 1982-03); NPS52-82-004
The Naval Postgraduate School's Computer Laboratory has developed a dialect of LISP, called Navlisp, to run under PWB/UNIX on a PDP11/50. This manual is not a tutorial to LISP. It is intended for those who know the basics
of ...
Refine By:
Advisor
Author
Date Issued
Department
Type
-
Technical Report (897)