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 2941 - 2970 of 3047

Full-Text Articles in Physical Sciences and Mathematics

Radar System Classification Using Neural Networks, David M. Cameron Dec 1991

Radar System Classification Using Neural Networks, David M. Cameron

Theses and Dissertations

This study investigated methods of improving the accuracy of neural networks in the classification of large numbers of classes. A literature search revealed that neural networks have been successful in the radar classification problem, and that many complex problems have been solved using systems of multiple neural networks. The experiments conducted were based on 32 classes of radar system data. The neural networks were modelled using a program called the Neural Graphics Analysis System. It was found that the accuracy of the individual neural networks could be increased by controlling the number of hidden nodes, the relative numbers of training …

Go to article

Computation Of Planar Store Trajectories Using An Adaptive Grid Procedure, William D. Hack Dec 1991

Computation Of Planar Store Trajectories Using An Adaptive Grid Procedure, William D. Hack

Theses and Dissertations

The objective of this research was to compare a quasi-analytical, potential flow/three-degree-of-freedom model to an implicit-Euler algorithm for the calculation of store trajectories. The implicity algorithm uses a cell- centered, finite-volume, spatial discretization applied to the Euler equations, written in time-dependent, curvilinear-coordinates. A flux-differencing Roe scheme is employed to find the split-fluxes and the Steger/Warming flux-vector method is used to calculate the flux-Jacobians. The potential flow and implicit- Euler algorithm are combined with a three-degree-of-freedom algorithm to evaluate the planar, freefall trajectories of a simple store shape. The research uses two different grid-modification techniques in the implicit algorithm evaluation. Data …

Go to article

Function Prediction Using Recurrent Neural Networks, Randall L. Lindsey Dec 1991

Function Prediction Using Recurrent Neural Networks, Randall L. Lindsey

Theses and Dissertations

A fully recurrent neural network was applied to the function prediction problem. The real-time recurrent learning (RTRL) algorithm was modified and tested for use as a viable function predictor. The modification gave the algorithm a variable learning rate and a linear/sigmoidal output selection. Verifying the networks ability to temporally learn both the classic exclusive-OR (XOR) problem and the internal state problem, the network was then used to simulate the frequency response of a second order IIR lowpass Butterworth filter. The recurrent network was then applied to two problems: head position tracking, and voice date reconstruction. The accuracy at which the …

Go to article

A Formal Definition Of The Object-Oriented Paradigm For Requirements Analysis, Andrew D. Boyd Dec 1991

A Formal Definition Of The Object-Oriented Paradigm For Requirements Analysis, Andrew D. Boyd

Theses and Dissertations

This paper develops a formal definition of the Object-Oriented paradigm for requirements analysis. The literature was surveyed for both formal and informal methods for conducting an Object-Oriented Requirements Analysis (OORA). The informal methods reviewed are: Bailin's, Shlaer and Mellor's, Booch's, and Coad and Yourdon's. The formal methods reviewed are: Bralick's, Z, and REFINE. None of the methods were found to be adequate for doing an OORA. A formal definition of an OORA, based on the concept of classes, is developed. The definition itself is presented as set and relation theory. A supporting graphical representation is also developed and presented. The …

Go to article

Plasma Transport In A Magnetic Multicusp Negative Hydrogen Ion Source, Ricky G. Jones Dec 1991

Plasma Transport In A Magnetic Multicusp Negative Hydrogen Ion Source, Ricky G. Jones

Theses and Dissertations

An analysis of plasma transport through the magnetic filter in tandem magnetic multicusp negative hydrogen ion sources was conducted to determine the mechanism of thermal electron diffusion, explain thermal electron cooling, describe the transport of primary electrons through the filter, and model positive ion species transport. The thermal electron flux was shown to exceed its classical value by one to three orders of magnitude. The flux variation with temperature was best described using a Coulomb-like temperature gradient drag term, consistent with diffusion due to ion-sound-like turbulence. Thermal electron energy flux loss was shown to be dominated by inelastic collisions at …

Go to article

Graph-Based Visualization Of Formal Specification And Domain Specific Languages, Randel K. Langloss Dec 1991

Graph-Based Visualization Of Formal Specification And Domain Specific Languages, Randel K. Langloss

Theses and Dissertations

This research develops and implements Visual Refine, a graph-based visualization system, for the Refine wide-spectrum formal specification language and environment developed and marketed by Reasoning Systems, Inc. Refine specifications are represented in the Refine object base as abstract syntax trees (AST). Using these AST representations, one-to-one mappings are defined between nodes of the AST and the graphical icons of Visual Refine. Visual Refine uses these mappings to implement a set of formal transformations. Each transformation is encapsulated within a Refine rule, and this set of rules form the Visual Refine transformation system. The Visual Refine transformation system, in conjunction with …

