Theses and Dissertations from the Graduate School of Engineering and Management, Air Force Institute of Technology
Theses/Dissertations from 2021
Formal Verification for High Assurance Software: A Case Study Using the SPARK Auto-Active Verification Toolset, Ryan M. Baity
Developing Infrastructure Adaptation Pathways to Combat Hurricane Intensification: A Coupled Storm Simulation and Economic Modeling Framework for Coastal Installations, Alexander J. Baldwin
Applied Reachability Analysis for Time-Optimal Spacecraft Attitude Reorientations, Layne C. Barrett
Mitigating the Multipath Effects on Radio Tomographic Imaging, Destinee N. Battle
Nonlinear Solution of the Time Eigenvalue of a Fast Burst Reactor Using the Finite Volume Method, Stephen H. Baxter
CubeSat Attitude Determination and Control System (ADACS) Characterization and Testing for Rendezvous and Proximity Operations (RPO), Steven T. Bednarski
Autonomous Mission Planning for Spacecraft Rendezvous and Proximity Operations, Julia C. Bell
Model Based Systems Engineering Demonstrator for Air Worthiness with Performance Data of Department of Defense Rotorcraft, Bretton M. Bethel
Deep Learning for Weather Clustering and Forecasting, Nathaniel R. Beveridge
Meta-Heuristic Optimization Methods for Quaternion-Valued Neural Networks, Jeremiah P. Bill
Machine Learning Application for Mission Data Reprogramming, Paolo A. Bingham
Pseudospectral Methods of Robust Optimal Motion Planning for Multi-aperture Space Systems with Motion and Vibration Compensation, Brian W. Bishop
An Analysis of the Effects of Technology Readiness Levels on Cost Growth, Christopher R. Bissing
Correlated Positron-electron Orbital (CPEO): A Novel Method that Models Positron-Electron Correlation in Virtual Ps at the Mean-Field Level, Kevin E. Blaine
Design and Fabrication of Zinc Oxide Optofluidic Laser Elements, Kyle T. Bodily
Cislunar Debris Propagation Following a Catastrophic Spacecraft Mishap, Nathan R. Boone
Using Motion Capture and Augmented Reality to Test AAR with Boom Occlusion, Vincent J. Bownes
A Comparative Evaluation of the Fast Optical Pulse Response of Event-based Cameras, Tyler J. Brewer
Shock Migration on an Oscillating Straked Delta Wing Using an Unsteady Euler Solver, Alexander J. Brown
One Dimensional Study of Magnetoplasmadynamic Thrusters for a Potential New Class of Heavy Ion Drivers for Plasma Jet Driven Magnetoinertial Fusion, Patrick M. Brown
Investigating Manufacturer Selection Decisions for Built Infrastructure Assets Using a Technical Performance Metric, Sarah L. Brown
SAR Collection Planning and Data Quality Assessment, Jacob M. Brumfield
Contract Information Extraction Using Machine Learning, Zachary E. Butcher
Fatigue of Two Oxide/oxide Ceramic Matrix Composites at 1200°C in Air and in Steam. Effect of Diamond Drilled Effusion Holes, Anthony R. Cabri
Improvements to Emissive Plume and Shock Wave Diagnostics and Interpretation During Pulsed Laser Ablation of Graphite, Timothy I. Calver