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 ...
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 ...
HP-41CV Flight Performance Advisory System (FPAS) For The E-2C, E-2B, and C-2A Aircraft
(Monterey, California. Naval Postgraduate School, 1982-06); NPS67-82- 003
This report describes follow-on work performed under the auspices of AE 4900, Directed Studies in Aeronautical Engineering at the Naval Post- graduate School, to complement the original design of a Flight Performance ...
Wind-Tunnel Drag Measurements of a Ball-Obturated Tubular Projectile
(Monterey, California. Naval Postgraduate School, 1982-06); NPS69-82-002
Drag measurements and Schlieren flow visualizations have been obtained
for a prototype ball-obturated tubular projectile. The test range included
Mach numbers of 1.94, 2.88, and 4.00 and a full rang of obturator ...
A Comparison of Polynomial and Low Band Pass Data Smoothing Filters
(Monterey, California. Naval Postgraduate School, 1982-01); NPS55-82-006
Two approaches to digital data filtering; namely polynomial and band pass, are compared at a basic conceptual level. Methods for construction of each type are presented. The problem of aliasing is discussed. Some numerical ...
Statistical Methods for the Joint Oil Analysis Program
(Monterey, California. Naval Postgraduate School, 1982-01); NPS55-82-002
Developed statistical procedures for(a) daily standardization of oil analysis spectrometers-b) converting readings from an atomic absorption spectrometer into an equivalent set of readings on an atomic emission spectrometer ...
A Summary of Research Projects Sponsored by the Office of Naval Research. Report for the Period 1 October 1981 to 30 September 1982
(Monterey, California. Naval Postgraduate School, 1982)
Navlisp Reference Manual
(1982-03); NPS-52-82-04
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 ...
Recent Naval Postgraduate School Publications / FY 1981
(Monterey, California: Naval Postgraduate School, 1982-03); NPS-012-82-002PR
This publication contains a listing for each faculty member from each
department indicating the conference presentations, contributions to
books, published papers and technical reports and notes.
Effects of wind on the aircraft optimum cruise performance and flight performance advisory systems for F-4E and F-5E aircraft.
(Monterey, California. Naval Postgraduate School, 1982-06); NPS67-82-006
One of several fuel-saving operational concepts being investigated is the application of state-of-the-art hand-held calculators to serve as Flight Performance Adivosry Systems (FPAS). The principal function of a FPAS is ...
Refine By:
Advisor
Author
Branch Of Service
Date Issued
-
1982 (85)