Go to article

Formalization And Validation Of An Sadt Specification Through Executable Simulation In Vhdl, Daniel L. Eickmeier Dec 1991

Formalization And Validation Of An Sadt Specification Through Executable Simulation In Vhdl, Daniel L. Eickmeier

Theses and Dissertations

Formalizing an informal requirements specification, such as SADT, and executing the formal specification in a simulation environment, such as VHDL, provides a requirements analyst a means to validate the behavior of a specification early in the development life cycle. This research effort investigated and demonstrated the feasibility and benefit of transforming an SADT specification of a system into an equivalent VHDL executable simulation. Both non-time related behavior and concurrent, real-time related behavior is addressed. First, a decision table extension to SADT is created so that detailed, executable behavior can be specified. Next a mapping from SADT to VHDL is defined. …

Go to article

Vibrational Energy Transfer In Bromine Monofluoride, Tim L. Thompson Dec 1991

Vibrational Energy Transfer In Bromine Monofluoride, Tim L. Thompson

Theses and Dissertations

Bromine monofluoride (BrF), an interhalogen molecule, is a prospective chemical laser candidate. This study continues research begun in characterizing radiative and collisional dynamics in BrF. Vibrational energy transfer of BrF is studied using time resolved laser induced fluorescence (LIF) techniques and observing the spectrally resolved emission. First, vibrational transfer induced by the BrF production mix is determined to follow the Montroll- Shuler model and Landau-Teller scaling with a fundamental rate coefficient of kv(1,0) = (4.0) x 10-12 cm3/(molecules seconds). Also, rate coefficients for the rare gases were found to scale with the reduced mass of the collision …

Go to article

Object-Oriented Analysis And Design Of The Saber Wargame, Christine M. Sherry Dec 1991

Object-Oriented Analysis And Design Of The Saber Wargame, Christine M. Sherry

Theses and Dissertations

This thesis presents an object-oriented analysis and design of Saber, a theater-level computerized wargame, for the Air Force Wargaming Center, Maxwell AFB, Alabama. The analysis and design is based on a recently developed conceptual model, and existing land battle, and additional research. This thesis also begins the implementation process. The design was accomplished using an iterative, five step design process. Objects and operations were chosen and then encapsulated in Ada packages. This thesis also makes necessary changes to the land battle as described by the conceptual model and as the result of additional research. Sound software engineering principles were used …

Go to article

A Delphi Forecast Of 1996 Roles: Air Force Institute Of Technology Information Resource Management Graduates Assigned To Base Level, David O. Block Dec 1991

A Delphi Forecast Of 1996 Roles: Air Force Institute Of Technology Information Resource Management Graduates Assigned To Base Level, David O. Block

Theses and Dissertations

Graduates of the Air Force Institute of Technology's Information Resource Management master's degree program who are subsequently assigned to base-level positions believe their IRM expertise is wasted in base administration roles that preclude the use of their up-to-date technical educations in managing automated information resources. This research forecasts the role AFIT IRM graduates assigned to base-level positions will need to fill by the year 1996. The research further determined what changes are necessary to resolve the perceived differences between current and forecast roles for these graduates. The Delphi survey method of forecasting was selected as an effective method of discovering …

Go to article

Relative Utility Of Selected Software Requirement Metrics, James H. Byers Dec 1991

Relative Utility Of Selected Software Requirement Metrics, James H. Byers

Theses and Dissertations

The objective of this study was to determine the relative utility of selected software requirement metrics in assessing the productivity of the software requirements analysis process and the quality of the products of this process. This objective was met by collecting information about the perceptions that practicing software professionals have of the usefulness of various requirement metrics. The study employed a two part methodology. The first part utilized Basili's goal/question/metric paradigm to identify specific goals of the measurement effort and to identify requirement metrics worthy of further investigation. The second part employed a typical research design to gather perceptions that …

Go to article

Structured Hypermedia Application Development Model (Shadm): A Structured Model For Technical Documentation Application Design, Peter W. Cassell Dec 1991

Structured Hypermedia Application Development Model (Shadm): A Structured Model For Technical Documentation Application Design, Peter W. Cassell

Theses and Dissertations

This research was conducted to determine how a Royal Australian Air Force technical maintenance publication could be transformed into a task oriented hypermedia application and to develop a model that could be used for future similar transformations. The model was developed following in-depth analysis of the existing USAF F-15E maintenance publication set and validation was conducted using a prototype developed in HyperWriter, a commercial hypermedia product. The prototype model was based around the performance of three maintenance tasks on an aircraft sub-subsystem and incorporated online user access to the necessary support data for task completion. Publication managers, producers, and users …

