Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Formal analysis”

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 1,207 records · Page 67
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Idaho National Laboratory Integrated Multisite SSHAC Level 3: Probabilistic Volcanic Hazards Assessment

The Idaho National Laboratory (INL) resides on the eastern Snake River Plain (ESRP), part of the Snake River Plain (SRP) with a complex origin and geologic history of volcanism. Much of the Quaternary (last 2.58 million years) volcanism within 400 km of INL is genetically associated with a major thermal anomaly referred to as the Yellowstone hotspot, which is currently located more than 180 km northeast of INL. Near INL, local volcanic sources include silicic domes near its southern border, and numerous dike-fed basaltic vents of the ESRP, some of which are near or within the INL boundaries. Quantitative probabilistic assessments of screened-in volcanic hazardous phenomena for nine different facility complexes at the INL are presented for a Senior Seismic Hazard Analysis Committee (SSHAC) Level 3 (SL3) study. The comprehensive, integrated multisite SSHAC study consists of a single regional Probabilistic Volcanic Hazards Assessment (PVHA) that pertains to all nine INL facility complexes, with site-specific information developed at each respective area of interest (AOI), referred to as the "INL facility AOI" (Figure ES-1). Hazard products are generated for specified INL facility AOIs for use by multiple stakeholders from different agencies in risk-informed decision-making regarding site selection, operations, and design of nuclear facilities at INL, consistent with U.S. Department of Energy (DOE) and U.S. Nuclear Regulatory Commission (NRC) regulatory guidance. The study also serves as the basis for future periodic safety assessments required for existing DOE facilities, such as 10-year evaluations of natural-phenomena hazards. Elements of the INL PVHA including initial characterization, screening, quantitative assessments of eruption and hazard potential, and consideration of facility needs are conducted using the three phases of the SSHAC process: evaluation, integration, and documentation. As per regulatory guidance, the SSHAC framework provided the necessary processes and procedures for the PVHA Technical Integration (TI) team, at three workshops, five formal working meetings and many TI team remote meetings, to conduct initial characterization, screen the volcanic hazards, create PVHA model inputs, exercise those models in the PVHA, consider facility-specific volcanic hazard needs, and perform final hazard calculations. The Participatory Peer Review Panel (PPRP) provided independent oversight and performed process and technical reviews of the PVHA throughout its duration. The study included an extensive New Data Collection and Analyses (NDCA) program developed by the PVHA TI team to reduce uncertainties in hazard-significant elements in the PVHA model. NDCA activities generated 20 reports providing important contributory datasets and results to the project database for characterizing the ESRP. For example, a report compiling the dimensions of ESRP shield volcanoes and lava fields was used to construct volcanic footprints (areas of impact), was compared with data from INL subsurface cores, and was used to validate the results of lava-flow inundation modeling on the contemporary terrain. Another example is the acquisition of aeromagnetic data over INL and its surrounding area, with maps of buried magmatic features (e.g., subsurface volcanoes and swarms of feeder dikes) that informed the PVHA conceptual model of volcanism. The SSHAC evaluation process was used to conduct all elements of the PVHA including initial characterization and screening. Existing data and NDCA activities provided the foundation to develop the tectonomagmatic conceptual model of volcanism for the region of geographical interest in the SRP and Yellowstone hotspot volcanic system, and for considering volcanoes in the western US. Considering Quaternary volcanic sources active during this period, the screening approach identified and evaluated magma compositions, types of eruptive and intrusive phenomena, types of hazardous phenomena, and proximity of sources to INL. The PVHA TI team evaluated 18 types of magmatic sources in terms of 20 potentially hazardous phenomena, resulting in 360 screening decisions. The screening process resulted in 140 screened-in hazardous volcanic phenomena for Quaternary volcanic sources 1) proximal to INL facility complexes in the ESRP (64 basaltic and 54 silicic), 2) regional sources associated with the Yellowstone caldera system and Blackfoot Reservoir volcanic field (7), and 3) more distal sources from thirteen Cascade volcanoes and two volcanoes at Long Valley caldera (CA).

58 GEOSCIENCES↗
NASA NTRSDate not supplied

Increasing Cognitive Ability/Reserve Using Software – Pilot (ICARUS-Pilot)

