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
File Type

Articles 2851 - 2880 of 3047

Full-Text Articles in Physical Sciences and Mathematics

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

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

Theses and Dissertations

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

Go to article

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 …

Go to article

A Two-Dimensional Particle Simulation Of Parallel Plate Radio-Frequency (Rf) Glow Discharges, Eric J. Bennett Dec 1992

A Two-Dimensional Particle Simulation Of Parallel Plate Radio-Frequency (Rf) Glow Discharges, Eric J. Bennett

Theses and Dissertations

A two-dimensional model of parallel plate RF glow discharges was developed to study discharge phenomena important in plasma assisted processing of materials. The particle-in-cell method is used to calculate the trajectories of computer particles under the influence of both self and applied fields. Monte Carlo methods using the null collision technique are used to model collisions between charged particles and neutral gas atoms. Results of computer experiments are presented with special emphasis placed on ion motion in the sheath regions. Experimental results show some qualitative agreement with one-dimensional model results. Further work required to gain quantitative agreement is outlined.

Go to article

Laser Phase Front Measurements Using A Phase Conjugate Twyman-Green Interferometer, William J. Mandeville Dec 1992

Laser Phase Front Measurements Using A Phase Conjugate Twyman-Green Interferometer, William J. Mandeville

Theses and Dissertations

This study demonstrated the use of a phase conjugate TwymanGreen interferometer for measuring the phase fronts of beams emitted by infrared diode lasers operating at 830 nm. This interferometer successfully measured the phase front of a single element diode laser, providing better resolution than its conventional counterpart. The phase conjugate mirror compensated for aberrations introduced by imperfect optics in the phase conjugating arm of the interferometer. This interferometer was unable to measure the phase front of a diode array due to the array's inability to create a phase conjugate return. The array's short coherence length is believed to be the …

Go to article

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.

Go to article

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, …

Go to article

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 …

Go to article

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

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

Theses and Dissertations

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

Go to article

Increasing The Corrected Field Of View Of An Adaptive Optical Telescope, Dustin C. Johnston Dec 1992

Increasing The Corrected Field Of View Of An Adaptive Optical Telescope, Dustin C. Johnston

Theses and Dissertations

Current adaptive optical telescope designs use a single deformable mirror (DM) to compensate for atmospheric distortion. The corrected field of view (FOV) of an adaptive optics system could be increased through the use of multiple DMs optically conjugated to corresponding planes which sample the turbulence region in altitude. Often, the atmospheric turbulence responsible for the degradation of telescope images is concentrated in several layers. Each DM would correct for the component of the total wavefront in the pupil contributed by one or more layers. If the atmosphere does not possess a layered structure, the best fit of the turbulence profile …

Go to article

Generalization And Parallelization Of Messy Genetic Algorithms And Communication In Parallel Genetic Algorithms, Laurence D. Merkle Dec 1992

Generalization And Parallelization Of Messy Genetic Algorithms And Communication In Parallel Genetic Algorithms, Laurence D. Merkle

Theses and Dissertations

Genetic algorithms (GA) are highly parallelizable, robust semi- optimization algorithms of polynomial complexity. The most commonly implemented GAs are 'simple' GAs (SGAs). Reproduction, crossover, and mutation operate on solution populations. Deceptive and GA-hard problems are provably difficult for simple GAs. Messy GAs (MGA) are designed to overcome these limitations. The MGA is generalized to solve permutation type optimization problems. Its performance is compared to another MGA's, an SGA's, and a permutation SGA's. Against a fully deceptive problem the generalized MGA (GMGA) consistently performs better than the simple GA. Against an NP-complete permutation problem, the GMGA performs better than the other …

Go to article

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 …

Go to article

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 …

Go to article

A Unified Model Of Program Behavior, Douglas T. Michel Dec 1992

A Unified Model Of Program Behavior, Douglas T. Michel

Theses and Dissertations

This thesis is an attempt to account for and unify the three types of locality: temporal, spatial, and structural. A diverse sample of traces are used in measuring program behavior with respect to these localities and a model is presented which represents the memory references a program generates as it goes through execution. The model is validated by estimating, the entropy of a synthetically generated trace and comparing it with actual traces. The results indicate that there is more predictability contained in the original trace than what the model was able to capture. Different variations of the model were tried …

Go to article

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

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

Theses and Dissertations

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

Go to article

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

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

Theses and Dissertations

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

Go to article

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 …

Go to article

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 …

Go to article

The Effect Of An Adaptive Optical System's Spatio-Temporal Response On Imaging Performance, Patrick M. Harrington Dec 1992

