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

Physical Sciences and Mathematics Commons

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

Articles 1 - 30 of 60

Full-Text Articles in Physical Sciences and Mathematics

Deep Learning-Based, Passive Fault Tolerant Control Facilitated By A Taxonomy Of Cyber-Attack Effects, Dean C. Wardell Dec 2020

Deep Learning-Based, Passive Fault Tolerant Control Facilitated By A Taxonomy Of Cyber-Attack Effects, Dean C. Wardell

Theses and Dissertations

In the interest of improving the resilience of cyber-physical control systems to better operate in the presence of various cyber-attacks and/or faults, this dissertation presents a novel controller design based on deep-learning networks. This research lays out a controller design that does not rely on fault or cyber-attack detection. Being passive, the controller’s routine operating process is to take in data from the various components of the physical system, holistically assess the state of the physical system using deep-learning networks and decide the subsequent round of commands from the controller. This use of deep-learning methods in passive fault tolerant control …


3-D Fabry–Pérot Cavities Sculpted On Fiber Tips Using A Multiphoton Polymerization Process, Jonathan W. Smith, Jeremiah C. Williams, Joseph S. Suelzer, Nicholas G. Usechak, Hengky Chandrahalim Dec 2020

3-D Fabry–Pérot Cavities Sculpted On Fiber Tips Using A Multiphoton Polymerization Process, Jonathan W. Smith, Jeremiah C. Williams, Joseph S. Suelzer, Nicholas G. Usechak, Hengky Chandrahalim

Faculty Publications

This paper presents 3-D Fabry–Pérot (FP) cavities fabricated directly onto cleaved ends of low-loss optical fibers by a two-photon polymerization (2PP) process. This fabrication technique is quick, simple, and inexpensive compared to planar microfabrication processes, which enables rapid prototyping and the ability to adapt to new requirements. These devices also utilize true 3-D design freedom, facilitating the realization of microscale optical elements with challenging geometries. Three different device types were fabricated and evaluated: an unreleased single-cavity device, a released dual-cavity device, and a released hemispherical mirror dual-cavity device. Each iteration improved the quality of the FP cavity's reflection spectrum. The …


Electro-Optic Satellite Constellation Design Using Multi-Objective Genetic Algorithm, Yasin Tamer Dec 2020

Electro-Optic Satellite Constellation Design Using Multi-Objective Genetic Algorithm, Yasin Tamer

Theses and Dissertations

Satellite constellation design is a complex, highly constrained, and multidisciplinary problem. Unless optimization tools are used, tradeoffs must be conducted at the subsystem level resulting in feasible, but not necessarily optimal, system designs. As satellite technology advances, new methods to optimize the system objectives are developed. This study is based on the development of a representative regional remote sensing constellation design. This thesis analyses the design process of an electrooptic satellite constellation with regional coverage considerations using system-level optimization tools. A multi objective genetic algorithm method is used to optimize the constellation design by utilizing MATLAB and STK integration. Cost, …


Cost Estimating Using A New Learning Curve Theory For Non-Constant Production Rates, Dakotah Hogan, John J. Elshaw, Clay M. Koschnick, Jonathan D. Ritschel, Adedeji B. Badiru, Shawn M. Valentine Oct 2020

Cost Estimating Using A New Learning Curve Theory For Non-Constant Production Rates, Dakotah Hogan, John J. Elshaw, Clay M. Koschnick, Jonathan D. Ritschel, Adedeji B. Badiru, Shawn M. Valentine

Faculty Publications

Traditional learning curve theory assumes a constant learning rate regardless of the number of units produced. However, a collection of theoretical and empirical evidence indicates that learning rates decrease as more units are produced in some cases. These diminishing learning rates cause traditional learning curves to underestimate required resources, potentially resulting in cost overruns. A diminishing learning rate model, namely Boone’s learning curve, was recently developed to model this phenomenon. This research confirms that Boone’s learning curve systematically reduced error in modeling observed learning curves using production data from 169 Department of Defense end-items. However, high amounts of variability in …


