Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

Theses and Dissertations

Discipline
Institution
Keyword
Publication Year
File Type

Articles 31501 - 31530 of 34148

Full-Text Articles in Entire DC Network

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

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 …

Go to article

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

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 …

Go to article

An Empirical Evaluation Of Analytical Models For Parallel Relational Database Queries, Mark C. Denham Dec 1990

An Empirical Evaluation Of Analytical Models For Parallel Relational Database Queries, Mark C. Denham

Theses and Dissertations

This thesis documents the design and implementation of three parallel join algorithms to be used in the verification of analytical models developed by Kearns. Kearns developed a set of analytical models for a variety of relational database queries. These models serve as tools for the design of parallel relational database system. Each of Kearns' models is classified as either single step or multiple step. The single step models reflect queries that require only one operation while the multiple step models reflect queries that require multiple operations. Three parallel join algorithms were implemented based upon Kearns' models. Two are based upon …

Go to article

An Empirical Study Of Combining Communicating Processes In A Parallel Discrete Event Simulation, Ann K. Lee Dec 1990

An Empirical Study Of Combining Communicating Processes In A Parallel Discrete Event Simulation, Ann K. Lee

Theses and Dissertations

The primary goal of distributed discrete event simulations is to achieve speedup in simulation execution time by distributing the processing of the simulation over multiple processors. When partitioned for distribution in this fashion, simulations are typically partitioned such that there are more processes than processors. This thesis reviews existing methods for distributed discrete event simulations, and proposes general guidelines for efficient partitioning for a given communications topology based on empirical evidence. A performance analysis is conducted for two approaches to partitioning the system. The first method chosen is a mapping of multiple processes to a processor and the second approach …

Go to article

Determining Concurrency In Object-Oriented Design Of Real-Time Embedded Systems Using Ada, Kenneth D. Baum Dec 1990

Determining Concurrency In Object-Oriented Design Of Real-Time Embedded Systems Using Ada, Kenneth D. Baum

Theses and Dissertations

One of the characteristics of real-time systems is concurrency. Designers of real-time systems have traditionally determined system concurrency at implementation time using the facilities of a cyclic executive. With the advent of programming language constructs for specifying concurrency, determining concurrency at design time has become a possibility. Several design methods, all of which are extensions of either Structured Design or Jackson System Development, provide heuristics to help the designer make concurrency decisions. The object-oriented approach, however, has no corresponding heuristics to aid designers of real-time systems. The purpose of this thesis was to develop heuristics to help designers make concurrency …

Go to article

Automatic Determination Of Recommended Test Combinations For Ada Compilers, James S. Marr Dec 1990

Automatic Determination Of Recommended Test Combinations For Ada Compilers, James S. Marr

Theses and Dissertations

Ada compilers are validated using the Ada Compiler Validation Capability (ACVC) test suit, containing over 4000 individual test programs. Each test program focuses, to the extent possible, on a single language feature. Despite the advantages of this atomic testing methodology, it is often the unexpected interactions between language features that result in compilation problems. This research investigated techniques to automatically identify recommended combinations of Ada language features for compiler testing. A prototype program was developed to analyze the Ada language grammar specification and generate a list of recommended of features to be tested. The output from this program will be …

Go to article

The Development Of A Graphical Notation For The Formal Specification Of Software, Gene A. Place Dec 1990

The Development Of A Graphical Notation For The Formal Specification Of Software, Gene A. Place

Theses and Dissertations

The program tranformations lifecycle model, proposed by Balzer in 1984, may hold the key to dramatic leap in software engineer productivity necessitated by the tremendous growth in the world's demand for software. This leap in productivity is made possible by the program transformation lifecycle's reliance on formal specifications rather than programs as the primary vehicle for the creation and maintenance of software systems. Because formal specifications are concerned only with system behaviors and not implementation details, formal specifications tend to present critical system characteristics much more concisely than programs. The major disadvantage of using formal specifications in a software development …

Go to article

Real-Time Flight Simulation And The Head-Mounted Display - An Inexpensive Approach To Military Pilot Training, Philip A. Platt Dec 1990

Real-Time Flight Simulation And The Head-Mounted Display - An Inexpensive Approach To Military Pilot Training, Philip A. Platt

Theses and Dissertations