Go to article

Design And Application Of An Object Oriented Graphical Database Management System For Synthetic Environments, John A. Brunderman Dec 1991

Design And Application Of An Object Oriented Graphical Database Management System For Synthetic Environments, John A. Brunderman

Theses and Dissertations

The Air Force Institute of Technology (AFIT) is investigating the use of synthetic environments for military applications under the sponsorship of Rome Laboratories (RL). Areas under investigation include mission planning, battle management and flight simulation. The work reported in this thesis focuses on the object-oriented design and implementation of the Graphical Database Management System (GDMS) used to support research in these areas. GDMS provides the data structures, file format and algorithms to manage and render hierarchical, three-dimensional, polygonal models. Flexibility and adaptability were key factors in its design. A secondary objective of this research was to demonstrate the functionality of …

Go to article

Discrete Simulation Of Fractional Order Systems, Jeffrey A. Blank Dec 1991

Discrete Simulation Of Fractional Order Systems, Jeffrey A. Blank

Theses and Dissertations

Fractional calculus has been shown useful for describing many real world systems, and studies are currently underway to generalize control theory to incorporate fractional states. This investigation derives a method for simulating the time response of fractional order systems using a recursive difference equation. The technique used effectively approximates a simple fractional order integrator as a summation of integer order terms. The discrete transfer function is also derived and the frequency response of the discrete algorithm is compared to the exact continuous case. Using 20 or more retained past values in the difference equation, the discrete half-order integrator demonstrates a …

Go to article

Logic Programming In Digital Circuit Design, Joseph W. Eicher Dec 1991

Logic Programming In Digital Circuit Design, Joseph W. Eicher

Theses and Dissertations

The design of large, complex digital circuitry requires highly skilled engineers. Much of the time spent by these engineers in the design phase involves tasks that are repetitive, tedious, and slow. If these repetitive tasks are automated, the engineer can spend more time managing the design process and produce a better-quality design in less time. Logic programming can be used to automate design tasks, even those that require a high degree of skill. This thesis investigates several aspects of the digital circuit design process that involve pattern-matching paradigms suitable for encoding in the logic programming language Prolog.

Go to article

Analysis Of A Decision Support System For Case Tool Selection And The Specification Of An Ada To Sql Abstract Interface, Tina M. Deangelis Dec 1991

Analysis Of A Decision Support System For Case Tool Selection And The Specification Of An Ada To Sql Abstract Interface, Tina M. Deangelis

Theses and Dissertations

Information overload has long been a problem in the fast moving technical field of software development. Yet quality information is needed to make informed decisions about buying software tools that help in software development. Computer Aided Software Engineering (CASE) tools help to coordinate and control information in large software developments. Many CASE tool purchases, however, are being based on ad hoc tool evaluation and selection methods which depend on biased vendor information. To capture specific knowledge about how to pick a tool for a given software development effort, a historical database that identifies important tool characteristics needed to be maintained …

Go to article

An Event Driven State Based Interface For Synthetic Environments, Mark J. Gerken Dec 1991

An Event Driven State Based Interface For Synthetic Environments, Mark J. Gerken

Theses and Dissertations

Previous research at the Air Force Institute of Technology (AFIT) has produced synthetic environments using head mounted displays (HMDs) and hand measurement devices. This thesis is a continuation of AFIT synthetic environment research. Hand measurement data from a VPL DataGlove is combined with hand orientation and translational data to define a set of valid gestures. These gestures form the basis of an input language for class of finite automata known as finite state machines. Using the input symbols from this language, the user may define a finite state machine which associates a stream of input symbols with one or more …

Go to article

Establishing A Methodology For Evaluation And Selecting Computer Aided Software Engineering Tools For A Defined Software Engineering Environment At The Air Force Institute Of Technology School Of Engineering, Jody L. Mattingly Dec 1991

Establishing A Methodology For Evaluation And Selecting Computer Aided Software Engineering Tools For A Defined Software Engineering Environment At The Air Force Institute Of Technology School Of Engineering, Jody L. Mattingly

Theses and Dissertations

This thesis identifies the software engineering environment (SEE) as it exists at the Air Force Institute of Technology (AFIT) School of Engineering. It also describes the software process model employed and the software development methods presented as part of the curriculum. Based on this information, criteria was established to evaluate computer aided software engineering (CASE) tools being considered for integration into the SEE. Each criterion was weighted to indicate its importance when selecting CASE tools. The criteria were further used to establish a methodology to be used to evaluate and select the CASE tools under consideration as well as future …

