Search NASA⌕ Search

SEARCH · Search NASA

Results for “Core Support”

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 469 records · Page 26

Program Instrumentation and Trace Analysis

Several attempts have been made recently to apply techniques such as model checking and theorem proving to the analysis of programs. This shall be seen as a current trend to analyze real software systems instead of just their designs. This includes our own effort to develop a model checker for Java, the Java PathFinder 1, one of the very first of its kind in 1998. However, model checking cannot handle very large programs without some kind of abstraction of the program. This paper describes a complementary scalable technique to handle such large programs. Our interest is turned on the observation part of the equation: How much information can be extracted about a program from observing a single execution trace? It is our intention to develop a technology that can be applied automatically and to large full-size applications, with minimal modification to the code. We present a tool, Java PathExplorer (JPaX), for exploring execution traces of Java programs. The tool prioritizes scalability for completeness, and is directed towards detecting errors in programs, not to prove correctness. One core element in JPaX is an instrumentation package that allows to instrument Java byte code files to log various events when executed. The instrumentation is driven by a user provided script that specifies what information to log. Examples of instructions that such a script can contain are: 'report name and arguments of all called methods defined in class C, together with a timestamp'; 'report all updates to all variables'; and 'report all acquisitions and releases of locks'. In more complex instructions one can specify that certain expressions should be evaluated and even that certain code should be executed under various conditions. The instrumentation package can hence be seen as implementing Aspect Oriented Programming for Java in the sense that one can add functionality to a Java program without explicitly changing the code of the original program, but one rather writes an aspect and compiles it into the original program using the instrumentation. Another core element of JPaX is an observation package that supports the analysis of the generated event stream. Two kinds of analysis are currently supported. In temporal analysis the execution trace is evaluated against formulae written in temporal logic. We have implemented a temporal logic evaluator on finite traces using the Maude rewriting system from SRI International, USA. Temporal logic is defined in Maude by giving its syntax as a signature and its semantics as rewrite equations. The resulting semantics is extremely efficient and can handle event streams of hundreds of millions events in few minutes. Furthermore, the implementation is very succinct. The second form of even stream analysis supported is error pattern analysis where an execution trace is analyzed using various error detection algorithms that can identify error-prone programming practices that may potentially lead to errors in some different executions. Two such algorithms focusing on concurrency errors have been implemented in JPaX, one for deadlocks and the other for data races. It is important to note, that a deadlock or data race potential does not need to occur in order for its potential to be detected with these algorithms. This is what makes them very scalable in practice. The data race algorithm implemented is the Eraser algorithm from Compaq, however adopted to Java. The tool is currently being applied to a code base for controlling a spacecraft by the developers of that software in order to evaluate its applicability.

Havelund, Klaus↗

Design and Assembly of an Integrated Metabolic Heat Regenerated Temperature Swing Adsorption (MTSA) Subassembly Engineering Development Unit

Metabolic heat regenerated Temperature Swing Adsorption (MTSA) technology is being developed for thermal and carbon dioxide (CO2) control for a Portable Life Support System (PLSS), as well as water recycling. The core of the MTSA technology is a sorbent bed that removes CO2 from the PLSS ventilation loop gas via a temperature swing. A Condensing Ice Heat eXchanger (CIHX) is used to warm the sorbent while also removing water from the ventilation loop gas. A Sublimation Heat eXchanger (SHX) is used to cool the sorbent. Research was performed to explore an MTSA designed for both lunar and Martian operations. Previously each the sorbent bed, CIHX, and SHX had been built and tested individually on a scale relevant to PLSS operations, but they had not been done so as an integrated subassembly. Design and analysis of an integrated subassembly was performed based on this prior experience and an updated transient system model. Focus was on optimizing the design for Martian operations, but the design can also be used in lunar operations. An Engineering Development Unit (EDU) of an integrated MTSA subassembly was assembled based on the design. Its fabrication is discussed. Some details on the differences between the as-assembled EDU to the future flight unit are considered.

Padilla, Sebastian A.↗

Design and Assembly of an Integrated Metabolic Heat Regenerated Temperature Swing Adsorption (MTSA) Subassembly Engineering Development Unit

