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

Physical Sciences and Mathematics Commons

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

Air Force Institute of Technology

Discipline
Keyword
Publication Year
Publication
Publication Type

Articles 2521 - 2550 of 2678

Full-Text Articles in Physical Sciences and Mathematics

Frequency Domain Speech Compression Using The Karhunen-Loeve Transform, Donald W. Dryley Mar 1993

Frequency Domain Speech Compression Using The Karhunen-Loeve Transform, Donald W. Dryley

Theses and Dissertations

The purpose of this study was test the influence of phase on the quality of speech reproduced by a speaker dependent compression system. The tests consisted of compressing frequency domain speech vectors using the Karhunen-Loeve Transform, with and without phase, then making subjective judgements as to the reproduced quality. Error Metrics were then tested for their suitability as predictors of reproduced quality. The compression software transformed each speech vector into a vector of complex Fourier coefficients (only half of the coefficients are needed as transform is hermitian). Phase was preserved by using the real frequency components to form one vector …


An Immersive Synthetic Environment For Observation And Interaction With A Large Volume Of Interest, Rex G. Haddix Iii Mar 1993

An Immersive Synthetic Environment For Observation And Interaction With A Large Volume Of Interest, Rex G. Haddix Iii

Theses and Dissertations

This thesis addresses the initial development of a Synthetic Battlebridge System designed to provide the user with a synthetic three- dimensional view of moving and stationary vehicles dispersed over a hundred thousand cubic mile volume. The system contains provisions to allow a user to view the battlefield either in the Polhemus LookingGlass™ fiber optic based high resolution head mounted display, a standard CRT, or through the Fake Space Labs BOOM2M™ high resolution monochrome display. Users can also video tape a session in the Synthetic Battlebridge System. A voice recognition system provides user interaction to the Synthetic Battlebridge System. Using a …


Weapon System Integration For The Afit Virtual Cockpit, William E. Gerhard Jr. Jan 1993

Weapon System Integration For The Afit Virtual Cockpit, William E. Gerhard Jr.

Theses and Dissertations

The Air Force Institute of Technology is continuing research in the Virtual Cockpit. The Virtual Cockpit makes use of high performance graphics workstations, Virtual Environment technology, and Distributed Interactive Simulation network protocols to create a flight simulator based on the capabilities of the McDonnell Douglas F-15E Strike Eagle. The work presented in this thesis focuses on the design and implementation issues for integrating a weapons delivery capability. Weapons simulated include: RADAR and IR guided air- to-air missiles, gravity and precision guided bombs, and a 20mm cannon. Virtual Environment displays used include: color NTSC and monochrome high resolution helmet mounted displays …


Version And Transaction Management In Osmagic: An Object-Oriented Database Implementation Of The Magic Vlsi Layout Design Tool, Gary M. Lightner Dec 1992

Version And Transaction Management In Osmagic: An Object-Oriented Database Implementation Of The Magic Vlsi Layout Design Tool, Gary M. Lightner

Theses and Dissertations

The goal of this thesis was to study the feasibility of using an object-oriented database management system to provide the functionality and performance needed to support a complex computer-aided design tool. We do this by modifying OSMagic, a prototype system of the Magic very large scale integrated (VLSI) circuit design tool implemented on the ObjectStore object- oriented database management system. OSMagic was changed to support three different interfaces to ObjectStore and to work in a networking environment. We then designed and examined the use of version and transaction management models as a means of addressing the weaknesses of the prototype …


An Enhanced User Interface For The Saber Wargame, Donald R. Moore Dec 1992

An Enhanced User Interface For The Saber Wargame, Donald R. Moore

Theses and Dissertations

This thesis is part of an on-going effort by the Air Force Institute of Technology to develop a computer-based, theater-level wargame for the Air Force Wargaming Center at Maxwell AFB, AL. The wargame, Saber, is intended to augment the education the students receive at the Air War College and the Air Command and Staff College in the employment of air and ground power. This thesis documents the integrated design and implementation of the two components of the Saber user interface: the pre-processor and the post-processor. Although previous thesis students designed and implemented substantial portions of the user interface, a fully …


Remote Sensing Of Turbulence And Transverse Atmospheric Wind Profiles Using Optical Reference Sources, Steven C. Koeffler Dec 1992

Remote Sensing Of Turbulence And Transverse Atmospheric Wind Profiles Using Optical Reference Sources, Steven C. Koeffler