BACKGROUND This research study was competitively awarded under the 2022 JSC Innovation Charge Account (ICA) program administered by NASA Johnson Space Center’s Joint Technology Working Group. Study period of performance was May through September 2022, with a maximum allowed procurement budget of $10K. The study sought to quantify and assess the potential benefit of using commercial-off-the-shelf (COTS) cognitive training software to improve cognitive performance in an astronaut-like terrestrial population. METHODS Five volunteer research participants were recruited from the JSC employee population to mimic certain demographic characteristics of the NASA astronaut population (age, education/discipline). Participant cognitive performance was assessed before and after executing eighteen sessions of remote cognitive training executed nominally three times per week using six exercises within an adaptive app-based COTS software package (BrainHQ, Posit Science) on study-provided tablets. Pre- and post-training cognitive performance was measured using internal assessments in BrainHQ as well as Cognition Test Battery (CTB) version ISS B01 v3 (3.0.9-201710021500), an independent software test developed specifically for NASA and used currently in research studies on astronauts. BrainHQ exercises were posited to map well or partially to several CTB sub-tests. Participants provided feedback on their study experience formally via semi-structured interview at the conclusion of testing and informally throughout the study if they encountered issues. RESULTS The enrolled ICARUS-Pilot study participants generally matched Artemis crew demographic characteristics. Four of five participants have completed study training and assessment activities as of the writing of this abstract. These test participants complied well with desired training session frequency and duration yielding an average cumulative active training duration of 15 hours over an average of 45 days; participants showed 78% average improvement in metric performance for the six trained exercises, with an associated overall 33%ile ranking increase against performance of the entire BrainHQ subscribing population for internal pre/post assessment, agreeing with post-study survey self-reported performance increases. CTB overall feedback scoring, not corrected for learning effects, showed an average of 19% performance improvement across its 10 performance measures over the training period for the completed participants. Detailed analyses will be conducted once participant data collection for the study is complete and the resulting dataset is fully populated. DISCUSSION These preliminary results provide a positive trend for the effectiveness of the training approach, but further analysis will be needed to establish significance, investigate far transfer, and suggest the needed participant pool size for subsequent efforts to achieve statistically significant outcomes given similar results. The pilot study has already been helpful by allowing the study team to learn a great deal about the capabilities and limitations of the COTS software package that will be reflected in future proposals along with revised timelines for study execution and test participant management. From participant feedback, one common thread regarding the COTS training was that it felt overly repetitive – future proposals should reassess overall training duration, available levels for each trained exercise, and the behavior of the BrainHQ internal scheduler in determining which exercises should be trained and for how long. If the final analysis of this feasibility study ultimately supports it, the study team will recommend further investigation to fully evaluate this potential countermeasure and optimize its implementation. Future proposals would cite this feasibility study’s outcome and would seek to refine the training protocol and obtain statistically significant results for cognitive performance increases as well as retention data.

cognitive training↗
NASA NTRSDate not supplied

Increasing Cognitive Ability/Reserve Using Software – Pilot (ICARUS-Pilot)

Background: This research study was competitively awarded under the 2022 JSC Innovation Charge Account (ICA) program administered by NASA Johnson Space Center’s Joint Technology Working Group. Study period of performance was May through September 2022, with a maximum allowed procurement budget of $10K. The study sought to quantify and assess the potential benefit of using commercial-off-the-shelf (COTS) cognitive training software to improve cognitive performance in an astronaut-like terrestrial population. Methods: Five volunteer research participants were recruited from the JSC employee population to mimic certain demographic characteristics of the NASA astronaut population (age, education/discipline). Participant cognitive performance was assessed before and after executing eighteen sessions of remote cognitive training executed nominally three times per week using six exercises within an adaptive app-based COTS software package (BrainHQ, Posit Science) on study-provided tablets. Pre- and post-training cognitive performance was measured using internal assessments in BrainHQ as well as Cognition Test Battery (CTB) version ISS B01 v3 (3.0.9-201710021500), an independent software test developed specifically for NASA and used currently in research studies on astronauts. BrainHQ exercises were posited to map well or partially to several CTB sub-tests. Participants provided feedback on their study experience formally via semi-structured interview at the conclusion of testing and informally throughout the study if they encountered issues. Results: The enrolled ICARUS-Pilot study participants generally matched Artemis crew demographic characteristics. Four of five participants have completed study training and assessment activities as of the writing of this abstract. These test participants complied well with desired training session frequency and duration yielding an average cumulative active training duration of 15 hours over an average of 45 days; participants showed 78% average improvement in metric performance for the six trained exercises, with an associated overall 33%ile ranking increase against performance of the entire BrainHQ subscribing population for internal pre/post assessment, agreeing with post-study survey self-reported performance increases. CTB overall feedback scoring, not corrected for learning effects, showed an average of 19% performance improvement across its 10 performance measures over the training period for the completed participants. Detailed analyses will be conducted once participant data collection for the study is complete and the resulting dataset is fully populated. Discussion: These preliminary results provide a positive trend for the effectiveness of the training approach, but further analysis will be needed to establish significance, investigate far transfer, and suggest the needed participant pool size for subsequent efforts to achieve statistically significant outcomes given similar results. The pilot study has already been helpful by allowing the study team to learn a great deal about the capabilities and limitations of the COTS software package that will be reflected in future proposals along with revised timelines for study execution and test participant management. From participant feedback, one common thread regarding the COTS training was that it felt overly repetitive – future proposals should reassess overall training duration, available levels for each trained exercise, and the behavior of the BrainHQ internal scheduler in determining which exercises should be trained and for how long. If the final analysis of this feasibility study ultimately supports it, the study team will recommend further investigation to fully evaluate this potential countermeasure and optimize its implementation. Future proposals would cite this feasibility study’s outcome and would seek to refine the training protocol and obtain statistically significant results for cognitive performance increases as well as retention data.

