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

Digital Commons Network

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

Theses and Dissertations

Algorithms

Articles 31 - 60 of 84

Full-Text Articles in Entire DC Network

Algorithms For White-Box Obfuscation Using Randomized Subcircuit Selection And Replacement, Kenneth E. Norman Mar 2008

Algorithms For White-Box Obfuscation Using Randomized Subcircuit Selection And Replacement, Kenneth E. Norman

Theses and Dissertations

Software protection remains an active research area with the goal of preventing adversarial software exploitation such as reverse engineering, tampering, and piracy. Heuristic obfuscation techniques lack strong theoretical underpinnings while current theoretical research highlights the impossibility of creating general, efficient, and information theoretically secure obfuscators. In this research, we consider a bridge between these two worlds by examining obfuscators based on the Random Program Model (RPM). Such a model envisions the use of program encryption techniques which change the black-box (semantic) and white-box (structural) representations of underlying programs. In this thesis we explore the possibilities for white-box transformation. Under an …


Characterization And Implementation Of A Real-World Target Tracking Algorithm On Field Programmable Gate Arrays With Kalman Filter Test Case, Benjamin D. Hancey Mar 2008

Characterization And Implementation Of A Real-World Target Tracking Algorithm On Field Programmable Gate Arrays With Kalman Filter Test Case, Benjamin D. Hancey

Theses and Dissertations

A one dimensional Kalman Filter algorithm provided in Matlab is used as the basis for a Very High Speed Integrated Circuit Hardware Description Language (VHDL) model. The JAVA programming language is used to create the VHDL code that describes the Kalman filter in hardware which allows for maximum flexibility. A one-dimensional behavioral model of the Kalman Filter is described, as well as a one-dimensional and synthesizable register transfer level (RTL) model with optimizations for speed, area, and power. These optimizations are achieved by a focus on parallelization as well as careful Kalman filter sub-module algorithm selection. Newton-Raphson reciprocal is the …


Development And Flight Of A Robust Optical-Inertial Navigation System Using Low-Cost Sensors, Michael B. Nielsen Mar 2008

Development And Flight Of A Robust Optical-Inertial Navigation System Using Low-Cost Sensors, Michael B. Nielsen

Theses and Dissertations

This research develops and tests a precision navigation algorithm fusing optical and inertial measurements of unknown objects at unknown locations. It provides an alternative to the Global Positioning System (GPS) as a precision navigation source, enabling passive and low-cost navigation in situations where GPS is denied/unavailable. This paper describes two new contributions. First, a rigorous study of the fundamental nature of optical/inertial navigation is accomplished by examining the observability grammian of the underlying measurement equations. This analysis yields a set of design principles guiding the development of optical/inertial navigation algorithms. The second contribution of this research is the development and …


Bounded Surface, Emilie Sayward Brown Jan 2008

Bounded Surface, Emilie Sayward Brown

Theses and Dissertations

The relationship between surface, perception, and structure has occupied my graduate studies. Locating, transforming, and transcending the surface requires play with perceptive abilities not only of vision, but of touch, hearing, and the other senses as well. How do the interactions of sense with the qualities of a surface determine our perception of the world? What role does the extension of the senses play in one's ability to perceive surface and structure? Using sense information gleaned from surfaces, the tectonics of our world are made visible. Might this relationship be played backwards as well? Composed structures produce surfaces upon which …


Search Techniques For Multi-Objective Optimization Of Mixed Variable Systems Having Stochastic Responses, Jennifer G. Walston Sep 2007

Search Techniques For Multi-Objective Optimization Of Mixed Variable Systems Having Stochastic Responses, Jennifer G. Walston

Theses and Dissertations