Theses and Dissertations

This thesis examines a remote sensing technique for measuring the atmospheric structure constant and the transverse atmospheric wind velocity as a function of altitude by performing temporal and spatial correlations of band pass filtered wave front slope sensor measurements. Two point sources are used to illuminate two pairs-of cc>-located wave front slope sensors. The sources and sensors are arranged to give rise to crossed optical paths. For each pair of wave front slope sensors, the output of the larger sensor is subtracted from the output of the smaller sensor. This band pass filters the smaller sensor's output. The filtered …


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

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 …


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

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 …


Power Analysis In Flexible Automation, Nathan A. Titus Dec 1992

Power Analysis In Flexible Automation, Nathan A. Titus

Theses and Dissertations

The performance of an automation or robotic device can be measured in terms of its power efficiency. Screw theory is used to mathematically define the task instantaneously with two screws. The task wrench defines the effect of the device on its environment, and the task twist describes the motion of the device. The tasks can be separated into three task types: kinetic, manipulative, and reactive. Efficiency metrics are developed for each task type. The output power is strictly a function of the task screws, while device input power is shown to be a function of the task, the device Jacobian, …


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

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.


Radar Cross Section Models For Limited Aspect Angle Windows, Mark C. Robinson Dec 1992

Radar Cross Section Models For Limited Aspect Angle Windows, Mark C. Robinson

Theses and Dissertations

This thesis presents a method for building Radar Cross Section (RCS) models of aircraft based on static data taken from limited aspect angle windows. These models statistically characterize static RCS. This is done to show that a limited number of samples can be used to effectively characterize static aircraft RCS. The optimum models are determined by performing both a Kolmogorov and a Chi-Square goodness-of-fit test comparing the static RCS data with a variety of probability density functions (pdf) that are known to be effective at approximating the static RCS of aircraft. The optimum parameter estimator is also determined by the …


Optimal Control Of The Starfire Beam Director, Troy V. Lanier Dec 1992

Optimal Control Of The Starfire Beam Director, Troy V. Lanier

Theses and Dissertations

The Starfire Beam Director (SBD) is located at the Starfire Optical Range at Kirtland Air Force Base in Albuquerque, New Mexico. The SBD capabilities include tracking celestial objects and active or passive tracking of artificial satellites to support the Phillips Laboratory Ground Based Laser Acquisition, Tracking, and Pointing (GBL ATP) program. The pointing and tracking accuracy needed to support such experiments is micron rad to sub-grad level. To accomplish this goal requires precise pointing of the massive 6 ton 1 -meter clear aperture coelostat. The purpose of this thesis is to use optimal control design techniques to develop a controller …


Spatial Partitioning Of A Battlefield Parallel Discrete-Event Simulation, Kenneth C. Bergman Dec 1992

Spatial Partitioning Of A Battlefield Parallel Discrete-Event Simulation, Kenneth C. Bergman

Theses and Dissertations

This thesis describes a method for spatially partitioning a battlefield into units known as sectors to achieve speedup two ways: through the reduction of each battlefield object's next event search space, and lowering the amount of message-passing required. Each sector is responsible for tracking and controlling access to all objects within its boundaries. A distributed proximity detection algorithm employing boundary-crossing events is used to control player movement between sectors. Each object's state information is replicated in all sectors it has sensor capability for the minimum time required; -this ensures that each object's next event is properly determined based upon interactions …


Examining A Layered Approach To Function And Design Representation For Reusable Software Components, Paul D. Siebels Dec 1992

Examining A Layered Approach To Function And Design Representation For Reusable Software Components, Paul D. Siebels

Theses and Dissertations

This effort examined ways to improve the effectiveness of reusable software libraries. The main area of investigation was in improving the user interface by finding better ways to present the software components to potential re-users. The first aspect which was considered was finding an effective representation for reusable software components. A set of criteria was developed for evaluating the effectiveness of software representations. The criteria consisted of generality, expressiveness, understandability, consistency, and resolution. The second aspect which was considered was how to present the software component information to the user to facilitate finding the appropriate component for reuse. A representation …


Object-Oriented Analysis, Design, And Implementation Of The Saber Wargame, David S. Douglass Dec 1992

Object-Oriented Analysis, Design, And Implementation Of The Saber Wargame, David S. Douglass

Theses and Dissertations