Joint 1d And 2d Neural Networks For Automatic Modulation Recognition, Luis M. Rosario Morel Sep 2020

Joint 1d And 2d Neural Networks For Automatic Modulation Recognition, Luis M. Rosario Morel

Theses and Dissertations

The digital communication and radar community has recently manifested more interest in using data-driven approaches for tasks such as modulation recognition, channel estimation and distortion correction. In this research we seek to apply an object detector for parameter estimation to perform waveform separation in the time and frequency domain prior to classification. This enables the full automation of detecting and classifying simultaneously occurring waveforms. We leverage a lD ResNet implemented by O'Shea et al. in [1] and the YOLO v3 object detector designed by Redmon et al. in [2]. We conducted an in depth study of the performance of these …


Direct Digital Synthesis: A Flexible Architecture For Advanced Signals Research For Future Satellite Navigation Payloads, Pranav R. Patel Sep 2020

Direct Digital Synthesis: A Flexible Architecture For Advanced Signals Research For Future Satellite Navigation Payloads, Pranav R. Patel

Theses and Dissertations

In legacy Global Positioning System (GPS) Satellite Navigation (SatNav) payloads, the architecture does not provide the flexibility to adapt to changing circumstances and environments. GPS SatNav payloads have largely remained unchanged since the system became fully operational in April 1995. Since then, the use of GPS has become ubiquitous in our day-to-day lives. GPS availability is now a basic assumption for distributed infrastructure; it has become inextricably tied to our national power grids, cellular networks, and global financial systems. Emerging advancements of easy to use radio technologies, such as software-defined radios (SDRs), have greatly lowered the difficulty of discovery and …


Improving Closely Spaced Dim Object Detection Through Improved Multiframe Blind Deconvolution, Ronald M. Aung Sep 2020

Improving Closely Spaced Dim Object Detection Through Improved Multiframe Blind Deconvolution, Ronald M. Aung

Theses and Dissertations

This dissertation focuses on improving the ability to detect dim stellar objects that are in close proximity to a bright one, through statistical image processing using short exposure images. The goal is to improve the space domain awareness capabilities with the existing infrastructure. Two new algorithms are developed. The first one is through the Neighborhood System Blind Deconvolution where the data functions are separated into the bright object, the neighborhood system, and the background functions. The second one is through the Dimension Reduction Blind Deconvolution, where the object function is represented by the product of two matrices. Both are designed …


Chronos Spacecraft With Chiron Probe: Exploration Of The Hydrosphere, Principle Satellites, Atmosphere, And Rings Of Uranus, Payton E. Pearson Sep 2020

Chronos Spacecraft With Chiron Probe: Exploration Of The Hydrosphere, Principle Satellites, Atmosphere, And Rings Of Uranus, Payton E. Pearson

Theses and Dissertations

A design reference mission using more modern technological innovations has been developed for exploration of the outer reaches of our Solar System, specifically Uranus and its system of satellites. This mission will utilize theoretical technologies mostly without regard to their current technological readiness level (TRL), though most systems have a TRL of at least 5. The primary innovations explored in this thesis are the new launch systems that provide far greater payload capacity potentially sent to anywhere in the Solar System, new Stirling-engine radioisotope thermoelectric generators (SRTGs), vastly improved data storage technologies, optimized satellite antenna relay of data using much …


Applications Of Portable Libs For Actinide Analysis, Ashwin P. Rao, John D. Auxier Ii, Dung Vu, Michael B. Shattan Jul 2020

Applications Of Portable Libs For Actinide Analysis, Ashwin P. Rao, John D. Auxier Ii, Dung Vu, Michael B. Shattan

Faculty Publications

