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.

SourceResearch connectionFrom yearThrough year

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

At least 37 records · Page 2

All sources NASA NTRS DOE OSTI

NASA NTRS1999

Low Density Parity Check Codes Based on Finite Geometries: A Rediscovery and More

Low density parity check (LDPC) codes with iterative decoding based on belief propagation achieve astonishing error performance close to Shannon limit. No algebraic or geometric method for constructing these codes has been reported and they are largely generated by computer search. As a result, encoding of long LDPC codes is in general very complex. This paper presents two classes of high rate LDPC codes whose constructions are based on finite Euclidean and projective geometries, respectively. These classes of codes a.re cyclic and have good constraint parameters and minimum distances. Cyclic structure adows the use of linear feedback shift registers for encoding. These finite geometry LDPC codes achieve very good error performance with either soft-decision iterative decoding based on belief propagation or Gallager's hard-decision bit flipping algorithm. These codes can be punctured or extended to obtain other good LDPC codes. A generalization of these codes is also presented.

Kou, Yu↗

NASA NTRS2004

Creating and Perpetuating Social Memory across the Ancient Cost Rican Landscape

For most of the time that Native Americans lived in ancient Costa Rica, their travel across the landscape was task-oriented and thus sufficiently randomized to leave no detectable trace. That changed about 500 BC in the Arenal area when people separated their cemeteries from their villages, and travel between them was ritually mediated by travel along the same path, in single file, in as straight a line as possible. The inadvertent erosion over centuries of use entrenched paths 2 or more meters deep, and we believe the cultural standard developed that the preferred way of entering a special place was by an entrenched path. People created and perpetuated social memory across their landscapes with generation after generation of use. The construction of meaning developed as the paths entrenched, ultimately embedding that meaning deep in people s belief systems as well as literally embedding it in the landscape. the Arenal area, a series of chiefdoms did develop east of the area at about AD 1000. To satisfy their need for monumentality, we suggest here that chiefs chose the proper entrenched entryway as exemplified in the Arenal area, for elaboration. On the rocky slopes of the volcanoes monumental entryways were built of stone, and on the fine alluvial plains they were of earthen construction. For instance, the radiating entrenched roads entering Cutris are about 4 km long and as wide as 50 meters, and many meters deep.

Sheets, Payson↗

NASA NTRS1988

Mathematical algorithms for approximate reasoning

Most state of the art expert system environments contain a single and often ad hoc strategy for approximate reasoning. Some environments provide facilities to program the approximate reasoning algorithms. However, the next generation of expert systems should have an environment which contain a choice of several mathematical algorithms for approximate reasoning. To meet the need for validatable and verifiable coding, the expert system environment must no longer depend upon ad hoc reasoning techniques but instead must include mathematically rigorous techniques for approximate reasoning. Popular approximate reasoning techniques are reviewed, including: certainty factors, belief measures, Bayesian probabilities, fuzzy logic, and Shafer-Dempster techniques for reasoning. A group of mathematically rigorous algorithms for approximate reasoning are focused on that could form the basis of a next generation expert system environment. These algorithms are based upon the axioms of set theory and probability theory. To separate these algorithms for approximate reasoning various conditions of mutual exclusivity and independence are imposed upon the assertions. Approximate reasoning algorithms presented include: reasoning with statistically independent assertions, reasoning with mutually exclusive assertions, reasoning with assertions that exhibit minimum overlay within the state space, reasoning with assertions that exhibit maximum overlay within the state space (i.e. fuzzy logic), pessimistic reasoning (i.e. worst case analysis), optimistic reasoning (i.e. best case analysis), and reasoning with assertions with absolutely no knowledge of the possible dependency among the assertions. A robust environment for expert system construction should include the two modes of inference: modus ponens and modus tollens. Modus ponens inference is based upon reasoning towards the conclusion in a statement of logical implication, whereas modus tollens inference is based upon reasoning away from the conclusion. These algorithms allow one to reason accurately with uncertain data. The above environment can replicate state-f-the-art expert system environments which provides a continuity between the current expert systems which cannot be validated or verified and future expert systems which should be both validated and verified

Murphy, John H.↗

NASA NTRS1991

Jet noise generated by large-scale coherent motion

The noise generated by large scale turbulence structures and instability waves of jets is discussed. Emphasis is placed on supersonic jets with moderate to high Reynolds numbers. This is because it is in these jets that unambiguous experimental and theoretical evidence is found indicating that large turbulence structures and instability waves are directly responsible for generating the dominant part of the noise. For subsonic jets similar large turbulence structures and instability waves do play a crucial role in the dynamics, spread, and mixing of the jet fluid. However, at subsonic convection speeds, they do not appear to be efficient noise generators. Many investigators believe that the dominant noise source of subsonic jets is, in fact, the small scale turbulence. As yet, this belief has not yet received universal acceptance. The issues involved are complicated and are not easy to resolve.

