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

Computer Sciences Commons™

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

Theses and Dissertations

Discipline
Institution
Keyword
Publication Year
File Type

Articles 2701 - 2730 of 2747

Full-Text Articles in Computer Sciences

An Application Of Artificial Intelligence Technology Within The Standard Base Supply System, Richard G. Nelson Sep 1991

An Application Of Artificial Intelligence Technology Within The Standard Base Supply System, Richard G. Nelson

Theses and Dissertations

This thesis investigated the feasibility of applying artificial intelligence technology within the Standard Base Supply System (SBSS). With assembly endless reductions in manpower authorizations within the SBSS and the potential for a continued loss of expert knowledge, the use of knowledge-based system (KBSs) was examined to determine if these systems could alleviate this of manpower. Literature related to the fields of artificial intelligence, expert systems, and KBSs was traced, yielding a methodology for identifying candidate problems, and for the development, verification, and validation of prototype KBSs. This methodology was then employed within the research, culminating in the creation, verification, and …

Go to article

Heuristics For Hospital Inventory Management, Thomas G. Hibson Sep 1991

Heuristics For Hospital Inventory Management, Thomas G. Hibson

Theses and Dissertations

This study investigated the reasoning strategies used by hospital logistics management experts and was conducted at the Wright-Patterson AFB (WPAFB) Medical Center. An expert system was developed to verify the captured strategies. The particular area of interest of this study was the reasoning strategies involved in the reconciliation of the Monthly Stock Status Report within the Medical Logistics Branch. A literature review revealed there were few guidelines as to when and what action to pursue when reconciling the Monthly Stock Status Report. Though there were no references in the literature on expert systems that dealt with this particular report, there …

Go to article

An Expert System Job Aid For Users Of The Automated Scheduling Module, Kevin A. Gore Sep 1991

An Expert System Job Aid For Users Of The Automated Scheduling Module, Kevin A. Gore

Theses and Dissertations

This research developed an Expert System for novice aircraft maintenance schedulers (AFSC: 392XX) with little experience using the Automated Scheduling Module (ASM). First, an in-depth literature review was completed. Next, personal interviews were conducted with an ASM expert and other 392XX personnel. Prototypes using VP-Expert and KnowledgePro shells were created. The knowledgePro shell was selected to create the ASM Job Aid, combining the knowledge of the expert and AFM 66-279. The program was verified, validated, and favorably reviewed by 392XX personnel. Recommendations include: The Air Force Logistics Management Center (AFLMC) examine the ASM Job AId and develop a Performance Support …

Go to article

A Topological Model For Parallel Algorithm Design, Jeffrey A. Simmers Sep 1991

A Topological Model For Parallel Algorithm Design, Jeffrey A. Simmers

Theses and Dissertations

This research demonstrates that formal, mathematical analysis in theoretical computer science can be recast in terms of the topology of complete metric spaces, and also presents a methodical technique for developing formal specifications. This effort shows that the topology of complete metric spaces provides a tool that can be used to both recreate major results about computational models and also to develop new results about these models. Using the two computational models CSP and UNITY, this effort shows that the required mathematics needed to support this alternative to the traditional analysis of computational models can be readily supported by a …

Go to article

An Ada Based Expert System For The Ada Version Of Satool Ii, Min-Fuh Shyong Jun 1991

An Ada Based Expert System For The Ada Version Of Satool Ii, Min-Fuh Shyong

Theses and Dissertations

This thesis continues the work of implementing the expert system for the Ada version of SAtool II, an software design requirement analysis tool. The background, history, design process together with the design results and validation of the implementation with Ada and CLIPS/Ada is presented.

Go to article

The Boundary Element Method Applied To The Two Dimensional Stefan Moving Boundary Problem, Donald C. Vosika Mar 1991

The Boundary Element Method Applied To The Two Dimensional Stefan Moving Boundary Problem, Donald C. Vosika

Theses and Dissertations

This thesis considers problems for which the boundary is not known before the problem is solved and must be determined as part of the solution. We consider a time dependent problem which results in a moving boundary. We look at the heat conduction/diffusion equation in one and two spatial dimensions. We use Green's Theorem to yield a Volterra boundary integral equation which involves an unknown function on the moving boundary. We use the boundary element method to obtain a solution. Graphical results for the two dimensional problem are presented.

Go to article

An Automated Red Player For The Theater Warfare Exercise, Karl W. Kabanek Mar 1991

An Automated Red Player For The Theater Warfare Exercise, Karl W. Kabanek

Theses and Dissertations

The Theater Warfare Exercise (TWX) is a two-sided, theater-level, decision-making exercise created, maintained and used by the personnel at the Air Force Wargaming Center. It is used to allow military officers to practice the decision-making process needed for the wartime employment of air power. An automated player was designed and a prototype implemented for the red (enemy) player using an expert system shell. The automated red player uses the TWX database that contains the data on the different units used in exercise. From the data the automated red player builds mission packages for the various types of missions required in …

