Search NASA⌕ Search

SEARCH · Search NASA

Results for “DECISION THEORY”

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 217 records · Page 12

Issues in Developing a Normative Descriptive Model for Dyadic Decision Making

Most research in modelling human information processing and decision making has been devoted to the case of the single human operator. In the present effort, concepts from the fields of organizational behavior, engineering psychology, team theory and mathematical modelling are merged in an attempt to consider first the case of two cooperating decisionmakers (the Dyad) in a multi-task environment. Rooted in the well-known Dynamic Decision Model (DDM), the normative descriptive approach brings basic cognitive and psychophysical characteristics inherent to human behavior into a team theoretic analytic framework. An experimental paradigm, involving teams in dynamic decision making tasks, is designed to produce the data with which to build the theoretical model.

Serfaty, D.↗

Flexible high speed CODEC

HARRIS, under contract with NASA Lewis, has developed a hard decision BCH (Bose-Chaudhuri-Hocquenghem) triple error correcting block CODEC ASIC, that can be used in either a bursted or continuous mode. the ASIC contains both encoder and decoder functions, programmable lock thresholds, and PSK related functions. The CODEC provides up to 4 dB of coding gain for data rates up to 300 Mbps. The overhead is selectable from 7/8 to 15/16 resulting in minimal band spreading, for a given BER. Many of the internal calculations are brought out enabling the CODEC to be incorporated in more complex designs. The ASIC has been tested in BPSK, QPSK and 16-ary PSK link simulators and found to perform to within 0.1 dB of theory for BER's of 10(exp -2) to 10(exp -9). The ASIC itself, being a hard decision CODEC, is not limited to PSK modulation formats. Unlike most hard decision CODEC's, the HARRIS CODEC doesn't upgrade BER performance significantly at high BER's but rather becomes transparent.

Wernlund, James V.↗

Experimental performance of an internal resistance heater for Langley 6-inch expansion tube driver

An experimental investigation of the heating characteristics of an internal resistance heating element was conducted in the driver of the Langley 6-inch expansion tube to obtain actual operating conditions, to compare these results to theory, and to determine whether any modification need be made to the heater element. The heater was operated in pressurized helium from 138. MN/sq m to 62.1 MN/sq m. This investigation revealed large temperature variations within the heater element caused primarily by area reductions at insulator locations. These large temperature variations were reduced by welding small tabs over all grooves. Previous predictions of heater element and driver gas temperature were unacceptable so new equations were derived. These equations predict element and gas temperature within 10 percent of the test data when either the constant power cycle or the interrupted power cycle is used. Visual observation of the heater element, when exposed to the atmosphere with power on, resulted in a decision to limit the heater element to 815 K. Experimental shock Mach numbers are in good agreement with theory.

Creel, T. R., Jr.↗

Alternatives to MARVEL Power Conversion -- Comparison of Stirling Engine Thermal Efficiency and Design to Other Power Conversion Cycles

PRESENTATION for CONFERENCE PAPER: The Microreactor Applications, Research, Validation, and Evaluation (MARVEL) Reactor is a small liquid-metal thermal reactor that will be built at the Idaho National Laboratory to demonstrate design and operating processes for microreactors, microgrid integration, and process heat applications. Power conversion in the MARVEL design is provided by Stirling engines, which have disadvantages in nuclear environments. Compared to Stirling engine performance, some alternative power cycles can increase power production when coupled to a liquid-metal thermal reactor. In this paper, the thermal efficiency of MARVEL’s power production with Stirling engines is compared to the thermal efficiency of power production with MARVEL and alternative power cycles. Those cycles include a superheated Rankine cycle, open and closed Brayton cycles, and a supercritical carbon dioxide cycle. All cycles (except the Stirling engines) were modeled with an intermediate helium loop to meet MARVEL’s principal design criteria. All models are simple designs with conservative assumptions for consistent comparison. Detailed optimization will depend largely on reactor location and application, and the relative merit of each cycle is discussed for different environmental conditions. The study informs significant early decisions on power cycle design and economics for deployment of advanced microreactors as they move from theory and concept to execution.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Application of multiple objective optimization techniques to finite element model tuning

This report examines tuning a finite element model using vector optimization techniques. Structural models using finite element theory often need to be adjusted so they can accurately simulate the real structure. The goal is to tune the model such that it will reproduce data derived from structural tests. First, the performance indices are extremized using multiple objective optimization theory, producing a set of possible solutions. Next, the solutions are rank ordered according to a decision maker's preferences to select the best answer. The tuning process was applied to a T-38 horizontal stabilizer. Numerous weighted solutions contained a best static deformation model, a best frequency model and three intermediate combinations of these two models. This automated procedure proved to be a versatile method capable of producing solutions for many types of tuning problems.

Devore, Charles R.↗

Sensor Fusion for a Network of Processes/Systems with Highly Autonomous Sensors

This paper describes a distributed sensor-data-fusion paradigm and theory based on a previously developed theory to model sensors as highly autonomous units. Generic procedures are defined to reason and make decisions at the qualitative level. This facilitates distribution of intelligence ( code and hardware) to the sensor level and peer-to-peer communication among sensors, controllers, and other devices in the system.