Tam, Christopher K. W.↗

DOE OSTI2021

Building an Effective Nuclear Safety Culture [Slides]

A culture is a way of life of a group of people - the behaviors, beliefs, values, and symbols that they accept, generally without thinking about them, and that are passed along by communication and imitation from one generation to the next. We have different cultures between Technical Areas, facilities, divisions, work groups, etc.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

DOE OSTI2025

Yes, No, Maybe So: Human Factors Considerations for Fostering Calibrated Trust in Foundation Models Under Uncertainty

High-stakes analytical environments require analysts to evaluate evidence and generate conclusions to inform critical decisions often under conditions of uncertainty. Probabilistic decision-making based on incomplete or inaccurate information can reduce productivity, compromise national interests, and endanger public safety. Researchers are developing expert systems built on foundation models (FMs) to support analysts’ decision-making processes by enabling human-artificial intelligence (AI) teaming, in part through the quantification and expression of uncertainty information. As FMs continue to mature, it is imperative to correspondingly consider analysts’ needs for appropriately interpreting and using uncertainty information. However, prior research indicates that it remains unclear how analysts engage with FM-generated uncertainty information and the extent to which these interactions influence trust in, and reliance on, expert systems. We plan to review the state of the science and conduct an exploratory, qualitative study to (a) understand how properly communicated uncertainty can foster calibrated trust and appropriate reliance and (b) identify approaches for effectively conveying FM-generated uncertainty information during analytical workflows. We will administer semi-structured interviews with analysts from a specific high-stakes analytical environment to collect their current experiences with job-related uncertainty and their impressions when viewing FM-generated uncertainty information. During the interview protocol, participants will be presented with several different FM outputs and invited to discuss their thoughts and beliefs about the uncertainty information displayed. Participants may provide insights into how trust and reliance may be influenced by uncertainty. The results of this study will help us to better understand how analysts currently interpret and use uncertainty information. Our findings may inform human factors recommendations for effectively conveying uncertainty information to foster calibrated trust in, and appropriate reliance on, expert systems. Interaction designers and FM developers can use this knowledge to enhance human-AI teaming and ensure the responsible deployment of FM-based expert systems in analytical workflows.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS2018

Scattering and Radiative Properties of Morphologically Complex Carbonaceous Aerosols: A Systematic Modeling Study

This paper provides a thorough modeling-based overview of the scattering and radiative properties of a wide variety of morphologically complex carbonaceous aerosols. Using the numerically-exact superposition T-matrix method, we examine the absorption enhancement, absorption Angstroem exponent (AAE), backscattering linear depolarization ratio (LDR), and scattering matrix elements of black-carbon aerosols with 11 different model morphologies ranging from bare soot to completely embedded soot-sulfate and soot-brown carbon mixtures. Our size-averaged results show that fluffy soot particles absorb more light than compact bare-soot clusters. For the same amount of absorbing material, the absorption cross section of internally mixed soot can be more than twice that of bare soot. Absorption increases as soot accumulates more coating material and can become saturated. The absorption enhancement is affected by particle size, morphology, wavelength, and the amount of coating. We refute the conventional belief that all carbonaceous aerosols have AAEs close to 1.0. Although LDRs caused by bare soot and certain carbonaceous particles are rather weak, LDRs generated by other soot-containing aerosols can reproduce strong depolarization measured by Burton et al. for aged smoke. We demonstrate that multi-wavelength LDR measurements can be used to identify the presence of morphologically complex carbonaceous particles, although additional observations can be needed for full characterization. Our results show that optical constants of the host/coating material can significantly influence the scattering and absorption properties of soot-containing aerosols to the extent of changing the sign of linear polarization. We conclude that for an accurate estimate of black-carbon radiative forcing, one must take into account the complex morphologies of carbonaceous aerosols in remote sensing studies as well as in atmospheric radiation computations.

carbonaceous aerosols; scattering matrix; polariza↗

DOE OSTI2021

Examination of the sensitivity of quasifree reactions to details of the bound-state overlap functions

It is often stated that heavy-ion nucleon knockout reactions are mostly sensitive to the tails of the bound-state wave functions. In contrast, (p,2p) and (p,pn) reactions are known to access information on the full overlap functions within the nucleus. We analyze the oxygen isotopic chain and explore the differences between single-particle wave functions generated with potential models, used in the experimental analysis of knockout reactions, and ab initio computations from self-consistent Green's function theory. Contrary to common belief, we find that not only the tail of the overlap functions, but also their internal part is assessed in both reaction mechanisms, which are crucial to yield accurately determined spectroscopic information.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

