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

Physical Sciences and Mathematics Commons

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

1994

Theses and Dissertations

Discipline
Institution
Keyword

Articles 1 - 30 of 98

Full-Text Articles in Physical Sciences and Mathematics

Multicriteria Mission Route Planning Using A Parallel A* Search, Michael S. Gudaitis Dec 1994

Multicriteria Mission Route Planning Using A Parallel A* Search, Michael S. Gudaitis

Theses and Dissertations

The Mission Route Planning (MRP) Problem falls into the general class of multicriteria path search problems. Multiple criteria are evaluated to select an optimal aircraft mission route through a hostile environment. Criteria for distance travelled and radar exposure are combined into a single cost function for route evaluation. Radar calculations are performed dynamically. The A* search algorithm is applied to the MRP problem, and a parallel implementation is developed and tested. A unique combination of distributed OPEN lists with a global CLOSED list strategy produced fast execution times on the Paragon. Test cases for scenarios with 15 radars took less …


Easy-Sim: A Visual Simulation System Software Architecture With An Ada 9x Application Framework, Jordan R. Kayloe Dec 1994

Easy-Sim: A Visual Simulation System Software Architecture With An Ada 9x Application Framework, Jordan R. Kayloe

Theses and Dissertations

Software architectures increase productivity when used as the basis for developing applications in a problem domain. This thesis describes the creation of Easy-Sim, an object-oriented software architecture for visual simulation systems, and its corresponding implementation as an application framework in Ada 9X. The research built upon ObjectSim, an existing object-oriented simulation architecture implemented as a application framework. Both ObjectSim and Easy-Sim operate on Silicon Graphics platforms and use the IRIS Performer graphics programming library. Easy-Sim is implemented using version 1.83 of the GNAT compiler. The investigation for this thesis involved honing ObjectSim's design, implementing the improved result in both C++ …


Generalized Probabilistic Reasoning And Empirical Studies On Computational Efficiency And Scalability, Eric P. Baenen Dec 1994

Generalized Probabilistic Reasoning And Empirical Studies On Computational Efficiency And Scalability, Eric P. Baenen

Theses and Dissertations

Expert Systems are tools that can be very useful for diagnostic purposes, however current methods of storing and reasoning with knowledge have significant limitations. One set of limitations involves how to store and manipulate uncertain knowledge: much of the knowledge we are dealing with has some degree of uncertainty. These limitations include lack of complete information, not being able to model cyclic information and limitations on the size and complexity of the problems to be solved. If expert systems are ever going to be able to tackle significant real world problems then these deficiencies must be corrected. This paper describes …


Analysis Of Instability Growth And Collisionless Relaxation In Thermionic Converters Using 1-D Pic Simulations, Bret B. Kreh Dec 1994

Analysis Of Instability Growth And Collisionless Relaxation In Thermionic Converters Using 1-D Pic Simulations, Bret B. Kreh

Theses and Dissertations

This work investigates the role that the beam-plasma instability may play in a thermionic converter. The traditional assumption of collisionally dominated relaxation is questioned, and the beam-plasma instability is proposed as a possible dominant relaxation mechanism. Theory is developed to describe the beam-plasma instability in the cold-plasma approximation, and the theory is tested with two common Particle-in- Cell (PIC) simulation codes. The theory is first confirmed using an unbounded plasma PIC simulation employing periodic boundary conditions, ES1. The theoretically predicted growth rates are on the order of the plasma frequencies, and ESl simulations verity these predictions within the order of …


Measurement Of N2+ Mobility In He Via Fourier Transform Emission Spectroscopy, Patrick D. Kee Dec 1994

Measurement Of N2+ Mobility In He Via Fourier Transform Emission Spectroscopy, Patrick D. Kee

Theses and Dissertations

