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

Physical Sciences and Mathematics Commons™

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

Theses and Dissertations

Discipline
Institution
Keyword
Publication Year
File Type

Articles 7741 - 7770 of 8341

Full-Text Articles in Physical Sciences and Mathematics

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 …

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

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 …

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

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).

Go to article

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 …

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

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

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 …

Go to article

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 …

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

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

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

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

Collisional Detachment Of Anions Using Fourier Transform Mass Spectrometry, Kevin B. Riehl Dec 1992

Collisional Detachment Of Anions Using Fourier Transform Mass Spectrometry, Kevin B. Riehl

Theses and Dissertations

Fourier Transform Mass Spectrometry (FTMS) is used to make energy resolved ion-neutral reaction measurements at high translational energies (up to several hundred eV). The technique is demonstrated for collisional detachment of anions, and should be easily applied to other inelastic reactions. Collisional detachment cross sections of iodine anions onto gas phase targets of neon, xenon, and trifluoromethyl iodide are measured for 1-300 eV (lab frame). Peak detachment cross sections are roughly 2, 8.5, and 7 Å2, respectively. Ion kinetic measurements show the iodine anion is unreactive in trifluoromethyl iodide at thermal energies. Positive ion chemistry is consistent with …

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

An Investigation Of Discovery-Based Learning In The Route Planning Domain, Freeman A. Kilpatrick Jr. Dec 1992

An Investigation Of Discovery-Based Learning In The Route Planning Domain, Freeman A. Kilpatrick Jr.

Theses and Dissertations

This thesis presents MAVERICK, a Discovery-Based learning (DBL) system designed to learn maneuvers in the route planning domain. DBL was originally designed to learn in domains for which little domain knowledge exists. This thesis proposes using it in domains for which knowledge exists, but the acquisition of this knowledge is difficult or time-consuming because of the knowledge acquisition bottleneck. The operation of the DBL process in MAVERICK was investigated to determine the potential utility of such a system to a real- world Air Force problem in the domain of aircraft route planning. MAVERICK worked well in its limited domain, and …

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

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

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

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

Theory And Implementation Of Wavelet Analyses In Rational Resolution Decompositions, Bruce P. Anderson Dec 1992

Theory And Implementation Of Wavelet Analyses In Rational Resolution Decompositions, Bruce P. Anderson

Theses and Dissertations

The multiresolution analysis (MRA) developed by Mallat and Meyer and further discussed by Daubechies is a useful tool in the analysis of sampled signals such as images and speech. This thesis develops the theory and implementation of a rational-resolution analysis (RRA) as an extension of the dyadic MRA for arbitrary rational dilation factors. We present a method to calculate families of compactly-supported scaling functions and wavelets based on arbitrary integer dilation factors and provide examples. The perfect- reconstruction properties of the RRA are discussed and it is demonstrated that the compactly-supported scaling functions and wavelets do not yield perfect- reconstruction. …

Go to article

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

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

Etann Hardware Implementation For Radar Emitter Identification, James B. Calvin Jr. Dec 1992

Etann Hardware Implementation For Radar Emitter Identification, James B. Calvin Jr.

Theses and Dissertations

This study investigated classification of 30 radar emitters with 16 signal features using Intel's 80170NX chip, the Electronically Trainable Analog Neural Network (ETANN). Software tools were developed to characterize the ETANN sigmoidal transfer function for use in a custom simulator, known as Neural Graphics. Neural Graphics operates on a Silicon Graphics workstation. The Intel Neural Network Training System simulators were used in early experiments, but were found to be inefficient in training on data used in this research. Using a modified Neural Graphics simulator, single chip and multi-chip experiments were performed to provide benchmark results prior to performing chip-in-loop training. …

Go to article

Management Of Simnet And Dis Entities In Synthetic Environments, Steven M. Sheasby Dec 1992

Management Of Simnet And Dis Entities In Synthetic Environments, Steven M. Sheasby

Theses and Dissertations

This thesis describes the techniques used to create an object manager utilized by an application program during a distributed interactive simulation. This work is currently utilized by a number of AFIT synthetic environment applications for use during a SIMNET exercise. An extensive review of distributed interactive simulations is presented. A discussion of the current distributed simulation protocol, SIMNET, is presented along with the future protocol standard, DIS. Finally, a brief discussion on dead reckoning and its importance during an exercise is presented. An analysis of the SIMNET and DIS protocols provided the basis for the creation of a series of …

Go to article

An Object-Oriented Computer Aided Design Program For Traditional Control Systems Analysis, Wayne E. Bell Dec 1992

An Object-Oriented Computer Aided Design Program For Traditional Control Systems Analysis, Wayne E. Bell

Theses and Dissertations

This thesis is a continuation of the ICECAP-PC research project conducted under Prof. Gary B. Lamont at the Air Force Institute of Technology. It is an ongoing development of a public domain Computer Aided Design package for Control Engineering and Digital Signal Processing students, faculty and practitioners with a special emphasis on education. This investigation begins with the software maintenance task of restructuring, debugging, and testing the functional version of ICECAP-PC 9.0. The continuous, traditional portions are then ported to a new object-oriented program structure which is the primary focus of this effort. New interactive graphics capabilities are then added …

Go to article

Cation Production And Reactions Induced By Electron Impact On Tetraethoxysilane, Jeremy C. Holtgrave Dec 1992

Cation Production And Reactions Induced By Electron Impact On Tetraethoxysilane, Jeremy C. Holtgrave

Theses and Dissertations

The production of cations by electron impact on tetraethoxysilane (TEOS) is studied with a Fourier Transform mass spectrometer (FTMS). The operating principles of FTMS are reviewed and the experimental approach to the mass calibration and cross-section measurement is discussed. The cross-sections for total and partial ionization of Si(OC2H5)4 from threshold to 50 eV are measured. Also, the ion chemistry resulting from interactions between ions and neutral TEOS is examined.

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

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

First Prev Next Last