Digital Commons Network^™

Creating And Manipulating A Domain-Specific Formal Object Base To Support A Domain-Oriented Application Composition System, Mary Anne Randour

Theses and Dissertations

This research investigated technology which enables sophisticated users to specify, generate, and maintain application software in domain-oriented terms. To realize this new technology, a development environment, called Architect, was designed and implemented. Using canonical formal specifications of domain objects, Architect rapidly composes these specifications into a software application and executes a prototype of that application as a means to demonstrate is correctness before any programming language specific code is generated. This thesis investigated populating and manipulating the formal object base required by Architect. This object base is built using a domain- specific language (DSL) which serves as an interface between …

Management Of Simnet And Dis Entities In Synthetic Environments, Steven M. Sheasby

Theses and Dissertations

This thesis describes the techniques used to create an object manager utilized by an application program during a distributed interactive simulation. This work is currently utilized by a number of AFIT synthetic environment applications for use during a SIMNET exercise. An extensive review of distributed interactive simulations is presented. A discussion of the current distributed simulation protocol, SIMNET, is presented along with the future protocol standard, DIS. Finally, a brief discussion on dead reckoning and its importance during an exercise is presented. An analysis of the SIMNET and DIS protocols provided the basis for the creation of a series of …

A Synthetic Environment Flight Simulator: The Afit Virtual Cockpit, John C. Switzer

Theses and Dissertations

This thesis describes the design and implementation of a part of the Virtual Cockpit: a synthetic environment, distributed network flight simulator. The goal of the project was to prove the concept that this type of flight simulator could fill the gap between high-end, very expensive flight simulators and low-end game quality flight simulators. Discussed are: object-oriented design techniques, multi-processor utilization, the flight dynamics model, synthetic environment technology, the frame-rate vs. realism issue, and the interfaces to a realistic joystick and throttle.

X-Aaarf An X Windows Version Of The Afit Algorithm Animation Research Facility, Charles R. Wright Jr.

Theses and Dissertations

The AFIT Algorithm Animation Research Facility was developed by the Air Force Institute of Technology (AFIT) as a teaching aid for data structures and algorithm design of sequential processes. However, AAARF's unique design makes it particularly suitable for the animation of algorithms running on remote systems. In particular, an extensive set of parallel performance animations has been developed for the Intel iPSC/2 Hypercube for parallel program analysis and performance optimization. The AAARF system was originally developed using the Sun Microsystems' SunView(TM) windowing system. Recent advances in Graphical User Interface (GUI) technology combined with Sun's adoption of the X Window System …

Design Recovery For Software Library Population, Chester A. Wright Jr.

Theses and Dissertations

This thesis research investigated design recovery as a means of populating a reuse library. The targeted library was part of the Automatic Programming Technologies for Avionics Systems (APTAS). APTAS uses a knowledge base of forms, to present questions to a user, and rules, to select the forms to present and choose existing library modules to use in composing a new system. The approach applied the reengineering model developed by Eric Byrne to accomplish planning for the project, expanded the renovation phase of this model to cover the actual design recovery, and applied the expanded model to populating the library. Using …

Formalizing, Validating, And Verifying Real-Time System Requirements With Reacto And Vhdl, Frank C. Young

Theses and Dissertations

We develop a methodology for formalizing, verifying, and validating the requirements specification of real-time systems based on a graphical and formal hierarchical Finite State Machine (FSM) language Reacto. We define a means to quantify time and express real-time constraints in Reacto and a transformation from Reacto to the Very High Speed Integrated Circuit (VHSIC) hardware Description Language (VHDL). Reacto's high level abstractions, graphical nature, and theorem prover produce efficient, accurate, and easily understood specifications. We use VHDL's event driven simulation capability, concurrency, and temporal operators to thoroughly examine temporal dependencies between the state machine transitions, and to increase simulation power …

An Object-Oriented Computer Aided Design Program For Traditional Control Systems Analysis, Wayne E. Bell