Metabolic heat regenerated Temperature Swing Adsorption (MTSA) technology is being developed for thermal and carbon dioxide (CO2) control for a Portable Life Support System (PLSS), as well as water recycling. The core of the MTSA technology is a sorbent bed that removes CO2 from the PLSS ventilation loop gas via a temperature swing. A Condensing Icing Heat eXchanger (CIHX) is used to warm the sorbent while also removing water from the ventilation loop gas. A Sublimation Heat eXchanger (SHX) is used to cool the sorbent. Research was performed to explore an MTSA designed for both lunar and Martian operations. Previously the sorbent bed, CIHX, and SHX had been built and tested individually on a scale relevant to PLSS operations, but they had not been done so as an integrated subassembly. Design and analysis of an integrated subassembly was performed based on this prior experience and an updated transient system model. Focus was on optimizing the design for Martian operations, but the design can also be used in lunar operations. An Engineering Development Unit (EDU) of an integrated MTSA subassembly was assembled based on the design. Its fabrication is discussed. Some details on the differences between the as-assembled EDU and the future flight unit are considered.

Padilla, Sebastian A.↗

Reactor Simulator Testing Overview

Test Objectives Summary: a) Verify operation of the core simulator, the instrumentation & control system, and the ground support gas and vacuum test equipment. b) Examine cooling & heat regeneration performance of the cold trap purification. c) Test the ALIP pump at voltages beyond 120V to see if the targeted mass flow rate of 1.75 kg/s can be obtained in the RxSim. Testing Highlights: a) Gas and vacuum ground support test equipment performed effectively for operations (NaK fill, loop pressurization, and NaK drain). b) Instrumentation & Control system effectively controlled loop temperature and flow rates or pump voltage to targeted settings and ramped within prescribed constraints. It effectively interacted with reactor simulator control model and defaulted back to temperature control mode if the transient fluctuations didn't dampen. c) Cold trap design was able to obtain the targeted cold temperature of 480 K. An outlet temperature of 636 K was obtained which was lower than the predicted 750 K but 156 K higher than the minimum temperature indicating the design provided some heat regeneration. d) ALIP produce a maximum flow rate of 1.53 kg/s at 800 K when operated at 150 V and 53 Hz.

Schoenfeld, Michael P.↗

Inductive Position Sensor

An inductive position sensor uses three parallel inductors, each of which has an axial core that is an independent magnetic structure. A first support couples first and second inductors and separate them by a fixed distance. A second support coupled to a third inductor disposed between the first and second inductors. The first support and second support are configured for relative movement as distance changes from the third inductor to each of the first and second inductors. An oscillating current is supplied to the first and second inductors. A device measures a phase component of a source voltage generating the oscillating current and a phase component of voltage induced in the third inductor when the oscillating current is supplied to the first and second inductors such that the phase component of the voltage induced overlaps the phase component of the source voltage.

Youngquist, Robert C.↗

Changes in Rainfall Distribution Promote Woody Foliage Production in the Sahel

Dryland ecosystems comprise a balance between woody and herbaceous vegetation. Climate change impacts rainfall timing, which may alter the respective contributions of woody and herbaceous plants on the total vegetation production. Here, we apply 30 years of field-measured woody foliage and herbaceous mass from Senegal and document a faster increase in woody foliage mass (+17 kg ha−1 yr−1) as compared to herbaceous mass (+3 kg ha−1 yr−1). Annual rainfall trends were partitioned into core wet-season rains (+0.7 mm yr-1), supporting a weak but periodic (5-year cycles) increase in herbaceous mass, and early/late rains (+2.1 mm yr−1), explaining the strongly increased woody foliage mass. Satellite observations confirm these findings for the majority of the Sahel, with total herbaceous/woody foliage mass increases by 6%/20%. We conclude that the rainfall recovery in the Sahel does not benefit herbaceous vegetation to the same extent as woody vegetation, presumably favoured by increased early/late rains.

Martin Brandt↗

OGLE-2015-BLG-1649Lb: A Gas Giant Planet around a Low-mass Dwarf

