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 8251 - 8280 of 8799

Full-Text Articles in Physical Sciences and Mathematics

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 …


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 …


An Algorithm For Robust Eigenstructure Assignment Using The Linear Quadratic Regulator, Thomas C. Huckabone Dec 1991

An Algorithm For Robust Eigenstructure Assignment Using The Linear Quadratic Regulator, Thomas C. Huckabone

Theses and Dissertations

The Linear Quadratic Regulator (LQR) can guarantee a robust closed loop eigenstructure for full state feedback. The algorithm developed here takes advantage of the stability guarantees of LQR to achieve an eigenstructure close to desired but within the allowable region of LQR. The algorithm selects the LQR weighting matrices, Q and R, that minimize the distance between the elements of the desired and LQR achievable eigenstructures. The minimization is accomplished by using a simplex based optimization routine. Specific weightings placed on the elements of the desired eigenstructure define the relative importance of each element. The algorithm is programmed in FORTRAN …


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.


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 …


The Application Of Kriging For Controlled Minimization Of Large Data Sets, Christopher Brodkin Dec 1991

The Application Of Kriging For Controlled Minimization Of Large Data Sets, Christopher Brodkin

Theses and Dissertations

Frequently, the quantity of data available is much greater than that which can be manipulated in an efficient and timely manner. This can cause several problems. The first, and probably most critical, problem is the excessive on-line storage needs of these huge data sets. Secondly, in the computer animation field, huge data sets may require excessive computational time for generation of each frame of a computer animation. Thirdly, computer screens have a limited resolution and need too much computational time removing excessive detail from images generated with a higher resolution than can be displayed. Lastly, too much time is required …


Parallel Implementation Of Vhdl Simulations On The Intel Ipsc/2 Hypercube, Ronald C. Comeau Dec 1991

Parallel Implementation Of Vhdl Simulations On The Intel Ipsc/2 Hypercube, Ronald C. Comeau

Theses and Dissertations

VHDL models are executed sequentially in current commercial simulators. As chip designs grow larger and more complex, simulations must run faster. One approach to increasing simulation speed is through parallel processors. This research transforms the behavioral and structural models created by Intermetrics' sequential VHDL simulator into models for parallel execution. The models are simulated on an Intel iPSC/2 hypercube with synchronization of the nodes being achieved by utilizing the Chandy Misra paradigm for discrete-event simulations. Three eight-bit adders, the ripple carry, the carry save, and the carry-lookahead, are each run through the parallel simulator. Simulation time is cut in at …


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 …


An Object-Oriented Database Implementation Of The Magic Vlsi Layout Design System, Timothy M. Jacobs Dec 1991

An Object-Oriented Database Implementation Of The Magic Vlsi Layout Design System, Timothy M. Jacobs

Theses and Dissertations

This thesis attempts to prove that the commercially available Object Store data management system provide the performance and functionality necessary to support a complex engineering design system. This is accomplished by modifying the Magic VLSI circuit layout design system to eliminate its current Unix file data management system and replace it with Object Store. The approach to this research effort includes a design recovery of the Magic system and identification of its ket data management functions. These functions are then modified to take advantage of the database management facilities of Object Store. Additional code is added to instrument performance measurement …


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 …


Design And Implementation Of A Graphical User Interface And Database Management System For The Saber Wargame, Andrew M. Horton Dec 1991

Design And Implementation Of A Graphical User Interface And Database Management System For The Saber Wargame, Andrew M. Horton

Theses and Dissertations

Saber is a theater level, multi-sided, airpower employment computerized wargame that can be programmed to simulate any combat scenario. The model simulates theater level combat between air and land forces, and takes into account the effects of logistics, resupply, and both theater nuclear and chemical warfare. The major objective of the Saber model is to provide a suitable educational platform to allow users to apply basic, tactical employment concepts to multiple combat units, each having a specialized mission, and incorporating every branch of the armed services. This thesis documents a graphical user interface and data management system that has been …


An Animated Graphical Postprocessor For The Saber Wargame, Gary W. Klabunde Dec 1991

An Animated Graphical Postprocessor For The Saber Wargame, Gary W. Klabunde

Theses and Dissertations