A research approach is presented for solving stochastic, multi-objective optimization problems. First, the class of mesh adaptive direct search (MADS) algorithms for nonlinearly constrained optimization is extended to mixed variable problems. The resulting algorithm, MV-MADS, is then extended to stochastic problems (MVMADS-RS), via a ranking and selection procedure. Finally, a two-stage method is developed that combines the generalized pattern search/ranking and selection (MGPS-RS) algorithms for single-objective, mixed variable, stochastic problems with a multi-objective approach that makes use of interactive techniques for the specification of aspiration and reservation levels, scalarization functions, and multi-objective ranking and selection. A convergence analysis for the …


Polarimeter Blind Deconvolution Using Image Diversity, David M. Strong Sep 2007

Polarimeter Blind Deconvolution Using Image Diversity, David M. Strong

Theses and Dissertations

This research presents an algorithm that improves the ability to view objects using an electro-optical imaging system with at least one polarization sensitive channel in addition to the primary channel. An innovative algorithm for detection and estimation of the defocus aberration present in an image is also developed. Using a known defocus aberration, an iterative polarimeter deconvolution algorithm is developed using a generalized expectation-maximization (GEM) model. The polarimeter deconvolution algorithm is extended to an iterative polarimeter multiframe blind deconvolution (PMFBD) algorithm with an unknown aberration. Using both simulated and laboratory images, the results of the new PMFBD algorithm clearly outperforms …


A New Application Of The Channel Packet Method For Low Energy 1-D Elastic Scattering, Clint M. Zeringue Sep 2006

A New Application Of The Channel Packet Method For Low Energy 1-D Elastic Scattering, Clint M. Zeringue

Theses and Dissertations

An algorithm is presented which uses the channel packet method (CPM) to simulate low-energy, wave-packet propagation and compute S-matrix elements. A four-by-four matrix containing the momentum, expansion coefficients of the reactants and products is introduced to account for initial and final states having both positive and negative momentum. The approach does not consider scattering from one side or the other, rather it considers both incoming and outgoing wave packets from the left and right simultaneously. Therefore, during one simulation all four S-matrix elements, and elements, S+k,-K, S-k, +k, S+k, +k and S-k,-k are computed. …


Type Ii Quantum Computing Algorithm For Computational Fluid Dynamics, James A. Scoville Mar 2006

Type Ii Quantum Computing Algorithm For Computational Fluid Dynamics, James A. Scoville

Theses and Dissertations

An algorithm is presented to simulate fluid dynamics on a three qubit type II quantum computer: a lattice of small quantum computers that communicate classical information. The algorithm presented is called a three qubit factorized quantum lattice gas algorithm. It is modeled after classical lattice gas algorithms which move virtual particles along an imaginary lattice and change the particles’ momentums using collision rules when they meet at a lattice node. Instead of moving particles, the quantum algorithm presented here moves probabilities, which interact via a unitary collision operator. Probabilities are determined using ensemble measurement and are moved with classical communications …


Toward The Static Detection Of Deadlock In Java Software, Jose E. Fadul Mar 2006

Toward The Static Detection Of Deadlock In Java Software, Jose E. Fadul

Theses and Dissertations

Concurrency is the source of many real-world software reliability and security problems. Concurrency defects are difficult to detect because they defy conventional software testing techniques due to their non-local and non-deterministic nature. We focus on one important aspect of this problem: static detection of the possibility of deadlock - a situation in which two or more processes are prevented from continuing while each waits for resources to be freed by the continuation of the other. This thesis proposes a flow-insensitive interprocedural static analysis that detects the possibility that a program can deadlock at runtime. Our analysis proceeds in two steps. …


Multiframe Shift Estimation, Stephen A. Bruckart Mar 2006

Multiframe Shift Estimation, Stephen A. Bruckart

Theses and Dissertations

The purpose of this research was to develop a fundamental framework for a new approach to multiframe translational shift estimation in image processing. This thesis sought to create a new multiframe shift estimator, to theoretically prove and experimentally test key properties of it, and to quantify its performance according to several metrics. The new estimator was modeled successfully and was proven to be an unbiased estimator under certain common image noise conditions. Furthermore its performance was shown to be superior to the cross correlation shift estimator, a robust estimator widely used in similar image processing cases, according to several criteria. …