A portable LIBS device was used for rapid elemental impurity analysis of plutonium alloys. This device demonstrates the potential for fast, accurate in-situ chemical analysis and could significantly reduce the fabrication time of plutonium alloys.


Cyberspace Odyssey: A Competitive Team-Oriented Serious Game In Computer Networking, Kendra Graham [I], James Anderson [I], Conrad Rife [I], Bryce Heitmeyer [I], Pranav R. Patel [*], Scott L. Nykl, Alan C. Lin, Laurence D. Merkle Jul 2020

Cyberspace Odyssey: A Competitive Team-Oriented Serious Game In Computer Networking, Kendra Graham [I], James Anderson [I], Conrad Rife [I], Bryce Heitmeyer [I], Pranav R. Patel [*], Scott L. Nykl, Alan C. Lin, Laurence D. Merkle

Faculty Publications

Cyber Space Odyssey (CSO) is a novel serious game supporting computer networking education by engaging students in a race to successfully perform various cybersecurity tasks in order to collect clues and solve a puzzle in virtual near-Earth 3D space. Each team interacts with the game server through a dedicated client presenting a multimodal interface, using a game controller for navigation and various desktop computer networking tools of the trade for cybersecurity tasks on the game's physical network. Specifically, teams connect to wireless access points, use packet monitors to intercept network traffic, decrypt and reverse engineer that traffic, craft well-formed and …


Effects Of Temperature And Antioxidants On The Oxidation Of Biodiesel Derived From Waste Vegetable Oil, Randy L. Maglinao, Torrey J. Wagner, Keegan Duff Jun 2020

Effects Of Temperature And Antioxidants On The Oxidation Of Biodiesel Derived From Waste Vegetable Oil, Randy L. Maglinao, Torrey J. Wagner, Keegan Duff

Faculty Publications

Biodiesel offers several environmental benefits and improvements to some fuel performance properties, but its poor oxidative stability has been a major concern. Currently, the accepted practice to improve biodiesel oxidative stability is the addition of antioxidants; numerous antioxidants have been studied but their effectiveness in inhibiting biodiesel oxidation is difficult to predict due to variation with resonance stability, solubility, reactivity, and volatility. To improve prediction efforts, this study explored the Rapid Small-Scale Oxidation Test (RSSOT) as a means to investigate how biodiesel oxidation is affected by antioxidant concentration and temperature, and compared its results with the oxidative stability index test. …


Autoassociative-Heteroassociative Neural Network, Claudia V. Kropas-Hughes, Steven K. Rogers, Mark E. Oxley, Matthew Kabrisky Jun 2020

Autoassociative-Heteroassociative Neural Network, Claudia V. Kropas-Hughes, Steven K. Rogers, Mark E. Oxley, Matthew Kabrisky

AFIT Patents

An efficient neural network computing technique capable of synthesizing two sets of output signal data from a single input signal data set. The method and device of the invention involves a unique integration of autoassociative and heteroassociative neural network mappings, the autoassociative neural network mapping enabling a quality metric for assessing the generalization or prediction accuracy of the heteroassociative neural network mapping.


Statistical Photo-Calibration Of Photo-Detectors For Radiometry Without Calibrated Light Sources Comprising An Arithmetic Unit To Determine A Gain And A Bias From Mean Values And Variance Values, Adrian M. Catarius, Nicholas Yielding, Stephen C. Cain, Michael D. Seal Jun 2020

Statistical Photo-Calibration Of Photo-Detectors For Radiometry Without Calibrated Light Sources Comprising An Arithmetic Unit To Determine A Gain And A Bias From Mean Values And Variance Values, Adrian M. Catarius, Nicholas Yielding, Stephen C. Cain, Michael D. Seal

AFIT Patents

Calibration of a radiometry system uses a readout circuit of a photo-detector to provide first and second measurements collected over first and second integration times, respectively, where the first and second measurements are related to a photonic input to the photo-detector by a gain and a bias. First mean and variance values are computed for a plurality of first measurements. Second mean and variance values are computed for a plurality of second measurements. The gain and bias are determined from the first and second mean values and the first and second variance values without the use of a calibrated source. …


