Search NASA⌕ Search

SEARCH · Search NASA

Results for “belief generation”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS2003

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

We report on a study to determine the maturity of different verification and validation technologies (V&V) on a representative example of NASA flight software. The study consisted of a controlled experiment where three technologies (static analysis, runtime analysis and model checking) were compared to traditional testing with respect to their ability to find seeded errors in a prototype Mars Rover. What makes this study unique is that it is the first (to the best of our knowledge) to do a controlled experiment to compare formal methods based tools to testing on a realistic industrial-size example where the emphasis was on collecting as much data on the performance of the tools and the participants as possible. The paper includes a description of the Rover code that was analyzed, the tools used as well as a detailed description of the experimental setup and the results. Due to the complexity of setting up the experiment, our results can not be generalized, but we believe it can still serve as a valuable point of reference for future studies of this kind. It did confirm the belief we had that advanced tools can outperform testing when trying to locate concurrency errors. Furthermore the results of the experiment inspired a novel framework for testing the next generation of the Rover.

Brat, Guillaume↗
NASA NTRS2016

Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets

This paper focuses on the application of a Petri Net-based diagnosis method on a planetary rover prototype.The diagnosis is performed by using a model-based method in the context of health management of hybrid systems.In system health management, the diagnosis task aims at determining the current health state of a system and the fault occurrences that lead to this state. The Hybrid Particle Petri Nets (HPPN) formalism is used to model hybrid systems behavior and degradation, and to define the generation of diagnosers to monitor the health states of such systems under uncertainty. At any time, the HPPN-based diagnoser provides the current diagnosis represented by a distribution of beliefs over the health states. The health monitoring methodology is demonstrated on the K11 rover. A hybrid model of the K11 is proposed and experimental results show that the approach is robust to real system data and constraints.

health monitoring↗
NASA NTRS1988

A generic fine-grained parallel C

With the present availability of parallel processors of vastly different architectures, there is a need for a common language interface to multiple types of machines. The parallel C compiler, currently under development, is intended to be such a language. This language is based on the belief that an algorithm designed around fine-grained parallelism can be mapped relatively easily to different parallel architectures, since a large percentage of the parallelism has been identified. The compiler generates a FORTH-like machine-independent intermediate code. A machine-dependent translator will reside on each machine to generate the appropriate executable code, taking advantage of the particular architectures. The goal of this project is to allow a user to run the same program on such machines as the Massively Parallel Processor, the CRAY, the Connection Machine, and the CYBER 205 as well as serial machines such as VAXes, Macintoshes and Sun workstations.

Hamet, L.↗
NASA NTRS1993

Discovery of vapor deposits in the lunar regolith

Lunar soils contain micrometer-sized mineral grains surrounded by thin amorphous rims. Similar features have been produced by exposure of pristine grains to a simulated solar wind, leading to the widespread belief that the amorphous rims result from radiation damage. Electron microscopy studies show, however, that the amorphous rims are compositionally distinct from their hosts and consist largely of vapor-deposited material generated by micrometeorite impacts into the lunar regolith. Vapor deposits slow the lunar erosion rate by solar wind sputtering, influence the optical properties of the lunar regolith, and may account for the presence of sodium and potassium in the lunar atmosphere.

Keller, Lindsay P.↗
NASA NTRS1994

A toolbox and a record for scientific model development

Scientific computation can benefit from software tools that facilitate construction of computational models, control the application of models, and aid in revising models to handle new situations. Existing environments for scientific programming provide only limited means of handling these tasks. This paper describes a two pronged approach for handling these tasks: (1) designing a 'Model Development Toolbox' that includes a basic set of model constructing operations; and (2) designing a 'Model Development Record' that is automatically generated during model construction. The record is subsequently exploited by tools that control the application of scientific models and revise models to handle new situations. Our two pronged approach is motivated by our belief that the model development toolbox and record should be highly interdependent. In particular, a suitable model development record can be constructed only when models are developed using a well defined set of operations. We expect this research to facilitate rapid development of new scientific computational models, to help ensure appropriate use of such models and to facilitate sharing of such models among working computational scientists. We are testing this approach by extending SIGMA, and existing knowledge-based scientific software design tool.

Ellman, Thomas↗
NASA NTRSDate not supplied

Swarm Mentality: Toward Automatic Swarm State Awareness with Runtime Verification

