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

Physical Sciences and Mathematics Commons

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

2000

Air Force Institute of Technology

Discipline
Keyword

Articles 1 - 30 of 63

Full-Text Articles in Physical Sciences and Mathematics

Computer-Based Methods For Constructing Two-Level Fractional-Factorial Experimental Designs With A Requirement Set, Steven L. Forsythe Dec 2000

Computer-Based Methods For Constructing Two-Level Fractional-Factorial Experimental Designs With A Requirement Set, Steven L. Forsythe

Theses and Dissertations

This dissertation developed four methodologies for computer-aided experimental design of two-level fractional factorial designs with requirement sets (DOE/RS). The requirement sets identify all the experimental factors and the appropriate interaction terms to be evaluated in the experiment. Taguchi graphs and similar manual methods provide techniques for solving the DOE/RS problem. Unfortunately, these methods are limited because they become difficult to use as the number of factors or interaction terms exceeds ten. This research showed that the DOE/RS problem belongs to a class of difficult-to-solve problems known as NP-Complete. It is the combinatorial nature of NP-Complete problems that causes them to …


Algorithm Development For On-Line Control Of The Airborne Laser, Michael W. Oppenheimer Sep 2000

Algorithm Development For On-Line Control Of The Airborne Laser, Michael W. Oppenheimer

Theses and Dissertations

The use of adaptive optics entails the design of a controller. This requires the development of a model of the plant to be controlled, which, in this case, Consists of the atmosphere through which light is traveling. In optics, Zemike polynornials are used as a basis set for the expansion of wavefront phase distortions. Due to the turbulence induced stochastic nature of the underlying process involved, the spatial-temporal correlation functions of the Zemike polynomial phase expansion coefficients must be evaluated if a proper stochastic model of the plant is to be developed and adaptive optics is to be employed. In …


Validation And Verification Of Formal Specifications In Object-Oriented Software Engineering, Steven A. Thomson Sep 2000

Validation And Verification Of Formal Specifications In Object-Oriented Software Engineering, Steven A. Thomson

Theses and Dissertations

The use of formal specifications allows for a software system to be defined with stringent mathematical semantics and syntax via such tools as propositional calculus and set theory. There are many perceived benefits garnered from formal specifications, such as a thorough and in-depth understanding of the domain and system being specified and a reduction in user requirement ambiguity. Probably the greatest benefit of formal specifications, and that which is least capitalized upon, is that mathematical proof procedures can be used to test and prove internal consistency and syntactic correctness in an effort to ensure comprehensive validation and verification (V&V). The …


An Improved Algorithm For Translating Relational Schemas Into An Object Model, Joseph C. Pearson Jun 2000

An Improved Algorithm For Translating Relational Schemas Into An Object Model, Joseph C. Pearson

Theses and Dissertations

Today's war fighter is inundated with data from numerous Command, Control, Communications and Computers and Intelligence systems. Integration of these systems is desirable, yet integration results in a static solution to a dynamic problem-by the time a global schema can be devised, it is out of date. Automating schema integration will mitigate this problem, but data model disparity must be addressed via translation to a common data model prior to integration. To address this requirement, this thesis presents an improved, relational to object-oriented schema translation algorithm, which is derived from a base algorithm proposed by another research effort. The improved …


An Analysis Of The Effectiveness Of A Constructive Induction-Based Virus Detection Prototype, Kevin T. Damp Apr 2000

An Analysis Of The Effectiveness Of A Constructive Induction-Based Virus Detection Prototype, Kevin T. Damp

Theses and Dissertations

Computer viruses remain a tangible threat to systems both within the Department of Defense and throughout the greater international data communications infrastructure on which the DoD increasingly depends. This threat is exacerbated continually, as new viruses are introduced at an alarming rate by the growing collection of connected machines and their operators. Unfortunately, current antivirus solutions are ill-equipped to address these issues in the long term. This thesis documents an investigation into the use of constructive induction, a form of machine learning, as a supplemental antivirus technique theoretically capable of detecting previously unknown viruses through generalized decision-making techniques. A group …


