Award Data

ABSTRACT: LVI proposes developing an advanced framework of lifted probabilistic inference algorithms for enhancing the scaling and accuracy of text analytics. In Phase I, LVI explored the scalability of various lifted inference techniques for utilizing Markov Logic Networks (MLN) in the Tuffy software package. Phase I also included investigation and demonstration of DeepDive, a scalable, high-per ...

ABSTRACT: We propose here a robust production-level high-order mesh generation software for complex geometries. High order accurate numerical methods are becoming increasingly popular in the present time and have demonstrated a great measure of success in efficient error-controlled simulations for a wide variety of important problems. A curved geometry and mesh generation system is essential in m ...

ABSTRACT: Current methods for inspecting the external surface of manned and unmanned low-observable (LO) aircraft are time consuming and error prone. Technology that can reduce inspection times and minimize human error will benefit the Air Force by significantly increasing aircraft reliability and availability while reducing lifecycle maintenance costs. To address this need, Intelligent Automat ...

ABSTRACT: Threat detection of people, vehicles, and others as well as person-vehicle interactions (dismounts) of possible malicious intent are difficult problems due to the complexity of the problem space. The wide area motion imagery (WAMI) systems aid analysts to track and identify dismounts, but typically produce an overwhelmingly large amount of information. The large scale data input challeng ...

ABSTRACT: In this proposal, a team comprising ParaSim Inc. and the University of Utah will examine the feasibility of generating curved high-order meshes from hybrid linear meshes while retaining a given boundary geometry. Specifically, a preliminary design of a software package for creating high-order (up to 4th order and higher) hybrid-element meshes for complex geometries will be developed. S ...

ABSTRACT: Space superiority needs protected tactical space communications with dynamic spectrum sharing, routing adaptation and interference mitigations against kinetic and non kinetic threats. The main focus of this project is to develop game-theoretic analytics and frameworks to support the Air Forces autonomy science & technology strategy (e.g., "deterrence" posture which in turn may be enabled ...

ABSTRACT: Future conflicts in contested environments will require coordination between teams of manned and unmanned platforms performing ISR tasks. Coordinating ISR tasks is much more challenging in these contested conditions as GPS cannot be reliably depended upon. Consider the ISR task of handing off a tracked target from one platform to another. Reliably performing this task requires at a mini ...

ABSTRACT: This project will develop and demonstrate a software package based on coupled Fokker-Planck (FP) - Fermi Kinetic Transport (FKT) models and full-wave Maxwell electromagnetic (EM) solver to accurately predict semiconductor device behavior from dc up through the mm-wave and THz frequency ranges. The FP model provides accurate non-equilibrium occupation functions for hot electrons with real ...

ABSTRACT: Electro-optic/infrared (EO/IR) sensors are key to the mission success of future hypersonic vehicles. Although EO/IR sensors have been extensively used for subsonic flight regimes, the hypersonic flight regime creates new conditions and complexities with significant impact on optical sensors. These complexities include turbulent, high temperature gas that is in Non-Local Thermodynamic Equ ...

ABSTRACT: Over the past decade, there has been a sustained interest in Global Positioning System (GPS) denied navigation technologies for unmanned aircraft systems (UAS). This has been primarily due to the well accepted susceptibility of GPS signals to intentional jamming or unintentional interference and blockage. One of the challenging problems in GPS-denied navigation is handing off moving targ ...