Search NASA⌕ Search

SEARCH · Search NASA

Results for “ORACLES”

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.

At least 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
NASA NTRS2015

Aerosol-Cloud Interactions in the South-East Atlantic: Knowledge Gaps, Planned Observations to Address Them, and Implications for Global Climate Change Modeling

Southern Africa produces almost a third of the Earth's biomass burning (BB) aerosol particles, yet the fate of these particles and their influence on regional and global climate is poorly understood. Particles lofted into the mid-troposphere are transported westward over the South-East (SE) Atlantic, home to one of the three permanent subtropical Stratocumulus (Sc) cloud decks in the world. The stratocumulus "climate radiators" are critical to the regional and global climate system. They interact with dense layers of BB aerosols that initially overlay the cloud deck, but later subside and are mixed into the clouds. These interactions include adjustments to aerosol-induced solar heating and microphysical effects. As emphasized in the latest IPCC report, the global representation of these aerosol-cloud interaction processes in climate models is one of the largest uncertainty in estimates of future climate. Hence, new observations over the SE Atlantic have significant implications for global climate change scenarios. We discuss the current knowledge of aerosol and cloud property distributions based on satellite observations and sparse suborbital sampling, and describe planned field campaigns in the region. Specifically, we describe the scientific objectives and implementation of the following four synergistic, international research activities aimed at providing a process-level understanding of aerosol-cloud interactions over the SE Atlantic: 1) ORACLES (Observations of Aerosols above Clouds and their interactions), a five-year investigation between 2015 and 2019 with three Intensive Observation Periods (IOP), recently funded by the NASA Earth-Venture Suborbital Program, 2) CLARIFY-2016 (Cloud-Aerosol-Radiation Interactions and Forcing: Year 2016), a comprehensive observational and modeling programme funded by the UK's Natural Environment Research Council (NERC), and supported by the UK Met Office. 3) LASIC (Layered Atlantic Smoke Interactions with Clouds), a funded deployment of the DOE (Department of Energy) ARM Mobile Facility (AMF1) to Ascension Island, nominally for April 1 2016 - March 31 2017, and 4) ONFIRE (Observations of Fire's Impact on the southeast Atlantic Region), a proposed deployment of the NCAR C-130 aircraft to Sao Tome Island in 2017.

Aerosol-cloud↗
NASA NTRS2016

Aerosol-Radiation-Cloud Interactions in the South-East Atlantic: Future Suborbital Activities to Address Knowledge Gaps in Satellite and Model Assessments

Southern Africa produces almost a third of the Earth's biomass burning (BB) aerosol particles. Particles lofted into the mid-troposphere are transported westward over the South-East (SE) Atlantic, home to one of the three permanent subtropical stratocumulus (Sc) cloud decks in the world. The SE Atlantic stratocumulus deck interacts with the dense layers of BB aerosols that initially overlay the cloud deck, but later subside and may mix into the clouds. These interactions include adjustments to aerosol-induced solar heating and microphysical effects, and their global representation in climate models remains one of the largest uncertainties in estimates of future climate. Hence, new observations over the SE Atlantic have significant implications for global climate change scenarios. Our understanding of aerosol-cloud interactions in the SE Atlantic is hindered both by the lack of knowledge on aerosol and cloud properties, as well as the lack of knowledge about detailed physical processes involved. Most notably, we are missing knowledge on the absorptive and cloud nucleating properties of aerosols, including their vertical distribution relative to clouds, on the locations and degree of aerosol mixing into clouds, on the processes that govern cloud property adjustments, and on the importance of aerosol effects on clouds relative to co-varying synoptic scale meteorology. We discuss the current knowledge of aerosol and cloud property distributions based on satellite observations and sparse suborbital sampling. Recent efforts to make full use of A-Train aerosol sensor synergies will be highlighted. We describe planned field campaigns in the region to address the existing knowledge gaps. Specifically, we describe the scientific objectives and implementation of the five synergistic, international research activities aimed at providing some of the key aerosol and cloud properties and a process-level understanding of aerosol-cloud interactions over the SE Atlantic: NASA's ORACLES, the UK Met Office's CLARIFY-2016, the DoE's LASIC, NSF's ONFIRE, and CNRS' AEROCLO-SA.

aerosols↗
NASA NTRS2017

A Circuit-Based Quantum Algorithm Driven by Transverse Fields for Grover's Problem

We designed a quantum search algorithm, giving the same quadratic speedup achieved by Grover's original algorithm; we replace Grover's diffusion operator (hard to implement) with a product diffusion operator generated by transverse fields (easy to implement). In our algorithm, the problem Hamiltonian (oracle) and the transverse fields are applied to the system alternatively. We construct such a sequence that the corresponding unitary generates a closed transition between the initial state (even superposition of all states) and a modified target state, which has a high degree of overlap with the original target state.

quantum computing↗
NASA NTRS2018

Swelling of Transported Smoke from Savanna fires over the Southeast Atlantic Ocean

We use the recently released Version 4 (V4) lidar data products from CALIPSO to study the smoke plumes transported from Southern African biomass burning areas. The significant improvements in CALIPSO V4 Level 1 calibration and the V4 Level 2 aerosol subtyping algorithms, the latter being particularly relevant to biomass burning smoke over this area, lead to a better representation of their optical properties. For the first time, we show evidence of smoke particles increasing in size, evidenced in their particulate color ratios, as they are transported over the South Atlantic Ocean from the source regions over Southern Africa. This is likely due to hygroscopic swelling of the smoke particles and is reflected in the higher relative humidity in the middle troposphere for profiles with smoke. This finding may have implications for radiative forcing estimates over this area and is relevant to the ORACLES field mission that is currently underway.

Kar, J.↗
NASA NTRS2018

Swelling of Transported Smoke from Savanna Fires over the Southeast Atlantic Ocean

We use the recently released Cloud Aerosol Lidar and Infrared Pathfinder Satellite Observations (CALIPSO) Version 4.1 (V4) lidar data to study the smoke plumes transported from Southern African biomass burning areas. Significant improvements in the CALIPSO V4 Level 1 calibration and V4 Level 2 algorithms lead to a better representation of their optical properties, with the aerosol subtype improvements being particularly relevant to smoke over this area. For the first time, we show evidence of smoke particles increasing in size, evidenced in their particulate color ratios, as they are transported over the South Atlantic Ocean from the source regions over Southern Africa. We hypothesize that this is due to hygroscopic swelling of the smoke particles and is reflected in the higher relative humidity in the middle troposphere for profiles with smoke. This finding may have implications for radiative forcing estimates over this area and is also relevant to the ORACLES field mission.

Kar, J.↗
NASA NTRS2018

Swelling of Transported Smoke from Savanna Fires over the Southeast Atlantic Ocean

We use the recently released Cloud Aerosol Lidar and Infrared Pathfinder Satellite Observations (CALIPSO) Version 4.1 (V4) lidar data to study the smoke plumes transported from Southern African biomass burning areas. Significant improvements in the CALIPSO V4 Level 1 calibration and V4 Level 2 algorithms lead to a better representation of their optical properties, with the aerosol subtype improvements being particularly relevant to smoke over this area. For the first time, we show evidence of smoke particles increasing in size, as demonstrated by their particulate color ratios, as they are transported over the South Atlantic Ocean from the source regions over Southern Africa. We hypothesize that this is due to hygroscopic swelling of the smoke particles and is reflected in the higher relative humidity in the middle troposphere for profiles with smoke. This finding may have implications for radiative forcing estimates over this area and is also relevant to the ORACLES field mission.

J. Kar↗
NASA NTRSDate not supplied

Identifying Chemical and Optical Smoke Signatures in Suborbital Observations to Improve Model Projections

Biomass Burning (BB) fires are expected to occur more frequently in the future due to climate change, the build‐up of fuels due to fire suppression, and the expansion of the wildland‐urban interface [Schoennagel et al., 2017; Shivdenko & Schepaschenko, 2013; Stevens et al., 2014; Turner et al., 2019; Yue et al., 2015; Tilman et al., 2001]. Accurate knowledge of the abundance, distribution, and optical properties of absorbing aerosols such as BB smoke is essential to understanding regional and global aerosol radiative effects [Boucher et al., 2013]. It is recognized that differing fuel types (e.g., rice straw, ponderosa pine), combustion modes (i.e., flaming, smoldering or both) and temperature/ moisture content produce smoke with differing optical characteristics (e.g., aerosol light scattering and absorption) and component mixing ratios [e.g., BC, OC and inorganic species such as sulfate, potassium, chloride; Streets et al. 2003; Reid et al., 2005a, b; Janhäll et al., 2010; Sayer et al., 2014]. However, climate models often ascribe a fixed set of emission factors [i.e., amount of particulate for a given species released in the atmosphere per unit dry fuel burned; Darmenov and Dasilva, 2013] and optical properties [Hess et al., 1998] to all BB aerosol plumes, inherently limiting accurate representation of the global and regional heterogeneity of BB. The overarching goal of the proposed work is to improve the microphysical and optical representation of different types of Biomass Burning in Chemistry Transport Models. Our strategy is to capitalize on multiple airborne campaigns (e.g., ARCTAS, SEAC4RS, ORACLES, FIREX-AQ), which sampled different types of BB plumes at different aging stages. Models, when improved and combined with satellite, airborne, and ground observations will help address many aerosol science objectives from the NASA Decadal survey [National Academies of Sciences, Engineering, and Medicine. 2018].

Meloe Shenandoah F Kacenelenbogen↗
NASA NTRS2001

Risk analysis simulation of rover operations for Mars surface exploration

Risk management advocates have long sought to directly influence the early stages of the systems engineering process through a more effective role in system design trade studies. The principal obstacle to this has been the lack of credible ways to represent and quantify mission risk—that is, a combination of the probability of mission success (“system safety”) and science value—for the project manager and the rest of the design team. If it were possible to quantify mission risk, then the effects of proposed mission and system design changes could be calculated, and along with life-cycle costs, could be used to explore the design space more extensively and select better designs. JPL has been working to build the capability to quantify the probability of mission success using a federation of diverse simulations and models, each of which contributes some vital piece of the puzzle. The initial institutional focus has been on Mars surface operations. This ensemble computing framework enables the diverse models and simulations to work together seamlessly. Recent work at JPL has demonstrated the capability to exercise this ensemble from end-to-end using an Oracle-based database to automatically move results from one model/simulation to the next stage in the analysis.

Shishko, Robert↗
NASA NTRS2017

Runtime Verification Logics A Language Design Perspective

Runtime Verification is a light-weight approach to systems verification, where actual executions of a system are processed and analyzed using rigorous techniques. In this paper we shall narrow the term’s definition to represent the commonly studied variant consisting of verifying that a single system execution conforms to a specification written in a formal specification language. Runtime verification (in this sense) can be used for writing test oracles during testing when the system is too complex for full formal verification, or it can be used during deployment of the system as part of a fault protection strategy, where corrective actions may be taken in case the specification is violated. Specification languages for runtime verification appear to differ from for example temporal logics applied in model checking, in part due to the focus on monitoring of events that carry data, and specifically due to the desire to relate data values existing at different time points, resulting in new challenges in both the complexity of the monitoring approach and the expressiveness of languages. Over the recent years, numerous runtime verification specification languages have emerged, each with its different features and levels of expressiveness and usability. This paper presents an overview and a discussion of this design space.

Reger, Giles↗
NASA NTRSDate not supplied

NNREPAIR: Constraint-based Repair of Neural Network Classifiers

We present NNREPAIR, a constraint-based technique for repairing neural network classifiers by i) fixing the logic of the network at an intermediate layer, and ii) fixing the decision conditions of the network at the last layer. NNREPAIR first uses fault localization to find potentially faulty network parameters (specifically weights) and then performs repair using constraint solving to apply small modifications to remedy the defects. We present novel strategies to enable precise yet efficient repair such as inferring correctness specifications to act as oracles for intermediate layer repair, and generation of experts wrt each class. We demonstrate the technique in the context of three different scenarios: (1) Improving the over all accuracy of a model, (2) Fixing security vulnerabilities caused by poisoning of training data and (3) Improving the robustness of the network against adversarial attacks. Our evaluation on MNIST and CIFAR-10 models shows that NNREPAIR can improve the accuracy by 45.56% on poisoned data and 11.11% on adversarial data. NNREPAIR also provides improvement, albeit modest, in the overall accuracy of models, without requiring new data or re-training.