DOE OSTI2025

Women in Nuclear Security: The United Arab Emirates Story

Historically in the United Arab Emirates, security personnel stationed at nuclear sites were typically men with military or policing backgrounds. Although these groups bring important, transferrable skills and experience to the nuclear security mission, some Emirati stakeholders recognize the increased benefit of a greater diversity of voices and backgrounds within the nuclear security team hierarchy. By recruiting from a wider range of disciplines and encouraging gender diversity, the security team could develop broader insight into security challenges, and a greater variety of perspectives could bring forth more innovative solutions. When aligning a diverse, multinational workforce with a common mission, all members of a security organization must fundamentally change their individual approaches to the work; the entire staff must be on the same page. This can be particularly challenging for some people who find it difficult to transition from a framework of beliefs because of past experiences based on prescriptive, exclusionary, hierarchical thought. Also, national cultural values are learned early, held deeply, and change slowly over the course of generations, and inherent biases rooted in these values can create barriers to the collective progress of a team. Creating a more open, diverse, and transparent culture for the team by accepting a unique, egalitarian, professional nuclear security culture that all members adhere to can be a challenging task for some. In this article, I share my experiences related to professional roadblocks, personal challenges, and lessons learned, particularly those regarding the empowerment of women in science and engineering, while developing and establishing the United Arab Emirates nuclear security program. I also discuss the support (and underrepresentation) of women, including those currently in critical leadership positions, and their careers in nuclear security.

Barakah Nuclear Power Plant↗

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↗

DOE OSTI2020

A New Approach to Distributed Hypothesis Testing and Non-Bayesian Learning: Improved Learning Rate and Byzantine-Resilience

Here, we study a setting where a group of agents, each receiving partially informative private signals, seek to collaboratively learn the true underlying state of the world (from a finite set of hypotheses) that generates their joint observation profiles. To solve this problem, we propose a distributed learning rule that differs fundamentally from existing approaches, in that it does not employ any form of “belief-averaging”. Instead, agents update their beliefs based on a min-rule. Under standard assumptions on the observation model and the network structure, we establish that each agent learns the truth asymptotically almost surely. As our main contribution, we prove that with probability 1, each false hypothesis is ruled out by every agent exponentially fast, at a network-independent rate that is strictly larger than existing rates. We then develop a computationally-efficient variant of our learning rule that is provably resilient to agents who do not behave as expected (as represented by a Byzantine adversary model) and deliberately try to spread misinformation.

42 ENGINEERING↗

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.↗

DOE OSTI2022

Asphericity Can Cause Nonuniform Lithium Intercalation in Battery Active Particles

Uniform intercalation is desired to enable next-generation Li-ion batteries. While we expect nonuniformity in materials undergoing a phase change, single-phase intercalation materials such as nickel manganese cobalt oxide are believed to lithiate uniformly at the particle/electrolyte interface. However, recent imaging reveals nonuniform lithiation. Motivated by this discrepancy, we examine if aspherical particle shape can cause such nonuniformity since the conventional belief is based on spherical particle theory. We obtain real particle geometries using rapid lab-based X-ray computed tomography and subsequently perform physics-based calculations accounting for electrochemical reactions at the particle/electrolyte interface and lithium transport inside the particle bulk. The aspherical geometry breaks the symmetry and causes nonuniform reaction distribution. Such nonuniformity is exacerbated as the particle becomes more aspherical. We report the proposed mechanism represents a fundamental limit on achievable lithiation uniformity in aspherical particles in the absence of other mechanisms causing inhomogeneity, such as grain structure, nonuniform carbon-binder coating, etc.

25 ENERGY STORAGE↗

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↗

DOE OSTI2022

A Review of Bayesian Networks for Spatial Data

We report Bayesian networks are a popular class of multivariate probabilistic models as they allow for the translation of prior beliefs about conditional dependencies between variables to be easily encoded into their model structure. Due to their widespread usage, they are often applied to spatial data for inferring properties of the systems under study and also generating predictions for how these systems may behave in the future. We review published research on methodologies for representing spatial data with Bayesian networks and also summarize the application areas for which Bayesian networks are employed in the modeling of spatial data. We find that a wide variety of perspectives are taken, including a GIS-centric focus on efficiently generating geospatial predictions, a statistical focus on rigorously constructing graphical models controlling for spatial correlation, as well as a range of problem-specific heuristics for mitigating the effects of spatial correlation and dependency arising in spatial data analysis. Special attention is also paid to potential future directions for integration of Bayesian networks with spatial processes.

97 MATHEMATICS AND COMPUTING↗