cognitive training↗
DOE OSTI2023

Accurate estimation of angular power spectra for maps with correlated masks

A common procedure when analyzing maps of the cosmic microwave background (CMB) or other cosmological signals is the need to remove ("mask") regions of the maps that are heavily contaminated, e.g., by non-cosmological foreground emission. After applying such a mask, one must account for its effect when inferring statistical properties of interest, such as the angular power spectrum of the field in the original map. A widely used approach to correct for such mask-induced effects was presented by Hivon et al. (2002), now widely known as the "MASTER" formalism. However, it is often the case that the map and mask are correlated in some way, such as point source masks used in CMB analyses, which have nonzero correlation with CMB secondary anisotropy fields and other mm-wave sky signals. In such situations, the MASTER approach gives biased results, as it assumes that the unmasked map and mask have zero correlation. While such effects have been discussed before with regard to specific physical models, here we derive a completely general formalism for any case where the map and mask are correlated. We show that our result ("reMASTERed") reconstructs ensemble-averaged angular power spectra to effectively exact precision, with significant improvements over traditional estimators for cases where the map and mask are correlated. An important consequence of our result is that for maps with correlated masks, it is no longer possible to invert a simple equation to obtain the true power spectrum from the observed (masked) power spectrum. Instead, our result necessitates the use of forward modeling from theory space into the observable domain of the masked power spectrum. We publicly release our software implementation of these results.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2023

Probability of Initiation in Neutron Transport

We discuss the numerical solution of the nonlinear integro-differential equation for the probability of a divergent neutron chain in a stationary system (i.e., the probability of initiation (POI)). We follow the development described in Bell’s classic paper on the stochastic theory of neutron transport. As noted by Bell, the linearized form of this equation resembles the linear adjoint neutron transport equation. A matrix formalism for the discretized steady state (or forward) neutron equation in slab geometry is first developed and is then used to derive the discrete adjoint equation. A main advantage of this discrete development is that the resulting discrete adjoint equation does not depend upon how the multigroup cross sections for the forward problem are obtained. That is, we derive the discrete adjoint directly from the discrete forward equations rather than discretizing directly the adjoint equation. This also guarantees that the discrete adjoint operator is consistent with the inner product used to define the adjoint operator. We discuss three approaches for the numerical solution of the POI equations, and present numerical results on several test problems. The three solution methods are a simple fixed-point iteration, a second approach that is akin to a nonlinear Power iteration, and a third approach which uses a Newton-Krylov nonlinear solver. We also give sufficient conditions to guarantee the existence and uniqueness of nontrivial solutions to our discrete POI equations when the discrete system is supercritical, and that only the trivial solution exists when the discrete system is subcritical. Our approach is modeled after the analysis presented for the continuous POI equations by Mokhtar-Kharroubi and Jarmouni-Idrissi, and by Pazy and Rabinowitz.

42 ENGINEERING↗
DOE OSTI2023

The Effect of Laser Cutting Heuristic Presentation Modality on Design Learning

Abstract The goal of this work is to study the way student designers use heuristics to effectively design for laser-cut manufacturing methods. With the recent advent of academic makerspaces, digital fabrication tools like laser cutters are relatively new additions to the classroom. Therefore, there is a gap in formal education or training on these tools, and students can find it challenging to design effectively for them. A study was performed to investigate the way students apply heuristics to redesign laser-cut assemblies when received in different modalities. All participants were given an identical lecture on laser cutting heuristics. Then, a redesign problem was presented to students, and three different experimental groups were given the heuristics in different modalities: Text-Only, text with Visual aids, and text with Tactile aids. The novelty and quality of each of the resulting redesigns were evaluated. It was hypothesized that participants would have more difficulty interpreting and applying the Text-Only heuristics, lowering the quality of their redesigned solutions relative to the other two conditions. It was also hypothesized that participants would experience fixation caused by interacting with the tactile aids, leading to the lower novelty of their redesigned solutions relative to the other two conditions. Results showed that modality played a significant role in participants’ feelings of self-efficacy after the intervention, as well as in their understanding of laser cutter design skills when responding to quiz-style questions. However, analysis of novelty and quality showed little significant impact of the intervention and varying modalities on participants’ designs.

