Search NASA⌕ Search

SEARCH · Search NASA

Results for “CPR”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

98 records · Page 6

CRTM Microwave Cloud Scattering Lookup Tables and Radar Simulator

Microwave observations play a very important role in improving the weather forecasts. Although these observations are routinely assimilated into NWP models in clear-sky conditions, assimilation of all-sky microwave observations is very limited. Two main factors contributing to this limitation are inaccuracy in the input cloud and hydrometeor profiles used as input to the radiative transfer model and also error in scattering calculations performed by the radiative transfer model itself. The Mie theory is used by many fast RT models to estimate the optical properties of single particles. The Mie theory assumes spherical shapes for ice or snow particles with mixture of air and ice. However, hydrometeors scattering radiation at microwave frequencies have different shapes, sizes, and orientations. Therefore, using Mie theory to determine their optical properties leads to large uncertainties in all-sky radiative transfer calculations. The discrete dipole approximation (DDA) which approximates the optical properties of large objects in terms of discrete dipoles has shown promise in calculating the scattering properties of particles with different shapes in the microwave frequencies. This presentation focuses on recent advancements in the CRTM scattering calculations for frozen hydrometeors in the microwave frequencies using the DDA technique. In addition to using stand-alone CRTM calculations using collocated ATMS and reanalysis profiles, the data assimilation experiments conducted using the NOAA FV3GFS forecast system are used to evaluate the scattering improvements. Additionally, the backscattering information from the DDA database was used to implement a radar simulator into CRTM. The radar operator takes advantage of CRTM different modules to calculate clouds absorption and scattering properties. In addition to the forward model both adjoint and tangent linear of the radar simulator are implemented and evaluated as well. The radar simulator is currently being tested within the JEDI/GEOS data assimilation framework to facilitate the assimilation of radar measurements such as CloudSat CPR and GPM DPR into the NASA GEOS model.

Isaac Moradi↗

Sea Salt and Dust Optical Depths in the Caribbean and Equatorial Western Atlantic: A Multi-technique Analysis

Many instruments and algorithms can estimate aerosol optical depth (AOD) of the atmosphere. The Moderate Resolution Imaging Spectroradiometer (MODIS) onboard the Aqua spacecraft provides estimates at several wavelengths. The Synergized Optical Depth of Aerosols (SODA) algorithm utilizes the Cloud-Aerosol Lidar with Orthogonal Polarization (CALIOP) onboard the Cloud-Aerosol Lidar and Infrared Pathfinder Satellite Observation (CALIPSO) spacecraft and the Cloud Profiling Radar (CPR) onboard the CloudSat spacecraft’s ocean returns to estimate AOD. CALIOP routinely estimates AOD for all individual layers detected within a column and these can be summed to generate a total column approximation. With the release of the Version 4.51 Lidar Level 2 data products in October 2023, direct estimates of total column optical depth are now derived using the Ocean Derived Column Optical Depths (ODCOD) algorithm. In this poster we investigate the multispectral AOD estimates, and derived Angstrom exponents of marine sea salt and dust provided by MODIS, SODA, CALIOP, and ODCOD in a major dust transport and deposition region of the equatorial Atlantic Ocean.

optical depth↗

Cloud profiling radar for the CloudSat Mission

The CloudSat Mission is a new satellite mission jointly developed by NASA, JPL, the Canadian Agency, Colorado State University, and the US AirForce to acquire a global data set of vertical cloud structure and its variability.

vertical profiling↗

Fast, Space qualified 3000 V modulator for a Cloud Profiling Radar

This paper describes the design approach for the FEM and its performance in EM and Flight configurations. This design is a simple but universal approach which allows the designers to greater flexibility and freedom in designing high swinging voltage space- qualifiable FEM.

CloudSat↗

Formal Methods in the Development of Highly Assured Software for Unmanned Aircraft Systems

In traditional software development methodologies, operational and functional requirements of systems are often specified in structured natural language notations. These restricted notations provide good documentation support, but only provide limited support for semantic analysis. These notations are generally not rich enough to unambiguously specify the requirements of safety-critical systems that, for example, involve complex numerical computations or that interact with the physical environment. Examples of these safety-critical systems are autonomous vehicles such as unmanned aircraft systems. This talk advocates the use of expressive formal logics, such as higher-order logic, to specify the operational and functional requirement of unmanned systems and to prove the correctness of these requirements. Semantic analysis of requirements written in higher-order logic is supported through the use of interactive theorem provers. Formal models serve as ideal reference implementations of functional requirements. Hence, formal logics enable software validation techniques where software implementations can be checked against functional requirements in a mechanical way. The Formal Methods group in the Safety-Critical Avionics Systems Branch at NASA Langley Research Center has conducted research on the development and application of formal verification techniques to safety-critical applications of interest to NASA for more than 30 years. This talk illustrates the use of formal methods in the development of highly-assured autonomous unmanned aircraft systems.

Formal Methods↗