A Comparative Analysis Of Proposed Mobility Support Schemes For Ip Multicast, Alexander Muller Jr. Apr 2000

A Comparative Analysis Of Proposed Mobility Support Schemes For Ip Multicast, Alexander Muller Jr.

Theses and Dissertations

This thesis introduces a novel mobile multicast transmission mechanism called Minimal Multicast Encapsulation. Additionally, this thesis analyzes the performance of mobility support schemes for IP multicast. Specifically, it compares the performance of combinations of two receive mechanisms and two transmit mechanisms. The receive mechanisms are the Internet Engineering Task Force (IETF) bi-directional tunneling mechanism and the IETF remote subscription mechanism. The transmit mechanisms are the IETF home tunneling mechanism and the Minimal Multicast Encapsulation. The performance analysis consists of examining path efficiencies, packet loss rates, and required mobility agent throughputs for each of the four possible combinations of the aforementioned …


Validation Of The Ionospheric Forecast Model (Ifm) Version 3, Michael D. Scott Mar 2000

Validation Of The Ionospheric Forecast Model (Ifm) Version 3, Michael D. Scott

Theses and Dissertations

The purpose of this research was to validate the Ionospheric Forecast Model (IFM) Version 3 to assess its suitability and usefulness as an operational tool. The Ionospheric forecast model is a first principles computer model designed to forecast the state of the global ionosphere to 24 hours. The scope was limited to a comparison of the F2 layer critical frequency (foF2) and peak electron density (hmF2) against observed ionosonde data. The model was run with global solar and geomagnetic indices and Information from Digitial Ionospheric Sounding System (DISS) observations as inputs. The DISS observations were input through the Parameterized Real-Time …


Analysis Of The Air Force Iso 14001 Pilot Study Conducted By Dod, Rodney C. Harris Mar 2000

Analysis Of The Air Force Iso 14001 Pilot Study Conducted By Dod, Rodney C. Harris

Theses and Dissertations

The Department of Defense (DoD) conducted an ISO 14001 pilot study with the primary goal of determining how ISO 14001 could help DoD organizations reduce risks, improve compliance with environmental regulations, enhance stewardship, contain costs, and meet emerging regulatory requirements. This thesis analyzed the pilot study, specifically looking at the ISO 14001 implementation at three Air Force installations participating in the study. The research objectives were to identify factors that affect implementation of ISO 14001, compare the implementation strategies used by the bases, and develop propositions for Air Force managers to consider when implementing ISO 14001. Interviews of key personnel, …


Finite Element Model Updating Using Antiresonant Frequencies, Keith W. Jones Mar 2000

Finite Element Model Updating Using Antiresonant Frequencies, Keith W. Jones

Theses and Dissertations

The applications of antiresonant frequencies to finite element (FE) model updating are few and usually limited to numerical examples. This work uses antiresonant frequencies in the model updating of an experimental structure and analyzes the physical correctness of the updated model by using it to detect damage. Antiresonant frequencies were used in the FE model updating of a six-meter aluminum truss. The model used rigid links to model welded and bolted joints. Rigid link dimensions were used as parameters in an iterative update based on eigenvalue and antiresonance sensitivities. The first update used 11 natural frequencies and 21 antiresonant frequencies …


Tunable Mid-Ir Optical Parametric Oscillator Using Periodically Poled Rubidum Titanyl Arsenate, Frank J. Glavic Mar 2000

Tunable Mid-Ir Optical Parametric Oscillator Using Periodically Poled Rubidum Titanyl Arsenate, Frank J. Glavic

Theses and Dissertations

Tunable sources of coherent radiation are needed for a variety of military and commercial applications, including infrared countermeasures and atmospheric remote sensing. This research investigates a tunable mid-infrared coherent source using periodically-poled rubidium titanyl arsenate (PPRTA) as a quasi-phase matched (QPM) optical parametric oscillator (OPO). The advantages of PPRTA over periodically poled lithium niobate (PPLN) are presented. Quasi-phase matching and periodic poling theory are discussed, along with some important historical results and current developments. Experimental setups for determining threshold, conversion efficiency, pump depletion, and beam quality are presented along with experimental results. The research effort is focused on characterizing PPRTA …