Engineering↗
NASA NTRS2015

Bridging the Technology Readiness "Valley of Death" Utilizing Nanosats

Incorporating new technology is a hallmark of space missions. Missions demand ever-improving tools and techniques to allow them to meet the mission science requirements. In Earth Science, these technologies are normally expressed in new instrument capabilities that can enable new measurement concepts, extended capabilities of existing measurement techniques, or totally new detection capabilities, and also, information systems technologies that can enhance data analysis or enable new data analyses to advance modeling and prediction capabilities. Incorporating new technologies has never been easy. There is a large development step beyond demonstration in a laboratory or on an airborne platform to the eventual space environment that is sometimes referred to as the "technology valley of death." Studies have shown that non-validated technology is a primary cause of NASA and DoD mission delays and cost overruns. With the demise of the New Millennium Program within NASA, opportunities for demonstrating technologies in space have been rare. Many technologies are suitable for a flight project after only ground testing. However, some require validation in a relevant or a space flight environment, which cannot be fully tested on the ground or in airborne systems. NASA's Earth Science Technology Program has initiated a nimble program to provide a fairly rapid turn-around of space validated technologies, and thereby reducing future mission risk in incorporating new technologies. The program, called In-Space Validation of Earth Science Technology (InVEST), now has five tasks in development. Each are 3U CubeSats and they are targeted for launch opportunities in the 2016 time period. Prior to formalizing an InVEST program, the technology program office was asked to demonstrate how the program would work and what sort of technologies could benefit from space validation. Three projects were developed and launched, and have demonstrated the technologies that they set out to validate. This paper will provide a brief status of the pre-InVEST CubeSats, and discuss the development and status of the InVEST program. Figure

Earth Science↗
DOE OSTI2026

Beta-dependent Properties of Solar Wind Current Sheets at 1 au

We utilize plasma turbulence in interplanetary coronal mass ejections as a natural laboratory to analyze more than 4600 current sheets observed over a broad range of electron and proton beta values, 10 −2 ≲ β e ≲ 10 and 10 −3 ≲ β p ≲ 10. The analysis shows that the shear angle Δθ and the thickness λ CS of the current sheets depend on both electron and proton beta. Specifically, the dependencies on electron beta are Δθ ≈ 12.6° $β^{0.41}_{e}$ and, λ CS /λ p ≈ 1.9 $β^{0.26}_{e}$ where λ p is the local proton inertial length. We argue that the beta dependence of the shear angle is an intrinsic feature of solar wind turbulence arising from the natural correlation between turbulence intensity and plasma beta. In contrast, the beta dependence of current sheet scales is likely a general characteristic of plasma turbulence. According to recent theory, current sheets formed in turbulence are disrupted by the electron tearing instability once their thickness is smaller than a critical scale. We demonstrate that normalizing the thickness of current sheets by this critical scale eliminates the dependence on beta across the entire range of plasma beta. This observation not only supports the theory suggesting that current sheets mediate the transition from the inertial to the kinetic cascade through the electron tearing instability, but also demonstrates the plausibility of similar processes in astrophysical plasma. The presented results also indicate that the theory may be applicable beyond its formal limits, m e /m i ≪ β ≪ 1.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2021

Systematic Extraction of Pion Parton Distributions Using Threshold Resummation and Applications to Pion TMDs

Following our recent Monte Carlo determination of the pion?s PDFs from Drell-Yan (DY) and leading neutron electroproduction data from the Jefferson Lab Angular Momentum (JAM) collaboration, we extend the analysis by including effects from threshold resummation. At higher orders in the strong coupling, ?S, soft gluon emissions cause large logarithmic corrections, which become important in the qq¯ channel of the DY partonic cross section near threshold. These corrections can be summed over all orders of ?S. However, different prescriptions exist for how the threshold resummation is implemented, for instance, using varying levels of approximation in the Minimal Prescription with cosine, expansion, and double Mellin methods. We present the Monte Carlo results of the first simultaneous fit of the valence, sea, and gluon distributions in the pion taking into account the ambiguities in the resummation calculations. The wide ranges of valence distributions at large x and the effective behavior of the valence distribution as x approaches 1 is discussed. While the PDFs are extracted through collinear factorization, we additionally present a dedicated study to the low and large lepton pair transverse momentum distributions (TMDs) in the same DY experimental data. By adjusting the nonperturbative TMD components, we analyze the degree of compatibility between data and theory across all regions of transverse momentum dependence. We attempt to match the description of the low transverse momentum region using Collins-Soper-Sterman (CSS) formalism and the large transverse momentum region, which is best described using collinear factorization.