Monte Carlo Tree Search Applied To A Modified Pursuit/Evasion Scotland Yard Game With Rendezvous Spaceflight Operation Applications, Joshua A. Daughtery Jun 2020

Monte Carlo Tree Search Applied To A Modified Pursuit/Evasion Scotland Yard Game With Rendezvous Spaceflight Operation Applications, Joshua A. Daughtery

Theses and Dissertations

This thesis takes the Scotland Yard board game and modifies its rules to mimic important aspects of space in order to facilitate the creation of artificial intelligence for space asset pursuit/evasion scenarios. Space has become a physical warfighting domain. To combat threats, an understanding of the tactics, techniques, and procedures must be captured and studied. Games and simulations are effective tools to capture data lacking historical context. Artificial intelligence and machine learning models can use simulations to develop proper defensive and offensive tactics, techniques, and procedures capable of protecting systems against potential threats. Monte Carlo Tree Search is a bandit-based …


Design And Test Of An Autonomy Monitoring Service To Detect Divergent Behaviors On Unmanned Aerial Systems, Loay Y. Almannaei Jun 2020

Design And Test Of An Autonomy Monitoring Service To Detect Divergent Behaviors On Unmanned Aerial Systems, Loay Y. Almannaei

Theses and Dissertations

Operation of Unmanned Aerial Vehicles (UAV) support many critical missions in the United State Air Force (USAF). Monitoring abnormal behavior is one of many responsibilities of the operator during a mission. Some behaviors are hard to be detect by an operator, especially when flying one or more autonomous vehicles; as such, detections require a high level of attention and focus to flight parameters. In this research, a monitoring system and its algorithm are designed and tested for a target fixed-wing UAV. The Autonomy Monitoring Service (AMS) compares the real vehicle or simulated Vehicle with a similar simulated vehicle using Software …


Securing Photovoltaic (Pv) System Deployments With Data Diodes, Robert D. Larkin, Torrey J. Wagner, Barry E. Mullins Jun 2020

Securing Photovoltaic (Pv) System Deployments With Data Diodes, Robert D. Larkin, Torrey J. Wagner, Barry E. Mullins

Faculty Publications

A survey of a typical photovoltaic (PV) system with and without the cybersecurity protections of a data diode is explored. This survey includes a brief overview of Industrial Control Systems (ICS) and their relationship to the Internet of Things (IoT), Industrial Internet of Things (IIoT), and Industry 4.0 terminology. The cybersecurity features of eight data diodes are compared, and the cyber attack surface, attack scenarios, and mitigations of a typical PV system are discussed. After assessing cybersecurity, the economic considerations to purchase a data diode are considered. At 13.19 cents/kWh, the sale of 227,445 kWh is needed to fund one …


A Physics-Based Machine Learning Study Of The Behavior Of Interstitial Helium In Single Crystal W–Mo Binary Alloys, Adib J. Samin May 2020

A Physics-Based Machine Learning Study Of The Behavior Of Interstitial Helium In Single Crystal W–Mo Binary Alloys, Adib J. Samin

Faculty Publications

In this work, the behavior of dilute interstitial helium in W–Mo binary alloys was explored through the application of a first principles-informed neural network (NN) in order to study the early stages of helium-induced damage and inform the design of next generation materials for fusion reactors. The neural network (NN) was trained using a database of 120 density functional theory (DFT) calculations on the alloy. The DFT database of computed solution energies showed a linear dependence on the composition of the first nearest neighbor metallic shell. This NN was then employed in a kinetic Monte Carlo simulation, which took into …


Machine Learning Modeling Of Horizontal Photovoltaics Using Weather And Location Data, Christil Pasion, Torrey J. Wagner, Clay Koschnick, Steven J. Schuldt, Jada B. Williams, Kevin Hallinan May 2020

