Physical Sciences and Mathematics Commons^™

Inference Algorithm Performance And Selection Under Constrained Resources, Brett J. Borghetti

Theses and Dissertations

Knowing that reasoning over probabilistic networks is, in general, NP-hard, and that most reasoning environments have limited resources, we need to select algorithms that can solve a given problem as fast as possible. This thesis presents a method for predicting the relative performance of reasoning algorithms based on the domain characteristics of the target knowledge structure. Armed with this knowledge, the research shows how to choose the best algorithm to solve the problem. The effects of incompleteness of the knowledge base at the time of inference is explored, and requirements for reasoning over incompleteness are defined. Two algorithms for reasoning …

The Development Of A Scenario Translator For Distributed Simulations, Heon-Gyu Park

Theses and Dissertations

There exists a variety of simulation generation and analysis products which have differing purposes and functions designed to simulate a real military battlefield. Due to the particular purpose of each simulation it is impractical to use one scenario of a simulation directly with another simulation without a translator since there is no standard scenario format. In the current environment interoperability between simulations is becoming more important in large scale simulations and distributed exercises. The Scenario File Translator (SFT) provides an easy and accurate way to create a scenario from a heterogeneous simulation. The SFT can load and save the three …

Survivability Analysis Of The Iridium Low Earth Orbit Satellite Network, Douglas K. Stenger

Theses and Dissertations

This thesis evaluates the survivability of the proposed Iridium Low Earth Orbit (LEO) Satellite Network. In addition to the complete Iridium constellation, three degraded Iridium constellations are analyzed. This analysis occurs via the use of simulation models, which are developed to use three dynamic routing algorithms over three loading levels. The Iridium network models use a common set of operating assumptions and system environments. The constellation survivability was determined by comparing packet rejection rates, hop' counts, and average end to end delay performance between the various network scenarios. It was concluded that, based on the established scenarios, the proposed Iridium …

The John Muir Newsletter, Winter 1996/97, The John Muir Center For Regional Studies

Muir Center Newsletters (1981-2015)