Theses and Dissertations

This thesis is a continuation of the ICECAP-PC research project conducted under Prof. Gary B. Lamont at the Air Force Institute of Technology. It is an ongoing development of a public domain Computer Aided Design package for Control Engineering and Digital Signal Processing students, faculty and practitioners with a special emphasis on education. This investigation begins with the software maintenance task of restructuring, debugging, and testing the functional version of ICECAP-PC 9.0. The continuous, traditional portions are then ported to a new object-oriented program structure which is the primary focus of this effort. New interactive graphics capabilities are then added …

Etann Hardware Implementation For Radar Emitter Identification, James B. Calvin Jr.

Theses and Dissertations

This study investigated classification of 30 radar emitters with 16 signal features using Intel's 80170NX chip, the Electronically Trainable Analog Neural Network (ETANN). Software tools were developed to characterize the ETANN sigmoidal transfer function for use in a custom simulator, known as Neural Graphics. Neural Graphics operates on a Silicon Graphics workstation. The Intel Neural Network Training System simulators were used in early experiments, but were found to be inefficient in training on data used in this research. Using a modified Neural Graphics simulator, single chip and multi-chip experiments were performed to provide benchmark results prior to performing chip-in-loop training. …

Face Recognition With Neural Networks, Dennis L. Krepp

Theses and Dissertations

This study investigated neural networks for face verification and classification. The research concentrated on developing a neural network based feature extractor and/or classifier to perform authorized user verification in a realistic work environment. Recognition accuracy, system assumptions, training time, and execution time were analyzed to determine the feasibility of a neural network approach. Data was collected using a camcorder and two segmentation schemes: manual segmentation and motion-based, automatic segmentation. Data consisted of over 2000. 32x32 pixel, 8 bit gray scale images of 52 subjects; each subject had two to ten days worth of images collected. Several training and test sets …

A Generic Template Extractor (Gentex) In C For Vlsi Design Verification, Kenneth J. Mcclellan Jr.

Theses and Dissertations

The problem of VLSI design verification through circuit extraction was analyzed. The problems of creating a simple template format, the permutability of pins, maintaining connectivity, and performance were focused on. A generic template extractor (GENTEX) was developed in the C programming language for use as a testbed to find solutions to these problems. Six different extraction algorithms were tested with GENTEX and compared based on performance. EDIF translation programs were used to interface with GENTEX on both the input and output sides. One translation program converted an EDIF representation of a schematic into the template format used by GENTEX. The …

Detection Of Spoofing, Jamming, Or Failure Of A Global Positioning System (Gps), Juan R. Vasquez

Theses and Dissertations

The Air Force has equipped its aircraft with avionic systems such as Global Positioning System (GPS) and Inertial Guidance Systems (INS) capable of providing accurate navigation solutions. The aircrews flying these aircraft require a system that can either survive the hostile environments encountered in combat or notify the aircrew that their performance has been significantly degraded. This research focuses on failure detection and isolation techniques using an extended Kalman filter and generalized likelihood ratios using matched filters. Analysis is conducted using a Kalman filter development package known as the Multimode Simulation for Optimal Filter Evaluation (MSOFE). Both a large order …

Real Image Visual Display System, James R. Brandt

Theses and Dissertations

This thesis investigates a technique for improving the perception of three-dimensionality in images generated by a Silicon Graphics workstation. The technique involves using a spherical mirror into which the graphics from the CRT are projected. A real image of the graphic is formed by the mirror and it appears to be floating at the image plane. The three-dimensional effect is improved by adding reflections or shadows of the displayed object. Additionally, a method of using real objects with computer generated shadows and computer generated objects with real shadows is investigated. This is done in an effort to quantify how far …

Comparison Of Artificial Neural Networks With A Conventional Heuristic Technique For Optimization Problems, Jeffrey S. Gruner

Theses and Dissertations