An Estimation Theory Approach To Detection And Ranging Of Obscured Targets In 3-D Ladar Data, Charles R. Burris Mar 2006

An Estimation Theory Approach To Detection And Ranging Of Obscured Targets In 3-D Ladar Data, Charles R. Burris

Theses and Dissertations

The purpose of this research is to develop an algorithm to detect obscured images in 3-D LADAR data. The real data used for this research was gathered using a FLASH LADAR system under development at AFRL/SNJM. The system transmits light with a wavelength of 1.55 micrometers and produces 20 128 X 128 temporally resolved images from the return pulse separated by less than 2 nanoseconds in time. New algorithms for estimating the range to a target in 3-D FLASH LADAR data were developed. Results from processing real data are presented and compared to the traditional correlation receiver for extracting ranges …


Computational Modeling Of The Dielectric Barrier Discharge (Dbd) Device For Aeronautical Applications, Christopher S. Charles Mar 2006

Computational Modeling Of The Dielectric Barrier Discharge (Dbd) Device For Aeronautical Applications, Christopher S. Charles

Theses and Dissertations

Dielectric Barrier Discharge (DBD) type devices, when used as plasma actuators, have shown significant promise for use in many aeronautical applications. Experimentally, DBD actuator devices have been shown to induce motion in initially still air, and to cause re-attachment of air flow over a wing surface at a high angle of attack. This thesis explores the numerical simulation of the DBD device in both a lD and 2D environment. Using well established fluid equation techniques, along with the appropriate approximations for the regime under which these devices will be operating, computational results for various conditions and geometries are explored. In …


Optimization Of A Multi-Echelon Repair System Via Generalized Pattern Search With Ranking And Selection: A Computational Study, Derek D. Tharaldson Mar 2006

Optimization Of A Multi-Echelon Repair System Via Generalized Pattern Search With Ranking And Selection: A Computational Study, Derek D. Tharaldson

Theses and Dissertations

With increasing developments in computer technology and available software, simulation is becoming a widely used tool to model, analyze, and improve a real world system or process. However, simulation in itself is not an optimization approach. Common optimization procedures require either an explicit mathematical formulation or numerous function evaluations at improving iterative points. Mathematical formulation is generally impossible for problems where simulation is relevant, which are characteristically the types of problems that arise in practical applications. Further complicating matters is the variability in the simulation response which can cause problems in iterative techniques using the simulation model as a function …


A Monocular Vision Based Approach To Flocking, Brian Kirchner Mar 2006

A Monocular Vision Based Approach To Flocking, Brian Kirchner

Theses and Dissertations

Flocking is seen in nature as a means for self protection, more efficient foraging, and other search behaviors. Although much research has been done regarding the application of this principle to autonomous vehicles, the majority of the research has relied on GPS information, broadcast communication, an omniscient central controller, or some other form of "global" knowledge. This approach, while effective, has serious drawbacks, especially regarding stealth, reliability, and biological grounding. This research effort uses three Pioneer P2-AT8 robots to achieve flocking behavior without the use of global knowledge. The sensory inputs are limited to two cameras, offset such that the …


Multiple Model Adaptive Estimator Target Tracker For Maneuvering Targets In Clutter, Brian D. Smith Mar 2005

Multiple Model Adaptive Estimator Target Tracker For Maneuvering Targets In Clutter, Brian D. Smith

Theses and Dissertations

The task of tracking a target in the presence of measurement clutter is a two-fold problem: one of handling measurement association uncertainty (due to clutter), and poorly known or significantly varying target dynamics. Measurement association uncertainty does not allow conventional tracking algorithms (such as Kalman filters) to be implemented directly. Poorly known or varying target dynamics complicate the design of any tracking filter, and filters using only a single dynamics model can rarely handle anything beyond the most benign target maneuvers. In recent years, the Multiple Hypothesis Tracker (MHT) has gained acceptance as a means of handling targets in a …


Development Of A Higher-Order Upwind Algorithm For Compressible Fluid Flow, Barry A. Croker Mar 2005