We report the discovery of an exoplanet from the analysis of the gravitational microlensing event OGLE-2015-BLG-1649 that challenges the core accretion model of planet formation and appears to support the disk instability model. The planet/host-star mass ratio is q = 7.2 × 10^(−3) and the projected separation normalized to the angular Einstein radius is s = 0.9. We conducted high-resolution follow-up observations using the Infrared Camera and Spectrograph (IRCS) camera on the Subaru telescope and are able to place an upper limit on the lens flux. From these measurements we are able to exclude all host stars greater than or equal in mass to a G-type dwarf. We conducted a Bayesian analysis with these new flux constraints included as priors resulting in estimates of the masses of the host star and planet. These are ML = 0.34 ± 0.19 M⊙ and M(p)=2.5 (+1.5,-1.4) M(Jup), respectively. The distance to the system is D(L)=4.23 (+1.51, -1.64) kpc. The projected star–planet separation is a(┴)=2.07 (+0.65,-0.77) au. The estimated relative lens-source proper motion, ~7.1 mas/yr, is fairly high and thus the lens can be better constrained if additional follow-up observations are conducted several years after the event.

M. Nagakane↗

An Analysis of Depolarization Streaks for Anticipating Lightning in Thundersnow

Infrequent lightning events, particularly in stratiform precipitation, present a unique decision-support challenge to National Weather Service (NWS) forecasters and core partners. Anticipating thundersnow events, which are rare compared to warm season lightning, are especially difficult to anticipate due to slanted updrafts within the comma-head region of a mid-latitude cyclone. Researchers and operational forecasters have observed depolarization streaks in differential reflectivity (ZDR) as a result of ice crystal layers prior to thundersnow initiation. These depolarization streaks form as a result of ice crystals aligning themselves with enhancements in the electric field in stratiform precipitation and are associated with ZDR values near zero. During the 7 March 2018 winter storm, a teacher in New Jersey was struck by lightning while dismissing students and depolarization streaks were observed in weather radar observations. Therefore, it is advantageous to examine depolarization streaks in ZDR to determine whether it can be used to anticipate lightning potential in winter-time events. Multiple events will be analyzed using the National Lightning Detection Network (NLDN) and the Geostationary Lightning Mapper (GLM) to determine if thundersnow flashes coincide with ZDR depolarization streaks in weather radars. This study also expands on collaboration between the NWS Huntsville Forecast Office and NASA Short-term Prediction Research and Transition (SPoRT) program to determine how depolarization streaks can be used operationally to anticipate lightning within stratiform regions. Preliminary work has indicated noticeable potential in correlating depolarization streak as a precursor to thundersnow flashes in a variety of geographical regions.

Autumn Millard↗

Development of Instrumented Advanced Test Reactor Irradiation Capsule Experiment for In-situ Thermal Conductivity Measurements of High-Density Fuels

Idaho National Laboratory (INL) is developing a first-of-a-kind leadout instrumented capsule experiment design to enable in-situ measurement capabilities in the Advanced Test Reactor (ATR) core. The Ceramic Advanced Thermal Evolution Research (CRATER) experiment supports the aLEU program objective to accelerate fuel performance irradiation testing for identifying alternative high-assay, low enriched uranium (HALEU) fuel systems. CRATER is a fueled, instrumented capsule experiment to measure in-situ temperature and thermal conductivity of ceramic fuels. Two ceramic fuel types will be used, uranium mono-nitride (UN) and uranium mono-carbide (UC), with a third metallic fuel used for comparison (UMo). The three fuel specimens will use a stainless-steel cladding. Programmatic objectives include linear heat generation rates (LHGR) of 210 ± 25 Watts per cm. and an inner clad temperature of 300-450 °C. The evolution of fuel thermal conductivity during irradiation has never been successfully measured in-situ for these systems and this experiment is designed to use advances in measurement sciences to characterize how thermal transport properties evolve while in reactor. Neutronic simulations of the experiment and its surrounding reactor environment were conducted using the Monte Carlo N-Particle Transport code (MCNP) and result in optimized fuel enrichment to meet target linear heat generation rates (LHGRs) influencing fuel temperatures, and fuel burnup requirements. Fabrication research and development (R&D) efforts are underway to produce annular right cylinder UC and UN pellets using carbothermic reduction and nitridation (or hydride-dehydride-nitride) synthesis methods, followed double-action die cold isostatic pressing.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