A Method Of Focusing The Attention Of The Decision-Maker On Uncertain Information, John F. Moesner Iv Mar 2000

A Method Of Focusing The Attention Of The Decision-Maker On Uncertain Information, John F. Moesner Iv

Theses and Dissertations

Military decision-makers need to be able to synthesize large amounts of information quickly and make accurate and timely decisions. However, all too often, when a decision-maker is bombarded with important information that has an uncertainty associated with it, that information is often neglected. One method of dealing with this type of information overload is through proper data orientation. By reducing the clutter of irrelevant information, the proportions of useful and relevant data can be increased. At the same time, the attention of the decision-maker is directed to the critical tasks or centers of gravity. The WATCHDOG Decision Support Tool is …


Mixed Layer Height Estimates – A Statistical Analysis Of Algorithm Performance, Lisa C. Shoemaker Mar 2000

Mixed Layer Height Estimates – A Statistical Analysis Of Algorithm Performance, Lisa C. Shoemaker

Theses and Dissertations

The Air Force Technical Applications Center (AFTAC) conducts dispersion transport modeling as part of their mission support for the United States Atomic Energy Detection System. Part of that modeling effort requires knowledge of the height of the mixed layer in the lower atmosphere to determine the vertical extent through which particulates can be distributed. The mixed layer can be estimated by analyzing atmospheric profiles of parameters obtained from observations (e.g., upper air soundings) or atmospheric models. Six mixed layer algorithms were evaluated: Gradient Richardson Number (RICH), Potential Temperature (POTEMP), Potential Instability Mixing Depth (PIMIX), and three variations of the PIMIX …


A Java Universal Vehicle Router In Support Of Routing Unmanned Aerial Vehicles, Robert W. Harder Mar 2000

A Java Universal Vehicle Router In Support Of Routing Unmanned Aerial Vehicles, Robert W. Harder

Theses and Dissertations

Unmanned Aerial Vehicles (UAVs) help the military gather information in times of peace and war. During a mission, typically 100 sites or more, a UAV will frequently be re-tasked to visit a pop-up threat, leaving the operator to determine the best way to finish the day's list of sites after the re-tasking. I develop a prototype application to serve the needs of a specific customer, the 11th Reconnaissance Squadron, by helping them preplan missions and dynamically re-task UAVs. This prototype application is built on a reusable airframe router called the core AFIT Router, which can later be added to more …


Testing Of The New Usgs K Index Algorithm At Bear Lake Observatory, Ariel O. Acebal Mar 2000

Testing Of The New Usgs K Index Algorithm At Bear Lake Observatory, Ariel O. Acebal

Theses and Dissertations

The K index was developed by Bartels in 1939 as an estimate of the level of geomagnetic activity caused by the Sun. This index was computed manually every three hours at geomagnetic observatories using the magnetic traces of the surface planetary magnetic field. In 1991, the International Association of Geomagnetism and Aeronomy approved four additional methods to compute the K index; all of them were computer algorithms. One of the approved methods, the Wilson code, recently underwent some modifications. The new algorithm is now part of a Windows-based computer program being developed by the United States Geological Survey (USGS). After …


Extracting Mission Semantics From Unmanned Aerial Vehicle Telemetry And Flight Plans, Walter T. Berridge Mar 2000

Extracting Mission Semantics From Unmanned Aerial Vehicle Telemetry And Flight Plans, Walter T. Berridge

Theses and Dissertations

With the acceptance of Unmanned Aerial Vehicles (UAVs) as a primary platform within the Department of Defense (DOD) for gathering intelligence data, the amount of video information being recorded, analyzed, and archived continues to grow. Mechanisms for quickly locating and retrieving video segments of interest amongst the many hours of recorded video are required to accommodate the rapid turnaround expected in today's wartime planning environments. This research demonstrates that text-based data accompanying UAV video yields sufficient information to identify and create data items that can be indexed to provide for rapid identification and retrieval of video segments of interest. Four …


