Award Data

Galois will build a practical, efficient, modular, deductive code verifier and verification methodology for multithread C11 software. The verifier will take code written to the C11 standard, suitably annotated with function contracts, assertions, program/data invariants, ghost data/code, and any platform-specific assumptions beyond those guaranteed by the standard, and will prove that the code mee ...

InfoBeyond Technology advocates the development of a user-friendly, efficient, reliable, and generic Access Control Policy modeling, verification, and Testing (ACPT) Tool. InfoBeyond Technology’s ACPT enhances NIST’s ACPT design and adds several advanced features for achieving high security confidence AC levels such that it can be commercialized. It provides user-friendly GUI templates for use ...

During Phase I, Management Sciences, Inc. (MSI) proved feasibility of adapting their current technology into a product capable of improving performance resulting in increased efficiency and extended life cycles of heat pumps. The resultant product is a tool named the Heat Pump Sentient (HP-Sentient). The HP-Sentient will improve performance and reduce maintenance costs through aggressive goal-seek ...

Public and commercial application of NOAA developed products such as climate observations, weather products, and datasets are underutilized by public decision makers, infrastructure asset owners, or the public. Communities realize the risk posed by increases in storm intensity, flooding, and heat waves. However, communities lack understandable models targets to stakeholder questions that are affor ...

Recent theoretical studies of eddy flux correlation have suggested that the commonly used assumption of dry air having no net flux is erroneous and can lead to significant errors in reported observations. Presently, dry air density is calculated indirectly from measured temperature, pressure and relative humidity, all of which contribute to increased uncertainties in the result. If instead the den ...

X-ray fluorescence spectroscopy is a widely used and extremely sensitive analytical technique for qualitative and quantitative chemical analysis. Superconducting Transition Edge Sensor (TES) microcalorimeter detectors have now been developed that achieve an energy resolution of 2 eV for 1.5 keV X-rays, which is sufficient to enable the measurement of the small shift of the X-ray line position that ...

In the proposed effort, we will leverage this extensive experience and capabilities to realize a frequency agile mmW radiometer that can cover the range of DC-110 GHz and can be scaled to DC-200 GHz under Phase II. Ours is a photonic system that multiplies and up-coverts a low-frequency reference signal onto an optical carrier (laser) using EO modulation, then uses the modulation sidebands to inj ...

There are many commercially available flexible hoses for use in non-rigid coupling of hydraulic, air, and other piping systems. However, these systems are currently not designed for operating under severe hydrostatic and dynamic pressures experienced by Deep Submergence Systems in their extreme operating environments. The pipes that connect the DDS to the sub are exposed to the water and experien ...

A back-illuminated planar InGaAs photodiode tested to have 95% quantum effiiency (QE) at 1550 nm, area greater than 1 mm2, low capacitance (125 MHz) will be improved. Although the existing Phase I device exhibited bulk material dark current generation better than commercially available devices, the sidewall-generated dark current was found to dominate the noise equiva ...

MRC PROPOSES TO DEVELOP A SAFETY PERFORMANCE INDICATOR (PI) OF THE ELECTROMAGNETIC (EM) PROTECTION STATUS OF A NUCLEAR POWER PLANT (NPP). WE BELIEVE THAT SUCH A PI IS NEEDED BECAUSE: (1) EM ENVIRONMENTAL POLLUTION IS ON THE INCREASE,(2) ADDITIONAL EM THREATS MUST BE EVALUATED, AND (3) DISRUPTION OF NPP OPERATIONS BY EM EFFECTS CAN AND MUST BE AVOIDED. PREVIOUS STUDIES HAVE ADDRESSED THE ISSUE OF E ...