Machine Learning Modeling Of Horizontal Photovoltaics Using Weather And Location Data, Christil Pasion, Torrey J. Wagner, Clay Koschnick, Steven J. Schuldt, Jada B. Williams, Kevin Hallinan

Faculty Publications

Solar energy is a key renewable energy source; however, its intermittent nature and potential for use in distributed systems make power prediction an important aspect of grid integration. This research analyzed a variety of machine learning techniques to predict power output for horizontal solar panels using 14 months of data collected from 12 northern-hemisphere locations. We performed our data collection and analysis in the absence of irradiation data—an approach not commonly found in prior literature. Using latitude, month, hour, ambient temperature, pressure, humidity, wind speed, and cloud ceiling as independent variables, a distributed random forest regression algorithm modeled the combined …


Learning Set Representations For Lwir In-Scene Atmospheric Compensation, Nicholas M. Westing [*], Kevin C. Gross, Brett J. Borghetti, Jacob A. Martin, Joseph Meola Apr 2020

Learning Set Representations For Lwir In-Scene Atmospheric Compensation, Nicholas M. Westing [*], Kevin C. Gross, Brett J. Borghetti, Jacob A. Martin, Joseph Meola

Faculty Publications

Atmospheric compensation of long-wave infrared (LWIR) hyperspectral imagery is investigated in this article using set representations learned by a neural network. This approach relies on synthetic at-sensor radiance data derived from collected radiosondes and a diverse database of measured emissivity spectra sampled at a range of surface temperatures. The network loss function relies on LWIR radiative transfer equations to update model parameters. Atmospheric predictions are made on a set of diverse pixels extracted from the scene, without knowledge of blackbody pixels or pixel temperatures. The network architecture utilizes permutation-invariant layers to predict a set representation, similar to the work performed …


Single-Pulse, Kerr-Effect Mueller Matrix Lidar Polarimeter, Keyser, Christian K., Richard K. Martin, Helena Lopez-Aviles, Khanh Nguyen, Arielle M. Adams, Demetrios Christodoulides Apr 2020

Single-Pulse, Kerr-Effect Mueller Matrix Lidar Polarimeter, Keyser, Christian K., Richard K. Martin, Helena Lopez-Aviles, Khanh Nguyen, Arielle M. Adams, Demetrios Christodoulides

Faculty Publications

We present a novel light detection and ranging (LiDAR) polarimeter that enables measurement of 12 of 16 sample Mueller matrix elements in a single, 10 ns pulse. The new polarization state generator (PSG) leverages Kerr phase modulation in a birefringent optical fiber, creating a probe pulse characterized by temporally varying polarization. Theoretical expressions for the Polarization State Generator (PSG) Stokes vector are derived for birefringent walk-off and no walk-off and incorporated into a time-dependent polarimeter signal model employing multiple polarization state analyzers (PSA). Polarimeter modeling compares the Kerr effect and electro-optic phase modulator–based PSG using a single Polarization State Analyzer …


Experimental Determination Of The (0/−) Level For Mg Acceptors In Β-Ga2O3 Crystals, Christopher A. Lenyk, Trevor A . Gustafson, Sergey A. Basun, Larry E. Halliburton, Nancy C. Giles Apr 2020

Experimental Determination Of The (0/−) Level For Mg Acceptors In Β-Ga2O3 Crystals, Christopher A. Lenyk, Trevor A . Gustafson, Sergey A. Basun, Larry E. Halliburton, Nancy C. Giles

Faculty Publications

Electron paramagnetic resonance (EPR) is used to experimentally determine the (0/−) level of the Mg acceptor in an Mg-doped β-Ga2O3 crystal. Our results place this level 0.65 eV (±0.05 eV) above the valence band, a position closer to the valence band than the predictions of several recent computational studies. The crystal used in this investigation was grown by the Czochralski method and contains large concentrations of Mg acceptors and Ir donors, as well as a small concentration of Fe ions and an even smaller concentration of Cr ions. Below room temperature, illumination with 325 nm laser light …


