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 ...

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 ...

A new radiometric vicarious calibration approach for the Suomi NPP VIIRS Day/Night Band’s (DNB) high gain stage (HGS) is proposed that will complement traditional, extended source, radiance-based calibrations, which are based on natural lunar illumination and not as accurate as desired. The proposed research will produce affordable, field-deployable, NIST-traceable point source lamps that can ac ...

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 ...

Millions of heat pumps are used to heat and cool homes and buildings year round. Continuous operation means that components wear out at a greater rate. As a result, maintenance of residential heat pumps is a major cost driver. Current methods focus on reduced use through control settings. Typically, demand has wide swings throughout the day and people are unable to customize controls. Inevitably, ...

Passive microwave sensors aboard satellites provide valuable information regarding weather conditions by measuring atmospheric attenuation over a broad range of frequencies from 0-200 GHz. Additional ground-based sensors are desirable to provide complementary upward looking measurements that can be used to refine existing attenuation models. Operating over such a large bandwidth, however, places ...