Sato, Nobuo↗
DOE OSTI2022

Modernization efforts for the R -Matrix code SAMMY [Abstract]

The R-Matrix code SAMMY is a widely used nuclear data evaluation code focused on the resolved range, which includes corrections for experimental effects. The code is still mostly written in Fortran 77, and uses a memory management system suitable for the time of its initial writing (1984). A modernization effort is under way to bring the code in-line with modern software development practices. A continuous-integration testing framework was added, automating the large existing set of test cases. It is run on every commit. The memory management was updated to current standard practices suitable for modern software analysis tools. The code can be obtained from https://code.ornl.gov/RNSD/SAMMY. The resonance parameters and covariance information are now stored in C++ objects shared by SAMMY and AMPX, the processing code that generates nuclear data libraries for SCALE. This allows for easier maintenance and access to the resonance parameters inside and outside of SAMMY. This feature is already used by accessing and changing parameters in memory in the Bayesian Monte Carlo Evaluation Framework for Cross Sections Nuclear Data and Integral Benchmark Experiments project, Further plans include the switch to the ENDF reading and writing routines in AMPX, as these routines are more robust, easier to maintain, and support more features. Of note here is support for the new GNDS format. Previously it wasn’t easy to share the full covariance matrix for evaluations containing more than one isotope due to limitations on the ENDF format; this is now supported in GNDS. The data are currently available in a binary SAMMY format and can be exported to GNDS to make them more widely available and sharable. The next step will be to use the same resonance processing code at 0K in AMPX and SAMMY as one of the available Reich-Moore R-Matrix formalism. The first step toward this goal is to isolate the reconstruction into a module that takes resonance parameters as its input and does not depend on SAMMY global parameters. This goal has been achieved and it should now be possible to more easily change the resonance formalism and add enhancements as the Phenomenological R-Matrix parameterization of direct, doorway, and compound nuclear reactions discussed elsewhere on this conference. This concerted modernization and enhancement effort provides multiple advantages to the nuclear data community. It will allow parameter optimization using enhanced formalisms, including experimental effects, that better match complex experimental data. Then those evaluated parameters can immediately be passed off to AMPX to be reconstructed with the exact same cross section model and be put into a data library for subsequent testing using SCALE and the Valid Benchmark suite or other suitable benchmark suites.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2020

Advances in Resin Management Using 3R-Scan - 20154

The most important factor underlying optimal waste management is developing a clear picture of the radioactivity content of the waste and its impact on waste disposal cost. For over 35 years since the publishing of 10CFR61, waste characterization has relied on sampling the final waste product after formation. In the days following 10CFR61, the cost of final disposal was marginal with only a small impact on the overall costs. Constraints were added by provisions of the Low Level Waste Policy Act of 1985 leading to increasingly limited access to those disposal sites that remained available. In addition, Nuclear Regulatory Commission (NRC) pressure promoting waste volume reduction led to disposal costs inevitably rising. Despite this, characterization practices in monitoring of waste generation for activity content still center on the same dated processes. This results in a disposal classification on the basis of endpoint sampling without consideration of the homogeneity of the waste mixture. It can also disregard consideration of the representativeness of the single or small sample base. As a minimum effort, a formalized sampling program of a fixed grouping of waste streams can be implemented that could account for more than 95% of all of the activity carried in solid waste products. The sample results for each radionuclide could then be trended as time passes to develop reasonable scaling factors for difficult to measure radionuclides. This process, identified in NRC guidance, has been rigorously followed by a relatively small number of facilities. The trended scaling factors serve to improve accuracy by identifying anomalous results that could otherwise go undetected. Direct monitoring of the accumulation of activity in process streams generating solid radwaste, including demineralizers and filter streams, is a more precise approach. Nearly all of these streams are monitored by plant chemistry on a regular schedule to maintain water quality. This paper discusses viable options for developing the basis for characterization through process monitoring of the accumulation of activity at the point of generation. Special focus is on resin bed tracking and how process knowledge of these streams can be brought together to form a consistent and precise solid waste radioactivity inventory. Some of the specific points covered in this paper include the merger of the fission product release computer program, 3R-STAT, with the radwaste sample analysis computer program, SCAN4 to create 3R-SCAN, the importance of individual waste stream influences on the overall source term, and the use of historic sample data to develop scaling factors using an automated process. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2024