Recently, Hong and Miller used Fourier Transform Emission (FTE) spectroscopy to determine the N2+ mobility in helium by relating the observed Doppler shift of the N2+ (B-X) transition to the measured electric field in the discharge as determined by probes. In order to establish the technique in-house, this effort duplicated that experiment and investigated the sensitivity and utility of the method. Doppler shift measurements in this experiment disagreed significantly with those reported by Hong and Miller. Attempts to reduce the data (and thus determine the mobility) using a model developed by Hong and Miller were unsuccessful. …


Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Larch Perspective, Catherine J. Lin Dec 1994

Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Larch Perspective, Catherine J. Lin

Theses and Dissertations

This research describes the feasibility of developing object-oriented LARCH specifications, part of a dual approach for formally extending object-oriented analysis models using LARCH and Z. The first phase consisted of two steps establishing a set of transformation heuristics for algebraically representing object models and implementing a robust LARCH parser. The LARCH parser produced abstract syntax trees ASTs of objects forming the basis for analyzing the similarities and differences between Z-based and LARCH-based object representations. The second phase used the analysis of LARCH and Z to identify fundamental core constructs in the languages and abstract syntax trees. These core constructs consisted …


Next Generation Real-Time Systems: Investigating The Potential Of Partial-Solution Tasks, Robert E. J. Caley Dec 1994

Next Generation Real-Time Systems: Investigating The Potential Of Partial-Solution Tasks, Robert E. J. Caley

Theses and Dissertations

While the cyclic executive and fixed-priority scheduling strategies have been sufficient to handle traditional real- time requirements. they are insufficient for dealing with the complexities of next-generation real-time systems. New methods of intelligent control must be developed for guaranteeing on-time task completion for real-time systems that are faced with unpredictable and dynamically changing requirements. Implementing real-time processes as partial-solution tasks is one technique that may be beneficial. This type of task. when combined with intelligent control, has the potential for increasing pre-runtime schedulability, system maintainability. and runtime robustness. This research investigates the benefits of partial-solution tasks by experimentally measuring the …


Embedology And Neural Estimation For Time Series Prediction, Robert E. Garza Dec 1994

Embedology And Neural Estimation For Time Series Prediction, Robert E. Garza

Theses and Dissertations

Time series prediction has widespread application, ranging from predicting the stock market to trying to predict future locations of scud missiles. Recent work by Sauer and Casdagli has developed into the embedology theorem, which sets forth the procedures for state space manipulation and reconstruction for time series prediction. This includes embedding the time series into a higher dimensional space in order to form an attractor, a structure defined by the embedded vectors. Embedology is combined with neural technologies in an effort to create a more accurate prediction algorithm. These algorithms consist of embedology, neural networks, Euclidean space nearest neighbors, and …


Frame Selection Performance Limits For Statistical Image Reconstruction Of Adaptive Optics Compensated Images, Stephen D. Ford Dec 1994

Frame Selection Performance Limits For Statistical Image Reconstruction Of Adaptive Optics Compensated Images, Stephen D. Ford

Theses and Dissertations

The U.S. Air Force uses adaptive optics systems to collect images of extended objects beyond the atmosphere. These systems use wavefront sensors and deformable mirrors to compensate for atmospheric turbulence induced aberrations. Adaptive optics greatly enhance image quality; however, wavefront aberrations are not completely eliminated. Therefore, post-detection processing techniques are employed to further improve the compensated images. Typically, many short exposure images are collected, recentered to compensate for tilt, and then averaged to overcome randomness in the images and improve signal-to-noise ratio. Experience shows that some short exposure images in a data set are better than others. Frame selection exploits …


Factors In Human-Computer Interface Design (A Pilot Study), Susan Stewart Dec 1994

Factors In Human-Computer Interface Design (A Pilot Study), Susan Stewart

Theses and Dissertations