Cyber-Physical Systems (CPSs) already exhibit impressive performance in all areas of human life, and swarms of CPSs promise to increase their capabilities even further. However, to effectively utilize CPS swarms their complexity of operation has to scale sub-linearly with the number of swarm members. Presenting the swarm to an operator as a single entity almost eliminates the additional per-member overhead entirely. To operate a swarm as one entity, and/or to increase the swarm’s autonomy, the operator and the swarm members need to reason and communicate at the same level of abstraction, i.e. the swarm needs a sense of “self.” Therefore, we require the ability to specify whole swarm properties yet monitor them at the member level. We examine one architecture for achieving this awareness by: 1) Defining a taxonomy for comparing techniques that synthesize this belief-state 2) Propose use of the Runtime Verification formal method to fill this role 3) Present preliminary designs for extending and embedding such a system in the Distributed Spacecraft Autonomy architecture to generate per-member monitors from swarm level specification.

Runtime Verification↗
NASA NTRS1990

On a production system using default reasoning for pattern classification

This paper addresses an unconventional application of a production system to a problem involving belief specialization. The production system reduces a large quantity of low-level descriptions into just a few higher-level descriptions that encompass the problem space in a more tractable fashion. This classification process utilizes a set of descriptions generated by combining the component hierarchy of a physical system with the semantics of the terminology employed in its operation. The paper describes an application of this process in a program, constructed in C and CLIPS, that classifies signatures of electromechanical system configurations. The program compares two independent classifications, describing the actual and expected system configurations, in order to generate a set of contradictions between the two.

Barry, Matthew R.↗
NASA NTRS2007

Human Activity Behavior and Gesture Generation in Virtual Worlds for Long- Duration Space Missions

A virtual worlds presentation technique with embodied, intelligent agents is being developed as an instructional medium suitable to present in situ training on long term space flight. The system combines a behavioral element based on finite state automata, a behavior based reactive architecture also described as subsumption architecture, and a belief-desire-intention agent structure. These three features are being integrated to describe a Brahms virtual environment model of extravehicular crew activity which could become a basis for procedure training during extended space flight.

Sierhuis, Maarten↗
NASA NTRS2002

Public Good or Commercial Opportunity: Case Studies in Remote Sensing Commercialization

The U.S. Government is once again attempting to commercialize the Landsat program and is asking the private sector to develop a next generation mid-resolution remote sensing system that will provide continuity with the thirty-year data archive of Landsat data. Much of the case for commercializing the Landsat program rests on the apparently successful commercialization of high-resolution remote sensing activities coupled with the belief that conditions have changed since the failed attempt to commercialize Landsat in the 1980s. This paper analyzes the economic, political and technical conditions that prevailed in the 1980s as well as conditions that might account for the apparent success of the emerging high-resolution remote sensing industry today. Lessons are gleaned for the future of the Landsat program.

Johnston, Shaida↗
NASA NTRS1992

Modelling the Phanerozoic carbon cycle and climate: constraints from the 87Sr/86Sr isotopic ratio of seawater

A numerical model describing the coupled evolution of the biogeochemical cycles of carbon, sulfur, calcium, magnesium, phosphorus, and strontium has been developed to describe the long-term changes of atmospheric carbon dioxide and climate during the Phanerozoic. The emphasis is on the effects of coupling the cycles of carbon and strontium. Various interpretations of the observed Phanerozoic history of the seawater 87Sr/86Sr ratio are investigated with the model. More specifically, the abilities of continental weathering, volcanism, and surface lithology in generating that signal are tested and compared. It is suggested that the observed fluctuations are mostly due to a changing weatherability over time. It is shown that such a conclusion is very important for the modelling of the carbon cycle. Indeed, it implies that the conventional belief that the evolution of atmospheric carbon dioxide and climate on a long time scale is governed by the balance between the volcanic input of CO2 and the rate of silicate weathering is not true. Rather carbon exchanges between the mantle and the exogenic system are likely to have played a key role too. Further, the increase of the global weathering rates with increasing surface temperature and/or atmospheric CO2 pressure usually postulated in long-term carbon cycle and climate modelling is also inconsistent with the new model. Other factors appear to have modulated the weatherability of the continents through time, such as mountain building and the existence of glaciers and ice sheets. Based on these observations, a history of atmospheric carbon dioxide and climate during Phanerozoic time, consistent with the strontium isotopic data, is reconstructed with the model and is shown to be compatible with paleoclimatic indicators, such as the timing of glaciation and the estimates of Cretaceous paleotemperatures.

NASA Discipline Number 52-30↗
NASA NTRS1984

Workshop on Water on Mars