The integration of the low-cost head-mounted display (HMD), an inexpensive graphics workstation-based flight simulator, and a communications network was investigated to determine if the prototype of an inexpensive multi- aircraft Virtual Flight Simulator could be built. Previous research efforts have coupled HMD technology and flight simulation; however, the cost of these systems has been high. This thesis effort emphasized the use of joystick devices to emulate pilot control, the implementation of a fully enclosed virtual flight simulator, and the utilization of low-cost NTSC-based television technology to produce a prototype. The virtual flight simulator also contained a basic set of instruments …

Go to article

An Ada-Based Framework For An Idef0 Case Tool Using The X Window System, Jay-Evan J. Tevis Ii Dec 1990

An Ada-Based Framework For An Idef0 Case Tool Using The X Window System, Jay-Evan J. Tevis Ii

Theses and Dissertations

This thesis documents the design strategy, implementation methodology, testing, and evaluation used in developing an Ada-based framework for SAtool II using the X Window System. SAtool II is an IDEF0 graphical project editor and data dictionary editor. An Ada-Based Framework for an IDEF0 Case Tool Using the X Window System is the ICAM Definition Method Zero graphical notation language adopted by the U.S. Air Force to produce a function model of a manufacturing system or environment (23:1-1). The Air Force Institute of Technology is conducting on-going research in the use of IDEF0 in the requirements analysis phase …

Go to article

A Remote Visual Interface Tool For Simulation Control And Display, William J. Derouchey Dec 1990

A Remote Visual Interface Tool For Simulation Control And Display, William J. Derouchey

Theses and Dissertations

This thesis discusses the design and development of the Visual Interactive Simulation Interface Tool (VISIT). VISIT was designed to provide the graphical representation and user interface for a simulation that is running on another processor utilizing internet communications. The system provides support for various input devices to control the simulation display and environment. Simulation objects are displayed using either a three-dimensional wireframe representation or a Gouraud shaded representation. Viewer interaction to the simulation is provided by a collection of commands that allow the viewer to initialize, start, stop, abort, and restart the simulations. The viewer also has the ability to …

Go to article

Implementation Of The Modified Monte Carlo Technique Using Importance Sampling On The Block Oriented System Simulator, John B. Bennett Dec 1990

Implementation Of The Modified Monte Carlo Technique Using Importance Sampling On The Block Oriented System Simulator, John B. Bennett

Theses and Dissertations

The purpose of this thesis was to implement the Modified Monte Carlo technique using Importance Sampling on the Block Oriented System Simulator (BOSS). Computer simulation techniques of communications systems were reviewed. Next, conventional Monte Carlo techniques and Modified Monte Carlo techniques using Importance Sampling were reviewed. Models of Binary Phase Shift Keying (BPSK) systems using both Monte Carlo techniques were implemented and simulated. Reasons for the model using Importance Sampling not working correctly are postulated. The Monte Carlo technique is a method of ensuring the an inherently infinite procedure, such as determining system bit error rate (BER), can be determined …

Go to article

Brightness Invariant Port Recognition For Robotic Aircraft Refueling, Richard A. Bennett Dec 1990

Brightness Invariant Port Recognition For Robotic Aircraft Refueling, Richard A. Bennett

Theses and Dissertations

The purpose of this thesis effort was to develop and test a brightness invariant recognition algorithm that would locate and identify the half-scale mock up of a Universal Aerial Refueling Receptacle Slipway Installation (UARRSI) aerial refueling port in different lightening conditions. This was accomplished by developing a brightness invariant port recognition of identifiable attributes of the refueling port to locate and identify the UARRSI port. Based on this approach, a brightness invariant port recognition system (BIPRS) was demonstrated which identified the refueling receptacle in different lightening conditions. The BIPRS was also invariant to orientation and size of the UARRSI port. …

Go to article

Interference Cancellation In Rf Signals Using Adaptive Array Techniques, Mark E. Brown Dec 1990

Interference Cancellation In Rf Signals Using Adaptive Array Techniques, Mark E. Brown

Theses and Dissertations

This study investigated the effectiveness of the Least Means Squared (LMS) algorithm against various types of common jammers. The LMS algorithm was implemented using the Block Oriented Systems Simulator (BOSS). The LMS algorithm was inserted at the output of a two element antenna array. The array was configured so as to have one-half wavelength spacing. A quadrature hybrid signal structure was used. The array was then tested against a barrage and sweep jammer. The barrage jammer testing consisted of varying each of the three available jammer parameters; power, frequency and angle of arrival individually. The sweep jammer testing consisted of …

Go to article

Predicting The Performance Of Airborne Antennas In The Microwave Regime, David P. Carroll Dec 1990

Predicting The Performance Of Airborne Antennas In The Microwave Regime, David P. Carroll