Ground Weather Radar Signal Characterization Through Application Of Convolutional Neural Networks, Stephen M. Lee Mar 2020

Ground Weather Radar Signal Characterization Through Application Of Convolutional Neural Networks, Stephen M. Lee

Theses and Dissertations

The 45th Weather Squadron supports the space launch efforts out of the Kennedy Space Center and Cape Canaveral Air Force Station for the Department of Defense, NASA, and commercial customers through weather assessments. Their assessment of the Lightning Launch Commit Criteria (LLCC) for avoidance of natural and rocket triggered lightning to launch vehicles is critical in approving space shuttle and rocket launches. The LLCC includes standards for cloud formations, which requires proper cloud identification and characterization methods. Accurate reflectivity measurements for ground weather radar are important to meet the LLCC for rocket triggered lightning. Current linear interpolation methods for ground …


Developing A Serious Game To Explore Joint All Domain Command And Control, Nathaniel W. Flack Mar 2020

Developing A Serious Game To Explore Joint All Domain Command And Control, Nathaniel W. Flack

Theses and Dissertations

Changes in the geopolitical landscape and increasing technological complexity have prompted the U.S. Military to coin Multi-Domain Operations (MDO) and Joint All-Domain Command and Control as terms to describe an over-arching strategy that frames the complexity of warfare across both traditional and emerging warfighting domains. Teaching new and advanced concepts associated with these terms requires both innovation as well as distinct education and training tools in order to realize the cultural change advocated by senior military leaders. BSN, a Collectible Card Game, was developed to teach concepts integral to MDO and initiate discussion on military strategy.


Object Detection With Deep Learning To Accelerate Pose Estimation For Automated Aerial Refueling, Andrew T. Lee Mar 2020

Object Detection With Deep Learning To Accelerate Pose Estimation For Automated Aerial Refueling, Andrew T. Lee

Theses and Dissertations

Remotely piloted aircraft (RPAs) cannot currently refuel during flight because the latency between the pilot and the aircraft is too great to safely perform aerial refueling maneuvers. However, an AAR system removes this limitation by allowing the tanker to directly control the RP A. The tanker quickly finding the relative position and orientation (pose) of the approaching aircraft is the first step to create an AAR system. Previous work at AFIT demonstrates that stereo camera systems provide robust pose estimation capability. This thesis first extends that work by examining the effects of the cameras' resolution on the quality of pose …


Comparison Of Visual Simultaneous Localization And Mapping Methods For Fixed-Wing Aircraft Using Slambench2, Patrick R. Latcham Mar 2020

Comparison Of Visual Simultaneous Localization And Mapping Methods For Fixed-Wing Aircraft Using Slambench2, Patrick R. Latcham

Theses and Dissertations

Visual Simultaneous Localization and Mapping (VSLAM) algorithms have evolved rapidly in the last few years, however there has been little research evaluating current algorithm's effectiveness and limitations when applied to tracking the position of a fixed-wing aerial vehicle. This research looks to evaluate current monocular VSLAM algorithms' performance on aerial vehicle datasets using the SLAMBench2 benchmarking suite. The algorithms tested are MonoSLAM, PTAM, OKVIS, LSDSLAM, ORB-SLAM2, and SVO, all of which are built into the SLAMBench2 software. The algorithms' performance is evaluated using simulated datasets generated in the AftrBurner Engine. The datasets were designed to test the quality of each …


Near Real-Time Zigbee Device Discrimination Using Cb-Dna Features, Yousuke Z. Matsui Mar 2020

Near Real-Time Zigbee Device Discrimination Using Cb-Dna Features, Yousuke Z. Matsui

Theses and Dissertations