The opening session of the Workshop focused on one of the most debated areas of Mars volatiles research-the size of the planet's past and present bulk water content. Current estimates of the inventory of H2O on Mars range from an equivalent layer of liquid 10-1000 meters deep averaged over the planet's surface. The most recent of these estimates, presented at the Workshop, is based on the now popular belief that the SNC class of meteorites represent actual samples of the Martian crust. From a model of planetary accretion and degassing founded on this assumption, it was determined that the present inventory of H2O on Mars is equivalent to a global layer no more than 50 meters deep. During the discussion generated by this estimate, several investigators expressed reservations about an H2O inventory as small as a few tens of meters, for it appears to directly contradict the seemingly abundant morphologic evidence that Mars is (or has been) water rich. Others, however, argued that the interpretation of much of this morphologic evidence is at best equivocal and that the case for a wet Mars is far from established. Atmospheric water vapor measurements, compiled by Earth based telescopes and the Viking Orbiter Mars Atmospheric Water Detectors (MAWD), now span a period of over six Martian years. Analysis of this data suggests that the seasonal cycle is governed by both the sublimation and condensation of H2O at the poles and by its adsorption/desorption within the regolith. So far, efforts to simulate the seasonal vapor cycle have failed to reproduce the observed behavior.

Clifford, S.↗
NASA NTRS2016

BBN-Based Portfolio Risk Assessment for NASA Technology R&D Outcome

The NASA Aeronautics Research Mission Directorate (ARMD) vision falls into six strategic thrusts that are aimed to support the challenges of the Next Generation Air Transportation System (NextGen). In order to achieve the goals of the ARMD vision, the Airspace Operations and Safety Program (AOSP) is committed to developing and delivering new technologies. To meet the dual challenges of constrained resources and timely technology delivery, program portfolio risk assessment is critical for communication and decision-making. This paper describes how Bayesian Belief Network (BBN) is applied to assess the probability of a technology meeting the expected outcome. The network takes into account the different risk factors of technology development and implementation phases. The use of BBNs allows for all technologies of projects in a program portfolio to be separately examined and compared. In addition, the technology interaction effects are modeled through the application of object-oriented BBNs. The paper discusses the development of simplified project risk BBNs and presents various risk results. The results presented include the probability of project risks not meeting success criteria, the risk drivers under uncertainty via sensitivity analysis, and what-if analysis. Finally, the paper shows how program portfolio risk can be assessed using risk results from BBNs of projects in the portfolio.

Geuther, Steven C.↗
NASA NTRS2004

Combining Particle Filters and Consistency-Based Approaches for Monitoring and Diagnosis of Stochastic Hybrid Systems

Fault detection and isolation are critical tasks to ensure correct operation of systems. When we consider stochastic hybrid systems, diagnosis algorithms need to track both the discrete mode and the continuous state of the system in the presence of noise. Deterministic techniques like Livingstone cannot deal with the stochasticity in the system and models. Conversely Bayesian belief update techniques such as particle filters may require many computational resources to get a good approximation of the true belief state. In this paper we propose a fault detection and isolation architecture for stochastic hybrid systems that combines look-ahead Rao-Blackwellized Particle Filters (RBPF) with the Livingstone 3 (L3) diagnosis engine. In this approach RBPF is used to track the nominal behavior, a novel n-step prediction scheme is used for fault detection and L3 is used to generate a set of candidates that are consistent with the discrepant observations which then continue to be tracked by the RBPF scheme.

Narasimhan, Sriram↗
NASA NTRSDate not supplied

Trust-Informed Large Language Models via Word Embedding-Knowledge Graph Alignment

A major weakness of a Large Language Model (LLM) is its tendency to accept information at face value, often leading to injection of erroneous information and inducing a greater probability of hallucinating non-existent information. While Retrieval Augmented Generation (RAG) uses external knowledge sources to bolster LLMs through grounded truth, this work seeks to explore methods to engender a LLM with an intrinsic capability to evaluate an input’s believability without relying on external knowledge sources. We investigate unifying a LLM with a Knowledge Graph (KG) and using the KG to reinforce the LLM’s internal word embedding while also maintaining belief metrics along the edge’s in the KG.

Large Language Model↗
NASA NTRS2010

Observations on the State of NASA's GN&C Engineering Discipline: Results of an Independent Non-Advocate Study

The NASA Technical Fellows periodically conduct State-of-the-Discipline assessments. The GN&C Technical Fellow contracted Harlan Brown & Company in 2007 and 2009 to conduct independent, third party studies to gain unbiased insight and understanding into the attitudes and beliefs of NASA's GN&C Community of Practice (CoP). The paper first outlines the background, objectives and methodology of the studies. The paper then summarizes key study results of the 2007 baseline study, as well as the 2009 update. The update was then used to track and monitor perceptions, identify performance trends, identify areas where further improvement needs to be made in NASA's GN&C discipline. It also generated feedback on the recently developed GN&C CoP online knowledge capture and learning site.

Pawlikowski, Gerald J.↗
NASA NTRS2009

Constructing LDPC Codes from Loop-Free Encoding Modules