High Field Transport in (Ultra) Wide Bandgap Semiconductors: Diamond Versus Cubic GaN

We provide an analysis of nonlinear transport in diamond and cubic GaN (c-GaN) with emphasis on the different types of optical phonon scattering [i.e., optical deformation potential (ODP) scattering versus polar optic phonon (POP) scattering] limiting the carrier velocity. Both types of carrier mobilities and carrier saturation (peak) velocities in diamond and c-GaN as functions of different doping types and concentrations are obtained by directly solving the Boltzmann equation. Our model indicates that the nonrandomizing nature of POP scattering causes carrier temperature cooling, resulting in higher carrier drift velocity than with ODP scattering. This effect, in addition to the small carrier effective masses and large optical phonon energies, is responsible for the higher peak velocities in c-GaN, compared to carrier drift velocity in diamond.

42 ENGINEERING↗
DOE OSTI2023

Low-Temperature Geothermal Geospatial Datasets: An Example from Alaska

This project is a component of a broader effort focused on geothermal heating and cooling (GHC) with the aim of illustrating the numerous benefits of incorporating GHC and geothermal heat exchange (GHX) into community energy planning and national decarbonization strategies. To better assist private sector investment, it is currently necessary to define and assess the potential of low-temperature geothermal resources. For shallow GHC/GHX fields, there is no formal compilation of subsurface characteristics shared among industry practitioners that can improve system design and operations. Alaska is specifically noted in this work, because heretofore, it has not received a similar focus in geothermal potential evaluations as the contiguous United States. The methodology consists of leveraging relevant data to generate a baseline geospatial dataset of low-temperature resources (less than 150 degrees C) to compare and analyze information accessible to anyone trying to understand the potential of GHC/GHX and small-scale low-temperature geothermal power in Alaska (e.g., energy modelers, communities, planners, and policymakers). Importantly, this project identifies data related to (1) the evaluation of GHC/GHX in the shallow subsurface, and (2) the evaluation of low-temperature geothermal resource availability. Additionally, data is being compiled to assess repurposing of oil and gas wells to contribute co-produced fluids toward the geothermal direct use and heating and cooling resource potential. In this work we identified new data from three different datasets of isolated geothermal systems in Alaska and bottom-hole temperature data from oil and gas wells that can be leveraged for evaluation of low-temperature geothermal resource potential. The goal of this project is to facilitate future deployment of GHC/GHX analysis and community-led programs and update the low-temperature geothermal resources assessment of Alaska. A better understanding of shallow potential for GHX will improve design and operations of highly efficient GHC systems. The deployment and impact that can be achieved for low-temperature geothermal resources will contribute to decarbonization goals and facilitate widespread electrification by shaving and shifting grid loads.

15 GEOTHERMAL ENERGY↗
NASA NTRS2004

A Spectrum of IV and V Modeling Techniques

The aerospace industry in general and NASA in particular is using more (semi-formal) model-based software development. Model-based development produces a collection of artifacts, for example, state diagrams, module diagrams (such as class diagrams), control-block diagrams, etc. These artifacts may than be used as a basis for auto code generation for production use. Therefore, these models must be properly evaluated in the IV and V process. IV and V practitioners know how assess standard procedural systems. But what can we du about IV and V of model-based systems? The goal of the work outlined in this proposal is to use cost effective automated techniques to the largest extent possible during the IV and V process. Our working hypotheses are: 1. There exists a range of validation techniques that can assess models built using a range of modeling techniques of increasing cost and complexity. Specifically, we hypotesize that the "cheaper" techniques can find faults cheaply and early in a project. These early results are then used to predict if this is a problem system and if a more elaborate and expensive IV and V effort is justified. 2. There exists a set of migration procedures that let us seamlessly move from simple models using cheaper techniques into more elaborate models suitable for a more expensive and detailed analysis. 3. We further hypothesize that this migration process is much cheaper than simply remodeling the system under investigation from scratch when moving to models needed for the more detailed and expensive IV and V assessments.

Heimdahl, Mats↗
NASA NTRS2004

The Role of Ontologies in Schema-based Program Synthesis

