Digital Commons Network^™

Resolution Algorithms In A Parallel Processing Environment, Paula Beth Brandman Hencken

Masters Theses

An ever increasing number of processors are becoming available to the multiprocessor user. For faster response and efficient utilization of parallel processing systems it is necessary to develop parallel algorithms to solve a single problem.

This paper evaluates the complexity of resolution algorithms run in a parallel processing environment. An overview of parallel processing is presented along with a discussion of general resolution and resolution-refutation systems. An analysis of the complexity required by different control strategies to perform resolution programing is presented using both uniprocessor and multiprocessor systems.

Learning Computer Logic Architectures On Apple Ii System, Falah Reda Al-Saffar

Masters Theses

For this thesis seven computer-assisted instruction packages have been designed to illustrate the design of electronic circuits of gates , the logic of combinational and sequential circuits, and integrated and magnetic core memories.

The programs in these packages have been written in the Pascal computer language on an Apple II microcomputer and stored on a double-sided floppy disk.

An Improvement In The Performance Of A Learning System For Finite State Machines, Lea F. Fuller

Masters Theses

A learning system is examined which is capable of learning a finite state machine from a class of finite state machines based on the observed behavior of the machine. The size of the search space becomes very large as the number of states in the machine increases. The size of the search space quickly becomes the limiting factor in the size of the class of machines which may be learned. An investigation is made of methods to improve the performance of the learning system. The application of a depth first approach to the development of the search space is shown …

A Computer Aided Instructional System And Its Application Towards A Course On Snobol4 Programming Language, Abtin Edelji

Masters Theses

Computers are rapidly replacing humans in many tasks. Computer Aided Instructional System is an application of the computer in the teaching of a subject. Currently, a large number of educational Institutes use Computer Aided Instructional Systems.

The objectives of this thesis is to review some techniques in implementing such systems and to present a Computer Aided Instructional System called TEACH. The emphasis of this thesis is on the type of the directory used to minimize the search time for the TEACH System.

A Query-Processing Optimization Strategy For Generalized File Structures, Donna Marie Kaminski

Masters Theses

In processing a Boolean query against a non-inverted file, a subset of the query's keys must be selected. Only the records satisfying these keys need to be retrieved from the file. A dynamic programming algorithm, the Dual-to-minDF, is developed here for arriving at the optimum set of keys, i.e., the minimum number of external record retrievals. Previously suggested greedy methods yield feasible solutions which may or may not be optimal. This algorithm has exponential time complexity. However, it is useful for applications involving relatively short queries with duplication of keys within different conjuncts, and in cases where the files have …