Repair↗
NASA NTRSDate not supplied

Biomass Burning Smoke and Coincident Water Vapor Over the Southeast Atlantic Stratocumulus Region: Results from Observations and Models

In southern Africa, widespread agricultural fires produce substantial biomass burning (BB) emissions over the region. The seasonal smoke plumes associated with these emissions are then advected westward over the persistent stratocumulus cloud deck in the Southeast Atlantic (SEA) Ocean. We present airborne observations made during the NASA ORACLES (ObseRvations of Aerosols above CLouds and their intEractionS) campaign over the SEA. Using multiple airborne datasets, we observe a strongly linear correlation between biomass burning indicators (carbon monoxide (CO) and aerosol loading) and atmospheric water vapor content, seen at all altitudes above the boundary layer. This relationship was particularly strong in the 2016 observations, but was also present in the 2017 and 2018 deployments. Using ECMWF and MERRA-2 reanalyses and specialized WRF-Chem simulations, we trace the plume-vapor relationship to an initial humid, smoky continental source region, where it mixes with clean, dry upper-tropospheric air and then is subjected to conditions of strong westward advection, namely the South African Easterly Jet (AEJ-S). Our analysis indicates that airmasses likely left the continent with the same relationship between water vapor and carbon monoxide as was observed by aircraft. This linear relationship developed over the continent due to daytime convection within a deep continental boundary layer (up to ~5-6km) and mixing with higher-altitude air, which resulted in fairly consistent vertical gradients in CO and water vapor, decreasing with altitude and varying in time, but this water vapor does not originate as a product of the BB combustion itself. The smoky, humid mixed air is then subjected to strong zonal winds and advected over the SEA following largely isentropic trajectories. HYSPLIT back trajectories support this interpretation. With better understanding of this relationship, and its spatial and temporal variations, we are working towards accurately quantifying the radiative and dynamical effects of both aerosol and water vapor over this region.