Theses and Dissertations

This study investigated the application of a high-frequency model (Uniform Geometrical Theory of Diffraction) of electromagnetic sources mounted on a curved surface of a complex structure. In particular, the purpose of the study was to determine if the model could be used to predict the radiation patterns of cavity-backed spiral antennas mounted on aircraft fuselages so that the optimum locations for the antennas could be chosen during the aircraft design phase. A review of literature revealed a good deal of work in modeling communications, navigation, identification antennas (blade monopoles and aperture slots) mounted on a wide variety of aircraft fuselages …

Go to article

Classification Of Correlation Signatures Of Spread Spectrum Signals Using Neural Networks, Richard A. Chapman Dec 1990

Classification Of Correlation Signatures Of Spread Spectrum Signals Using Neural Networks, Richard A. Chapman

Theses and Dissertations

The major goals of this thesis were to determine if Artificial Neural Networks (ANNs) could be trained to classify the correlation signatures of two classes of spread spectrum signals and four classes of spread spectrum signals. Also, the possibility of training an ANN to classify features of the signatures other than signal class was investigated. Radial Basis Function Networks and Back-Propagation Networks were used for the classification problems. Correlation signatures of four types or classes were obtained from United States Army Harry Diamond Laboratories. The four types are as follows: direct sequence (DS), linearly-stepped frequency hopped (LSFH), randomly-driven frequency hopped …

Go to article

Feasibility Analysis Of Developing A Formal Performance Model Of Ada Tasking, Kathryn J. Edwards Dec 1990

Feasibility Analysis Of Developing A Formal Performance Model Of Ada Tasking, Kathryn J. Edwards

Theses and Dissertations

As software system requirements become more complex, software engineers must carefully design the systems to ensure the systems to ensure the systems adequately meet all requirements, both functional and non-functional. Because real-time systems have timing constraints, in addition to the more traditional behavioral constraints, a comprehensive software design analysis model is required which incorporate performance, timing, and behavioral constraints. Although the Ada language tasking constructs are compiler independent, Ada tasking is dependent on its runtime environment; therefore, a formal model of Ada tasking and its associated runtime environment is important in order for system designers to make realistic decisions when …

Go to article

A Method Of Moments Solution For The Electric Currents On An Aperture-Fed, Stacked Patch Microstrip Antenna, William L. Irvin Dec 1990

A Method Of Moments Solution For The Electric Currents On An Aperture-Fed, Stacked Patch Microstrip Antenna, William L. Irvin

Theses and Dissertations

This study presents a method of moments solution for the surface currents and charge distributions on an aperture-fed, stacked patch antenna. To make the solution independent of the antenna excitation technique, an aperture magnetic current distribution is assumed, and the spatial Green's functions of the antenna are used to calculate the tangential fields on the antenna patches and coefficients for a finite series expression of the surface currents and charge densities. The Green's functions of the antenna are modeled with polynomials that are a function of the radial distance separating observer and source locations. The method of moments solution is …

Go to article

Gabor Filters And Neural Networks For Segmentation Of Synthetic Aperture Radar Imagery, Albert P. L'Homme Dec 1990

Gabor Filters And Neural Networks For Segmentation Of Synthetic Aperture Radar Imagery, Albert P. L'Homme

Theses and Dissertations

This research investigates Gabor filters and artificial networks for autonomous segmentation of 1 foot by 1 foot) high resolution polarimetric synthetic aperture radar (SAR). Processing involved frequency correlation between the SAR imagery and biologically motivated Gabor functions. Methods for selecting the Gabor tuning parameters from the endless choices of frequency, rotation, standard deviation and bandwidth are discussed. Using these parameters, resulting Gabor correlation images were reduced in speckle, and more detailed. This research used cosine Gabor functions and operated on single polarization HH magnitude data. Following selection of the appropriate Gabor features, multiple Gabor representations were generated and converted for …

Go to article

Design And Fabrication Of An Implantable Cortical Semiconductor Integrated Circuit Electrode Array, Pierre K. Lefevre Dec 1990

Design And Fabrication Of An Implantable Cortical Semiconductor Integrated Circuit Electrode Array, Pierre K. Lefevre

Theses and Dissertations

This research furthered the processing steps of the AFIT 16 by 16 implantable cortical semiconductor integrated circuit electrode array, or brain chip. The areas of interest include the brain chip electron ics, metallization, ionic permeation, and implantation. The electronics and metallization are heavily covered. A high speed, single clock divide-by-two circuit was modified with a reset transistor and cascaded to form a ripple counter. This device had stable operation at specific source voltage and clock voltage and frequency. A 7-stage inverter with 10 unmodified divide-by-two circuits cascaded operated between 1.7 and 8 volts, and between 39 Khz and 1 Mhz, …