Development Of A Higher-Order Upwind Algorithm For Compressible Fluid Flow, Barry A. Croker

Theses and Dissertations

A global fourth-order solution method that incorporates compact differencing with Roe's approximate Riemann solver was investigated. This method was incorporated into a one-dimensional numerical simulation of the compressible Euler equations, and applied to a one-dimensional shock tube problem. The method was also extended to two dimensions, and applied to a two-dimensional shock tube problem and an advecting vortical structure problem on both rectilinear and curvilinear meshes. The results were compared to a third-order Roe scheme and a fourth-order compact difference scheme. An order of accuracy determination showed that it has an order of accuracy somewhere near fourth order, with absolute …


Pattern Search Ranking And Selection Algorithms For Mixed-Variable Optimization Of Stochastic Systems, Todd A. Sriver Sep 2004

Pattern Search Ranking And Selection Algorithms For Mixed-Variable Optimization Of Stochastic Systems, Todd A. Sriver

Theses and Dissertations

A new class of algorithms is introduced and analyzed for bound and linearly constrained optimization problems with stochastic objective functions and a mixture of design variable types. The generalized pattern search (GPS) class of algorithms is extended to a new problem setting in which objective function evaluations require sampling from a model of a stochastic system. The approach combines GPS with ranking and selection (R&S) statistical procedures to select new iterates. The derivative-free algorithms require only black-box simulation responses and are applicable over domains with mixed variables (continuous, discrete numeric, and discrete categorical) to include bound and linear constraints on …


Sculpting: An Improved Inside-Out Scheme For All Hexahedral Meshing, Kirk S. Walton Apr 2003

Sculpting: An Improved Inside-Out Scheme For All Hexahedral Meshing, Kirk S. Walton

Theses and Dissertations

Generating all hexahedral meshes on arbitrary geometries has been an area of important research in recent history. Hexahedral meshes have advantages over tetrahedral meshes in structural mechanics because they provide more accurate results with fewer degrees of freedom. Many different approaches have been used to create all-hexahedral meshes. Grid-based, inside-out, or superposition meshing all refer to a similar meshing approach that is a very common mesh generation technique. Grid-based algorithms provide the ability to generate all hexahedral meshes by introducing a structured mesh that bounds the complete body modeled, marking hexahedra to define an interior and exterior mesh, manipulating the …


Shortest Path Problems In A Stochastic And Dynamic Environment, Jae Il Cho Mar 2003

Shortest Path Problems In A Stochastic And Dynamic Environment, Jae Il Cho

Theses and Dissertations

In this research, we consider stochastic and dynamic transportation network problems. Particularly, we develop a variety of algorithms to solve the expected shortest path problem in addition to techniques for computing the total travel time distribution along a path in the network. First, we develop an algorithm for solving an independent expected shortest path problem. Next, we incorporate the inherent dependencies along successive links in two distinct ways to find the expected shortest path. Since the dependent expected shortest path problem cannot be solved with traditional deterministic approaches, we develop a heuristic based on the K-shortest path algorithm for this …


Surfacing Splicing: A Method Of Quadrilateral Mesh Generation And Modification For Surfaces By Dual Creation And Manipulation, Benjamin Todd Grover Apr 2002

Surfacing Splicing: A Method Of Quadrilateral Mesh Generation And Modification For Surfaces By Dual Creation And Manipulation, Benjamin Todd Grover

Theses and Dissertations

The effective generation high quality quadrilateral surface meshes is an area of important research and development for the finite element community. Quadrilateral elements generally lead to more efficient and accurate finite results. In addition, some all hexahedral volume meshing algorithms are based on an initial quadrilateral mesh surface mesh that has specific connectivity requirements. This thesis presents a new and unique procedure named "Surfaced Splicing". Surface Splicing allows for the generation of all quadrilateral surface meshes as well as the ability to edit these meshes via the dual. The dual contains the same data as the mesh but, unlike the …