Saber is a two-sided, air and land war game that simulates decisions made of commanders at the theater-level. It is being developed by the Air Force Institute of Technology for the Air Force Wargaming center at Maxwell AFB, Alabama. Saber models conventional, chemical, and nuclear warfare between aggregated air and land forces. It also portrays the effects of logistics, satellites, weather, terrain, and intelligence which add to the realism of the Saber war game. The Saber war game has three main components, the preprocessor. which is responsible for scenario development and pregame activities, the simulation. the guts of the war …


A Vhdl Interpreter For Model-Based Diagnoses, David R. Griffin Dec 1992

A Vhdl Interpreter For Model-Based Diagnoses, David R. Griffin

Theses and Dissertations

Model-based reasoning permits diagnostic applications to be written without waiting for someone to become an 'expert' of the system. For model-based diagnostics, there must be a model to reason from. This thesis explores using a VHDL description of the system as that model. A system based around a VHDL interpreter was written specifically for a model-based diagnostic algorithm. Currently, the diagnostic system uses an algorithm by Dries. This algorithm was derived from Scarl's Full Consistency Algorithm. The system was designed to be modular so that different diagnostic techniques could be implemented. It is divided into three parts: a VHDL parser, …


An Intelligent Real-Time System Architecture Implemented In Ada, Michael A. Whelan Dec 1992

An Intelligent Real-Time System Architecture Implemented In Ada, Michael A. Whelan

Theses and Dissertations

Conventional real-time systems are fully deterministic allowing for off-line, optimal, task scheduling under all circumstances. Real-time intelligent systems add non-deterministic task execution times and non- deterministic task sets for scheduling purposes. Non-deterministic task sets force intelligent real-time systems to trade-off execution time with solution quality during run-time and perform dynamic task scheduling. Four basic design considerations addressing those tradeoffs have been identified: control reasoning, focus of attention, parallelism, and algorithm efficacy. Non-real- time intelligent systems contain an environment sensor, a model of the environment, a reasoning process, and a large collection of procedural processes. Real-time intelligent systems add to these …


Creating And Manipulating Formalized Software Architectures To Support A Domain-Oriented Application Composition System, Cynthia G. Anderson Dec 1992

Creating And Manipulating Formalized Software Architectures To Support A Domain-Oriented Application Composition System, Cynthia G. Anderson

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 its correctness before any programming language specific code is generated. Architect depends upon the existence of a formal object base (or domain model) which was investigated by another student in related research. The research described in this thesis relied on …


A Model For Determining Task Set Schedulability In The Presence Of System Effects, Rusty O. Baldwin Dec 1992

A Model For Determining Task Set Schedulability In The Presence Of System Effects, Rusty O. Baldwin

Theses and Dissertations

This research developed a parameterized model that accounts for system overhead and determines when an Ada runtime environment can no longer successfully execute a given Ada task set and still meet all deadlines. The Ada Compiler Evaluation Capability benchmark was used to characterize an actual runtime environment. Using that data, a generic model of a preemptive, rate monotonic priority based runtime system was developed which accounts for overhead due to clock updates, context switching, task suspension, and synchronization. Validation was based on the Hartstone benchmark. First, the benchmark was executed using, the actual runtime environment. Then, those results were compared …


Formalization And Transformation Of Informal Analysis Models Into Executive Refine™ Specifications, Mary M. Boom, Bradley D. Mallare Dec 1992

Formalization And Transformation Of Informal Analysis Models Into Executive Refine™ Specifications, Mary M. Boom, Bradley D. Mallare

Theses and Dissertations

This research developed and implemented an automated technique for translating informal specifications into formal, executable specifications. A unified Abstract Model (UAM) was developed to combine the information contained in Entity Relationship, State Transition, and Data Flow Models into a concise, object-based representation. The UAM forms the basis for defining a formal language, the Object Modeling Language (OML), used to capture the information contained in the UAM. By using OML, we were able to develop an automated translation process to convert informal specifications into executable, formal specifications. The Software Refinery Development Environment enabled us to easily develop a parser that translates …


Efficient Derivation And Approximations Of Cepstral Coefficients For Speech Coding, Kimberly A. Limcangco Dec 1992

Efficient Derivation And Approximations Of Cepstral Coefficients For Speech Coding, Kimberly A. Limcangco

Theses and Dissertations