Go to article

Rule-Based Frequency Domain Speech Coding, Vance M. Mcmillan Dec 1990

Rule-Based Frequency Domain Speech Coding, Vance M. Mcmillan

Theses and Dissertations

A speech processing system is designed to simulate the transmission of speech signals using a speech coding scheme. The transmitter portion of the simulation extracts a minimized set of frequencies in Fourier space which represents the essence of each of the speech timeslices. These parameters are then adaptively quantized and transmitted to a receiver portion of the coding scheme. The receiver then generates an estimate of the original timeslice from the transmitted parameters using a sinusoidal speech model. After initial design, the thesis investigates how each of the design parameters affect the human perceived quality of speech. This is done …

Go to article

Analysis Of Visual Illusions Using Gabor Filters, Richard A. Oberndorf Dec 1990

Analysis Of Visual Illusions Using Gabor Filters, Richard A. Oberndorf

Theses and Dissertations

This thesis has demonstrated the correctness of using spatial filters in the analysis of various visual illusions; the specific form of filter has been derived from a Gabor equation model of simple cell response on the visual cortex. The Gabor Low Pass Filter (GLPF) applied to these anomalies was derived from proposals made that simple cell response on the visual cortex may be modeled by a set of equations originally proposed by Gabor in the 1940's. Based upon the extension of these equations into two dimensions, a GLPF process was applied to computer-generated black and white illusions (the Kanizsa Triangle, …

Go to article

Digital Control Of The Utah/Mit Dexterous Hand: Initial Evaluation And Analysis, Lloyd W. Rainey Iii Dec 1990

Digital Control Of The Utah/Mit Dexterous Hand: Initial Evaluation And Analysis, Lloyd W. Rainey Iii

Theses and Dissertations

An experimental digital platform is developed as an environment on which to evaluate digital control strategies for dexterous manipulation with a pneumatically actuated tendon-driven manipulator. This environment is used to begin the study of advanced control methods that are suitable for providing the tracking accuracy required for grasping and dexterous manipulation with a pneumatically actuated tendon-driven end-effector. The digital platform consists of a PC/AT-386 and a single board MC68020 microcomputer in a VME chassis with shared RAM between the two processors to control the Utah/MIT Dexterous Hand (UMDH). The MC68020 controls the A/D and D/A access for the UMDH, while …

Go to article

Speech Coding And Compression Using Wavelets And Lateral Inhibitory Networks, Richard Ricart Dec 1990

Speech Coding And Compression Using Wavelets And Lateral Inhibitory Networks, Richard Ricart

Theses and Dissertations

The purpose of this thesis is to introduce the concept of lateral inhibition as a generalized technique for compressing time/frequency representations of electromagnetic and acoustical signals, particularly speech. This requires at least a rudimentary treatment of the theory of frames-which generalizes most commonly known time/frequency distributions--the biology of hearing, and digital signal processing. As such, this material, along with the interrelationships of the disparate subjects, is presented in a tutorial style. This may leave the mathematician longing for more rigor, the neurophysiological psychologist longing for more substantive support of the hypotheses presented, and the engineer longing for a reprieve from …

Go to article

The Radar Range Equation For The Detection Of Steady Targets In Weibull Clutter, Leon C. Rountree Dec 1990

The Radar Range Equation For The Detection Of Steady Targets In Weibull Clutter, Leon C. Rountree

Theses and Dissertations

In this thesis, the detection characteristics of a steady target immersed in radar clutter characterized by returns statistically modeled according to a Weibull probability density function are developed. A detector model is developed by modifying an envelope detection scheme used to detect deterministic signals in Gaussian noise. By examining the statistics of the detector output under alternate hypotheses, an expression for the probability of detection (P sub d) is developed in terms of the probability of false alarm (P sub fa), the signal-to-clutter ratio (SCR), and the Weibull skewness parameter (b), which is a function of the type of terrain …

Go to article

Characterization Of An Air-To-Air Optical Heterodyne Communication System, Rebecca N. Seeger Dec 1990

Characterization Of An Air-To-Air Optical Heterodyne Communication System, Rebecca N. Seeger

Theses and Dissertations