Go to article

A Computer Simulation Of Braitenberg Vehicles, Eric B. Werkowitz Mar 1991

A Computer Simulation Of Braitenberg Vehicles, Eric B. Werkowitz

Theses and Dissertations

In his treatise, Vehicles: Experiments in Synthetic Psychology, Valentino Braitenberg used simple, autonomous vehicle designs to illustrate the principles behind animal nervous system organization and operation. The goal of this effort was to produce a computer program to allow a researcher to experiment with these concepts and to analyze their performance using methods employed by experimental psychologists. The resulting program allows the user to design vehicles that respond to changes in their environments and that have the ability to adapt their behavior, using a learning algorithm developed by Teuvo Kohonen. The vehicle designer is free to select sensor attributes, …

Go to article

Optimal Iterative Task Scheduling For Parallel Simulations, Joann M. Sartor Mar 1991

Optimal Iterative Task Scheduling For Parallel Simulations, Joann M. Sartor

Theses and Dissertations

The ultimate purpose of this research is to reduce the time needed for execution of parallel computer simulations. In particular, the impact of task assignment strategies is determined for parallel VHDL circuit simulations. The classical scheduling problem, which assigns n precedence-constrained tasks to m processors is NP-complete in all but the simplest cases. The problem of assigning simulation tasks is further complicated by the iterative nature of computer simulations: each task is required to execute multiple times as the simulation executes. This investigation develops a polynomial-time algorithm (the level strategy) which provides optimal assignment for iterative systems with specific constraints. …

Go to article

Transfer Of 4gl Application From Ingres To Oracle, Adnan Altunisik Mar 1991

Transfer Of 4gl Application From Ingres To Oracle, Adnan Altunisik

Theses and Dissertations

This paper documents the transfer of 4GL applications from INGRES to ORACLE. As a result of a fast and conceptual change in computer languages, 4GLs were developed and evolved. These are programming support tools whose goal is, basically, to make the programs more efficient by reducing the number of instructions. Both ORACLE and INGRES database systems use 4GLs to develop applications. Their 4GL environments and their facilities for application development are investigated and explained in depth in this effort. The TWX application, which was originally implemented in INGRES by using its 4GL, is designed and reimplemented in ORACLE. This is …

Go to article

The Problem Of Mutual Exclusion: A New Distributed Solution, Rajeev Chawla Jan 1991

The Problem Of Mutual Exclusion: A New Distributed Solution, Rajeev Chawla

Theses and Dissertations

In both centralized and distributed systems, processes cooperate and compete with each other to access the system resources. Some of these resources must be used exclusively. It is then required that only one process access the shared resource at a given time. This is referred to as the problem of mutual exclusion. Several synchronization mechanisms have been proposed to solve this problem. In this thesis, an effort has been made to compile most of the existing mutual exclusion solutions for both shared memory and message-passing based systems. A new distributed algorithm, which uses a dynamic information structure, is presented to …

Go to article

Three Degrees Of Freedom Compliant Motion Control For Robotic Aircraft Refueling, Clayton M. Andersen Dec 1990

Three Degrees Of Freedom Compliant Motion Control For Robotic Aircraft Refueling, Clayton M. Andersen

Theses and Dissertations

The Air Force Institute of Technology (AFIT) supports on-going research in application of robotic technology to enhance assembly tasks. As a testbed, AFIT supports the ground-based aerial refueling project, with an emphasis on visual servoing techniques and compliant motion control. This thesis focuses on compliant motion control. Previous research developed the testing environment, which includes a PUMA-560 industrial manipulator, and a half scale mock-up of an aerial refueling system. This effort corrected and expanded the existing two degree of freedom (DOF) compliant controller to three DOF. Three DOF compliance was demonstrated by inserting the refueling nozzle into the receiver port. …

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

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

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

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 Object-Oriented Military Simulation Baseline For Parallel Simulation Research, Robert J. Rizza Dec 1990

An Object-Oriented Military Simulation Baseline For Parallel Simulation Research, Robert J. Rizza

Theses and Dissertations

This thesis documents the design and implementation of a discrete event military simulation using a modular object-oriented design and the C programming language. The basis simulation is one of interacting objects. The objects move along a predetermined path until they encounter another object. Objects react to the encounter object according to the implemented algorithm. Object reaction options are fight, evade, or do nothing. In the code's current form it is generic enough to allow a user the flexibility of creating an infinite number of scenarios bounded in size by the hardware's memory capacity. The modularity of design will allow for …

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

Mapping An Object-Oriented Requirements Analysis To A Design Architecture That Supports Design And Component Reuse, Kelly L. Spicer Dec 1990

Mapping An Object-Oriented Requirements Analysis To A Design Architecture That Supports Design And Component Reuse, Kelly L. Spicer

Theses and Dissertations