A new formulation is presented for the calculation of cepstral coefficients directly from measured sine wave amplitudes and frequencies of speech waveforms. Approximations to these cepstral coefficients are shown to be suitable for operation in a real-time speech coding environment. These results were encoded in the C programming language and then evaluated through experiments that were conducted on the McAulay-Quatieri Sinusoidal Transform Coder (STC).


A Synthetic Environment For Satellite Modeling And Satellite Orbital Motion, David L. Pond Dec 1992

A Synthetic Environment For Satellite Modeling And Satellite Orbital Motion, David L. Pond

Theses and Dissertations

Analysts tasked to study satellites moving in space must often rely on photographs to conduct their analysis. Often these photographs do not adequately represent how satellites move in space, their spatial relationships, or their interaction with other satellites. What analysts need is a three- dimensional synthetic environment that depicts satellites as they actually move and interact in space. This thesis addresses the early development of the Satellite Modeler (SM), a system that allows analysts to study, satellite motion and maneuvering of computer aided design (CAD) models of those satellites in a three-dimensional orbit. The system contains equipment that allows analysts …


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

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 …


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

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 …


Design And Characterization Of Optically Pumped Vertical Cavity Surface Emitting Lasers, Richard J. Bagnell Dec 1992

Design And Characterization Of Optically Pumped Vertical Cavity Surface Emitting Lasers, Richard J. Bagnell

Theses and Dissertations

Vertical Cavity Surface Emitting Lasers (VCSELs) are a form of semiconductor laser which have their cavity oriented orthogonally to the plane of the wafer. The orientation necessitates short cavities, highly reflective mirrors and a relatively high gain/loss ratio. Even so, the resultant superior exit beam characteristics and the tight packing density of the finished lasers provide strong motivation for pursuing the growth of these structures. This thesis details the design of an optically pumped InGaAs multiple quantum well periodic gain structure VCSEL with a 950 nm lasing wavelength. These growths were to be a first attempt at VCSEL construction, so …


Face Recognition With Neural Networks, Dennis L. Krepp Dec 1992

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 …


Optical Haar Wavelet Transforms Using Computer Generated Holography, Peter G. Block Dec 1992

Optical Haar Wavelet Transforms Using Computer Generated Holography, Peter G. Block

Theses and Dissertations

This research introduces an optical implementation of the continuous wavelet transform to filter images. The wavelet transform is modeled as a correlation process and is implemented with a Vander Lugt correlator. The orthonormal basis set used is composed of two one-dimensional Haar functions and a two-dimensional Haar function. Each wavelet, as well as its first two dyadic scalings, is implemented with computer generated holography. The Interferogram method, which represents a function only in terms of its phase, is used to encode the wavelet functions. The results are imaged onto a CCD array and captured using a framegrabber. The optical results …


Cathodoluminescence Spectroscopy Of Zinc Germanium Phosphide Zngep2, Michael R. Gregg Dec 1992

Cathodoluminescence Spectroscopy Of Zinc Germanium Phosphide Zngep2, Michael R. Gregg

Theses and Dissertations

Zinc Germanium Phosphide (ZnGeP2) is a nonlinear semiconductor suitable for use as a laser tuning element over the two to six micron wavelength range. Although this crystal has been studied in the past, its luminescent properties are not yet well understood. In this present study, ZnGeP2 has been examined using cathodoluminescence spectroscopy (CL). Specifically, the spectral dependence of the CL was obtained as a function of electron beam energy, beam current and temperature. The resulting CL was found to be polarized with a peak structure that was dependent on the polarization. This peak structure observed by CL …


Processability Of Polythiophene Thin Films By Ultraviolet Photo Bleaching, Derek D. Fletcher Dec 1992

Processability Of Polythiophene Thin Films By Ultraviolet Photo Bleaching, Derek D. Fletcher

Theses and Dissertations

Materials possessing strong 𝜒(3) optical properties such as Polythiophene are sought for the production of optical switches. Polythiophene thin films produced by plasma enhanced CVD show a surface rms roughness of 10-15 angstroms over single square micron areas which is acceptable for wave guiding in the near IR. This research investigates permanently changing the optical properties of such a thin film by exposure to UV radiation (254 nm, 35 mW/cm2), known as photo bleaching, in hope of creating a refractive index boundary for use in total internal reflection. After 60 minutes exposure the refractive index shows …


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

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 …