The primary goal of this research was to determine the feasibility of air-to-air optical communications systems using coherent detection in a turbulent environment. Secondary goals were to determine (1) the signal-to-noise ratio (SNR) degradation due to turbulence and (2) the effect of varying the wavelength (1.5, 830, 904 nm), altitude (5000-12500 m), path length (40-160 km) and aperture side length (1-15 cm) on the turbulence affected SNR. The research was conducted under the following assumptions: (1) ideal transmitter and receiver, (2) equally sized, uniformly weighted, square transmitter and receiver apertures, (3) ideal tracking by the receiver, and (4) zero losses …

Go to article

An Evaluation Of An Ada Implementation Of The Rete Algorithm For Embedded Flight Processors, F. Jesse Fanning Dec 1990

An Evaluation Of An Ada Implementation Of The Rete Algorithm For Embedded Flight Processors, F. Jesse Fanning

Theses and Dissertations

The purpose of this thesis was to design and develop an expert system shell in Ada, and to evaluate the shell's execution and size performance to determine its suitability for real-time operation on the MIL-STD-1750A embedded flight processor. The expert system shell uses the CLIPS/Ada inference engine, a forward-chaining Ada implementation of Rete. The expert system shell design is presented along with an overview of the target environment--the MIL-STD-1750A VHSIC Avionic Modular Processor (VAMP) running under the Ada Avionics Real-Time Software (AARTS) Operating System. Theoretical and empirical complexity analyses of the inference engine are presented and discussed in view of …

Go to article

Characterization Of Radar Signals Using Neural Networks, Daniel R. Zahirniak Dec 1990

Characterization Of Radar Signals Using Neural Networks, Daniel R. Zahirniak

Theses and Dissertations

Recent work concerning artificial neural networks has focused on decreasing network training times. Kernel Classifier networks, using radial basis functions (RBFs) as the kernel function, can be trained quickly with little performance degradation. Short training times are critical for systems which must adapt to changing environments. The function of Kernel Classifier networks is based on the principle that multivariate functions can be approximated via linear combinations of RBFs. RBFs can also perform probability density estimations, making classifications approximating a Baye's optimal descriminant. Methods used to set the RBF centers included matching the training data, Kohonen Training, K-Means Clustering and placement …

Go to article

Optical Image Segmentation Using Wavelet Filtering Techniques, Christopher P. Veronin Dec 1990

Optical Image Segmentation Using Wavelet Filtering Techniques, Christopher P. Veronin

Theses and Dissertations

This research effort successfully implemented an automatic, optically based image segmentation scheme for locating potential targets in a cluttered FLIR image. Such a design is critical to achieve real-time segmentation and classification for machine vision applications. The segmentation scheme used in this research was based on texture discrimination and employs orientation specific, bandpass spatial filters as its main component. The orientation specific, bandpass spatial filters designed during this research include symmetrically located circular apertures implemented on heavy, black aluminum foil; cosine and sine Gabor filters implemented with detour-phase computer generated holography photoreduced onto glass slides; and symmetrically located circular apertures …

Go to article

Using Error Detection And Correction Coding For A Turbulent Atmospheric Optical Communications Link, Mark A. Cloutier Dec 1990

Using Error Detection And Correction Coding For A Turbulent Atmospheric Optical Communications Link, Mark A. Cloutier

Theses and Dissertations

Probability of bit error (Pb) performance for a turbulent, atmospheric, optical, communications link with convolutional error detection and correction coding was investigated. The codes investigated were all rate 1/2 codes with constraint lengths ranging from 3 to 7. It was assumed that the coded data stream was sufficiently interleaved so that the turbulent channel could be considered memoryless. A theoretical bound on Pb, given by Viterbi for a memoryless channel, was used to plot curves of Pb versus the signal intensity of last transmitter. These curves were plotted for three different levels of atmospheric turbulence and three …

Go to article

Fluorescent Lifetime Measurements Of Rare Earth Elements In Gallium Arsenide, Danny J. Topp Dec 1990

Fluorescent Lifetime Measurements Of Rare Earth Elements In Gallium Arsenide, Danny J. Topp

Theses and Dissertations

Lifetime measurements of the excited states of three GaAs semiconductors doped with the rare earth elements Erbium (ER), Praseodymium (Pr) , and Thulium (Tm) has been studied using a pulsed nitrogen laser and germanium detector. The measurements were made with an experimental set up with a system response time of 0.34 micro seconds. A 330 milliwatt nitrogen laser with a wavelength of 3370 angstrums was used to excite transitions of the rare earth elements.

Go to article

First Prev Next Last