Currently, Low-Rate Wireless Personal Area Networks (LR-WPAN) based on the Institute of Electrical and Electronics Engineers (IEEE) 802.15.4 standard are at risk due to open-source tools which allow bad actors to exploit unauthorized network access through various cyberattacks by falsifying bit-level credentials. This research investigates implementing a Radio Frequency (RF) air monitor to perform Near RealTime (NRT) discrimination of Zigbee devices using the IEEE 802.15.4 standard. The air monitor employed a Multiple Discriminant Analysis/Euclidean Distance classifier to discriminate Zigbee devices based upon Constellation-Based Distinct Native Attribute (CB-DNA) fingerprints. Through the use of CB-DNA fingerprints, Physical Layer (PHY) characteristics unique to …


Modeling Nonlinear Heat Transfer For A Pin-On-Disc Sliding System, Brian A. Boardman Mar 2020

Modeling Nonlinear Heat Transfer For A Pin-On-Disc Sliding System, Brian A. Boardman

Theses and Dissertations

The objective of this research is to develop a numerical method to characterize heat transfer and wear rates for samples of Vascomax® 300, or Maraging 300, steel. A pin-on-disc experiment was conducted in which samples were exposed to a high-pressure, high-speed, sliding contact environment. This sliding contact generates frictional heating that influences the temperature distribution and wear characteristics of the test samples. A two-dimensional nonlinear heat transfer equation is discretized and solved via a second-order explicit finite difference scheme to predict the transient temperature distribution of the pin. This schematic is used to predict the removal of material from the …


One-Dimensional Multi-Frame Blind Deconvolution Using Astronomical Data For Spatially Separable Objects, Marc R. Brown Mar 2020

One-Dimensional Multi-Frame Blind Deconvolution Using Astronomical Data For Spatially Separable Objects, Marc R. Brown

Theses and Dissertations

Blind deconvolution is used to complete missions to detect adversary assets in space and to defend the nation's assets. A new algorithm was developed to perform blind deconvolution for objects that are spatially separable using multiple frames of data. This new one-dimensional approach uses the expectation-maximization algorithm to blindly deconvolve spatially separable objects. This object separation reduces the size of the object matrix from an NxN matrix to two singular vectors of length N. With limited knowledge of the object and point spread function the one-dimensional algorithm successfully deconvolved the objects in both simulated and laboratory data.


Sliver: Simulation-Based Logic Bomb Identification/Verification For Unmanned Aerial Vehicles, Jake M. Magness Mar 2020

Sliver: Simulation-Based Logic Bomb Identification/Verification For Unmanned Aerial Vehicles, Jake M. Magness

Theses and Dissertations

This research introduces SLIVer, a Simulation-based Logic Bomb Identification/Verification methodology, for finding logic bombs hidden within Unmanned Aerial Vehicle (UAV) autopilot code without having access to the device source code. Effectiveness is demonstrated by executing a series of test missions within a high-fidelity software-in-the-loop (SITL) simulator. In the event that a logic bomb is not detected, this methodology defines safe operating areas for UAVs to ensure to a high degree of confidence the UAV operates normally on the defined flight plan. SLIVer uses preplanned flight paths as the baseline input space, greatly reducing the input space that must be searched …


Relational Database Design And Multi-Objective Database Queries For Position Navigation And Timing Data, Sean A. Mochocki Mar 2020

Relational Database Design And Multi-Objective Database Queries For Position Navigation And Timing Data, Sean A. Mochocki

Theses and Dissertations

Performing flight tests is a natural part of researching cutting edge sensors and filters for sensor integration. Unfortunately, tests are expensive, and typically take many months of planning. A sensible goal would be to make previously collected data readily available to researchers for future development. The Air Force Institute of Technology (AFIT) has hundreds of data logs potentially available to aid in facilitating further research in the area of navigation. A database would provide a common location where older and newer data sets are available. Such a database must be able to store the sensor data, metadata about the sensors, …