Go to article

A Spatially Partitioned Parallel Simulation Of Colliding Objects, Robert S. Moser Dec 1991

A Spatially Partitioned Parallel Simulation Of Colliding Objects, Robert S. Moser

Theses and Dissertations

This study investigated the application of a conservative synchronization paradigm to the classical, distributed pool balls simulation executed on an eight node, Intel iPSC/2 hypercube. Wieland's concept of spatial partitioning and limited data replication was used. Analysis has shown that 100% parallelization of execution is possible in a conservative environment via assignment of multiple sectors to nodes. Two conservative formulations for minimum safe time were derived. A tradeoff exists between scalability and efficiency. Optimum sectoring prediction has been shown possible through application of linear regression techniques. The results of this research reveal that a conservative approach to distributed, discrete event …

Go to article

A Hybrid Approach To Battlefield Parallel Discrete Event Simulation, Steven R. Soderholm Dec 1991

A Hybrid Approach To Battlefield Parallel Discrete Event Simulation, Steven R. Soderholm

Theses and Dissertations

This thesis describes a method of parallelizing a battlefield discrete event simulation. The method combines elements of conservative time synchronization together with elements of optimistic computation and local rollback on a message passing hardware architecture. The battle simulation features aircraft moving in a battle area and launching missiles at enemy aircraft. Aircraft are randomly grouped into logical process (LPs), and a single LP is assigned to each processor. Aircraft state information is replicated across all LPs. Only the LP with the minimum next event time can execute safely. While one LP is executing safely all other LPs are precomputing their …

Go to article

Sensing Refractive Turbulence Profiles Using Wave Front Slope Measurements From Two Reference Sources, Michael D. Rejack Dec 1991

Sensing Refractive Turbulence Profiles Using Wave Front Slope Measurements From Two Reference Sources, Michael D. Rejack

Theses and Dissertations

This thesis examines a remote sensing technique for measuring the atmospheric structure constant as a function of altitude by performing spatial correlation or wavefront sensor measurements. Two point sources are used to irradiate two wavefront sensors in the aperture plane of an optical system. The geometric relationship between the sources and the sensors gives rise to crossed optical paths. At the point where the paths cross, the correlation value of the turbulence contributions will be at a peak. The correlation is shown to be mathematically related to the structure constant in terms of an integral of the structure constant multiplied …

Go to article

Image Segmentation Using Affine Wavelets, Steven E. Smiley Dec 1991

Image Segmentation Using Affine Wavelets, Steven E. Smiley

Theses and Dissertations

This thesis discusses the use of the multiresolution representation and Radial Basis Function (RBF) neural networks to segment both FLIR and SAR imagery. The multiresolution approximation coefficients are used as features into the RBF network which learns to distinguish between different cultural and natural regions or objects. The wavelets used are Mallat's spline wavelet and Daubechies' compactly supported wavelets. Additionally, this thesis provides an explanation of wavelets in a tutorial manner. It introduces wavelet theory and discusses two different approaches to generating the multiresolution or wavelet representation.

Go to article

Face Recognition With The Karhunen-Loeve Transform, Pedro F. Suarez Dec 1991

Face Recognition With The Karhunen-Loeve Transform, Pedro F. Suarez

Theses and Dissertations

The major goal of this research was to investigate machine recognition of faces. The approach taken to achieve this goal was to investigate the use of Karhunen-Loe've Transform (KLT) by implementing flexible and practical code. The KLT utilizes the eigenvectors of the covariance matrix as a basis set. Faces were projected onto the eigenvectors, called eigenfaces, and the resulting projection coefficients were used as features. Face recognition accuracies for the KLT coefficients were superior to Fourier based techniques. Additionally, this thesis demonstrated the image compression and reconstruction capabilities of the KLT. This theses also developed the use of the KLT …

Go to article

Real Imagery As A Three Dimensional Display, Juan C. Echeverry Dec 1991

Real Imagery As A Three Dimensional Display, Juan C. Echeverry

Theses and Dissertations

This research effort implemented two 3-D display designs to assess their performance and effect on an observer's depth perception. Both 3-D displays produced real images for the observer to view. The first display setup combined a lens relay with a two concave mirror projector. The second display setup combined the two concave mirror projector with a diffuser. The lens relay/ two concave mirror projector combination was successful in imaging a source from the CRT to a point in space above the two mirror system. The problem was that the observer could not assess the image location by just looking at …

Go to article