The DoD has budgeted over $9.8 billion for 1995 for information technology, yet many government office workers let their existing systems sit idle. This thesis explores why these computers are sitting idle. This researcher's initial hypothesis was that certain features of the human-computer interface can positively or negatively affect efficiency, retention, and satisfaction level of workers. Although some research is being done in this area, interfaces continue to be of poor quality, especially in the DoD, where long procurement cycles, forced purchases, and limited budgets result in out-of-date software. Intuitively most programmers know the human-computer interface impacts on a person's …


Improving Intrusion Detection In Unix-Based Networks, David R. Landry Dec 1994

Improving Intrusion Detection In Unix-Based Networks, David R. Landry

Theses and Dissertations

Computer security has not kept pace with the rapid growth of networked systems. Through its connection to the Internet, the Department of Defense is vulnerable to computer-based attacks. Current intrusion detection systems are still unproven, too complicated, or too costly for most system security officers to implement. The attack methods used by system intruders are known and can be represented as groups of commands called attack signatures. This thesis investigates methods for detecting intruders by monitoring command usage. Testing was conducted in both controlled and uncontrolled circumstances. With controlled testing, it was shown that 7 of the 11 signatures could …


A General Object Model Transformation System, John P. Mullaney Dec 1994

A General Object Model Transformation System, John P. Mullaney

Theses and Dissertations

Cecil and Fullenkamp developed a program that transforms knowledge captured in an object-model in one environment into a different object-model in a different environment. This program worked well for the intended purpose, but if one of the object-models is replaced by a different object-model then this transformation program has to be re-engineered. As the object-modeling paradigm becomes more prevalent, many systems are experiencing this problem. The primary goal of this research was to determine what reusable knowledge could be extracted from these types of program and used to build a general object-model transformer that generalizes such transformation programs. Toward this …


Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Z Perspective, Kathleen M. Wabiszewski Dec 1994

Unification Of Larch And Z-Based Object Models To Support Algebraically-Based Design Refinement: The Z Perspective, Kathleen M. Wabiszewski

Theses and Dissertations

This research established a foundation for formalizing the evolution of based object models to theories, part of a dual approach for formally extending object-oriented analysis models using the Z and LARCH languages. For the initial phase, a comprehensive, consistent, and correct Z language parser was implemented within the SOFTWARE REFINERY™ Programming Environment. The Z parser produced abstract syntax trees (ASTs) of objects, thereby forming the basis for analyzing the similarities and differences between the based and LARCH-based object representations. The second phase used the analysis of the two languages to identify fundamental core constructs that consisted of similar syntactic and …


A Comparison Of Error Categorization Schemes For Use In Software System Safety Programs, Richard Escobedo, Jim Thomas Dec 1994

A Comparison Of Error Categorization Schemes For Use In Software System Safety Programs, Richard Escobedo, Jim Thomas

Theses and Dissertations

Software safety is becoming increasingly important in the development of DoD advanced weapon systems. To make software safer, hazard conditions must be avoided along with the errors that accompany them. The first step in identifying errors is classifying error data. The area of software error classification is not as advanced as other software development areas. The technical literature lacks examples of comprehensive taxonomies that can be applied to various computer software domains and applications. The predominant approach is to organize errors into categories particular to the program currently in work. The typical error scheme is made of narrow categories that …


Feasibility Exploration Of Throughfold As A Predictor For Target Loading And Associated Error Bounds, Kris G. Rongone Dec 1994

Feasibility Exploration Of Throughfold As A Predictor For Target Loading And Associated Error Bounds, Kris G. Rongone

Theses and Dissertations

Various applications of the Fredholm integral equation appear m different fields of study. An application of particular interest to the Air Force arises in determination of target loading from nuclear effects simulations. Current techniques first unfold the incident spectrum then determine target loading; resulting spectrum and loading are assumed exact. This study investigates the feasibility of a new method, through-fold, for directly determining defensible error bounds on target loading. Through-fold uses a priori information to define input data and represents target response with a linear combination of instrument responses plus a remainder to derive a quadratic expression for exact target …