Design reuse has more potential for increasing the productivity of software development and maintenance than do traditional approaches to software reuse that emphasize reuse of smaller components. Current software development methods do not promote design reuse. The literature contains limited documented research on the subject, but enough that some design reuse principles can be gleaned. Among these principles are that reusable designs should be applicable within some domain of application, have a consistent structure, provide a method for instantiating the design, avoid object nesting, and promote reuse of smaller components as well. A design mapping method from an object-oriented requirements …

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

Computer Generated Holography As A Three-Dimensional Display Medium, Bryant L. Stuart Dec 1990

Computer Generated Holography As A Three-Dimensional Display Medium, Bryant L. Stuart

Theses and Dissertations

A process was developed to produce three dimensional images using computer generated holography (CGH). This process consisted of a series of steps that began with a geometric description of an object and concluded with a three dimensional holographic image being computed from a synthetic wavefront. The objects used in this series of steps (or CGH pipeline) were described geometrically as a collection of three dimensional points. The modular nature of the CGH pipeline provided a flexible platform from which to evaluate various object geometries, interference calculations algorithms, and interference pattern recording and reduction techniques. This system was implemented with general …

Go to article

Access And Operator Methods For The Triton Nested Relational Database System, Tina M. Harvey Dec 1990

Access And Operator Methods For The Triton Nested Relational Database System, Tina M. Harvey

Theses and Dissertations

Unique database requirements in the realm of non-standard applications (such as computer-aided design (CAD), computer-aided software engineering(CASE), and office information systems (OIS) have driven the development of new data models and database systems based on these new models. In particular, the goal of these new database systems is to exploit the advantages of complex data models that are more efficient (in terms of time and space) than their relationship counterparts. This research effort describes the relational design and implementation of the Triton nested relational database system, a prototype system based on the nested relational data model. Triton is intended to …

Go to article

A Hypermedia Implementation For Reusable Software Component Representation, Gary G. Worrall Dec 1990

A Hypermedia Implementation For Reusable Software Component Representation, Gary G. Worrall

Theses and Dissertations

This study investigated software component representation methods. Hypermedia was chosen as the implementation method to represent a collection of reusable software components. The hypermedia implementation organizes knowledge about the component collection into a web of small information chunks called frames. The set of software components was represented using a hybrid classification scheme composed of enumerated and faceted parts. The enumerated part enables the user to progress along a path in a taxonomic tree, narrowing the scope of eligible components. Each leaf node in this tree denotes a class of components, members of which are distinguished by their time and space …

Go to article

An Object Oriented Design And Implementation Of The Idef0 Essential Data Model Using Ada And An Ada Based Expert System, Terry L. Kitchen Dec 1990

An Object Oriented Design And Implementation Of The Idef0 Essential Data Model Using Ada And An Ada Based Expert System, Terry L. Kitchen

Theses and Dissertations

This thesis develops and implements an Ada based object oriented design (OOD) of the IDEF0 Essential Data Model called the Essential Subsystem, which includes an Ada based expert system for IDEF0 model syntax checking. IDEF0 is a graphic approach to system description development by SofTech, Inc. for the U.S. Air Force Program for Integrated Computer Aided Manufacturing (ICAM) and is a subset of the Structured Analysis (SA) language (30, 36). The IDEF0 Essential Data Model is an entity-relationship (E-R) model of the IDEF0 language and represents the fundamental (essential) information of an IDEF0 model. …

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

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 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

Computer Model Of An Injection Locked Pulsed Co2 Laser, Allen M. Susie Dec 1990

Computer Model Of An Injection Locked Pulsed Co2 Laser, Allen M. Susie

Theses and Dissertations

With the discovery of the laser there have been continual attempts to increase the 'spectral brightness' of a laser for applications such as signal processing and lidar. To this end techniques using either passive or active cavity elements have been developed to isolate a single longitudinal mode in both continuous and pulsed laser systems. Although passive elements have useful applications in continuous systems their use in pulsed systems is difficult to control. The injection of an external signal has proved very successful.

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

Nonlinear Interferometry: Optical Image Addition/Subtraction And Novelty Filters, Gordon T. Hengst Dec 1990

Nonlinear Interferometry: Optical Image Addition/Subtraction And Novelty Filters, Gordon T. Hengst

Theses and Dissertations

This thesis investigated the performance characteristics of a beam fanning novelty filter and designed a switchable optical image adder/subtractor. The filter spatial resolution, contrast ratio, onset time, and velocity response were measured for both z-cut and 45 deg. cut BaTiO3 crystals in the beam fanning configuration. Experimental results show that the special 45 deg. cut crystal produces the best overall beam fanning novelty filter. In addition, switchable optical image subtraction and addition were demonstrated for the first time using a modified Michelson interferometer configured with a phase-conjugating mirror and an adjustable length leg. The system demonstrated addition and subtraction with …

Go to article

First Prev Next Last