Nopal Program Generator: System and Programming Documentation

NOPAL is a descriptive language used to write specifications for testing a Unit Under Test (UUT) using an automatic test system (ATS). It can also be used for specification of general purpose computation tasks. The NOPAL system generates a program in the ATLAS test programming language that performs the specified testing. A test specification in NOPAL consists of a number of modules, one of which is the main module. The main module contains the overall test specification. The other modules specify each an abstract data type consisting of a data representation for the abstract data type and a set of operations, called modfuns, which can be performed on variables of the abstract data type. Interfaces among modules are provided by means of the abstract data types. Specification of modfuns is given non-procedurally by means of tests. The main module in NOPAL consists of one or more tests. A test, in NOPAL, corresponds to the notion of a physical test on a UUT (Unit Under Test). It specified stimuli,to be applied, measurements to be taken and logic for selecting a diagnosis depending on the passing or failing of the test. The specification of a test is given by conjunctions of stimuli and measurements and assertions of relations. Information about the UUT and ATE (Automatic Test Equipment) can also be included in a module. This allows various interface checks to be performed. The NOPAL program generator analyzes the specification of a module for consistency, completeness and non-ambiguity and generates a number of reports which serve as the documentation for the specification. Finally, if the specification is error-free, it generates a program in the EQUATE-ATLAS test programming language. Programs generated for various modules of a complete specification can simply be put together and executed on RCA EQUATE-ATLAS computer-controlled automatic test equipment. The NOPAL program generator consists of three phases: (1) syntax analysis, (2) specification analysis, verification and sequencing, and (3) code generation. Each of the three phases are described in detail. An illustrative. example is called MINI-RADIOSET is used throughout

Extended Data Management Facility (EDMF) Reference Manual/User\u27s Guide

An advanced data management system developed by the project on Computer Aids to Human Intellect sponsored by the Information Systems Program of ONR has been placed into regular service on the RCA SPECTRA 70/46G time-shared computer system at the Moore School of Electrical Engineering of the University of Pennsylvania. This system provides extensive facilities for information storage and retrieval, multi-level access control, and general problem solving. Incorporating a number of new concepts in the areas of file structure, data protection, and time-shared operating systems for large-scale computers, the new data management system represents a major portion of the work carried out over the past several years. The system allows file owners to specify various types of access not only to their files, but to records of information within those files as well. The generalized file structure incorporated in the system, and its associated storage and retrieval algorithms, permit the user to choose among a number of possible file structures, including the well-known inverted, multilist and index-sequential files. Such a choice of file structures in a single system has never before been available. The system also provides for the definition of problem solving procedures and allows user\u27s programs to request data management service during execution

Environmental features of Walloon Lake and its watershed (Emmet and Charlevoix Counties Michigan) ...

http://deepblue.lib.umich.edu/bitstream/2027.42/49262/2/2207325.0006.001.pd

6345 Personnel, Barta Building

Memorandum listing Project Whirlwind I personnel in the Barta Building

Electronic Computer Division personnel

Includes: D.I.C. staff, academic staff, research assistants and associates, non-staff, secretaries, receptionists, foremen, administrative assistants, technicians, laboratory assistants, machinists, and part-time students.Includes pages 1-2 of Memo M-1172.Roster of staff and non-staff Electronic Computer Division personnel

Electronic Computer Division personnel

Includes: staff, D.I.C. staff and professors, research assistants and associates, non-staff, secretaries, receptionists, foremen, and administrative assistants, technicians, laboratory assistants, and machinists.Roster of staff and non-staff Electronic Computer Division personnel

WWI general numbers 30,000 thru 35,639

Includes: drawing number, title, used in, originator, drawn by, eng'g approval, graded, class, and remarks.Log of WWI drawings numbered C-30000 through SA-35618

Summary report no. 10, July 1948

Includes: foreword, Project Whirlwind, the Whirlwind computers, and reports; general status; visitors; summary schedule (original); summary schedule (revised); standard test equipment; decimal-to-binary conversion; the two-register coding method; storage tubes, general status and storage tube building gun design; appendix, reports and publications.Includes summary table of Whirlwind I schedules.In-depth review of Project Whirlwind in July 1948