Award Data

Barron Associates has teamed with a prominent researcher in the field of formal verification of cyber physical systems to propose a new paradigm in runtime assurance for complex autonomous systems controlled and operated by artificial machine intelligence. A two-stage approach is considered in which formal verification processes are first performed offline at algorithm design time. Online, during ...

Most standard-of-care tools and techniques for evaluating neck disorders are subjective, unreliable, and do not provide actionable information for providers, payers, and organizations to deliver efficient and effective care. This lack of objective neck he

The objective of this proposal is to demonstrate the feasibility of producing an automated delayering and imaging system with end point detection, material density detection with built in neural network error correction. This process, coined fast Automated Delayering-Image Capture System (ADICS) leverages off of the existing Pix2Net which is a proven automated imaging 3D microchip reconstruction ...

The proposed research and technical objectives in this project deal with computerized automatic delayering and polishing system that would be applicable to both commercial and government semiconductor device research and development with applications including Failure Analysis (FA), Fault Isolation (FI), and Reverse Engineering (RE) of semiconductor microelectronic devices. This project could hel ...

Unmanned aerial systems (UAS) provide strategic advantage for our nation’s warfighters, and the use of micro- and small-scale platforms on the battlefield is expected to increase significantly in coming years. This presents a logistical challenge in managing how system batteries are recharged throughout the UAS lifespan. The desired goal is to develop power systems that enable persistent deploym ...

Field programmable gate arrays (FPGAs) are becoming increasingly critical components in advanced electronic systems. However, limited research has been applied to identifying critical vulnerabilities that could be present in the designs deployed on these FPGAs. The risk is further increased by the use of 3rd party intellectual property in many designs.GrammaTech is proposing to develop a Trust ver ...

Metron and Northeastern University propose to design, develop, and validate a proof-of-concept predictive Graph Convolutional Network (GCN) capability using open source Reddit and GDELT data. We propose: (1) to extract and preprocess open-source Reddit and GDELT data, (2) to design a predictive graph convolutional neural network model, (3) to implement and train that model, and (4) to validate the ...

In Phase I, Metron and the University of Miami (UM) propose to develop a theoretic reduction of dynamics framework applicable to the prediction of oceanographic fields in geophysical fluid dynamic models for use onboard unmanned platforms. Our approach leverages, extends and combines modern advances in the renormalization group and Bayesian probability combined with fluid dynamics modeling and for ...

This project delivers a system to assess local uncertainties and track the evolution of the maritime environment around unmanned platforms at sea. The system uses Navy ocean forecasts for initial environmental guesses and outlooks and implements a Reduced Order Model (ROM) derived from Dynamically Orthogonal (DO) solutions to deliver a local uncertainty picture (for the next 24-48 hours). The ROM- ...

NanoSonic will work with Penn State to develop, demonstrate and manufacture materials and systems to allow unmanned aerial vehicles (UAVs) to scavenge magnetic field energy from electric power lines and operate continuously in the field. NanoSonic will work with energy harvesting researcher Dr. Shashank Priya and a major US aerospace company to design, fabricate and demonstrate a prototype system ...