Stochastic Modeling-Based Dgps Estimation Algorithm, James T. Broaddus Mar 2000

Stochastic Modeling-Based Dgps Estimation Algorithm, James T. Broaddus

Theses and Dissertations

A Kinematic Differential Global Positioning System (KDGPS) algorithm is developed. A number of mobile receivers is considered, one of which will be designated the reference station' which will have known position and velocity information at the beginning of the time interval examined. Satellite clock biases are used to model Selective Availability. The measurement situation on hand is properly modeled and a centralized estimation algorithm processing several epochs of data. The effect of uncertainty in the reference receiver's position and the level of receiver noise is examined. Monte Carlo simulations are performed to examine the ability of the algorithm to correctly …


An Analysis In Cloud-To-Ground Lightning Over Land Versus Water, Elizabeth A. Boll Mar 2000

An Analysis In Cloud-To-Ground Lightning Over Land Versus Water, Elizabeth A. Boll

Theses and Dissertations

Understanding lightning characteristics over land and water is vital to achieving optimal safety and success in Air Force missions. Lightning safety rules are often based on experience rather than a scientific understanding of lightning. Examining lightning characteristics over water and land will assist in a better understanding of lightning and provide answers that can protect human lives and property. Water and land have different compositions and surface conductivity values. A lightning stroke is detected through a change in the electro-magnetic field at the surface. The change in surface conductivity values from land to water can affect the detection of a …


Investigation Of Laser Beam Combining And Cleanup Via Seeded Stimulated Brillouin Scattering In Multimode Optical Fibers, Bryan J. Choi Mar 2000

Investigation Of Laser Beam Combining And Cleanup Via Seeded Stimulated Brillouin Scattering In Multimode Optical Fibers, Bryan J. Choi

Theses and Dissertations

The purpose of this thesis research was to determine if stimulated Brillouin scattering amplification in multimode optical fibers would exhibit the same laser beam combining and clean-up properties exhibited by SBS oscillation, and to characterize the Brillouin amplification process in a multimode optical fiber. Beam combining in multimode fibers via SBS is being considered as a method of combining low power laser beams into a single beam having higher power and superior spatial coherence for applications such as electro-optic countermeasures. Experimental results demonstrate seeding a 9.5 mm fiber significantly reduced the pump power required to initiate SBS. An amplified Stokes …


An Evaluation Of Microburst Prediction Indices For The Kennedy Space Center And Cape Canaveral Air Station (Ksc/Ccas), Steven N. Dickerson Mar 2000

An Evaluation Of Microburst Prediction Indices For The Kennedy Space Center And Cape Canaveral Air Station (Ksc/Ccas), Steven N. Dickerson

Theses and Dissertations

A wet-microburst event on 16 August 1994 at the Kennedy Space Center's Shuttle Landing Facility alerted forecasters from the 45th Weather Squadron (45WS), the provider of weather support to the Kennedy Space Center (KSC) and Cape Canaveral Air Station (CCAS), to the challenges of wet-microburst prediction. Although there was no operational impact, this event caused the 45WS to revise their severe thunderstorm forecasting procedures to specifically address microbursts, resulting in the locally developed Microburst-Day Potential Index (MDPI). MDPI provides a several-hour outlook of microburst potential based on the results of the Microburst and Severe Thunderstorm (MIST) project. The 45WS also …


Distributed Object System Engineering For Terminal Aerodrome Forecast Validation And Metrics Processing, James S. Douglas Mar 2000

Distributed Object System Engineering For Terminal Aerodrome Forecast Validation And Metrics Processing, James S. Douglas

Theses and Dissertations