Kristina Pistone↗
NASA NTRS2021

Dare Mighty Things

Winston Churchill once said, “To improve is to change; to be perfect is to change often.” JPL’s Property Accountability objective is to provide superior services related to property accountability, reutilization, and disposition. JPL must report property reutilized and disposed through either sales, donation, or scrap. Implementing the JPL designed and built Property Information Reporting System (PIRS), opened a new perspective with our data and what are we reporting to NASA. With this new depth of visibility, we self-implemented as assessment to validate the fiduciary and stewardship responsibilities of what is being reporting to NASA. JPL strives to perform at a level beyond the basic primary expectations of our NASA requirements. JPL developed the PIRS - which rolled out in 2018 - to simplify the delivery of JPL’s Personal Property and Equipment (PP&E) reporting: PIRS takes the raw data from Oracle to generate the NASA Form (NF) 1018 and Contractor Held Asset Reporting System (CHATS) Reports, and to meet the requirements established for AS9100 compliance. The data presented from PIRS is exportable and used to analyze our property records. JPL is also embarking on an effort to define the JPL of the future with “Enterprise 2.0”. Enterprise 2.0 is the driving force of JPL’s strategy to digitally transform the Laboratory from the current legacy processes and systems to a modern, integrated, information-driven highway of business transactions. This should include automation of routine processes and data-related tasks, integration of data and systems, advanced search and analytics, and improved information sharing and collaboration. As JPL’s evolving landscape of digital technologies advance to meet the future, JPL Property Accountability is making strides to surpass these expectations. For every cause there is an effect: a revealing of something that aids in the further development and transformation of JPL best business practices.