NIRP Core Software Suite v.5.1

SAND2023-06610O The Nuclear Incident Response Program (NIRP) Core Software Suite is a set of code that supports multiple applications. It includes miscellaneous base code for data objects, mathematic equations, and user interface components that are used for developing large applications, including those used for data management. Among the types of applications: • Analyst Manager is used for managing contact information, which is also often included in reports and identifies the owners of calculations. • Radionuclide Viewer provides access to the Dose Coefficient File Package (DCFPAK) radiological data, and it complements the Mixture Manager tool. • Mixture Manager creates and manages radionuclides mixtures that are commonly used in other applications. • High Explosive Manager manages explosives and properties. • Chart Viewer is used for data charts such as meteorology charts and other charts specific to data needs. • Unit Converter converts numeric values to/from different units. This package includes object-oriented base code such as data objects describing the date, time, and location of an event; weather conditions; data types that support predefined ranges of values; a unit library, and others. The package also includes mathematic equations such as determining the distance between two points; erf functions; factorial functions; incidence fractions of probit curves; and others. Other features are customized user interface components for text fields; unit selectors (combo boxes); menus; panels; bug-tracking; and automated checks for software updates. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525.

Collins, Ian↗

Self-Assembled Thermoresponsive Molecular Brushes as Nanoreactors for Asymmetric Aldol Addition in Water

The manipulation and tunability of self-assembled block copolymers through external stimuli presents an attractive strategy to develop smart polymer-based nanoreactors as supports for non-orthogonal tandem catalysis. We report on thermoresponsive core-shell micelles based on poly[norbornene-poly(2-methyl-2-oxazoline-block-2-propyl-2-oxazoline)]-graft-poly[norbornene L-proline] (P[NB-P(MeOx-b-PropOx)]-graft-P[NB-L-proline]) as catalyst supports for L-proline. These molecular brushes exhibit large differences in lower critical solution temperature behavior and nanostructure size in water depending on the chain-lengths and proline connectivity. L-Proline-mediated aldol reactions expose the efficiency by which the molecular brushes self-assemble into micelles. Molecular brushes with an extended backbone show higher activity and selectivity, suggesting better core-shell segregation of the micelles and exclusion of water from the catalytic site. Catalytic efficiencies are not improved above the cloud point temperature, the catalytic be-havior is rather sensitive to conformational changes of the polymer chains.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Advances in X-ray Instruments to Support Mars Sample Return

The Mars 2020 Perseverance rover is currently collecting drill cores of ancient igneous and sedimentary rock in and around Jezero crater for potential transport to Earth. These samples from the martian surface will enable detailed mineralogical, geochemical, and petrological measurements to characterize ancient depositional and diagenetic environments, quantitatively age-date the samples, and identify the building blocks for life or evidence for life itself. Furthermore, these drill cores are especially precious because they may represent the most pristine samples from the martian surface and our best chance at identifying martian life, as future sample return missions may be conducted by humans that can introduce biological contaminants to the samples. Because of the importance of these samples, we must take great care in their handling, curation, and preliminary analyses so that they are preserved for scientific measurements for decades to come. In-situ measurements by Perseverance have identified minerals that further warrant special treatment of the returned samples. Hydrated sulfate carbonate, swelling clay minerals, and oxychlorine salts are extremely sensitive to changes in temperature and relative humidity. The structures of hydrated sulfates and oxychlorine minerals, in particular, readily change when exposed to different conditions, meaning the mineral assemblage of the as-returned samples may be lost if the samples aren’t handled properly. Characterizing the as-returned mineral assemblage, particularly of the salts, is essential for reconstructing past aqueous conditions and habitability. To characterize the as-returned mineral assemblage, the samples must be analyzed rapidly before phase changes occur and/or under controlled conditions (e.g., within a glove box). Significant recent advances in X-ray instrumentation for robotic exploration of the solar system have resulted in high-resolution miniaturized instruments that would provide mineralogical, geochemical, and petrological information on the returned martian samples without degradation of the mineral assemblage. Here, we describe a combined X-ray diffractometer/X-ray fluorescence spectrometer (XRD/XRF), an X-ray computed tomographic (XCT) instrument, and a scanned beam XRF mapping instrument that could be used in a glove box so that the martian samples remain under controlled conditions.

