Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 4 of 4
Full-Text Articles in Physical Sciences and Mathematics
Classification Of Non-Heat Generating Outdoor Objects In Thermal Scenes For Autonomous Robots, William L. Fehlman
Classification Of Non-Heat Generating Outdoor Objects In Thermal Scenes For Autonomous Robots, William L. Fehlman
Dissertations, Theses, and Masters Projects
We have designed and implemented a physics-based adaptive Bayesian pattern classification model that uses a passive thermal infrared imaging system to automatically characterize non-heat generating objects in unstructured outdoor environments for mobile robots. In the context of this research, non-heat generating objects are defined as objects that are not a source for their own emission of thermal energy, and so exclude people, animals, vehicles, etc. The resulting classification model complements an autonomous bot's situational awareness by providing the ability to classify smaller structures commonly found in the immediate operational environment. Since GPS depends on the availability of satellites and onboard …
Formal Analysis Of Firewall Policies, Robert Mathias Marmorstein
Formal Analysis Of Firewall Policies, Robert Mathias Marmorstein
Dissertations, Theses, and Masters Projects
This dissertation describes a technique for formally analyzing a firewall security policy using a quasi-reduced multiway decision diagram model. The analysis allows a system administrator to detect and repair errors in the configuration of the firewall without a tedious manual inspection of the firewall rules.;We present four major contributions. First, we describe a set of algorithms for representing a firewall rule set as a multi-way decision diagram and for solving logical queries against that model. We demonstrate the application of these techniques in a tool for analyzing iptables firewalls. Second, we present an extension of our work that enables analysis …
Automatically Generating Random Test Data For Relevant And Implicitly Defined Subdomains, John Alexander Murphy
Automatically Generating Random Test Data For Relevant And Implicitly Defined Subdomains, John Alexander Murphy
Dissertations, Theses, and Masters Projects
No abstract provided.
Parallel Unstructured Grid Generation For Complex Real-World Aerodynamic Simulations, George Zagaris
Parallel Unstructured Grid Generation For Complex Real-World Aerodynamic Simulations, George Zagaris
Dissertations, Theses, and Masters Projects
No abstract provided.