Figueroa, Fernando↗

Examining the Relationships Between Education, Social Networks and Democratic Support With ABM

This paper introduces an agent-based model that explores the relationships between education, social networks, and support for democratic ideals. This study examines two factors thai affect democratic support, education, and social networks. Current theory concerning these two variables suggests that positive relationships exist between education and democratic support and between social networks and the spread of ideas. The model contains multiple variables of democratic support, two of which are evaluated through experimentation. The model allows individual entities within the system to make "decisions" about their democratic support independent of one another. The agent based approach also allows entities to utilize their social networks to spread ideas. Current theory supports experimentation results. In add~ion , these results show the model is capable of reproducing real world outcomes. This paper addresses the model creation process and the experimentation procedure, as well as future research avenues and potential shortcomings of the model

Drucker, Nick↗

Automated Decision Making and Problem Solving. Volume 1: Executive Summary

The May 1980 conference is summarized. Related topics in artificial intelligence, operations research, and control theory were explored. Existing techniques were assessed, trends of development determined, and potential for application in NASA automation technology programs were identified. Formal presentations were made by experts in the three disciplines nd a workshop was held in which current technology in automation and possible NASA interfaces with the academic community to advance this technology were discussed.

Heer, E.↗

Strong Proton‐Phonon Coupling Drives Fast Ion Transport in Perovskites

Conduction of protons in solids is a cooperative process propelled by phonons, with molecular details obscured by the irregular movements in the thermal bath. It is shown that substitution with Y forms an imaginary phonon mode, instrumental for the function as proton conductor and effectively lowering the activation barrier for proton transport. To untangle the interplay in the exemplary proton conductor BaSn 0.9 Y 0.1 O 3 , its crystallographic structure is determined with high resolution neutron diffractometry and its phonon density of states with density functional theory calculations, experimentally validated by element specific nuclear resonant vibration spectroscopy. Based on phonon analysis, a quantitative transport model is present, which predicts the activation energy and performance by the ratio of ionic radii. Rather than individual vibrational modes, it is the oxygen sub-lattice which exerts its momentum on the protons. The extent of this momentum transfer is governed by the ratio of ionic radii. This model extends the transition state theory by the phonon-phonon interaction and complements the previously proposed idea that lattice dynamics is decisive for proton transport and specifies which properties of the material exactly define the vibration properties.

activation barriers↗

Survey of decentralized control methods

An overview is presented of the types of problems that are being considered by control theorists in the area of dynamic large scale systems with emphasis on decentralized control strategies. Approaches that deal directly with decentralized decision making for large scale systems are discussed. It is shown that future advances in decentralized system theory are intimately connected with advances in the stochastic control problem with nonclassical information pattern. The basic assumptions and mathematical tools associated with the latter are summarized, and recommendations concerning future research are presented.

Athans, M.↗

An experimental paradigm for team decision processes

The study of distributed information processing and decision making is presently hampered by two factors: (1) The inherent complexity of the mathematical formulation of decentralized problems has prevented the development of models that could be used to predict performance in a distributed environment; and (2) The lack of comprehensive scientific empirical data on human team decision making has hindered the development of significant descriptive models. As a part of a comprehensive effort to find a new framework for multihuman decision making problems, a novel experimental research paradigm was developed involving human terms in decision making tasks. Attempts to construct parts of an integrated model with ideas from queueing networks, team theory, distributed estimation and decentralized resource management are described.

Serfaty, D.↗

Collectives for Multiple Resource Job Scheduling Across Heterogeneous Servers

Efficient management of large-scale, distributed data storage and processing systems is a major challenge for many computational applications. Many of these systems are characterized by multi-resource tasks processed across a heterogeneous network. Conventional approaches, such as load balancing, work well for centralized, single resource problems, but breakdown in the more general case. In addition, most approaches are often based on heuristics which do not directly attempt to optimize the world utility. In this paper, we propose an agent based control system using the theory of collectives. We configure the servers of our network with agents who make local job scheduling decisions. These decisions are based on local goals which are constructed to be aligned with the objective of optimizing the overall efficiency of the system. We demonstrate that multi-agent systems in which all the agents attempt to optimize the same global utility function (team game) only marginally outperform conventional load balancing. On the other hand, agents configured using collectives outperform both team games and load balancing (by up to four times for the latter), despite their distributed nature and their limited access to information.

Tumer, K.↗

Collision Avoidance Short Course: Conjunction Assessment Risk Analysis - NASA Robotic CARA: Theory - Part I:

Satellite conjunction assessment is perhaps the fastest growing area in space situational awareness and protection with military, civil and commercial satellite owner-operators embracing more and more sophisticated processes to avoid the avoidable - namely collisions between high value space assets and orbital debris. NASA and Centre National d'Etudes Spatiales (CNES) have collaborated to offer an introductory short course on all the major aspects of the conjunctions assessment problem. This half-day course will cover satellite conjunction dynamics and theory. Joint Space Operations Center (JsPOC) conjunction data products, major risk assessment parameters and plots, conjunction remediation decision support, and present and future challenges. This briefing represents the NASA portion of the course.