E. B. Rampe↗

Feasibility of full-core pin resolved CFD simulations of small modular reactor with momentum sources

Complex flow structure interactions and heat transfer processes take place in nuclear reactor cores. Given the extreme pressure/temperature and radioactive conditions inside the core, numerical simulations offer an attractive and sometimes more feasible approach to study the related flow and heat transfer phenomena in addition to the experiments. Under the Exascale Computing Project, the full-core simulation of a small modular reactor (SMR) has been pursued coupling Computational Fluid Dynamics (CFD) and neutronics. A key aspect of the modeling of SMR fuel assemblies is the presence of spacer grids and the mixing promoted by mixing vanes or the equivalent. A reduced order methodology is adopted based on momentum sources to mimic the mixing of the vanes. The momentum sources have been carefully calibrated with detailed Large Eddy Simulations (LES) of spacer grids performed with Nek5000. Modeling the spacer grid and mixing vanes (SGMV) effect without body-fitted computational grid avoids the excessive costs in resolving the local geometric details, and thus supports the simulation to be scaled up to the full core. Besides the progress on momentum source modeling, this paper also features the first full-core pin resolved CFD simulation ever performed to the authors' knowledge. This represents a significant advancement in capability for the CFD of nuclear reactors, which will hopefully serve as an inspiration for further integrating high-fidelity numerical simulations in actual engineering designs.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Calmodulin activation of an endoplasmic reticulum-located calcium pump involves an interaction with the N-terminal autoinhibitory domain

To investigate how calmodulin regulates a unique subfamily of Ca(2+) pumps found in plants, we examined the kinetic properties of isoform ACA2 identified in Arabidopsis. A recombinant ACA2 was expressed in a yeast K616 mutant deficient in two endogenous Ca(2+) pumps. Orthovanadate-sensitive (45)Ca(2+) transport into vesicles isolated from transformants demonstrated that ACA2 is a Ca(2+) pump. Ca(2+) pumping by the full-length protein (ACA2-1) was 4- to 10-fold lower than that of the N-terminal truncated ACA2-2 (Delta2-80), indicating that the N-terminal domain normally acts to inhibit the pump. An inhibitory sequence (IC(50) = 4 microM) was localized to a region within valine-20 to leucine-44, because a peptide corresponding to this sequence lowered the V(max) and increased the K(m) for Ca(2+) of the constitutively active ACA2-2 to values comparable to the full-length pump. The peptide also blocked the activity (IC(50) = 7 microM) of a Ca(2+) pump (AtECA1) belonging to a second family of Ca(2+) pumps. This inhibitory sequence appears to overlap with a calmodulin-binding site in ACA2, previously mapped between aspartate-19 and arginine-36 (J.F. Harper, B. Hong, I. Hwang, H.Q. Guo, R. Stoddard, J.F. Huang, M.G. Palmgren, H. Sze inverted question mark1998 J Biol Chem 273: 1099-1106). These results support a model in which the pump is kept "unactivated" by an intramolecular interaction between an autoinhibitory sequence located between residues 20 and 44 and a site in the Ca(2+) pump core that is highly conserved between different Ca(2+) pump families. Results further support a model in which activation occurs as a result of Ca(2+)-induced binding of calmodulin to a site overlapping or immediately adjacent to the autoinhibitory sequence.

NASA Program Fundamental Space Biology↗

WHONDRS laboratory time series moisture manipulative experiment from soil core layers across eastern contiguous US: time series aerobic respiration, geochemistry, and aggregates

