Search all library resources

SPECIAL -- a specification and assertion language

SPECIAL is a specification language developed in conjunction with the SRI methodology for design, implementation, and formal verification of software systems. Some of the language features are specific to the SRI methodology. Others, such as its non-procedural nature, concept of type, and aggregate data types, are generally useful for software specification and verification. A description of the features of the language is supplied, along with several examples of its use. The language has proved useful in the design of several large software systems, including an operating system. A discussion of the issues in the design of SPECIAL is presented, followed by a description of its features and some examples. (Author)

On-line computer classification of handprinted Chinese characters as a translation aid

It is usually a long and arduous task to find Chinese characters in a dictionary because the characters have no natural ordering. In order to demonstrate the feasibility of automating this procedure, a computer program was developed for cataloging and retrieving related groups of Chinese characters. The program is written in IBM 360 Assembly Language and runs on an IBM 360/Model 40. It makes use of much of the software and techniques developed for the GRAIL Project. The input device is a tablet; the output device is a high-performance cathode ray tube (CRT) display. (Author).

A simple data logging system for ballistic applications

An economical and robust data logger is presented that is well suited to ballistic environments. This ballistic data recorder acquires two channels of analog data over a 0- to 5-V range, with acquisition times as short as 2.3 microns and record lengths as large as 0.5 MB per channel. The microcontroller-based architecture allows many data acquisition parameters such as rate, mode, triggering method, and record length to be selected and varied by the user. Onboard batteries and charging circuitry further enhance the data logger's applicability and flexibility. Complete details of the ballistic data logger's hardware and software are presented in this report. A description of the hardware begins with a broad overview of the ballistic data logger's capabilities and method of operation and increases in complexity to provide complete electronic schematics, fabrication methods, and component procurement information. A complete listing of data logger software is provided with extensive documentation. The ballistic data logger's performance is verified with an example of acquired data.

Online purl.fdlp.gov