An Investigation Of The Application Of Artificial Neural Networks To Adaptive Optics Imaging Systems, Andrew H. Suzuki Dec 1991

An Investigation Of The Application Of Artificial Neural Networks To Adaptive Optics Imaging Systems, Andrew H. Suzuki

Theses and Dissertations

Recurrent and feedforward artificial neural networks are developed as wavefront reconstructors. The recurrent neural network studied is the Hopfield neural network and the feedforward neural network studied is the single layer perceptron artificial neural network. The recurrent artificial neural network input features are the wavefront sensor slope outputs and neighboring actuator feedback commands. The feedforward artificial neural network input features are just the wavefront sensor slope outputs. Both artificial neural networks use their inputs to calculate deformable mirror actuator commands. The effects of training are examined.

Go to article

An Expert System For Measuring, Interpreting, And Managing System Performance Factors For The Work Information Management System, Billy J. C. Irwin Dec 1991

An Expert System For Measuring, Interpreting, And Managing System Performance Factors For The Work Information Management System, Billy J. C. Irwin

Theses and Dissertations

This study develops an expert system for measuring, interpreting, and managing the Wang VS operating system performance factors for the Work Information Management System. The system's performance concerns least known to system administrators are identified. Of these, SHARER buffers and VTOC cache are identified as factors that can significantly impact system performance with little effort. A six step process is used in developing the expert system. Concept maps representing the structure of the Wang VS Disk Input/Output problem domain are provided. The expert system provides information about the system parameters, SHARER buffers and VTOC cache, and recommends main memory allocations. …

Go to article

An Expert System Advisor For Medical Evaluation Boards, Jerry S. G. Harrington Dec 1991

An Expert System Advisor For Medical Evaluation Boards, Jerry S. G. Harrington

Theses and Dissertations

Expert system technology has proven itself to be able to improve productivity and decision making in a variety of fields of endeavor. The purpose of this study was to determine if an expert system for medical evaluation boards (MEBs) could improve upon the processing of medical evaluation board cases. Research was conducted to develop an expert system and measure the capabilities of the system, both in terms of accuracy and timeliness of case completion of the medical evaluation administrators/clerks who were assisted by the system. The research methodology involved a three - phase approach. The objective of phase one was …

Go to article

Improved Task Scheduling For Parallel Simulations, Andrew E. Mcnear Dec 1991

Improved Task Scheduling For Parallel Simulations, Andrew E. Mcnear

Theses and Dissertations

The objective of this investigation is to design, analyze, and validate the generation of optimal schedules for simulation systems. Improved performance in simulation execution times can greatly improve the return rate of information provided by such simulations resulting in reduced development costs of future computer/electronic systems. Optimal schedule generation of precedence-constrained task systems including iterative feedback systems such as VHDL or war gaming simulations for execution on a parallel computer is known to be N P-hard. Efficiently parallelizing such problems takes full advantage of present computer technology to achieve a significant reduction in the search times required. Unfortunately, the extreme …

Go to article

Three-Dimensional Medical Image Registration Using A Patient Space Correlation Technique, Patrick J. Rizzuto Jr. Dec 1991

Three-Dimensional Medical Image Registration Using A Patient Space Correlation Technique, Patrick J. Rizzuto Jr.

Theses and Dissertations

The routine clinical use of three-dimensional data provided by modern medical imaging procedures is often impeded by the difficulty in accurately correlating the resultant volume datasets. These data are frequently obtained at different times using the same modality, or images of the same patient are sometimes produced using more than one imaging modality. In order to analyze the similarities and differences between such images, it is necessary for the medical imaging data to be spatially aligned using a process known as image registration. This research investigated a structure-based image registration technique based upon simple, three-dimensional relationships among user identified landmarks. …

Go to article

Design Of Style-V — A Translator To Convert Standard Vhdl Into A Stylized Form For Automated Microcode Generation, Dennis A. Rumbley Dec 1991

Design Of Style-V — A Translator To Convert Standard Vhdl Into A Stylized Form For Automated Microcode Generation, Dennis A. Rumbley

Theses and Dissertations

This thesis provides an analysis and preliminary design of Style V, a source-to-source computer language translator. Style-V converts IEEE standard VHDL into a special style of VHDL defined for a commercial tool, the Integrated Design Automation System (IDAS). Thirteen mappings between standard VHDL and the IDAS subset were identified. The mappings were analyzed using Domain Analysis and Modern Structured Analysis techniques. Four processes covering several of the mappings were completely analyzed. One mapping to convert CASE statements to IF statements was implemented. Since the IDAS restricts designs to bit logic, a method for representing multilevel logic with bit logic was …

Go to article

First Prev Next Last