Sucher, Jay M↗
NASA NTRS2022

Vertical structure of biomass burning aerosol transported over the southeast Atlantic Ocean

Biomass burning in southwestern Africa produces smoke plumes that are transported over the Atlantic Ocean and overlie vast regions of stratocumulus clouds. This aerosol layer contributes to direct and indirect radiative forcing of the atmosphere in this region particularly during the months of August, September, and October. There was a multi-year international campaign to study this aerosol and its interactions with clouds. Here, we report on the evolution of aerosol distributions and properties as measured by the airborne high spectral resolution lidar (HSRL-2) during the ORACLES (Observations of Aerosols above Clouds and their intEractionS) campaign in September 2016. The NASA Langley HSRL-2 instrument was flown on the NASA ER-2 aircraft for several days in September 2016. Data were aggregated at two pairs of 2° × 2° grid boxes to examine the evolution of the vertical profile of aerosol properties during transport over the ocean. Results showed that the structure of the profile of aerosol extinction and microphysical properties is maintained over a 1 to 2 d timescale. In the 3–5 km altitude range, 95 % of the aerosol extinction was contributed by particles in the 0.05–0.50 µm radius size range with the aerosol in this size range having an average effective radius of 0.16 µm. This indicates that there is essentially no scavenging or dry deposition at these altitudes. Moreover, there is very little day-to-day variation in these properties, such that time sampling as happens in such campaigns may be representative of longer periods such as monthly means. Below 3 km, there is considerable mixing with larger aerosol, most likely continental source near land. Furthermore, these measurements indicated that there was often a distinct gap between the bottom of the aerosol layer and cloud tops at the selected locations as evidenced by a layer of several hundred meters that contained relatively low aerosol extinction values above the clouds.