Distributed object systems are a very complex intertwining of heterogeneous hardware, software, and operating systems coupled with communication networks of varying protocols and capacities. Distributed components offer improved performance through parallel processing, improved expansion and scalability opportunities through modularity, improved availability through replication, and improved resource sharing and interoperability through interconnection. This research provides a distributed system design methodology to validate terminal forecasts and gather metrics for the Air Force Weather Agency. Proven principles such as component reuse and architectural development are applied through the use of parameterized types and design patterns. A client/server measurement model is developed to show …


Modeling The Effect Of Nonlinear And Rate-Limited Sorption On The Natural Attenuation Of Chlorinated Ethenes, Peter P. Feng Mar 2000

Modeling The Effect Of Nonlinear And Rate-Limited Sorption On The Natural Attenuation Of Chlorinated Ethenes, Peter P. Feng

Theses and Dissertations

Chlorinated solvents like tetrachloroethene (PCE) and trichloroethene (TCE) are the most common detected groundwater contaminants at Department of Defense installations in the United States. Unfortunately, technologies conventionally used to remediate chlorinated solvent-contaminated groundwater often fall short of achieving regulatory goals. Natural attenuation of chlorinated solvents offers an alternative remediation strategy that may achieve goals. However, the processes involved with natural attenuation are not fully understood, and this lack of understanding has hindered acceptance of natural attenuation by regulatory agencies. This study involved use of a numerical model that incorporated the physical, chemical, and biological processes thought to be relevant to …


Global Positioning System (Gps) Error Source Prediction, Marcus G. Ferguson Mar 2000

Global Positioning System (Gps) Error Source Prediction, Marcus G. Ferguson

Theses and Dissertations

With the initiation of the navigation accuracy prediction algorithm used to estimate the amount of GPS solution (location and time) error for receivers, the capability to accurately predict solution errors due to the major GPS error sources is growing. Although some sources of error within the GPS solution have been previously analyzed, modeled, and/or accounted for within various modeling efforts, a formal evaluation of the seven major error sources that distort GPS activity has not been officially conducted up until this point. This research offers a logical assessment of all the major GPS error sources and their definitive impact on …


In Situ Treatment Of Chlorinated Ethene-Contaminated Groundwater Using Horizontal Flow Treatment Wells, Derek R. Ferland Mar 2000

In Situ Treatment Of Chlorinated Ethene-Contaminated Groundwater Using Horizontal Flow Treatment Wells, Derek R. Ferland

Theses and Dissertations

The limitations of conventional containment technologies for groundwater contaminated with chlorinated solvents have motivated development of innovative technologies to achieve national groundwater remediation objectives. One inn9vative technology that is currently under development involves metal reductants or catalysts to chemically destroy the dissolved chlorinated solvent. Models are important tools that can be used to help transition this technology to the field. Model studies can be used to gain understanding about the technology, help determine when the prospective technology might work for a given site, and design full-scale field applications.


A Group Theoretic Tabu Search Approach To The Traveling Salesman Problem, Shane N. Hall Mar 2000

A Group Theoretic Tabu Search Approach To The Traveling Salesman Problem, Shane N. Hall

Theses and Dissertations

The traveling salesman problem (TSP) is a combinatorial optimization problem that is mathematically modeled as a binary integer program. The TSP is a very important problem for the operations research academician and practitioner. This research demonstrates a Group Theoretic Tabu Search (GTTS) Java algorithm for the TSP. The tabu search metaheuristic continuously finds near-optimal solutions to the TSP under various different implementations. Algebraic group theory offers a more formal mathematical setting to study the TSP providing a theoretical foundation for describing tabu search. Specifically, this thesis uses the Symmetric Group on n letters, S(n), which is the set of all …


Active Multispectral Bidirectional Reflectance Distribution Function Measurement System, Mark J. Proctor Mar 2000

Active Multispectral Bidirectional Reflectance Distribution Function Measurement System, Mark J. Proctor

Theses and Dissertations

Today's highly technical battlefield environment dictates the need for a method of standoff target identification, which reduces risk to personnel and equipment. It is widely known that a given material will react differently to incident radiation than a dissimilar material. Certain materials may respond specularly while others tend to be diffuse. By measuring these responses, materials can be identified by comparison with a known database. One method of building such a database for target recognition is by employing an active multi spectral bidirectional reflectance distribution function (BRDF) measurement system. In the following text, such a system is developed and tested …