The Effect Of An Adaptive Optical System's Spatio-Temporal Response On Imaging Performance, Patrick M. Harrington

Theses and Dissertations

Ideally, an adaptive optical control system would have instantaneous temporal response and infinite spatial bandwidth. In real systems, the response time of the adaptive optical control system is limited by the integration time of the wave front sensor, the computational time of the control algorithm, and the actuator response time. Additionally, finite inter actuator spacing limits the deformable mirror's ability to reproduce spatial frequencies having a period less than twice this spacing. Although analyses general enough to account for both the temporal and spatial characteristics of the adaptive optical system exist, they are complex and require detailed information regarding the …

Go to article

Object Tracking Through Adaptive Correlation, Dennis A. Montera Dec 1992

Object Tracking Through Adaptive Correlation, Dennis A. Montera

Theses and Dissertations

This paper discusses the use of a correlation based system to track, an object through a series of images based on templates derived from previous image frames. The ability to track is extended to sequences which include multiple objects of interest within the field of view. This is accomplishes by comparing the height and shape of the template autocorrelation to the peaks in the correlation of the template with the next scene. The result is to identify the region in the next scene which best matches the designated target. In addition to correlation plane postprocessing, an adaptive window is used …

Go to article

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 …

Go to article

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 …

Go to article

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

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

Theses and Dissertations

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

Go to article

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 …

Go to article

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 …

Go to article

An Assessment Of Software Safety As Applied To The Department Of Defense Software Development Process, Peter W. Colan, Robert W. Prouhet Dec 1992

An Assessment Of Software Safety As Applied To The Department Of Defense Software Development Process, Peter W. Colan, Robert W. Prouhet

Theses and Dissertations

This research analyzed the relationships between the DOD software development process, system safety requirements, and current structured software safety analysis techniques. The current state of software safety was assessed within the aerospace industry and DOD, and a training program for DOD System Safety Managers was developed. A telephone survey was conducted to gather information on current software safety analysis techniques and methodologies. Personal interviews were conducted with Aeronautical System Center System Safety Managers to gather data on job perception and perceived training needs. The results of the study indicate that the DOD guidance and policy documents needed to implement and …

Go to article

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 …

Go to article

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

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

Theses and Dissertations

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

Go to article

Electronic-To-Vibrational (E → V) Energy Transfer From Br* To Co2 And Electronic-To-Vibrational (E → V) Laser Feasibility Studies, Steven M. Katapski Nov 1992

Electronic-To-Vibrational (E → V) Energy Transfer From Br* To Co2 And Electronic-To-Vibrational (E → V) Laser Feasibility Studies, Steven M. Katapski

Theses and Dissertations

The energy transfer mechanism from photo-excited bromine atoms (Br(2P½)) to C02 is investigated in a pulsed fluorescence experiment. An excimer-pumped pulsed dye laser operating at 480 nm is used to photolyze molecular bromine, resulting in the creation of one excited state bromine atom, Br(2P½), and one ground state atom, Br(2P3/2). The electronically- excited bromine atoms (referred to as Br*) collide with and excite vibrational modes in the ground electronic state of CO2. Measurements are made of the Br* lifetimes and associated quenching processes, and the …

Go to article

Development Of A Standard Set Of Software Indicators For Aeronautical Systems Center, Bradley J. Ayres, William M. Rock Sep 1992

Development Of A Standard Set Of Software Indicators For Aeronautical Systems Center, Bradley J. Ayres, William M. Rock

Theses and Dissertations

This research effort was directed to the development of a standard set of software indicators to be used by ASC. The research was sponsored by ASC/ENASC, who indicated their desire for such a standard set of indicators to allow a database to be developed of program data that would be useful in making predictions about future software efforts. The research began with an attempt to characterize the software indicator environment at ASC, and also to perform a literature search for software indicators currently available. The desired result was an initial core set of indicators useful to software managers and engineers …

Go to article

Development Of An Environment For Software Reliability Model Selection, Salah A. Elewa Sep 1992

Development Of An Environment For Software Reliability Model Selection, Salah A. Elewa

Theses and Dissertations

An environment was developed for solving the problem of selecting a proper software reliability model for a given set of software failures. The idea behind the environment developed in this dissertation was to liken a collected set of software failure data to a previous one that proved to fit well with a specified software reliability model. Software failures were assumed to have a two-Parameter exponential distribution with unequal type II censoring. A test criterion was derived for testing Ratio Criterion. The exact distribution of the test criterion was derived. An asymptotic approximation was also obtained and was found to be …

Go to article

First Prev Next Last