Digital Commons Network^™

Integration Of Abductive And Deductive Inference Diagnosis Model And Its Application In Intelligent Tutoring System, Jingying Zhang

Computer Science Theses & Dissertations

This dissertation presents a diagnosis model, Integration of Abductive and Deductive Inference diagnosis model (IADI), in the light of the cognitive processes of human diagnosticians. In contrast with other diagnosis models, that are based on enumerating, tracking and classifying approaches, the IADI diagnosis model relies on different inferences to solve the diagnosis problems. Studies on a human diagnosticians' process show that a diagnosis process actually is a hypothesizing process followed by a verification process. The IADI diagnosis model integrates abduction and deduction to simulate these processes. The abductive inference captures the plausible features of this hypothesizing process while the deductive …

Estimation In A Marked Poisson Error Recapture Model Of Software Reliability, Rajan Gupta

Mathematics & Statistics Theses & Dissertations

Nayak's (1988) model for the detection, removal, and recapture of the errors in a computer program is extended to a larger family of models in which the probabilities that the successive programs produce errors are described by the tail probabilities of discrete distribution on the positive integers. Confidence limits are derived for the probability that the final program produces errors. A comparison of the asymptotic variances of parameter estimates given by the error recapture and by the repetitive-run procedure of Nagel, Scholz, and Skrivan (1982) is made to determine which of these procedures efficiently uses the test time.

An Examination And Analysis Of The Boltzmann Machine, Its Mean Field Theory Approximation, And Learning Algorithm, Vincent Clive Phillips

Theses : Honours

It is currently believed that artificial neural network models may form the basis for inte1ligent computational devices. The Boltzmann Machine belongs to the class of recursive artificial neural networks and uses a supervised learning algorithm to learn the mapping between input vectors and desired outputs. This study examines the parameters that influence the performance of the Boltzmann Machine learning algorithm. Improving the performance of the algorithm through the use of a naïve mean field theory approximation is also examined. The study was initiated to examine the hypothesis that the Boltzmann Machine learning algorithm, when used with the mean field approximation, …

Exclusive And Inclusive Semileptonic Decays Of B Mesons To D Mesons, R. Fulton, M. Thulasidas

Research Collection School Of Computing and Information Systems