Knowledge Base Support For Design And Synthesis Of Multi-Agent Systems, Marc J. Raphael Mar 2000

Knowledge Base Support For Design And Synthesis Of Multi-Agent Systems, Marc J. Raphael

Theses and Dissertations

AgentTool is an AFIT-produced, AFOSR-sponsored multi-agent system (MAS) development tool intended for production of MASs that meet military requirements. This research focuses on enabling MAS design and synthesis tools like agentTool to store, retrieve, and filter persistent, reusable, and reliable agent domain knowledge. This "enabling" is vital if such tools are expected to produce consistent, maintainable, and verifiable agent applications on short timetables. Enabling requires: 1) modeling the agent knowledge domain, 2) designing and employing a persistent knowledge base, and 3) bridging that domain model to the knowledge base with an extensible domain interchange grammar. The achieved interchange grammar, called …


A Component Based Approach To Agent Specification, David J. Robinson Mar 2000

A Component Based Approach To Agent Specification, David J. Robinson

Theses and Dissertations

The Air Force, as well as all of industry, is currently faced with the problem of having to produce larger and more complex software systems that run efficiently and reliably as well as being extensible and maintainable. This research addresses this problem by developing a knowledge representation language that can be used to unambiguously specify and design software systems in a verifiable, efficient, and understandable manner. The language is a combination of object-oriented and component-based methodologies and makes use of both graphics and text to represent information. Although designed for the development of any type of software system, the language …


Improving The Analyst And Decision-Maker’S Perspective Through Uncertainty Visualization, Evan T. Watkins Mar 2000

Improving The Analyst And Decision-Maker’S Perspective Through Uncertainty Visualization, Evan T. Watkins

Theses and Dissertations

This thesis constructs the Taxonomy of Uncertainty and an approach for enhancing the information in decision support systems. The hierarchical categorization of numerous causes for uncertainty defines the taxonomy, which fostered the development of a technique for visualizing uncertainty. This technique is fundamental to expressing the multi-dimensional uncertainty that can be associated with any object. By including and intuitively expressing uncertainty, the approach facilitates and enhances intuition and decision-making without undue information overload. The resulting approach for enhancing the information involves recording uncertainty, identifying the relevant items, computing and visualizing uncertainty, and providing interaction with the selection of uncertainty. A …


Generating Executable Persistent Data Storage/Retrieval Code From Object-Oriented Specifications, Steven R. Buckwalter Mar 2000

Generating Executable Persistent Data Storage/Retrieval Code From Object-Oriented Specifications, Steven R. Buckwalter

Theses and Dissertations

This research creates a methodology and corresponding prototype for the transformation of object-oriented (OO) specifications to represent the corresponding relational schemas that are used to automatically generate database design language (DDL). The transformation design decisions and specifications are then used to generate database manipulation language (DML) that can be embedded within the software application code generated from the same OO specifications. This concept of developing a model for producing compilable and executable code from formal software specifications has long been a goal of software engineers. Previous research at the Air Force Institute of Technology (AFIT) has not focused on the …


An Object-Oriented Repository-Based Software Synthesis System, Gary L. Cornn Jr. Mar 2000

An Object-Oriented Repository-Based Software Synthesis System, Gary L. Cornn Jr.

Theses and Dissertations

This research provides a repository on which various Air Force Institute of Technology (AFIT) transformational software synthesis tools can store, share, and manage data using a common repository information model. This information model was created by integrating a variety of separately developed AFIT software synthesis object models into a "wide-spectrum" model. Additionally, a methodology for describing complex relationships between artifacts in the repository is described. These relationships can be used to relate software synthesis artifacts created in a variety of formats, including text, binary, and the AFIT Wide-Spectrum Object Modeling Environment (AWSOME) information model. The relationships can be exploited for …