One of the most cost effective ways to learn and home the skills necessary to conduct and win a war is through the use of realistic computer simulations of conflict, or wargames. The Saber wargame was developed for just this purpose. Saber is a multisided, theater-level simulation developed by the Air Force Institute of Technology for the Air Force Wargaming Center. It models conventional, nuclear, and chemical warfare between aggregated air and ground forces. To aid in the realism, the effects of logistics, satellites, weather, and intelligence are represented. Saber provides an avenue for senior level joint service officers to …


Enhanced Animation Of Parallel Algorithms, Michael D. Lack Dec 1991

Enhanced Animation Of Parallel Algorithms, Michael D. Lack

Theses and Dissertations

Algorithm animation is a visualization method used to enhance understanding of the functioning of an algorithm or program. Visualization is used for many purposes, including education, algorithm research, performance analysis, and program debugging. This research, which follows from previous work, examines algorithm animation requirements for the various visualization purposes and extends the capabilities of an existing facilities, the AFIT algorithm Animation Research Facility (AAARF). The structure of AAARF is summarised and its visualization capabilities presented, analysed and compared with other similar packages. This research focuses on the parallel data requirements of the AAARF users, and the meaningful display of large …


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 …


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 …


Multi-Layered Feedforward Neural Networks For Image Segmentation, Gregory L. Tarr Dec 1991

Multi-Layered Feedforward Neural Networks For Image Segmentation, Gregory L. Tarr

Theses and Dissertations

Artificial neural network image segmentation techniques are examined. The biological inspired cortex transform is examined as a means to preprocess images for segmentation and classification. A generalized neural network formalism is presented as a means to produce common pattern recognition processing techniques in a single iterable element. Several feature reduction preprocessing techniques, based on feature saliency, Karhunen-Loeve transformation and identity networks are tested and compared. The generalized architecture is applied to a problem in image segmentation, a tracking of high- value fixed tactical targets. A generalized architecture for neural networks is developed based on the second order terms of the …


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 …


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


Possible Application Of Quality Function Deployment In Software Systems Development In The United States Air Force, Craig R. Lamb Dec 1991

Possible Application Of Quality Function Deployment In Software Systems Development In The United States Air Force, Craig R. Lamb

Theses and Dissertations

The objectives of the thesis were to determine whether the methods of Quality Function Deployment (QFD) could be used in the software development environment within the USAF, and whether or not this area should be researched further. The research was limited to the requirements analysis and definition phase. The different areas of study included a brief review of the structured analysis methodology, a detailed review of the QFD models currently being used in the product industries, a review of how QFD fits into the software development cycle, and specific software modifications to the QFD methodology. A review of some applications …


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 …


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 …


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 …


Documentation Requirements For Software Maintenance, Timothy S. Mcarthur Dec 1991

Documentation Requirements For Software Maintenance, Timothy S. Mcarthur

Theses and Dissertations

This study investigated the requirement for documentation during the maintenance phase of the software life cycle. Without proper documentation, maintenance personnel are not able to effectively understand the design of a software system and spend many hours performing design recovery before any type of maintenance can be performed. A review of existing information showed a wide range of opinion among the experts in the field of software maintenance and was not conclusive. A survey of Air Force software maintenance personnel was then conducted to determine the need, availability, and tailoring results of the documents listed on DOD-STD 2167A. The analysis …


Self-Pumped Phase-Conjugate Twyman-Green Interferometry Using A Batio3 Crystal, Deborah A. Determan Dec 1991

Self-Pumped Phase-Conjugate Twyman-Green Interferometry Using A Batio3 Crystal, Deborah A. Determan

Theses and Dissertations

The Air Force uses optical imaging systems in many fields such as communications, target recognition, and missile guidance. For proper execution of these applications, the optical imaging systems use in these fields must be of extremely high quality so that an ideal image is obtained. In divergent beam configurations, this type of interferometer would eliminate the need for high quality reference optics needed in conventional Twyman-Green interferometry. The objective of this thesis is to demonstrate phase conjugate Twyman-Green interferometry using a barium titanate (BaTiO3) crystal as the phase conjugating mirror in the reference arm of the interferometer and …


An Application Of Interactive Computer Graphics To The Study Of Inferential Statistics And The General Linear Model, Stephen D. Pearce Sep 1991