Volume 7, Number 1 NEW °3> f\ND VARWIN God and Evolution in Nature by Shayne Zurilgen (Editor's note: The author, a senior in geology at the University of the Pacific, prepared this paper in the fall of 1996for an undergraduate history class, "JohnMuir and the Environment.") Ifred Lord Tennyson was looking into his microscope one day when he was moved to comment, "Strange that these wonders should draw some men to God and repel others."1 Tennyson was addressing the fervor surrounding Charles Darwin's theory of evolution by natural selection. While he didn't really identify anyone in particular, Tennyson conceivably could …

Elicitation Of Formal Software Specifications From An Object-Oriented Domain Model, Timothy Karagias

Theses and Dissertations

The ability to provide automated support for the generation of formal software specifications would lead to decreased software development time. By eliciting the needed information from a software developer and harvesting the proper parts of a domain model, a software specifications document could be created. This research establishes the feasibility of producing customized software specifications based on an object-oriented domain model. The research was conducted in three phases. The first phase was to define the requirements for the Elicitor Harvester. Those requirements were balanced between the capabilities of the existing Knowledge Based Software Engineering (KBSE) software used at AFIT and …

Molecular Articulation In Response To Interactive Atomic Forces In Docker, Todd R. Kellett

Theses and Dissertations

Molecular docking aids in the design of materials supporting the current and future needs of the warfighter by simulating the real-world results of combining molecules. Specifically, it supports research and development in novel non-linear optical materials for laser-hardening and other advanced optical applications. Potential uses for these materials range from personnel and optical system laser protection to holographic information displays. DOCKER, our baseline docking system, minimizes the computational overhead of the simulation by modeling the molecules as rigid objects. This simplification can cause DOCKER's solutions to disagree with the real-world results, because molecules flex as they react to one another …

Analysis And Simulation Of A New Code Tracking Loop For Gps Multipath Mitigation, Mark C. Laxton

Theses and Dissertations

This thesis proposes a new direct sequence spread spectrum (DS/SS) code phase tracking loop which mitigates the effects of multipath interference on code phase tracking error; such errors can translate to significant range measurement errors in DS/SS ranging systems such as Global Positioning System (GPS). The new code tracking loop, called the modified RAKE delay lock loop (MRDLL), uses maximum likelihood (ML) signal parameter estimation to determine the amplitude, carrier phase, and relative propagation delay of both a direct path and a reflected signal; a multiple correlator code phase tracking loop then exploits these ML signal estimates to remove the …

Electrical Characterization Of Intrinsic And Induced Deep Level Defects In Hexagonal Sic, James D. Scofield

Theses and Dissertations

Deep level defects in hexagonal SiC were studied using digital deep level transient spectroscopy (DLTS) methods over the temperature range of 100 to 800 deg K. New centers were found in bulk and epitaxial 6H-SiC with ionization energies between 0.38 to 1.3 eV, and levels from 0.2 to 0.856 eV were identified in 4H-SiC epitaxy. Direct correlation between inequivalent lattice sites was identified for energetic pairs associated with both vanadium and ion implanted Mg impurities. Nonradioative carrier capture mechanisms were studied and deep level trapping was found to proceed via lattice relaxation multi-phonon emission, indicating efficient electronic lattice coupling in …

Evaluation Of Segmentation For Bone Structures In 3d Rendering Of Ultrasound Residual Limb Images, Min C. Baker

Theses and Dissertations

Prosthetists today widely practice manual socket fitting, which produces subjective, inconsistent results. To address this problem, the Computerized Anthropometry Research and Design (CARD) Laboratory is developing a computer-aided socket design system that acquires ultrasound datasets of an amputee's residual limb, creates a 3D model, and helps identify load- bearing and pressure-relief areas. This research project focuses on providing 3D visualization of a residual limb to support the CARD Laboratory's efforts. Creating the 3D model of the skin and two bone contours requires two major steps: segmentation to identify the objects of interest and a surface tracking algorithm to generate the …

Requirements, Design, And Development Of A Rapidly Reconfigurable, Photo-Realistic, Virtual Cockpit Prototype, Terry A. Adams

Theses and Dissertations

The United States Air Force uses aircraft flight simulators for pilot training and mission rehearsal. They use a variety of simulators for this task ranging with prices ranging from $400,000 to $30,000,000. These simulators have specialized hardware that restricts reuse of their components and increases maintenance costs. Air Education and Training Command wants to reduce simulators cost and improve availability to the operational commands by supporting research in virtual reality flight simulators. This thesis looks at the development of a reconfigurable virtual cockpit in a distributed virtual environment that can be used for different aircraft as well as training scenarios. …

A Common Architecture For Simulation Viewing Over Multiple Protocol Environments, Glenn G. Jacquot

Theses and Dissertations

This study discusses an architecture used for displaying data results in a graphical format. This data is obtained via internet connection or from a direct connection to a battlefield simulator known as BattleSim. This architecture utilizes several graphics packages for displaying the output along with two different approaches to receiving commands from the user. Furthermore, the design was built to easily incorporate other graphics packages and communication protocols in order to increase its portability.

Analysis And Design Of Standard Telerobotic Control Software, Matthew L. June

Theses and Dissertations

The Robotics and Automation Center for Excellence (RACE) has defined an open telerobotics control architecture. This architecture, called the Unified Telerobotic Architecture Project (UTAP), is a proposed standard for all Air Force telerobotic systems. Implementation of UTAP will reduce the cost of robotic applications by increasing software modularity, portability, and reusability. This thesis continued the effort to prove the feasibility of UTAP. In December, 1995, 1st Lt Anchor implemented a portion of the UTAP specification on a PUMA robot. The UTAP-compliant controller exhibited some degradation in the system performance. However, the performance degradation was not fully measured. This thesis extended …

Utilizing Data And Knowledge Mining For Probabilistic Knowledge Bases, Daniel J. Stein Iii

Theses and Dissertations

Problems can arise whenever inferencing is attempted on a knowledge base that is incomplete. Our work shows that data mining techniques can be applied to fill in incomplete areas in Bayesian Knowledge Bases (BKBs), as well as in other knowledge-based systems utilizing probabilistic representations. The problem of inconsistency in BKBs has been addressed in previous work, where reinforcement learning techniques from neural networks were applied. However, the issue of automatically solving incompleteness in BKBs has yet to be addressed. Presently, incompleteness in BKBs is repaired through the application of traditional knowledge acquisition techniques. We show how association rules can be …

Simworx: An Ada Distributed Simulation Application Framework Supporting Hla And Dis, Earl C. Pilloud

Theses and Dissertations

This research consisted of the analysis, design, and implementation of a reusable application framework for distributed simulation which is compliant with both the DoD High Level Architecture (HLA) for Modeling and Simulation and the Distributed Interactive Simulation (DIS) standards. The goal was to create an Ada-based system for experimentation in distributed simulation. A subsidiary goal was to integrate the system with an existing Air Force Institute of Technology (AFIT) application framework for virtual simulations, Easy_Sim. The application framework was designed using object oriented techniques to enable experimenters to customize it via inheritance extension. The application framework, named SimWorx, consists of …

Speaker Recognition By Hidden Markov Models And Neural Networks, Erik J. Zeek

Theses and Dissertations

As humans, we develop the ability to identify people by their voice at an early age. Getting computers to perform the same task has proven to be an interesting problem. Speaker recognition involves two applications, speaker identification and speaker verification. Both applications are examined in this effort. Two methods are employed to perform speaker recognition. The first is an enhancement of hidden Markov models. Rather than alter some part of the model itself, a single-layer perceptron is added to perform neural post-processing. The second solution is the novel application of an enhanced Feature Space Trajectory Neural Network to speaker recognition. …

An Investigation Of Instantaneous Plume Rise From Rocket Exhaust, Paul F. Sand

Theses and Dissertations

Rocket launches at Vandenburg Air Force Base and Cape Canaveral Air Station produce exhaust clouds containing several toxic by-products, including HC1 and A12O3. These clouds rise to atmospheric stabilization heights, and then start dispersing and diffusing through the air. Upon reaching the ground, concentration levels of the toxins may present a human health risk. To predict these risks and concentration levels, range officials use a computer program titled the Rocket Effluent Exhaust Diffusion Model (REEDM). The version currently in use has been shown to underpredict the stabilization height of the exhaust cloud. This thesis examines the theory and algorithms used …

Mass Transport Of Volatile Organic Compounds Between The Saturated And Vadose Zones, Monte S. Harner

Theses and Dissertations

Volatile organic compounds (VOCs) dissolved in the saturated zone are transported into the vadose zone primarily by gaseous phase diffusion. If the saturated zone is remediated, VOCs present in the vadose zone may become a secondary source of contamination for the groundwater. The amount of VOCs that remain in the vadose zone is dependent on site hydrology, soil properties, and the chemical properties of the contaminants. The purpose of this study was to determine what conditions caused VOC concentrations in the vadose zone to significantly recontaminate the saturated zone. A one-dimensional numerical model was developed to investigate the transport of …

Development Of Object-Based Teleoperator Control For Unstructured Applications, Hyunki Cho

Theses and Dissertations

For multi-fingered end effectors in unstructured applications, the main issues are control in the presence of uncertainties and providing grasp stability and object manipulability. The suggested concept in this thesis is object based teleoperator control which provides an intuitive way to control the robot in terms of the grasped object and reduces the operator's conceptual constraints. The general control law is developed using a hierarchical control structure, i.e., human interface I gross motion control level in teleoperation control and fine motion control/object grasp stability in autonomous control. The gross motion control is required to provide the position/orientation of the Super …

Analysis Of Multimode Low-Probability-Of-Intercept (Lpi) Communications With Atmospheric Effects, Ala Ghordlo

Theses and Dissertations

This research expanded Low Probability of Intercept (LPI) communications analysis in two areas. First, multimode communication was included to account for ground to ground and air to ground links in addition to the standard air to air links traditionally used in LPI analysis. The propagation equations for the three modes of interest were derived and included in LPI analytic models in the form of a mode quality factor to account for multimode LPI scenarios. This new quality factor was used in studying several communication and interception link combinations. Variations due to differences between the communication and interception modes were presented …

Performance Analysis Of A Hartman Wavefront Sensor Used For Sensing Atmospheric Turbulence Statistics, Toby D. Reeves

Theses and Dissertations

Atmospheric turbulence parameters, such as Fried's coherence diameter, the outer scale of turbulence, and the turbulence power law, are related to the wavefront slope structure function (SSF). The SSF is defined as the second moment of the wavefront slope difference as a function of both time and position. Knowledge of the SSF allows turbulence parameters to be estimated. Hartmann wavefront sensor (H-WFS) slope measurements composed of both signal and noise, allow the SSF to be estimated by computing a mean square difference of H-WFS slope measurements. The quality of the SSF estimate is quantified by the signal-to-noise ratio (SNR) of …

Weighted Mahalanobis Distance For Hyper-Ellipsoidal Clustering, Khaled S. Younis

Theses and Dissertations

Cluster analysis is widely used in many applications, ranging from image and speech coding to pattern recognition. A new method that uses the weighted Mahalanobis distance (WMD) via the covariance matrix of the individual clusters as the basis for grouping is presented in this thesis. In this algorithm, the Mahalanobis distance is used as a measure of similarity between the samples in each cluster. This thesis discusses some difficulties associated with using the Mahalanobis distance in clustering. The proposed method provides solutions to these problems. The new algorithm is an approximation to the well-known expectation maximization (EM) procedure used to …

Estimation Of Satellite Orientation From Space Surveillance Imagery Measured With An Adaptive Optics Telescope, Gregory E. Wood

Theses and Dissertations

The use of the matched filter to automatically estimate the pose of a Low Earth Orbiting satellite from imagery taken with an adaptive optics telescope is explored. This work represents the first effort to solve the satellite pose estimation problem while considering the broad range of atmospheric turbulence levels and target visual magnitudes that are encountered in ground based space surveillance operations. Several Algorithms are examined in an effort to determine the performance bounds on the matched filter for this application. Results are given over an extremely wide range of seeing conditions. These results are weighted based on historical data …

A Domain Independent Framework For Developing Knowledge Based Computer Generated Forces, James L. Benslay Jr.

Theses and Dissertations

Computer Generated Forces (CGFs) are important players in Distributed Interactive Simulation (DIS) exercises. A problem with CGFs is that they do not exhibit sufficient human behaviors to make their use effective. The SOAR approach has yielded a human cognitive model that can be applied to CGFs, but this is extremely complex. The product of the research reported in this thesis is a much less complex behavioral framework for a CGF that is easy to validate, revise, and maintain. To support this, an existing, domain independent CGF architecture is discussed and applied to an experimental CGF. Techniques for modeling the knowledge …

A Specific Network Link And Path Likelihood Prediction Tool, Gary K. Moy

Theses and Dissertations

Communications have always been a crucial part of any military operation. As the pace of warfare and the technological complexity of weaponry have increased, so has the need for rapid information to assess battlefield conditions. Message passing across a network of communication nodes allowed commanders to communicate with their forces. It is clear that an accurate prediction of communication usage through a network will provide commanders with useful intelligence of friendly and unfriendly activities. Providing a specific network link and path likelihood prediction tool gives strategic military commanders additional intelligence information and enables them to manage their limited resources more …

Export Database Derivation Approach For Supporting Object-Oriented Wrapper Queries, Ee Peng Lim, Hon-Kuan Lee

Research Collection School Of Computing and Information Systems

Wrappers export the schema and data of existing heterogeneous databases and support queries on them. In the context of cooperative information systems, we present a flexible approach to specify the derivation of object-oriented (OO) export databases from local relational databases. Our export database derivation consists of a set of extent derivation structures (EDS) which defines the extent and deep extent of export classes. Having well-defined semantics, the EDS can be readily used in transforming wrapper queries to local queries. Based on the EDS, we developed a wrapper query evaluation strategy which handles OO queries on the export databases. The strategy …

Refined Genetic Algorithms For Polypeptide Structure Prediction, Charles E. Kaiser Jr.

Theses and Dissertations

Accurate and reliable prediction of macromolecular structures has eluded researchers for nearly 40 years. Prediction via energy minimization assumes the native conformation has the globally minimal energy potential. An exhaustive search is impossible since for molecules of normal size, the size of the search space exceeds the size of the universe. Domain knowledge sources, such as the Brookhaven PDB can be mined for constraints to limit the search space. Genetic algorithms (GAs) are stochastic, population based, search algorithms of polynomial (P) time complexity that can produce semi-optimal solutions for problems of nondeterministic polynomial (NP) time complexity such as PSP. Three …

Local Effects Of Solid Rocket Motor Exhaust On Stratospheric Ozone Concentrations, Brian K. George

Theses and Dissertations

Solid Rocket Motors (SRMs) power the initial flight of the Space Shuttle and Titan IV rocket. During those first two minutes after liftoff, the exhaust plumes from these motors emit large quantities of chlorine compounds and alumina particles into the atmosphere. For years scientists have argued that such a large chlorine input, injected directly into the stratosphere, would photochemically react with the surrounding air to cause significant ozone depletion. To answer the question of whether SRM exhaust causes a significant ozone depletion, Version 7 data from the Total Ozone Mapping Spectrometer (TOMS) instrument was analyzed for the 30 days prior …

Analysis Of Linkage-Friendly Genetic Algorithms, Laurence D. Merkle

Theses and Dissertations

Evolutionary algorithms (EAs) are stochastic population-based algorithms inspired by the natural processes of selection, mutation, and recombination. EAs are often employed as optimum seeking techniques. A formal framework for EAs is proposed, in which evolutionary operators are viewed as mappings from parameter spaces to spaces of random functions. Formal definitions within this framework capture the distinguishing characteristics of the classes of recombination, mutation, and selection operators. EAs which use strictly invariant selection operators and order invariant representation schemes comprise the class of linkage-friendly genetic algorithms (lfGAs). Fast messy genetic algorithms (fmGAs) are lfGAs which use binary tournament selection (BTS) with …

Algebraic Algorithm Design And Local Search, Robert P. Graham Jr.

Theses and Dissertations

Formal, mathematically-based techniques promise to play an expanding role in the development and maintenance of the software on which our technological society depends. Algebraic techniques have been applied successfully to algorithm synthesis by the use of algorithm theories and design tactics, an approach pioneered in the Kestrel Interactive Development System (KIDS). An algorithm theory formally characterizes the essential components of a family of algorithms. A design tactic is a specialized procedure for recognizing in a problem specification the structures identified in an algorithm theory and then synthesizing a program. Design tactics are hard to write, however, and much of the …

A Strategy For Distributed Relational Database Design, Ismail Omar Hababeh

Masters Theses

This thesis presents a strategy for the fragmentation and allocation of data in a distributed relational database. The strategy introduces a way to fragment and allocate data to accomplish the benefits of allocating each fragment independently for each site. Some fragments may be allocated to multiple sites in order to achieve some constraints such as availability, consistency, and integrity. The strategy is appropriate for different types of computers at various sites connected to a network, with different costs of retrieval, update, and communication.

To increase the system 1/0 performance, sites having similar communication costs are grouped into clusters to which …