Performance Analysis Of A Dynamic Bandwidth Allocation Algorithm In A Circuit-Switched Communications Network, Timothy M. Schwamb Mar 2002

Performance Analysis Of A Dynamic Bandwidth Allocation Algorithm In A Circuit-Switched Communications Network, Timothy M. Schwamb

Theses and Dissertations

Military communications networks typically employ a gateway multiplexer to aggregate all communications traffic onto a single link. These multiplexers typically use a static bandwidth allocation method via time-division multiplexing (TDM). Inefficiencies occur when a high-bandwidth circuit, e.g., a video teleconferencing circuit, is relatively inactive rendering a considerable portion of the aggregate bandwidth wasted while inactive. Dynamic bandwidth allocation (DBA) reclaims unused bandwidth from circuits with low utilization and reallocates it to circuits with higher utilization without adversely affecting queuing delay. The proposed DBA algorithm developed here measures instantaneous utilization by counting frames arriving during the transmission time of a single …


Translation And Rotation Invariant Multiscale Image Registration, Jennifer L. Manfra Mar 2002

Translation And Rotation Invariant Multiscale Image Registration, Jennifer L. Manfra

Theses and Dissertations

The most recent research involved registering images in the presence of translations and rotations using one iteration of the redundant discrete wavelet transform. We extend this work by creating a new multiscale transform to register two images with translation or rotation differences, independent of scale differences between the images. Our two-dimensional multiscale transform uses an innovative combination of lowpass filtering and the continuous wavelet transform to mimic the two-dimensional redundant discrete wavelet transform. This allows us to obtain multiple subbands at various scales while maintaining the desirable properties of the redundant discrete wavelet transform. Whereas the discrete wavelet transform produces …


Interval Matching And Control For Hexahedral Mesh Generation Of Swept Volumes, Jason F. Shepherd Apr 1999

Interval Matching And Control For Hexahedral Mesh Generation Of Swept Volumes, Jason F. Shepherd

Theses and Dissertations

Surface meshing algorithms require certain relationships among the number of intervals on the curves that bound the surface. Assigning the number of intervals to all of the curves in the model such that all relationships are satisfied is called interval assignment. Volume meshing algorithms also require certain relationships among the numbers of intervals on each of the curves on the volume. These relationships are not always captured by surface meshing requirements. This thesis presents a news technique for automatically identifying volume constraints. In this technique, volume constraints are grouped with surface constraints and are solved simultaneously. A sweepable volume has …


Ultra-Wideband Tem Horns, Transient Arrays And Exponential Curves: A Fdtd Look, Troy S. Utton Mar 1999

Ultra-Wideband Tem Horns, Transient Arrays And Exponential Curves: A Fdtd Look, Troy S. Utton

Theses and Dissertations

This research investigates the possibility of applying exponentially curved conducting plates to single-element Transverse Electromagnetic (TEM) horns and their transient arrays to enhance the UWB characteristics already experienced by these radiators. The first part of this study demonstrates the Finite-Difference Time-Domain (FDTD) method's ability to duplicate experimental data, and establishes the baseline models used throughout the remainder of the research. The baseline models consist of the typical flat-triangle shaped conducting plates. The exponential taper models incorporate the exponential curves in the height, the width, and both the height and width directions. One, two- and four-element baseline configurations are compared to …


Visualizing Early-Stage Breast Cancer Tumors In A Mammographic Environment Through A 3-Dimensional Mathematical Model, Christopher B. Bassham Mar 1999

Visualizing Early-Stage Breast Cancer Tumors In A Mammographic Environment Through A 3-Dimensional Mathematical Model, Christopher B. Bassham

Theses and Dissertations

In response to the insidious and deadly nature of breast cancer and the less-than-perfect detection ability of mammography, we develop a mathematical model as a foundation to the long-term goal of improving early breast cancer detection. By using modeling and simulation to construct an accurate breast cancer tumor model, we hope to solve the problems associated with mammogram misdiagnosis and, perhaps as a by-product, lend insight to tumor development dynamics. The final tumor model, written in MATLAB, provides realistic tumor growth and 2-dimensional visualization of 3-dimensional structures. Earlier modeling attempts capture slices of the tumor in the 2-dimensional growth spaces. …