A method of constructing certain low-density parity-check (LDPC) codes by use of relatively simple loop-free coding modules has been developed. The subclasses of LDPC codes to which the method applies includes accumulate-repeat-accumulate (ARA) codes, accumulate-repeat-check-accumulate codes, and the codes described in Accumulate-Repeat-Accumulate-Accumulate Codes (NPO-41305), NASA Tech Briefs, Vol. 31, No. 9 (September 2007), page 90. All of the affected codes can be characterized as serial/parallel (hybrid) concatenations of such relatively simple modules as accumulators, repetition codes, differentiators, and punctured single-parity check codes. These are error-correcting codes suitable for use in a variety of wireless data-communication systems that include noisy channels. These codes can also be characterized as hybrid turbolike codes that have projected graph or protograph representations (for example see figure); these characteristics make it possible to design high-speed iterative decoders that utilize belief-propagation algorithms. The present method comprises two related submethods for constructing LDPC codes from simple loop-free modules with circulant permutations. The first submethod is an iterative encoding method based on the erasure-decoding algorithm. The computations required by this method are well organized because they involve a parity-check matrix having a block-circulant structure. The second submethod involves the use of block-circulant generator matrices. The encoders of this method are very similar to those of recursive convolutional codes. Some encoders according to this second submethod have been implemented in a small field-programmable gate array that operates at a speed of 100 megasymbols per second. By use of density evolution (a computational- simulation technique for analyzing performances of LDPC codes), it has been shown through some examples that as the block size goes to infinity, low iterative decoding thresholds close to channel capacity limits can be achieved for the codes of the type in question having low maximum variable node degrees. The decoding thresholds in these examples are lower than those of the best-known unstructured irregular LDPC codes constrained to have the same maximum node degrees. Furthermore, the present method enables the construction of codes of any desired rate with thresholds that stay uniformly close to their respective channel capacity thresholds.

Divsalar, Dariush↗
NASA NTRS2012

The Analysis of the Contribution of Human Factors to the In-Flight Loss of Control Accidents

In-flight loss of control (LOC) is currently the leading cause of fatal accidents based on various commercial aircraft accident statistics. As the Next Generation Air Transportation System (NextGen) emerges, new contributing factors leading to LOC are anticipated. The NASA Aviation Safety Program (AvSP), along with other aviation agencies and communities are actively developing safety products to mitigate the LOC risk. This paper discusses the approach used to construct a generic integrated LOC accident framework (LOCAF) model based on a detailed review of LOC accidents over the past two decades. The LOCAF model is comprised of causal factors from the domain of human factors, aircraft system component failures, and atmospheric environment. The multiple interdependent causal factors are expressed in an Object-Oriented Bayesian belief network. In addition to predicting the likelihood of LOC accident occurrence, the system-level integrated LOCAF model is able to evaluate the impact of new safety technology products developed in AvSP. This provides valuable information to decision makers in strategizing NASA's aviation safety technology portfolio. The focus of this paper is on the analysis of human causal factors in the model, including the contributions from flight crew and maintenance workers. The Human Factors Analysis and Classification System (HFACS) taxonomy was used to develop human related causal factors. The preliminary results from the baseline LOCAF model are also presented.

Ancel, Ersin↗
NASA NTRS2016

Building a Robust Commercial Microgravity Economy in Earth's Orbit: Economic Readiness Considerations

The reduced gravity environment of space provides a unique opportunity to further our understanding of various materials phenomena involving the molten, fluidic and gaseous states as well as life science applications where, contrary to earlier beliefs, microgravity induces changes in single cells and simple organisms; not only in large organisms with a complex overall response to gravity (or lack thereof). The potential breadth of commercial opportunities in microgravity thus spans over many verticals of the private sector with applications ranging from fiber optics, high-resolution crystals, microencapsulation, 3D organs to perfume and color dyes. Overall, products manufactured in microgravity hold the promise to have key properties surpassing their best terrestrial counterparts. Commercialization, also known as taking a new technology to market, is a journey in itself where the business, economic, market and technological components must align to generate a successful outcome. A business perspective is very different than technology maturation. In order for a technology to be ready for commercialization, it must not only be mature, but it must also have a compelling business case, and the means to scale up production must be identified and practical. Creating a robust economy in Earths orbit (Fig 1) is especially challenging because of the complexity (high risks, lack of standardization) involved in predicting future growth. This complexity can easily overwhelm the fact that many of the products have an attractive touch of space which aids with branding and marketing.This paper reviews the types of added value that can be extracted from space, with an emphasis on the microgravity environment. In addition, lessons learned from past commercialization efforts will be reviewed. While past efforts have yielded some point successes, they have as a whole failed to precipitate a sustainable LEO based market

Cozmuta, Ioana↗