This dataset supports a broader study examining the effects of wetting and drying on soil layers across the eastern contiguous United States (CONUS). The dataset provides data generated from a laboratory moisture manipulation experiment. The contents include time series aerobic respiration and moisture; dissolved oxygen; sediment geochemistry data; and field metadata. Samples were collected as part of a collaboration between WHONDRS (Worldwide Hydrobiogeochemistry Observation Network for Dynamic River Systems; https://whondrs.pnnl.gov) and MONet (Molecular Observation Network; https://www.emsl.pnnl.gov/monet). The field samples (soil cores) were labeled as MEL_##_COR and subsequent subsamples begin with MEL_##. Additional subsamples were taken for the laboratory experiment and were labeled as EL_##. The labels from the MEL field samples and the EL subsamples can be mapped directly based on the digits following the prefix and underscore (i.e., EL_01 is a subsample from MEL_01). See the critical details section below for more details on sample naming and experimental design.For details on how to navigate this data package, see this infographic from the River Corridor SFA https://data.ess-dive.lbl.gov/portals/PNNLRiverCorridorSFA/About.In addition to this readme, this data package also includes a file-level metadata (FLMD) file that describes each file and a data dictionary (DD) that describes all column/row headers and variable definitions.This dataset is comprised of (1) a folder containing environmental context photos; (2) file-level metadata; (3) data dictionary; (4) field metadata; (5) readme; (6) international generic sample number (IGSN) mapping file; and (7) a subfolder with soil sample data from field samples and the incubation experiment. The sample data subfolder contains (1) effect size; (2) gravimetric moisture from field samples and incubation experiment; (3) respiration rates, raw dissolved oxygen values, and plots; (4) specific conductance, pH, and temperature from the incubation; (5) soil aggregates; (6) a summary containing median values of each data type for each treatment (wet and dry) in the incubation; (7) a summary containing averages for each data type of each soil layer; and (8) methods codes. All files are .csv, .pdf, .jpeg, or .jpg.

54 ENVIRONMENTAL SCIENCES↗

Risk reduction using DDP (Defect Detection and Prevention): Software support and software applications

Risk assessment and mitigation is the focus of the Defect Detection and Prevention (DDP) process, which has been applied to spacecraft technology assessments and planning, both hardware and software. DDP's major elements and their relevance to core requirement engineering concerns are summarized. The accompanying research demonstration illustrates DDP's tool support, and further customizations for application to software.

Software-specific customizations↗

Towards Next-Generation Urban Decision Support Systems through AI-Powered Construction of Scientific Ontology Using Large Language Models—A Case in Optimizing Intermodal Freight Transportation

The incorporation of Artificial Intelligence (AI) models into various optimization systems is on the rise. However, addressing complex urban and environmental management challenges often demands deep expertise in domain science and informatics. This expertise is essential for deriving data and simulation-driven insights that support informed decision-making. In this context, we investigate the potential of leveraging the pre-trained Large Language Models (LLMs) to create knowledge representations for supporting operations research. By adopting ChatGPT-4 API as the reasoning core, we outline an applied workflow that encompasses natural language processing, Methontology-based prompt tuning, and Generative Pre-trained Transformer (GPT), to automate the construction of scenario-based ontologies using existing research articles and technical manuals of urban datasets and simulations. From these ontologies, knowledge graphs can be derived using widely adopted formats and protocols, guiding various tasks towards data-informed decision support. The performance of our methodology is evaluated through a comparative analysis that contrasts our AI-generated ontology with the widely recognized pizza ontology, commonly used in tutorials for popular ontology software. We conclude with a real-world case study on optimizing the complex system of multi-modal freight transportation. Our approach advances urban decision support systems by enhancing data and metadata modeling, improving data integration and simulation coupling, and guiding the development of decision support strategies and essential software components.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗

The PSR 2127+12 as an indicator of a massive blac k hole in the core of globular cluster M 15

The 110-millisecond pulsar PSR 2127+12 in the core of the globular cluster M15 is distinguished by having a negative period derivative P approximately equals -2 x 10(exp -17). This value cannot be provided by acceleration in the mean gravitational potential of the core. A flyby of a star approximately equal to 300 AU away could explain the P observed, but the probability of such an event is small, approximately equal to 10(exp -13). We suggest that the pulsar motion is governed by the presence of a moderately massive (approximately equals 2 divided by 3 x 10(exp 4) solar mass) black hole in the clusters center. The idea is further supported by an observed post-collapse morphology of the M15 core.

Postnov, K. A.↗