This research investigates the utility of the Hopfield and Kohonen artificial neural networks to the traveling salesman optimization problem. A third, non-neural-network technique (the Christofides Algorithm - a competitive, bounded-solution operations research technique) is also investigated for comparison to the artificial neural network solutions. An eight and forty-two city distribution are chosen for comparison of the solutions.

Recurrent Neural Networks For Radar Target Identification, Eric T. Kouba

Theses and Dissertations

A real-time recurrent learning algorithm was applied to a five class radar target identification problem. The wideband radar was assumed to measure both kinematic (tracking information expressed as estimated aspect angles) and high range resolution data from a single, isolated aircraft. The aspect angles (azimuth and elevation) of the aircraft relative to the radar were assumed to be constantly chancing. This created temporal sequences of high range resolution radar signatures that changed as the aspect angles changed. These sequences were used as input features to a recurrent neural network for three radar target identification test cases. The first test case …

Software Support Measurement And Estimating For Oracle Database Applications Using Mark Ii Function Points, Steven D. Radnov

Theses and Dissertations

This study investigated the results of measuring software support of Oracle database applications and estimating the effort and schedule required to provide support. Software measurement was accomplished with a variant of the function points metric, called Mark II function points, which is comprised of three weighted parameters, inputs, entities, and outputs. A technique for mapping Mark II function points to Oracle DBMS components was developed, and the size of the software support for each project, per team, was measured by tabulating and weighting the number of inputs, entities, and outputs that are added, changed, and/or deleted. Software support effort was …

Automated Logistics Information Systems: A Case Study, James E. Hogue

Theses and Dissertations

A change within the Air Force has shifted management responsibilities within the logistics community. Formerly diverse functions have come under the purview of a single manager-the Logistics Group Commander-who has inherited information systems that may riot be able to provide consolidated information for informed and accurate decision making. The purpose of this thesis was to describe the current and potential ability for three logistics information management systems to share data: Standard Base Supply System, Consolidated Aircraft Management System, and On-Line Vehicle Information Management System. A systems model was synthesized from the literature review to determine what components of a system …

Integrated Diagnostic Expert System Model (Idesm): A Model For The Conversion Of Fault Isolation Procedures Into An Integrated Diagnostic Expert System, Robert J. Lacey, Glen D. Steemson

Theses and Dissertations

The purpose of this research was to develop a model to convert existing hardcopy maintenance manual fault isolation procedures into electronic format and to partially automate the fault isolation process. A comprehensive model was developed which comprised four major components: user interface, expert system submodel, hypermedia submodel, and a submodel integration shell. Using this model, the F 15E nose landing gear fault isolation procedures were transformed into a rule based expert system. An existing hypermedia information base was expanded and subsequently integrated with the expert system to form the prototype application. The prototype was evaluated by engineering and maintenance personnel …

The Adaptation Of The Sei's Capability Maturity Model To The Air Force Software Acquisition Management Process, William G. Dickerhoff Jr., William J. Sommers

Theses and Dissertations

This study develops an Air Force Software Acquisition Maturity Framework (SAMF) by adapting the Software Engineering Institute's (SEI) capability Maturity Model (CMM) to the Air Force software acquisition process. The SAMFs purpose is to provide the Air Force Materiel Command's product centers and program off ices with criterion to assess their software acquisition maturity in a similar fashion as the SEI's CMM provides companies a benchmark to measure their organization's software production maturity. The research was accomplished through a combination of information gathering techniques and data analysis. A literature search of documentation, both within and external to the Department of …

An Improved Characterization Of 1-Step Recoverable Embeddings: Rings In Hypercubes, Junlin Liu, Thomas J. Sager, Bruce M. Mcmillin

Computer Science Technical Reports

An embedding is said to be 1-step recoverable if any single fault in the embedding can be recovered in one reconfiguration step. In this paper we present a heuristic approach to construct such 1-step recoverable embeddings. We show that to embed a k (even) length ring in ad-cube, where 6 < = k < = 3/4 2d and d < = 3, our scheme will guarantee finding a 1-step recoverable embedding, provided such an embedding exists. Compared to other previously proposed schemes, our scheme achieves much better results. A sufficient condition for the non-existence of 1-step recoverable embeddings for embedding rings of length > 3/4 2d in d-cubes is also given.