Conjunction↗

Alias lock behavior of sampled-data Costas loops

The potential false-lock problem associated with the sampled data type of Costas loop implementation is addressed in this paper. The term 'alias lock' is used here to differentiate this type of false lock behavior from the data sideband false lock behavior of analog Costas loops. It is shown that the sampled-data version of the conventional Costas loop, sampled at a rate 1/T(s), can alias lock at frequencies that are multiples of 1/2T(s) away from the carrier frequency. It is also shown that the alias lock problem of the sampled data version of the Costas loop with hard-limited in-phase channel is further compounded by the potential occurrence of false lock frequencies at rational multiples of 1/2T(s) away from the carrier. The false lock S-curves of I-Q loops and decision-directed I-Q loops are investigated in detail, with and without additive noise. Close agreement between theory and earlier experimental results is also demonstrated.

Simon, M. K.↗

Predictive monitoring research: Summary of the PREMON system

Traditional approaches to monitoring are proving inadequate in the face of two important issues: the dynamic adjustment of expectations about sensor values when the behavior of the device is too complex to enumerate beforehand, and the selective but effective interpretation of sensor readings when the number of sensors becomes overwhelming. This system addresses these issues by building an explicit model of a device and applying common-sense theories of physics to model causality in the device. The resulting causal simulation of the device supports planning decisions about how to efficiently yet reliably utilize a limited number of sensors to verify correct operation of the device.

Doyle, Richard J.↗

Perseveration effects in detection tasks with correlated decision intervals

An investigation of the behavior of the human decisionmaker is described for a task related to the problem of a pilot using a traffic situation display to avoid collisions. This sequential signal detection task is characterized by highly correlated signals with time varying strength. Experimental results are presented and the behavior of the observers is analyzed using the theory of Markov processes and classical signal detection theory. Mathematical models are developed which describe the main result of the experiment: that correlation in sequential signals induced perseveration in the observer response and a strong tendency to repeat their previous decision, even when they were wrong.

Gai, E. G.↗

Dynamic probabilistic risk assessment and game theory for cyber security risk analysis in nuclear power plants

Nuclear Power Plants and energy systems have become more prone to cyber-attacks with their digitalization and the increased use of smart equipment. Hence, it is important to quantify the risk associated with cyber-attacks in such systems. Dynamic Probabilistic Risk Assessment which involves studying the evolution of a system due to random events and operator and attacker actions during a cyber-attack by employing a physics-based model of the system is a suitable framework to quantify cybersecurity risk in nuclear power plants. In addition to the plant dynamics, it is also important to model the strategies of the attackers and plant operators for an effective cybersecurity risk assessment. Game theory provides a set of necessary tools to model such strategic interactions. In this research, a framework that integrates dynamic probabilistic risk assessment with game theory for cybersecurity risk analysis in nuclear power plants is presented. The mathematical formulation is derived based on the theory of continuous event trees. We propose a game theory based action model, that utilizes physics-based rewards to define the strategies of attackers and operators at every decision epoch. As a case study, the risk associated with cyber-attacks on the digital components in the secondary side of a pressurized water reactor is studied using a reduced order model. A set of attacker actions and a set of operator actions are defined for the system. The operator and attacker interactions were modelled using simultaneous game, their action policies were computed using the concept of mixed strategy Nash equilibrium and the evolution of the system was studied.

97 MATHEMATICS AND COMPUTING↗

CDRL: Certification-Driven Reinforcement Learning for Neutrino Flavor Model Discovery

Many scientific discovery problems require searching combinatorial hypothesis spaces under complex domain constraints. Reinforcement learning (RL) offers a promising approach, but existing methods rely on scalar rewards that provide limited information about why candidate solutions fail, leading agents to repeatedly explore invalid regions. We introduce Certification-Driven Reinforcement Learning (CDRL), a framework that leverages structured feedback from symbolic reasoning tools. When a candidate violates domain constraints, these tools produce certificates identifying the actions responsible for failure. CDRL converts these certificates into reusable constraints that eliminate classes of invalid solutions and guide exploration toward valid regions. We evaluate CDRL on neutrino flavor model discovery in theoretical particle physics, where the hypothesis space exceeds $10^{26}$ possible models, and compare it with the state-of-the-art RL approach previously used for this task. Across three theory spaces, CDRL achieves up to 1.95$\times$ higher valid model rates and up to 6.33$\times$ higher neutrino model rates while evaluating up to 4$\times$ fewer candidates. We further extract 40 interpretable rules from search trajectories using a post-hoc decision-tree framework and show that reusing them as soft constraints yields gains of up to 2$\times$ in valid model rates and 3$\times$ in neutrino model discovery across all three theory spaces. These results suggest that CDRL uncovers reusable structure in combinatorial search spaces and provides a general framework for scientific model discovery.

Jha, Piyush [Georgia Tech., Atlanta; Georgia Tech]↗