An Approach For Tasking Allocated Combat Resources To Targets, David A. Koewler Mar 1999

An Approach For Tasking Allocated Combat Resources To Targets, David A. Koewler

Theses and Dissertations

Tasking allocated combat aircraft to strike targets is a complicated and time-consuming process for combat planners. Currently, the process of scheduling missions is a two to four day process. To be able to respond quickly to the changing conditions of the battlefield, the military needs to compress the time that this process requires. Despite efforts to develop computer-based tools to automatically plan missions, combat planners still manually perform most of the tasking and scheduling of aircraft and targets. Unfortunately some of the tools currently available are perceived to be complicated and time consuming to use by the planners. They also …


An Efficient Gps Position Determination Algorithm, Carlos R. Colon Mar 1999

An Efficient Gps Position Determination Algorithm, Carlos R. Colon

Theses and Dissertations

The use of detect, or closed-form solutions of the trilateration equations used to obtain the position fix in GPS receivers is investigated. The paper is concerned with the development of an efficient new position determination algorithm that uses the closed-form solution of the trilateration equations and works in the presence of pseudorange measurement noise and for an arbitrary number of satellites. in addition, an initial position guess is not required and good estimation performance is achieved even under high GDOP conditions. A two step GPS position determination algorithm which 1) entails the solution of a linear regression problem and, 2) …


A Three-Dimensional 463l Pallet Packing Model And Algorithm, Wesley E. Manship Jr., Jennifer L. Tilley Sep 1998

A Three-Dimensional 463l Pallet Packing Model And Algorithm, Wesley E. Manship Jr., Jennifer L. Tilley

Theses and Dissertations

As part of the Air Force Logistics Contingency Assessment Tool, Armstrong Laboratory determined the need for a software package to optimize the packing of 463L cargo pallets for deployments. In January 1998, TASC, Inc., to determine if optimizing the packing of 463L pallets was indeed possible, implemented a feasibility study. TASC, Inc. concluded that a linear program was infeasible due to time and size constraints. Therefore, this research focuses on the development of a nonlinear model. An extensive literature review is conducted to detail the pallet loading problem, define the current pallet process, establish necessary assumptions and constraints, and examine …


Automatic Target Cueing Of Hyperspectral Image Data, Terry A. Wilson Sep 1998

Automatic Target Cueing Of Hyperspectral Image Data, Terry A. Wilson

Theses and Dissertations

Modern imaging sensors produce vast amounts data, overwhelming human analysts. One such sensor is the Airborne Visible and Infrared Imaging Spectrometer (AVIRIS) hyperspectral sensor. The AVIRIS sensor simultaneously collects data in 224 spectral bands that range from 0.4µm to 2.5µm in approximately 10nm increments, producing 224 images, each representing a single spectral band. Autonomous systems are required that can fuse "important" spectral bands and then classify regions of interest if all of this data is to be exploited. This dissertation presents a comprehensive solution that consists of a new physiologically motivated fusion algorithm and a novel Bayes optimal self-architecting classifier …


Representations, Approximations, And Algorithms For Mathematical Speech Processing, Laura R. Suzuki Jun 1998

Representations, Approximations, And Algorithms For Mathematical Speech Processing, Laura R. Suzuki

Theses and Dissertations

Representing speech signals such that specific characteristics of speech are included is essential in many Air Force and DoD signal processing applications. A mathematical construct called a frame is presented which captures the important time-varying characteristic of speech. Roughly speaking, frames generalize the idea of an orthogonal basis in a Hilbert space, Specific spaces applicable to speech are L2(R) and the Hardy spaces Hp(D) for p> 1 where D is the unit disk in the complex plane. Results are given for representations in the Hardy spaces involving Carleson's inequalities (and its extensions), …