An Application Of Interactive Computer Graphics To The Study Of Inferential Statistics And The General Linear Model, Stephen D. Pearce

Theses and Dissertations

This research created a learning environment, known as the Pearce Projection Modeling Environment (PPME) which is used as a tool by a teacher and student. The PPME was developed in an effort to create a new approach to the study of the General Linear Model through a constructive and projective, geometric approach. While the geometric approach to the GLM was developed over the past century, it has not been used extensively because of the inherent complexities associated with visualizing vector spaces. With the PPME, visualization is accomplished effortlessly. The PPME is a computer program that allows the student to enter …


Education Necessary For Air Force Software Managers To Use The Ada Programming Language And Software Engineering Effectively, James W. Worley Jr. Sep 1991

Education Necessary For Air Force Software Managers To Use The Ada Programming Language And Software Engineering Effectively, James W. Worley Jr.

Theses and Dissertations

This research investigated the perceived Ada and software engineering education needs of software managers throughout the Air Force and provided recommendations to Air Staff for developing the education. Since the Department of Defense mandated all DOD agencies use the Ada programming language for software development, the education of the personnel who have to support the policy has lagged behind the implementation Ada is not a simple language to use and is only fully effective if used with sound software engineering principles. A survey was given to Air Force mid-level personnel who manage software in some capacity. Of the software personnel …


An Expert System Job Aid For Users Of The Automated Scheduling Module, Kevin A. Gore Sep 1991

An Expert System Job Aid For Users Of The Automated Scheduling Module, Kevin A. Gore

Theses and Dissertations

This research developed an Expert System for novice aircraft maintenance schedulers (AFSC: 392XX) with little experience using the Automated Scheduling Module (ASM). First, an in-depth literature review was completed. Next, personal interviews were conducted with an ASM expert and other 392XX personnel. Prototypes using VP-Expert and KnowledgePro shells were created. The knowledgePro shell was selected to create the ASM Job Aid, combining the knowledge of the expert and AFM 66-279. The program was verified, validated, and favorably reviewed by 392XX personnel. Recommendations include: The Air Force Logistics Management Center (AFLMC) examine the ASM Job AId and develop a Performance Support …


Heuristics For Hospital Inventory Management, Thomas G. Hibson Sep 1991

Heuristics For Hospital Inventory Management, Thomas G. Hibson

Theses and Dissertations

This study investigated the reasoning strategies used by hospital logistics management experts and was conducted at the Wright-Patterson AFB (WPAFB) Medical Center. An expert system was developed to verify the captured strategies. The particular area of interest of this study was the reasoning strategies involved in the reconciliation of the Monthly Stock Status Report within the Medical Logistics Branch. A literature review revealed there were few guidelines as to when and what action to pursue when reconciling the Monthly Stock Status Report. Though there were no references in the literature on expert systems that dealt with this particular report, there …


An Application Of Artificial Intelligence Technology Within The Standard Base Supply System, Richard G. Nelson Sep 1991

An Application Of Artificial Intelligence Technology Within The Standard Base Supply System, Richard G. Nelson

Theses and Dissertations

This thesis investigated the feasibility of applying artificial intelligence technology within the Standard Base Supply System (SBSS). With assembly endless reductions in manpower authorizations within the SBSS and the potential for a continued loss of expert knowledge, the use of knowledge-based system (KBSs) was examined to determine if these systems could alleviate this of manpower. Literature related to the fields of artificial intelligence, expert systems, and KBSs was traced, yielding a methodology for identifying candidate problems, and for the development, verification, and validation of prototype KBSs. This methodology was then employed within the research, culminating in the creation, verification, and …


A Topological Model For Parallel Algorithm Design, Jeffrey A. Simmers Sep 1991

A Topological Model For Parallel Algorithm Design, Jeffrey A. Simmers

Theses and Dissertations

This research demonstrates that formal, mathematical analysis in theoretical computer science can be recast in terms of the topology of complete metric spaces, and also presents a methodical technique for developing formal specifications. This effort shows that the topology of complete metric spaces provides a tool that can be used to both recreate major results about computational models and also to develop new results about these models. Using the two computational models CSP and UNITY, this effort shows that the required mathematics needed to support this alternative to the traditional analysis of computational models can be readily supported by a …