Program synthesis is the process of automatically deriving executable code from (non-executable) high-level specifications. It is more flexible and powerful than conventional code generation techniques that simply translate algorithmic specifications into lower-level code or only create code skeletons from structural specifications (such as UML class diagrams). Key to building a successful synthesis system is specializing to an appropriate application domain. The AUTOBAYES and AUTOFILTER systems, under development at NASA Ames, operate in the two domains of data analysis and state estimation, respectively. The central concept of both systems is the schema, a representation of reusable computational knowledge. This can take various forms, including high-level algorithm templates, code optimizations, datatype refinements, or architectural information. A schema also contains applicability conditions that are used to determine when it can be applied safely. These conditions can refer to the initial specification, to intermediate results, or to elements of the partially-instantiated code. Schema-based synthesis uses AI technology to recursively apply schemas to gradually refine a specification into executable code. This process proceeds in two main phases. A front-end gradually transforms the problem specification into a program represented in an abstract intermediate code. A backend then compiles this further down into a concrete target programming language of choice. A core engine applies schemas on the initial problem specification, then uses the output of those schemas as the input for other schemas, until the full implementation is generated. Since there might be different schemas that implement different solutions to the same problem this process can generate an entire solution tree. AUTOBAYES and AUTOFILTER have reached the level of maturity where they enable users to solve interesting application problems, e.g., the analysis of Hubble Space Telescope images. They are large (in total around 100kLoC Prolog), knowledge intensive systems that employ complex symbolic reasoning to generate a wide range of non-trivial programs for complex application do- mains. Their schemas can have complex interactions, which make it hard to change them in isolation or even understand what an existing schema actually does. Adding more capabilities by increasing the number of schemas will only worsen this situation, ultimately leading to the entropy death of the synthesis system. The root came of this problem is that the domain knowledge is scattered throughout the entire system and only represented implicitly in the schema implementations. In our current work, we are addressing this problem by making explicit the knowledge from Merent parts of the synthesis system. Here; we discuss how Gruber's definition of an ontology as an explicit specification of a conceptualization matches our efforts in identifying and explicating the domain-specific concepts. We outline the dual role ontologies play in schema-based synthesis and argue that they address different audiences and serve different purposes. Their first role is descriptive: they serve as explicit documentation, and help to understand the internal structure of the system. Their second role is prescriptive: they provide the formal basis against which the other parts of the system (e.g., schemas) can be checked. Their final role is referential: ontologies also provide semantically meaningful "hooks" which allow schemas and tools to access the internal state of the program derivation process (e.g., fragments of the generated code) in domain-specific rather than language-specific terms, and thus to modify it in a controlled fashion. For discussion purposes we use AUTOLINEAR, a small synthesis system we are currently experimenting with, which can generate code for solving a system of linear equations, Az = b.

Bures, Tomas↗
NASA NTRS2022

NASA’s Strategic Analysis Cycle 2021 (SAC21) Human Mars Architecture

The National Aeronautics and Space Administration’s (NASA) Mars Architecture Team (MAT) was challenged to develop a mission architecture capable of transporting humans to the surface of Mars and back as fast—and as soon—as practical. This challenge represented a significant departure from previous approaches that minimized Earth-launched mass and maximized in-space transportation efficiency, often resulting in roundtrip missions of three years or more in duration. In the interest of crew health, MAT’s cross-Agency team of subject matter experts was challenged to develop an architecture capable of shortening crew time away from Earth to about two years. MAT was given specific mission constraints, such as number of crew, as well as mandates to minimize surface infrastructure as much as possible and to incorporate nuclear transportation options. The resulting MAT-developed concept, referred to here as the Strategic Analysis Cycle 2021 (SAC21) architecture, leverages Artemis elements and emerging commercial capabilities for cargo and logistics launches, and features a hybrid Nuclear Electric Propulsion (NEP)/Chemical transportation system able to complete the 1.8 billion kilometer round-trip journey to Mars and back in 760 to 850 days transit time for the 2039 Earth departure opportunity. Three Mars Descent Systems (MDS), each capable of landing about 25 metric tons of useful cargo on the surface of Mars, would be pre-deployed in advance of crew departure from Earth; two of these MDS’s would deliver a partially fueled Mars Ascent Vehicle (MAV), a fission power system, surface mobility, and additional MAV propellant. To minimize surface infrastructure, only two of the four Mars crew would descend and live in an MDS-landed pressurized rover, exploring the martian surface for 30 martian days, or sols, before returning to Mars orbit aboard their MAV and rejoining the other two crew on the Deep Space Transport for the Earth return voyage. Specifics of many of these architecture elements are detailed in separate technical publications; this paper outlines the end-to-end integrated architecture performance and concept of operations, including synergies with Artemis lunar architecture elements. It is important to note that NASA does not have a formal human Mars program and no decisions have been made; the architecture described here is intended to fill in an often-overlooked corner of the trade space, helping to complete the menu of options available to decision-makers as they chart the course for humans to Mars.