lidar↗
NASA NTRSDate not supplied

Excessive Subsidence of the Southeast Atlantic Biomass Burning Aerosol Plume in the NASA Goddard Earth Observing System (GEOS) Model

Global models struggle to accurately represent the meteorological environment over the Southeast Atlantic Ocean, as evidenced by the poor representation of persistent marine stratocumulus decks off the west coast of southern Africa. This complex regime also experiences significant seasonal biomass burning aerosol plumes that are transported from southern Africa over the Atlantic Ocean, which gradually descend via large scale subsidence and interact radiatively and microphysically with the cloudy environment of the region. In comparisons to space borne lidar and aircraft observations we find that the NASA Goddard Earth Observing System (GEOS) model’s MERRA-2 aerosol and meteorology reanalysis shows that the aerosol plume descends too rapidly due to exaggerated large-scale downward vertical motion. This complicates the evaluation of aerosol properties utilizing aircraft observations collected throughout the ORACLES campaign as well as the model’s representation of the heating rate profiles due to the aerosol itself and its radiative interaction with the semi-permanent cloud deck typically located lower in altitude than the smoke. Two types of modeling experiments using GEOS will be presented to diagnose deficiencies in the model related to the excessive subsidence. Ensembles of free-running model simulations with and without radiatively active biomass burning aerosol will be used to quantify the impact of smoke on the atmospheric circulation. It will be demonstrated that heating within the aerosol layer results in self lofting through a reduction of the subsidence but did not alter the vertical placement or speed of the African Easterly jet. The amount of aerosol absorption required to eliminate the bias in the height of the aerosol plume through self-lofting will then be quantified. Finally, a second type of modeling experiment will be discussed in which the meteorology is constrained to observations. This will allow for biases in the height of the aerosol plume due to the general circulation model to be distinguished from biases that may be induced through the data assimilation process.

Allison Collow↗
NASA NTRS2020

Integrated Modeling and Development of Component-Based Embedded Software in Scala