Predicting Protein Structure Using Parallel Genetic Algorithms, George H. Gates Jr. Dec 1994

Predicting Protein Structure Using Parallel Genetic Algorithms, George H. Gates Jr.

Theses and Dissertations

The protein folding problem is a biochemistry Grand Challenge problem. The challenge is to reliably predict natural three-dimensional structures of polypeptides. Genetic algorithms (GAs) are robust, semi-optimal search techniques modeling natural evolutionary processes. Fast messy GAs (fmGAs) are variants of messy GAs that reduce the exponential time complexity to polynomial. This investigation evaluates the merits of parallel SGAs and fmGAs for minimizing the potential energy of a pentapeptide, (Met)-enkephalin. AFIT's energy model is compared to a similar model in a commercial package called QUANTA. Differences between the two models are identified and resolved to enhance GAs' abilities to correctly fold …


Designing And Implementing An Ada Language Binding Specification For Odmg-93, Stephen R. Lindsay Dec 1994

Designing And Implementing An Ada Language Binding Specification For Odmg-93, Stephen R. Lindsay

Theses and Dissertations

Object-oriented database management systems (ODBMSs) represent the latest advancement in database technology, combining the reusability and maintainability of the object-oriented programming paradigm with the ability to efficiently store and retrieve a wide range of data types as well as code to manipulate stored data. Unfortunately, programmers developing software in the Ada programming language do not have the ability to interface to object databases without significant customized code development. One important reason for this has been the absence of a standard defining the constructs accessing ODBMS functionality. This thesis documents the creation of an Ada language binding to the ODMG-93 standard …


Modeling Workload Effectiveness And Efficiency Of Air Force Wing Command And Control, Michael D. Sarchet Dec 1994

Modeling Workload Effectiveness And Efficiency Of Air Force Wing Command And Control, Michael D. Sarchet

Theses and Dissertations

This research investigated the feasibility of applying software engineering technology to the Air Force wing command and control (C2) domain. As part of this research, domain analysis and object-oriented techniques were investigated and a specific approach was chosen to analyze the domain. Analysis of the domain resulted in an object-oriented domain model that captured the key objects, operations, and associations of wing C2. The domain model was used to design and implement a prototype software tool that enables wing decision makers to make assessments about automation's impact on wing C2 operations.


Multiple Model Adaptive Estimation And Head Motion Tracking In A Virtual Environment: An Engineering Approach, James E. Russell Dec 1994

Multiple Model Adaptive Estimation And Head Motion Tracking In A Virtual Environment: An Engineering Approach, James E. Russell

Theses and Dissertations

Software engineering tools and techniques were applied to design and implement an application that reduces lag typically present in virtual environment displays. The application was a Multiple Model Adaptive Estimator (MMAE), composed of three Kalman filters, that predicted head orientation one sample period into the future. The environment rendering software used these predictions to generate the environment display. Each of the filters in the MMAE was designed for a different assumed head motion type (benign, moderate, or heavy), which allowed the MMAE to adapt to changes in head movement characteristics. The use of Ada 9X as an implementation language for …


Survey And Implementation Of Commercial Manual Controllers For A Generic Telerobotics Architecture, Thomas E. Deeter Dec 1994

Survey And Implementation Of Commercial Manual Controllers For A Generic Telerobotics Architecture, Thomas E. Deeter

Theses and Dissertations

The purpose of this study is to determine an input device for the Air Force's generic telerobotics architecture for large aircraft maintenance and repair. One area of concern is the human to machine interface, more specifically, which manual controller should be used for the specified tasks in this architecture. We mailed a survey to 68 companies in order to compile a list of possible input devices that the telerobotics architecture could use. 32 companies responded which gave me enough data to generate a list that described the physical traits of the input devices. We then divided the required tasks into …


Image Perception Wavelet Simulation And Enhancement For The Visually Impaired, Lemuel Ray Myers Jr. Dec 1994