exploration↗
NASA NTRSDate not supplied

NASA’s Strategic Analysis Cycle 2021 (SAC21) Human Mars Architecture

[Note: this is the presentation for a companion paper with the following abstract] The National Aeronautics and Space Administration’s (NASA) Mars Architecture Team (MAT) was challenged to develop a mission architecture capable of transporting humans to the surface of Mars and back as fast—and as soon—as practical. This challenge represented a significant departure from previous approaches that minimized Earth-launched mass and maximized in-space transportation efficiency, often resulting in roundtrip missions of three years or more in duration. In the interest of crew health, MAT’s cross-Agency team of subject matter experts was challenged to develop an architecture capable of shortening crew time away from Earth to about two years. MAT was given specific mission constraints, such as number of crew, as well as mandates to minimize surface infrastructure as much as possible and to incorporate nuclear transportation options. The resulting MAT-developed concept, referred to here as the Strategic Analysis Cycle 2021 (SAC21) architecture, leverages Artemis elements and emerging commercial capabilities for cargo and logistics launches, and features a hybrid Nuclear Electric Propulsion (NEP)/Chemical transportation system able to complete the 1.8 billion kilometer round-trip journey to Mars and back in 760 to 850 days transit time for the 2039 Earth departure opportunity. Three Mars Descent Systems (MDS), each capable of landing about 25 metric tons of useful cargo on the surface of Mars, would be pre-deployed in advance of crew departure from Earth; two of these MDS’s would deliver a partially fueled Mars Ascent Vehicle (MAV), a fission power system, surface mobility, and additional MAV propellant. To minimize surface infrastructure, only two of the four Mars crew would descend and live in an MDS-landed pressurized rover, exploring the martian surface for 30 martian days, or sols, before returning to Mars orbit aboard their MAV and rejoining the other two crew on the Deep Space Transport for the Earth return voyage. Specifics of many of these architecture elements are detailed in separate technical publications; this paper outlines the end-to-end integrated architecture performance and concept of operations, including synergies with Artemis lunar architecture elements. It is important to note that NASA does not have a formal human Mars program and no decisions have been made; the architecture described here is intended to fill in an often-overlooked corner of the trade space, helping to complete the menu of options available to decision-makers as they chart the course for humans to Mars. Note: Slide 9 contains a ~2 min video, best viewed when downloaded. Once downloaded to begin video you may be requested to hit options and Trust this document.

Long-duration spaceflight↗
DOE OSTI2020

Electron Redistribution within the Nitrogenase Active Site FeMo-cofactor During Reductive Elimination of H2 to Achieve N=N Triple-Bond Activation

Nitrogen fixation by nitrogenase begins with accumulation of four reducing equivalents at the active-site FeMo-cofactor (FeMo-co), generating a state (denoted E4(4H)) with two [Fe-H-Fe] bridging hydrides. Recently, photolytic reductive elimination (re) of the E4(4H) hydrides showed that enzymatic re of E4(4H) hydride yields an H2-bound complex (E4(H2,2H)), in a process corresponding to a formal 2-electron reduction of the metal-ion core of FeMo-co. The resulting electron-density redistribution from Fe-H bonds to the metal ions themselves enables N2 to bind with concomitant H2 release, a process illuminated here by QM/MM molecular dynamics simulations. What is the nature of this redistribution? Although E4(H2,2H) hasn’t been trapped, cryogenic photolysis of E4(4H) provides a means to address this question. Photolysis of E4(4H) causes hydride-re with release of H2, generating doubly-reduced FeMo-co (denoted E4(2H)*), the extreme limit of the electron-density redistribution upon formation of E4(H2,2H). Here we examine the doubly-reduced FeMo-co core of the E4(2H)* limiting-state by 1H, 57Fe, and 95Mo ENDOR to illuminate the partial electron-density redistribution upon E4(H2,2H) formation during catalysis, complementing these results with corresponding DFT computations. Inferences from the E4(2H)* ENDOR results as extended by DFT computations include: (i) the Mo-site participates negligibly, and overall it is unlikely that Mo changes valency throughout the catalytic cycle; (ii) two distinctive E4(4H) 57Fe signals are suggested as associated with ‘anchors’ of one bridging hydride, two others with anchors of the second, with NBO-analysis identifying one anchor of each hydride as a major recipient of electrons released upon breaking Fe-H bonds.

Lukoyanov, Dmitriy↗