Computer Engineering Commons^™

Sql/Nf Translator For The Triton Nested Relational Database System, Craig W. Schnepf

Theses and Dissertations

The problem addressed in this thesis concerns the design and implementation of a high level data base query language translator based on the nested relational data model. The objective of the model is to increase the performance of the relational model by modeling real-world objects in the problem domain into nested relations. The translator is designed within the EXODUS extensible architectural framework for building application-specific database systems. The SQL/NF query language used for the nested relational model is an extension of the popular relational model query language SQL. The query language is translated into a nested relational algebra (Colby algebra) …

Extraction And Measurement Of Multi-Level Parallelism In Productions Systems, George A. Sawyer

Theses and Dissertations

Productions systems provide a flexible and powerful means for expressing and solving problems using high-level reasoning approaches. Unfortunately applications based on the production system paradigm are very compute intensive and therefore execute very slowly on conventional computer architectures. Lack of execution speed therefore limits the use of production systems in many time sensitive and complex tasks. Researchers have demonstrated that increasing the execution speed of production systems through the use of small scale parallel computer architecture is possible, however demonstrated execution speed is still several orders of magnitude below the desired level of performance. Past research indicates that there exists …

A Low-Cost Part-Task Flight Training System: An Application Of A Head Mounted Display, David A. Dahn

Theses and Dissertations

To investigate the feasibility of using head-mounted display(HMD) and Computer Image Generators(CIG) in a low cost part-task trainer, we created a prototype system. Our approach was to build a virtual world interface using a HMD to an existing flight simulator application. This allowed a CIG with only one graphics channel to drive the display. To investigate which class of computing platform was suitable for use as the CIG, a cooperative thesis effort was launched to host the simulator on a mini-computer and micro-computer platform. The appropriate CIG could then be determined through demonstration and comparison between the systems. A software …

Multi-Input Multi-Output Flight Control System Design For The Yf-16 Using Nonlinear Qft And Pilot Compensation, Russell B. Miller

Theses and Dissertations

Nonlinear Quantitative Feedback Theory (QFT) and pilot compensation techniques are used to design a 2x2 flight control system for the YF-16 aircraft over a large range of plant uncertainty. The design is based on numerical input- output time histories generated with a FORTRAN implemented nonlinear simulation of the YF-16. The first step of the design process is the generation of a set of equivalent linear time-invariant (LTI) plant models to represent the actual nonlinear plant. It has been proven that the solution to the equivalent plant problem is guaranteed to solve the original nonlinear problem. Standard QFT techniques are then …

Recursive Optimization Of Digital Circuits, John Knutson

Theses and Dissertations

The goal of this thesis is twofold: first, to identify the advantages and disadvantages of existing optimization systems and second, to develop an optimization system that uses Boolean principles to generate a recursive realization of combinational logic. Current multi-level optimization systems fall into two categories: local optimization which removes redundancy by pattern matching on a local scale and global optimization which works with the equations that specify a circuit rather than with the circuit implementation itself. While global systems are very flexible and can produce near-optimal solutions, they are inherently complex. This research effort demonstrates that an effective global optimization …

Specification And Equivalence Verification Of Sequential Circuits Via Vhdl, Richard L. Miller

Theses and Dissertations

This research presents a merger of the specification and design capabilities of the Very High Speed Integrated Circuit (VHSIC) Hardware Description Language (VHDL) with a known verification method (UC Berkeley's verify software) in order to solve the design and verification problem of sequential circuits. The fruits of this research are a behavioral VHDL model for sequential circuit specification, a structural VHDL model for sequential circuit design, and a method for comparing two circuits described using these VHDL models in order to demonstrate circuit equivalence. The behavioral and structural VHDL models were developed and tested within the Intermetric's VHDL software support …

Computer Graphics: Conversion Of Contour Line Definitions Into Polygonal Element Mosaics, Thomas W. Sederberg

Theses and Dissertations

There has been a disparity between the conventional method of describing topographic surfaces (i.e. contour line definition) and a format of surface description often used in continuous-line computer graphics (i.e. panel definition). The two differ enough that conversion from contours to panels is not a trivial problem. A computer program that performs such a conversion would greatly facilitate continuous tone display of topographical surfaces, or any other surface which is defined by contour lines.

This problem has been addressed by Keppel and alluded to by Fuchs. Keppel's is a highly systematic approach in which he uses graph theory to find …

Software Simulation Of The D17b Computer, Bruce Chatterton

Theses and Dissertations

A software program has been written which simulates the functions of the Minuteman D17B computer at the register transfer level. The simulation program is written in the FORTRAN Extended language to be used on the Intercom System (teletype) of a CDC 6600 computer system. The simulation program consists of a main program and eight subroutines. A programming language for the D17B simulation was formed which contains numbers and load codes, switches, and miscellaneous commands. Example programs run on the simulated computer have been included to show the types of output available.