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

Report on the SILS Art Project

departmental bulletin pape

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

Fermions scattering in a three dimensional extreme black hole background

The absorption cross section for scattering of fermions off an extreme BTZ black hole is calculated. It is shown that, as in the case of scalar particles, an extreme BTZ black hole exhibits a vanishing absorption cross section, which is consistent with the vanishing entropy of such object. Additionally, we give a general argument to prove that the particle flux near the horizon is zero. Finally we show that the {\it reciprocal space} introduced previously in \cite{gm} gives rise to the same result and, therefore, it could be considered as the space where the scattering process takes place in an AdS spacetime.Comment: 15 pages, RevTex4. Revised version. To be published in Class. Quantum. Gra

Summary report no. 2, volume 10, storage tubes, part II

Includes memos M-144, R-131, R-128, R-132, E-32, E-31, R-120.Includes block diagrams, charts, and photographs.November 1947Part 2 of a compilation of Project Whirlwind memos regarding storage tubes

Electronic Computer Division Personnel

Memorandum listing Electronic Computer Division Personnel of the MIT Servomechanisms Laboratory

Summary report no. 33, first quarter, 1953

Includes: foreword; quarterly review and abstract; mathematics, coding, and applications, introduction, and problems being solved; operation of Whirlwind I, systems engineering, input-output system, and electrostatic storage; circuits and components, vacuum tubes, and component replacements in WWI; academic program in automatic computation and numerical analysis, catalogue subjects, summer session 1953, seminars on computing machine methods, training program for S and EC personnel, WWI advanced seminars, and seminars on evaluation of integrals of the product of two functions; appendix, reports and publications, and professional society papers.In-depth review of Project Whirlwind in the first quarter of 1953