We report new measurements of the branching fractions B ( B − → D 0 l − ¯ ν ) , B ( ¯ B 0 → D + l − ¯ ν ) , and B ( B − → D * 0 l − ¯ ν ) . Combining these results with our previous measurement of B ( ¯ B 0 → D * + l − ¯ ν ) , we find that the ratio of semileptonic widths for final states with a vector meson and pseudoscalar meson is ( 2.6 + 1.1 + 1.0 − 0.6 …

Implementation Of Object Oriented University Database Using Vodak/Vml-0 Prototype, Abhay V. Bhave

Theses

In recent years object - oriented programming has gained a tremendous popularity in the design and implementation of emerging data - intensive application systems. Object oriented knowledge based approaches have proved to be very powerful vehicle when developing, integrating complex systems.

Using a University database demonstrated here is an object oriented model. This model uses VODAK/VML-0 prototype which was developed by GMD - IPSI, Darmstadt FRG. The Conceptual Schema of this database was done using The Dual Model, but as the current VODAK/VML version does not support dual model, the schema was modified before use. There are 167 classes defined …

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

Heuristic Guided Pre-Optimized Algorithm Substitution For Parallel Computers, Ko-Yang Wang

Department of Computer Science Technical Reports

No abstract provided.

Brep-Index: A Multi-Dimensional Space Partitioning Tree, George Vanĕček

Department of Computer Science Technical Reports

No abstract provided.

Implementing Expert System Rule Conditions By Neural Networks, Henry Tirri

Department of Computer Science Technical Reports

No abstract provided.

The All-Pairs Pipeline, Per Brinch Hansen

Electrical Engineering and Computer Science - Technical Reports

An all-pairs problem is a computation on every possible subset consisting of two elements chosen from a set of n elements. N-body simulation and Householder reduction are all-pairs problems. The paper defines the all-pairs problem concisely by means of precedence matrices and derives a parallel algorithm. The algorithm is presented in both coarse-grain and medium-grain form. The all-pairs paradigm is illustrated by a pipeline for Householder reduction of a matrix to triangular form.

Analyzing Images Containing Multiple Sparse Patterns With Neural Networks, Rangachari Anand, Kishan Mehrotra, Chilukuri K. Mohan, Sanjay Ranka

Electrical Engineering and Computer Science - Technical Reports

We have addressed the problem of analyzing images containing multiple sparse overlapped patterns. This problem arises naturally when analyzing the composition of organic macromolecules using data gathered from their NMR spectra. Using a neural network approach, we have obtained excellent results in using NMR data to analyze the presence of amino acids in protein molecules. We have achieved high correct classification percentages (about 87%) for images containing as many as five substantially distorted overlapping patterns.

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 …

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 …

Problems To Test Parallel And Vector Languages -- Ii, John R. Rice, Jin Jing

Department of Computer Science Technical Reports

No abstract provided.

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 …

A Biologically-Inspired Neural Network Architecture For Image Processing, Laurence E. Lazofson

Theses and Dissertations

This thesis project included a literature survey of biological and artificial neural network research followed by development and testing of high- order and image recognition hierarchical neural network algorithms. Following training, performance testing of second-order and third-order networks yielded maximum accuracies comparable to those achieved by multilayer perceptron classifiers operating on test data sets. Several versions of an image classification algorithm were tested for learning performance using pixel data from forward-looking infrared (FLIR) images of tanks, trucks, target boards, and clutter. Employing the biologically-motivated Lambertization and contrast normalization of pixel windows, correlations with multiple Gabor function wavelets, and a 'phase …

Model-Based 3-D Recognition System Using Gabor Features And Neural Networks, Phung D. Le

Theses and Dissertations

A different approach to pattern recognition was attempted using Gabor features, artificial neural nets, and an image generator. The Gabor features and artificial neural nets are sound biological-based, and the image generator provides complete access to any view of an object. This thesis tested the idea that their integration could form a robust 3-D recognition system. The results of the research showed that the Gabor features together with a neural net were used successfully in classifying objects regardless of their positions, out-of- plane rotations, and to a lesser extent in-plane rotations. The Gabor features were obtained by correlating the image …

A Whole Word And Number Reading Machine Based On Two Dimensional Low Frequency Fourier Transforms, Mark A. O'Hair

Theses and Dissertations

The Fourier transform is investigated as a means for developing an optical reader capable of reading a large vocabulary without segmenting the image of a word into individual characters. The reader is capable of reading printed and cursive font styles, is scale invariant, and is substantially insensitive to noise. The image of a particular word is treated as a single symbol; the two dimensional low frequency Fourier coefficients (assuming n coefficients are calculated) define the word's location on an n dimensional hypersphere of unit radius. The distance between individual locations (words) categorizes similar and dissimilar words. The smaller the distance, …

Use Of Grasp Force Focus Positioning To Enhance The Torque Resistance Capability Of Robotic Grasps, Stephen G. Edwards

Theses and Dissertations

Three-point-contact grasps are unique in that the homogeneous solution for the contact forces always produces a grasp force focus. Careful positioning of this focus point in the grasp plane can help avoid two things; slipping at the contact points, and violation of joint torque limits. The focus placement method is explored theoretically by examining two types of grasps on cylinders; 1) fingertip grasps using three independently operated fingers, and 2) single-finger power grasps with one contact point on each of three links. Constraint maps are generated for various fingertip grasps in order to show how proper placement of the grasp …

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 …

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 …

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 …

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 …

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 IDEF₀ Essential Data Model called the Essential Subsystem, which includes an Ada based expert system for IDEF₀ model syntax checking. IDEF₀ 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 IDEF₀ Essential Data Model is an entity-relationship (E-R) model of the IDEF₀ language and represents the fundamental (essential) information of an IDEF₀ model. …

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 …

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 …

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 IDEF₀ graphical project editor and data dictionary editor. An Ada-Based Framework for an IDEF₀ 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 IDEF₀ in the requirements analysis phase …

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 …

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 …

A Compact Optical Associative Memory Using Dynamic Holographic Storage Media And Photorefractive Gain And Attenuation Elements, Thomas J. Burns

Theses and Dissertations

This research effort implemented a compact optical associative memory architecture consisting of a Fabry-Perot Confocal Resonator (FPCR) optical processing environment, two dynamically reprogrammable Lithium Niobate volume holograms, and Barium Titanate gain and attenuation elements. The reduced physical dimensions of the compact optical processing environment make it more adaptable to military applications than previous associative memory designs. The FPCR employs Mangin mirrors designed to reduce spherical aberrations in off-axis rays. The orientation of the gain element's grating vector angle and the model used to predict the profile of the attenuation element were unique to this research effort. The object stored in …