The material in this paper is divided into the following four chapters for convenience. Chapter 1 explains, how the idea of fault testing changed from testing the machine instructions to testing the hardware in logic circuits. Chapters 2, 3 and 4 present the different approaches considered, namely:
1. Path sensitizing...
The purpose of this paper is to discuss some of the theory of Boolean matrices and apply this theory to construct contact networks by using algebraic methods.
The first section of this paper (Chapter I to III) describes Boolean algebra and its properties, the theory of Boolean matrices, and the...
COMPLOT is a versatile set of plot drivers designed to be used
on a Tekterminal, Calcomp, or Hewlett Packard plotter in a time-sharing
environment. Although the hardware aspects of each plotting
device are quite different, COMPLOT allows the plotting devices to
be treated as if they were the same.
The project herein described, presents the results of an investigation
in the relatively new and expanding field of computer stimulated
learning machines for use in pattern recognition.
A learning machine, one that benefits from its past experience
was devised in computer program form. It may be described as a
Piecewise-Linear,...
This paper continues exploration in the area of
programming for parallel computers. The appendix to the
paper contains an extensive survey of the literature related
to parallel computers and parallel programming techniques.
The paper itself presents a new approach to solving
the Laplace equation on a. parallel computer. A new...
This thesis describes a syntax-directed compiler-compiler
called COMCOM which has been implemented by the author on the CDC
3300 under the OS-3 operating system. The theory and terminology
of the parsing method and compiler-compilers in general are briefly
discussed. COMCOM uses Floyd's operator precedence bottom-up
parsing technique which avoids backup...
Specifications for a simulation language capable of modeling
fuzzy systems are presented. Actions occurring in the running
model are to be displayed on a graphics terminal in the .form of
modified E-nets. The concept of partial execution of predicates
is introduced in connection with the underlying continuously valued
logic. Fuzzy...
The well-known local adjustment algorithm for training a
threshold logic unit, TLU, is extended to a local adjustment
algorithm for training a network of TLUs Computer simulations
show that the extension is unsatisfactory.
A new logic for a committee of TLUs, called modified veto logic,
and a local adjustment algorithm...
The design of checking experiments for sequential machines
which do not initially have a distinguishing sequence is investigated.
Improvem,Jnts are suggested to an existing method for
augmenting the output logic so that the machine acquires homogeneous
distinguishing sequences. To indicate how the procedure
may be implemented on a computer, elements...
A radix 2n non-restoring division algorithm is described. The
algorithm is designed to be compatible with hardware multiprecision
multiplication methods currectly used in high speed digital computers.
This enables the use of the same hardware, with only changes in
control logic, to be used to implement both multiplication and
division....
In this thesis we introduce alpha and beta tree acceptors,
generalizations of tree automata. The alpha tree acceptors recognize
a tree by final symbol and the beta tree acceptors by final state. We
show that alpha and beta tree acceptors recognize the same sets of
Gorn trees and demonstrate that...
A review of current computer performance and evaluation techniques reveals a lack of an acceptable analytic tool for optimal computer system performance and evaluation. A generalized approach to the formulation of a third generation computer system model is proposed. The approach is used to optimize computer resource utilization and to...
A cost reduction analysis is performed by coordinating
the exchange of LANDSAT (formerly ERTS) data between a CDC
3300 and a PDP8/L minicomputer. The LANDSAT data is displayed
on a 4002 Tektronix terminal by means of a grayscale output.
Large amounts of data and number manipulation are processed
in the...
The FLEX/REFLEX paradigm is applied to the description of a computer program system. The paradigm is shown to be relevant and appropriate to computer program systems and to advantageously display and structure the general hierarchical characteristics of computer program systems. Program systems characterized in the paradigm are described both holistically...
The concept of a process is often used in connection with operations
of parts of a computer system. This thesis discusses processes
in terms of their use as representations of a physical object or system.
Five primitives are introduced as operators for allowing processes
to be run in a piecemeal...
Interval arithmetic is applied to the problem of obtaining
rigorous solutions to integral equations on a computer. The
integral equations considered are the linear Fredholm equation of
the second kind and the nonlinear Urysohn equation. Techniques are
presented which enable the computer to find an approximate
solution, prove the existence...