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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

Managing Content in a Matter of Minutes

NASA software created to help scientists expeditiously search and organize their research documents is now aiding compliance personnel, law enforcement investigators, and the general public in their efforts to search, store, manage, and retrieve documents more efficiently. Developed at Ames Research Center, NETMARK software was designed to manipulate vast amounts of unstructured and semi-structured NASA documents. NETMARK is both a relational and object-oriented technology built on an Oracle enterprise-wide database. To ensure easy user access, Ames constructed NETMARK as a Web-enabled platform utilizing the latest in Internet technology. One of the significant benefits of the program was its ability to store and manage mission-critical data.

Source record↗
NASA NTRS2004

Methods and apparatus for constructing and implementing a universal extension module for processing objects in a database

Methods and apparatus for providing a multi-tier object-relational database architecture are disclosed. In one illustrative embodiment of the present invention, a multi-tier database architecture comprises an object-relational database engine as a top tier, one or more domain-specific extension modules as a bottom tier, and one or more universal extension modules as a middle tier. The individual extension modules of the bottom tier operationally connect with the one or more universal extension modules which, themselves, operationally connect with the database engine. The domain-specific extension modules preferably provide such functions as search, index, and retrieval services of images, video, audio, time series, web pages, text, XML, spatial data, etc. The domain-specific extension modules may include one or more IBM DB2 extenders, Oracle data cartridges and/or Informix datablades, although other domain-specific extension modules may be used.

Li, Chung-Sheng↗
NASA NTRS2003

An Extensible "SCHEMA-LESS" Database Framework for Managing High-Throughput Semi-Structured Documents

Object-Relational database management system is an integrated hybrid cooperative approach to combine the best practices of both the relational model utilizing SQL queries and the object-oriented, semantic paradigm for supporting complex data creation. In this paper, a highly scalable, information on demand database framework, called NETMARK, is introduced. NETMARK takes advantages of the Oracle 8i object-relational database using physical addresses data types for very efficient keyword search of records spanning across both context and content. NETMARK was originally developed in early 2000 as a research and development prototype to solve the vast amounts of unstructured and semistructured documents existing within NASA enterprises. Today, NETMARK is a flexible, high-throughput open database framework for managing, storing, and searching unstructured or semi-structured arbitrary hierarchal models, such as XML and HTML.

Maluf, David A.↗
NASA NTRS2007

Automated Knowledge Discovery From Simulators

A computational method, SimLearn, has been devised to facilitate efficient knowledge discovery from simulators. Simulators are complex computer programs used in science and engineering to model diverse phenomena such as fluid flow, gravitational interactions, coupled mechanical systems, and nuclear, chemical, and biological processes. SimLearn uses active-learning techniques to efficiently address the "landscape characterization problem." In particular, SimLearn tries to determine which regions in "input space" lead to a given output from the simulator, where "input space" refers to an abstraction of all the variables going into the simulator, e.g., initial conditions, parameters, and interaction equations. Landscape characterization can be viewed as an attempt to invert the forward mapping of the simulator and recover the inputs that produce a particular output. Given that a single simulation run can take days or weeks to complete even on a large computing cluster, SimLearn attempts to reduce costs by reducing the number of simulations needed to effect discoveries. Unlike conventional data-mining methods that are applied to static predefined datasets, SimLearn involves an iterative process in which a most informative dataset is constructed dynamically by using the simulator as an oracle. On each iteration, the algorithm models the knowledge it has gained through previous simulation trials and then chooses which simulation trials to run next. Running these trials through the simulator produces new data in the form of input-output pairs. The overall process is embodied in an algorithm that combines support vector machines (SVMs) with active learning. SVMs use learning from examples (the examples are the input-output pairs generated by running the simulator) and a principle called maximum margin to derive predictors that generalize well to new inputs. In SimLearn, the SVM plays the role of modeling the knowledge that has been gained through previous simulation trials. Active learning is used to determine which new input points would be most informative if their output were known. The selected input points are run through the simulator to generate new information that can be used to refine the SVM. The process is then repeated. SimLearn carefully balances exploration (semi-randomly searching around the input space) versus exploitation (using the current state of knowledge to conduct a tightly focused search). During each iteration, SimLearn uses not one, but an ensemble of SVMs. Each SVM in the ensemble is characterized by different hyper-parameters that control various aspects of the learned predictor - for example, whether the predictor is constrained to be very smooth (nearby points in input space lead to similar output predictions) or whether the predictor is allowed to be "bumpy." The various SVMs will have different preferences about which input points they would like to run through the simulator next. SimLearn includes a formal mechanism for balancing the ensemble SVM preferences so that a single choice can be made for the next set of trials.

Burl, Michael↗
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↗