Image Perception Wavelet Simulation And Enhancement For The Visually Impaired, Lemuel Ray Myers Jr.

Theses and Dissertations

This research delves into the area of image enhancement for the visually impaired. Binocular macular degeneration a visual impairment, affects many Americans; since this condition could not be corrected with conventional glasses the literature suggested using an enhancement system which used a pre-emphasis algorithm to enhance the input image for output to the observer. The work of Dr. Eli Peli, a pioneer in the field of image enhancement, is examine and reproduced. Since his work concentrated mainly on frequency analysis of images, the bulk of this research involves using discrete wavelet analysis to augment that work. A biorthogonal wavelet set …


Tracking And Impact Prediction Of Earth-Crossing-Objects (Ecos) On A Collision Course With Earth, Gregory A. Bishop Dec 1994

Tracking And Impact Prediction Of Earth-Crossing-Objects (Ecos) On A Collision Course With Earth, Gregory A. Bishop

Theses and Dissertations

This study investigated the effectiveness of Earth-based angles only observations in determining the orbit of various hypothetical Earth-Crossing-Objects (ECOs). 'True' trajectories were simulated specifically for Earth-Crossing- Comets (ECCs) by numerically integrating in a Restricted Three Body system. Starting at Earth impact points, the state vectors were reverse-propagated" to a proposed detection time. Observations (obs), with state-of-the-art accuracy, were then simulated with error induced by a Gaussian random number generator; these were used in a least- squares differential corrector to estimate the positions of the ECOs. State vectors and covariance matrices were then propagated to the impact times and axis lengths …


Flow Visualization Of A Turbulent Shear Flow Using An Optical Wavefront Sensor, Daniel W. Jewell Dec 1994

Flow Visualization Of A Turbulent Shear Flow Using An Optical Wavefront Sensor, Daniel W. Jewell

Theses and Dissertations

The research reported here investigated the use of a shearing interferometer (SI) wavefront sensor to determine the effects of shear-layer turbulence on an optical wavefront. A collimated helium-neon laser beam was propagated through a plane shear-layer produced by mixing helium and nitrogen at different velocities. Since the gases have different indices of refraction, the optical wavefront was distorted by different amounts by each gas. The SI measured the wavefront slope across the sampled area of the wavefront. The shear-layer was viewed from two orthogonal directions. This document contains shadow graphs, interference patterns imaged by each of the SI's six cameras, …


Computing Norad Mean Orbital Elements From A State Vector, Dwight E. Andersen Dec 1994

Computing Norad Mean Orbital Elements From A State Vector, Dwight E. Andersen

Theses and Dissertations

NORAD maintains and disseminates mean orbital elements on Earth-orbiting satellites in the form of Two-Line Element Sets (TLE). Five mathematical propagator models were developed for NORAD's use to predict the position and velocity using TLEs. This study investigated two approaches, Newton's method and direct iteration, to inverting this process by iterating to obtain NORAD-compatible mean orbital elements from a position and velocity state vector and the drag term. The Newton's iteration method was developed but not tested. The less computationally intensive direct iteration method was developed, coded in FORTRAN, and tested. The initial guess and subsequent corrections in the iterative …


A Correlational Study Of The Sei's Capability Maturity Model And Software Development Performance In Dod Contracts, Robert M. Flowe, James B. Thordahl Dec 1994

A Correlational Study Of The Sei's Capability Maturity Model And Software Development Performance In Dod Contracts, Robert M. Flowe, James B. Thordahl

Theses and Dissertations

The Software Engineering Institute's (SEl's) Capability Maturity Model (CMM) is to measure an organization's software development process maturity. The Department of Defense (DoD) has model with the belief that a more mature software development process will result in a more successful software subject. Although there is a growing body of anecdotal evidence supporting this presumed correlation, there is empirical evidence. Thus, the goal of our research was to determine the nature of the correlation, if any, :ware process maturity and software project success, where process maturity is based on a CMM rating and success based on the parameters of cost …