Programming of embedded systems is challenging due to the low-level design patterns normally applied in the implementation of such systems. Furthermore, programming languages normally considered suitable for this level of programming, such as C and C++, are themselves low-level compared to more modern programming languages. We report on an effort exploring modeling and programming of embedded systems in modern high-level programming languages combining object-oriented and functional programming. We present an integration of four separate internal DSLs (libraries), considered useful for embedded program- ming, in the Scala programming language, for programming and testing component-based systems. These include a DSL for defining components and their connections, and a DSL for programming the individual components as hierarchical state machines. Two additional DSLs support testing, and include a DSL for writing temporal logic flavored test oracles for monitoring program executions, and a DSL for rule-based test input generation. The paper discusses the gap between Scala as used here and the needs for embedded systems programming.

Bocchino, Robert↗
NASA NTRS2023

Multi-Campaign Ship and Aircraft Observations of Marine Cloud Condensation Nuclei and Droplet Concentrations

In-situ marine cloud droplet number concentrations (CDNCs), cloud condensation nuclei (CCN), and CCN proxies, based on particle sizes and optical properties, are accumulated from seven field campaigns: ACTIVATE; NAAMES; CAMP2EX; ORACLES; SOCRATES; MARCUS; and CAPRICORN2. Each campaign involves aircraft measurements, ship-based measurements, or both. Measurements collected over the North and Central Atlantic, Indo-Pacific, and Southern Oceans, represent a range of clean to polluted conditions in various climate regimes. With the extensive range of environmental conditions sampled, this data collection is ideal for testing satellite remote detection methods of CDNC and CCN in marine environments. Remote measurement methods are vital to expanding the available data in these difficult-to-reach regions of the Earth and improving our understanding of aerosolcloud interactions. The data collection includes particle composition and continental tracers to identify potential contributing CCN sources. Several of these campaigns include High Spectral Resolution Lidar (HSRL) and polarimetric imaging measurements and retrievals that will be the basis for the next generation of space-based remote sensors and, thus, can be utilized as satellite surrogates.

Atmospheric chemistry↗
DOE OSTI2026

Exact and Fixed-Point Grover Search with Qudits

Grover's algorithm provides a quadratic speedup for searching unstructured databases and is traditionally implemented with qubits in Hilbert spaces whose dimensions are powers of two. With the advent of quantum platforms utilizing qudits---quantum systems with more than two levels---there is a need to generalize Grover search to these architectures, including heterogeneous systems with qudits of varying dimensions. Here, we present a unified framework for qudit-based Grover search, detailing the construction of oracles and diffusion operators with and without ancilla qubits and generalizing deterministic and fixed-point search variants that ensure exact or bounded success probabilities. We analyze phase-matching techniques and provide explicit circuit decompositions suitable for diverse hardware platforms. We also compare the corresponding trajectories on the Bloch sphere to provide an intuitive visualization of how the different phase choices amplify the target state. These results facilitate flexible, hardware-oriented protocols for implementing Grover search on qudit processors, potentially reducing circuit depth and enhancing success probabilities, thereby offering a practical toolkit for quantum computation and sensing applications leveraging multilevel quantum systems.

Roy, Tanay [Fermilab] (ORCID:000000019442862X)↗
DOE OSTI2026

Quantum block encoding for one-pair semiseparable matrices

Quantum block encoding (QBE) is a crucial step in the development of most quantum algorithms, as it provides an embedding of a given matrix into a suitable larger unitary matrix. Historically, the development of efficient techniques for QBE has mostly focused on sparse matrices; less effort has been devoted to data-sparse (e.g., rank-structured) matrices. In this work we examine a particular case of rank structure, namely, one-pair semiseparable matrices. We present a new block encoding approach that relies on a suitable factorization of the given matrix as the product of triangular and diagonal factors. To encode the matrix, the algorithm needs $2\log(N)+7$ ancillary qubits. Assuming that the data input oracles can be implemented with polylogarithmic depth, or that a QRAM input model is available, our proposed method requires $\mathcal{O}({\rm polylog} (N))$ time and has an error of $\mathcal{O}(N^2)$, where $N$ is the matrix size.

Antonioli, Giacomo [Pisa U.; CERN] (ORCID:00090000↗