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 253 records · Page 14
All sourcesNASA NTRSDOE OSTI
NASA NTRS2010

Route Generation for a Synthetic Character (BOT) Using a Partial or Incomplete Knowledge Route Generation Algorithm in UT2004 Virtual Environment

This paper presents a new Route Generation Algorithm that accurately and realistically represents human route planning and navigation for Military Operations in Urban Terrain (MOUT). The accuracy of this algorithm in representing human behavior is measured using the Unreal Tournament(Trademark) 2004 (UT2004) Game Engine to provide the simulation environment in which the differences between the routes taken by the human player and those of a Synthetic Agent (BOT) executing the A-star algorithm and the new Route Generation Algorithm can be compared. The new Route Generation Algorithm computes the BOT route based on partial or incomplete knowledge received from the UT2004 game engine during game play. To allow BOT navigation to occur continuously throughout the game play with incomplete knowledge of the terrain, a spatial network model of the UT2004 MOUT terrain is captured and stored in an Oracle 11 9 Spatial Data Object (SOO). The SOO allows a partial data query to be executed to generate continuous route updates based on the terrain knowledge, and stored dynamic BOT, Player and environmental parameters returned by the query. The partial data query permits the dynamic adjustment of the planned routes by the Route Generation Algorithm based on the current state of the environment during a simulation. The dynamic nature of this algorithm more accurately allows the BOT to mimic the routes taken by the human executing under the same conditions thereby improving the realism of the BOT in a MOUT simulation environment.

Hanold, Gregg T.↗
NASA NTRS2011

Collaborative Supervised Learning for Sensor Networks

Collaboration methods for distributed machine-learning algorithms involve the specification of communication protocols for the learners, which can query other learners and/or broadcast their findings preemptively. Each learner incorporates information from its neighbors into its own training set, and they are thereby able to bootstrap each other to higher performance. Each learner resides at a different node in the sensor network and makes observations (collects data) independently of the other learners. After being seeded with an initial labeled training set, each learner proceeds to learn in an iterative fashion. New data is collected and classified. The learner can then either broadcast its most confident classifications for use by other learners, or can query neighbors for their classifications of its least confident items. As such, collaborative learning combines elements of both passive (broadcast) and active (query) learning. It also uses ideas from ensemble learning to combine the multiple responses to a given query into a single useful label. This approach has been evaluated against current non-collaborative alternatives, including training a single classifier and deploying it at all nodes with no further learning possible, and permitting learners to learn from their own most confident judgments, absent interaction with their neighbors. On several data sets, it has been consistently found that active collaboration is the best strategy for a distributed learner network. The main advantages include the ability for learning to take place autonomously by collaboration rather than by requiring intervention from an oracle (usually human), and also the ability to learn in a distributed environment, permitting decisions to be made in situ and to yield faster response time.

Wagstaff, Kiri L.↗
NASA NTRS2006

Adding Hierarchical Objects to Relational Database General-Purpose XML-Based Information Managements

NETMARK is a flexible, high-throughput software system for managing, storing, and rapid searching of unstructured and semi-structured documents. NETMARK transforms such documents from their original highly complex, constantly changing, heterogeneous data formats into well-structured, common data formats in using Hypertext Markup Language (HTML) and/or Extensible Markup Language (XML). The software implements an object-relational database system that combines the best practices of the relational model utilizing Structured Query Language (SQL) with those of the object-oriented, semantic database model for creating complex data. In particular, NETMARK takes advantage of the Oracle 8i object-relational database model using physical-address data types for very efficient keyword searches of records across both context and content. NETMARK also supports multiple international standards such as WEBDAV for drag-and-drop file management and SOAP for integrated information management using Web services. The document-organization and -searching capabilities afforded by NETMARK are likely to make this software attractive for use in disciplines as diverse as science, auditing, and law enforcement.

Lin, Shu-Chun↗
NASA NTRS2011

Mission Operations Planning and Scheduling System (MOPSS)

MOPSS is a generic framework that can be configured on the fly to support a wide range of planning and scheduling applications. It is currently used to support seven missions at Goddard Space Flight Center (GSFC) in roles that include science planning, mission planning, and real-time control. Prior to MOPSS, each spacecraft project built its own planning and scheduling capability to plan satellite activities and communications and to create the commands to be uplinked to the spacecraft. This approach required creating a data repository for storing planning and scheduling information, building user interfaces to display data, generating needed scheduling algorithms, and implementing customized external interfaces. Complex scheduling problems that involved reacting to multiple variable situations were analyzed manually. Operators then used the results to add commands to the schedule. Each architecture was unique to specific satellite requirements. MOPSS is an expert system that automates mission operations and frees the flight operations team to concentrate on critical activities. It is easily reconfigured by the flight operations team as the mission evolves. The heart of the system is a custom object-oriented data layer mapped onto an Oracle relational database. The combination of these two technologies allows a user or system engineer to capture any type of scheduling or planning data in the system's generic data storage via a GUI.

Wood, Terri↗
NASA NTRS2014

A Formally-Verified Decision Procedure for Univariate Polynomial Computation Based on Sturm's Theorem

Sturm's Theorem is a well-known result in real algebraic geometry that provides a function that computes the number of roots of a univariate polynomial in a semiopen interval. This paper presents a formalization of this theorem in the PVS theorem prover, as well as a decision procedure that checks whether a polynomial is always positive, nonnegative, nonzero, negative, or nonpositive on any input interval. The soundness and completeness of the decision procedure is proven in PVS. The procedure and its correctness properties enable the implementation of a PVS strategy for automatically proving existential and universal univariate polynomial inequalities. Since the decision procedure is formally verified in PVS, the soundness of the strategy depends solely on the internal logic of PVS rather than on an external oracle. The procedure itself uses a combination of Sturm's Theorem, an interval bisection procedure, and the fact that a polynomial with exactly one root in a bounded interval is always nonnegative on that interval if and only if it is nonnegative at both endpoints.

Narkawicz, Anthony J.↗
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↗