Detecting Alpha Particles Through Scintillation In Porous Materials, Martin E. Keillor Dec 1994

Detecting Alpha Particles Through Scintillation In Porous Materials, Martin E. Keillor

Theses and Dissertations

This thesis presents the results of a preliminary study of parameters essential to the development of a scintillation flow-cell detector with improved characteristics over existing cells. Such a detector with better than 10% alpha energy resolution could provide in situ capability to detect and identify important alpha-emitting radionuclides in dilute aqueous solutions. Gel-silica is a potential candidate that may provide the needed improvement in resolution while maintaining 100% detection efficiency; however, gel-silica with useful light output is yet to be developed. As a step toward realizing the system described, the dependence of alpha detection efficiency and intrinsic energy resolution on …


Multispectral Detection Of Ground Targets In Highly Correlated Backgrounds, Jason E. Thomas Dec 1994

Multispectral Detection Of Ground Targets In Highly Correlated Backgrounds, Jason E. Thomas

Theses and Dissertations

Multispectral detection methods attempt to discriminate targets in a dominant clutter background using multiple images of the same real-world scene taken in different narrow spectral bands in the infrared. Detection is possible due to the empirically observed phenomenon that the radiance of man-made objects, such as a tank or truck, often lies off the main spectral correlation axis of that of natural backgrounds. Radiometric measurements of several vehicles and a tree canopy background taken over three days in June. 1994 were used to examine the factors affecting multispectral detection. Results clearly showed that the processes which provide for higher spectral …


Generation Of A Single-Lobe, Far-Field Intensity Pattern From A Laser Diode Array Using An Optical Delay Line, Thomas A. Summers Dec 1994

Generation Of A Single-Lobe, Far-Field Intensity Pattern From A Laser Diode Array Using An Optical Delay Line, Thomas A. Summers

Theses and Dissertations

A simple and practical technique is demonstrated to generate a stable, single-lobe, far-field intensity pattern from a one-dimensional, antiphased, laser diode array with gain-guided elements. The two far-field lobes of the array are combined after introducing an optical delay line into the path of one of the lobes to make the lobes mutually incoherent. The incoherent superposition of intensities produces a near-diffraction-limited, single-lobe, far-field intensity pattern containing 84% of the power, exceeding any previous (known) phase control experiments. This technique compares favorably with more elaborate schemes advanced previously using integrated phase plates, etc. The method is directly applicable to one-dimensional …


Artificially Intelligent Air Combat Simulation Agents, Daniel E. Gisselquist Dec 1994

Artificially Intelligent Air Combat Simulation Agents, Daniel E. Gisselquist

Theses and Dissertations

The Advanced Research Projects Agency (ARPA), in an effort to improve military simulations, has proposed a standard for Distributed Interactive Simulation (DIS). This network protocol will allow dissimilar applications to communicate simulation information. In the field of air combat, this will allow pilots in remote simulators to fly in a common simulation. The success of this standard is dependent on applications being able to work within that standard, as well as a large variety of Computer Generated Forces (CGFs) to complement interactive forces. CGFs are needed to help simulate the large combat scenarios that can only occur in wartime. By …


The Photo-Realistic Afit Virtual Cockpit, Milton E. Diaz Dec 1994

The Photo-Realistic Afit Virtual Cockpit, Milton E. Diaz

Theses and Dissertations

The Air Force Institute of Technology (AFIT) has pursued research in virtual environments since 1988. This research expands the current capabilities of the AFIT Virtual Cockpit (VC) by increasing the realism of the cockpit environment and improving the pilot's command interface. Realism is improved creating console elements from texture maps and polygonal models; these elements include working dials, switches and circuit breakers. The pilot command interface is improved in part by adapting the AFIT Information Pod using a two-dimensional mouse input to the virtual three-dimensional environment. This immersive virtual environment is also improved by modifications to the Head Mounted Display …