On The Exact P-Cyclic Ssor Convergence Domains, Apostolos Hadjidimos, D. Noutsos, M. Tzoumas

Department of Computer Science Technical Reports

No abstract provided.

Proxima, A Polyhedral Interrogation Support In C++, Gang Sun, Peter Van Vleet, George Vanĕček

Department of Computer Science Technical Reports

No abstract provided.

On Elastic Nets And Correspondence In Motion With Homogeneous Deformation, Anupam Joshi, Chia-Hoang Lee

Department of Computer Science Technical Reports

No abstract provided.

Si: A Lightweight-Process Interaction Simulation System, Janche Sang, Ke-Hsiung Chung, Vernon Rego

Department of Computer Science Technical Reports

No abstract provided.

Efficient Algorithms For Joint Density Approximations Of Discrete Independent Random Variables, Janche Sang, Vernon Rago, John Spragius

Department of Computer Science Technical Reports

No abstract provided.

Compiling Ace For Distributed-Memory Machines, Jun Song

Dissertations and Theses

Distributed-memory machines offer a very high level of performance, flexibility and scalability. But the memory organization of this kind of machine determines that processes on different processors must communicate explicitly by sending and receiving messages. As a result, the programmer faces the enormously difficult task of detailed planning of algorithm-irrelevant, low-level communication issues. This level of programming resembles writing assembly programs for a sequential machine.

ACE is a message-passing language with abstract communication statements. It was defined by Dr. Jingke Li at Portland State University. The communication in ACE is still explicit, but it is abstracted to a higher level. …

Low Degree Approximation Of Surfaces For Revolved Objects, Changrajit L. Bajaj, Insung Ihm

Department of Computer Science Technical Reports

No abstract provided.

Optimal Parametric Search Algorithms In Trees I: Tree Partitioning, Greg N. Frederickson

Department of Computer Science Technical Reports

No abstract provided.

Lecture Notes For Nscp-Funded Short Course - Remote Sensing Training For Resource Officers And Farmers, Western Australian Department Of Agriculture

Soil conservation survey collection

The aim of this course is to provide an introduction to remote sensing, and knowledge and practice in image processing techniques for the extraction of information from remotely sensed data. Aerial photography is the original form of earth remote sensing, and is still a widely used and important data source for many purposes. This course is directed principally at the analysis of digital image data recorded by satellite or airborne platforms. Remote sensing is considered to be the methodology of collecting and interpreting target information over a broad range of the electromagnetic spectrum.

The Programmers' Playground: I/O Abstraction For Heterogeneous Distributed Systems, Kenneth J. Goldman, Michael D. Anderson

All Computer Science and Engineering Research

A new high-level approach to interprocess communication in heterogeneous distributed systems in introduced, This approach, called I/O Abstraction, allows one to write each functional component of a distributed system as an encapsulated program that acts upon a set of local data structures, some of which may be published for external use. The functional components are separately configured by establishing logical connections among the published data structures. In order to illustrate this approach, we describe the The Programmers' Playground, a high-level language "veneer" and protocol designed to support I/O abstraction in heterogeneous computing environment. Support for communication among programs written in …

Computing Specificity, Ronald Loui, J. Norman, K. Stiefvater, A. Merrill, A. Costello, J. Olson

All Computer Science and Engineering Research

This note reports on an effort to implement a version of Poole's rule for specificity. Relatively, efficient implementation relies on correcting and improving a pruning lemma of Simari-Loui [92]. This in turn requires revision of Poole's specificity concept. The resulting system is a usable knowledge representation system with first-order-language and defeasible reasoning. Sample input and output are included in an appendix. It is a good candidate for multiple inheritance applications; it is useful for planning, but limited by the underlying search for plans.