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 523 records · Page 29

Open-Mode Debonding Analysis of Curved Sandwich Panels Subjected to Heating and Cryogenic Cooling on Opposite Faces

Increasing use of curved sandwich panels as aerospace structure components makes it vital to fully understand their thermostructural behavior and identify key factors affecting the open-mode debonding failure. Open-mode debonding analysis is performed on a family of curved honeycomb-core sandwich panels with different radii of curvature. The curved sandwich panels are either simply supported or clamped, and are subjected to uniform heating on the convex side and uniform cryogenic cooling on the concave side. The finite-element method was used to study the effects of panel curvature and boundary condition on the open-mode stress (radial tensile stress) and displacement fields in the curved sandwich panels. The critical stress point, where potential debonding failure could initiate, was found to be at the midspan (or outer span) of the inner bonding interface between the sandwich core and face sheet on the concave side, depending on the boundary condition and panel curvature. Open-mode stress increases with increasing panel curvature, reaching a maximum value at certain high curvature, and then decreases slightly as the panel curvature continues to increase and approach that of quarter circle. Changing the boundary condition from simply supported to clamped reduces the magnitudes of open-mode stresses and the associated sandwich core depth stretching.

Ko, William L.↗

Adaptive Fault Tolerance for Many-Core Based Space-Borne Computing

This paper describes an approach to providing software fault tolerance for future deep-space robotic NASA missions, which will require a high degree of autonomy supported by an enhanced on-board computational capability. Such systems have become possible as a result of the emerging many-core technology, which is expected to offer 1024-core chips by 2015. We discuss the challenges and opportunities of this new technology, focusing on introspection-based adaptive fault tolerance that takes into account the specific requirements of applications, guided by a fault model. Introspection supports runtime monitoring of the program execution with the goal of identifying, locating, and analyzing errors. Fault tolerance assertions for the introspection system can be provided by the user, domain-specific knowledge, or via the results of static or dynamic program analysis. This work is part of an on-going project at the Jet Propulsion Laboratory in Pasadena, California.

fault tolerance↗

Structural and spectral studies of sunspots

Observations of umbral cores, both by multicolor photometry and by narrow band photometry in the vicinity of the sodium D lines, are described, and evidence is given which supports the validity of many umbral models, each of which describes different aspects of the observed umbral cores. Theoretical studies carried on at the observatory include the following: (1) Zeeman profiles of the sodium D sub 2 line and other lines; (2) turbulent heat conduction, sound waves, and the missing flux in sunspots; (3) chromospheric heating above spots by Alfven waves; (4) magnetic convection in the sun and solar neutrinos; (5) models of starspots on flare stars; (5) starspots on the primaries of contact binary systems; and (6) implications of starspots on red dwarfs.

Wyller, A. A.↗

Decision Engines for Software Analysis Using Satisfiability Modulo Theories Solvers

The area of software analysis, testing and verification is now undergoing a revolution thanks to the use of automated and scalable support for logical methods. A well-recognized premise is that at the core of software analysis engines is invariably a component using logical formulas for describing states and transformations between system states. The process of using this information for discovering and checking program properties (including such important properties as safety and security) amounts to automatic theorem proving. In particular, theorem provers that directly support common software constructs offer a compelling basis. Such provers are commonly called satisfiability modulo theories (SMT) solvers. Z3 is a state-of-the-art SMT solver. It is developed at Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories such as arithmetic, bit-vectors, lists, records and arrays. The talk describes some of the technology behind modern SMT solvers, including the solver Z3. Z3 is currently mainly targeted at solving problems that arise in software analysis and verification. It has been applied to various contexts, such as systems for dynamic symbolic simulation (Pex, SAGE, Vigilante), for program verification and extended static checking (Spec#/Boggie, VCC, HAVOC), for software model checking (Yogi, SLAM), model-based design (FORMULA), security protocol code (F7), program run-time analysis and invariant generation (VS3). We will describe how it integrates support for a variety of theories that arise naturally in the context of the applications. There are several new promising avenues and the talk will touch on some of these and the challenges related to SMT solvers. Proceedings

Bjorner, Nikolaj↗

ECAR-6584 MARVEL Reactor Support Frame Analysis

Idaho National Laboratory (INL) is developing a small microreactor to produce electrical power utilizing a small nuclear core and Stirling engines for power output under the Microreactor Application Research Validation and Evaluation (MARVEL) program. The MARVEL Reactor will be installed in the Transient Reactor Test (TREAT) Facility. Walsh Engineering Services, PC (WES) has contracted with the INL to support the completion of the final design. There are six main systems in the MARVEL, one of which is the MARVEL Reactor System (MRS). The MRS contains a subsystem – the Reactor Support Frame (RSF) – that supports and orients nearly all the MRS and the RSF will be bolted to the TREAT Facility. The subject of this Engineering Calculations and Analysis Report (ECAR) is the frame weldment (see Figure 1), which is the only item that is contained in the RSF subsystem and will be called herein “RSF”.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

BEE - FY20 P6-2: Support for HPC resource managers 2.3.6.01 – LANL ATDM ST / STNS01-6 P6 Milestone Completion Documentation

BEE uses abstract interfaces between core functionality and specific driver code. An example of this is the worker_interface. The worker_interface is used by the BEETaskManager to communicate with the HPC system-specific resource manager (e.g. Slurm) and container runtime (e.g. Charliecloud). BEE initially only supported the Slurm HPC resource manager. This activity will make HPC resource manager support a configurable option. When this activity is complete BEE will support both the Slurm and LSF resource managers.

97 MATHEMATICS AND COMPUTING↗

Catalysts, catalyst supports and methods of making the same

The present disclosure relates to a composition that includes a core in the shape of a particle having a characteristic length between about one micron and about one millimeter, an active material that includes a noble metal deposited on a surface of the core, and a coating that includes a first metal-oxide, where the active material is positioned between the core and the coating, the active material has a diameter between about one nanometer and about 20 nanometers, and the coating has a thickness between greater than zero nanometers and about 20 nanometers.

Vardon, Derek Richard↗

The formaldehyde ortho/para ratio as a probe of dark cloud chemistry and evolution

We present measurements of the H2CO ortho/para ratio toward four star-forming cores, L723, L1228, L1527, and L43, and one quiescent core, L1498. Combining these data with earlier results by Minh et al., three quiescent cores are found to have ortho/para ratios near 3, the ratio of statistical weights expected for gas-phase formation processes. In contrast, ortho/para ratios are 1.5-2.1 in five star-forming cores, suggesting thermalization at a kinetic temperature of 10 K. We attribute modification of the ortho/para ratio in the latter cores to formation and/or equilibration of H2CO on grains with sub-sequent release back into the gas phase due to the increased energy inputs from the forming star and outflow. We see accompanying enhancements in the H2CO abundance relative to H, to support this idea. The results suggest that the formaldehyde ortho/para ratio can differentiate between quiescent cores and those in which low-mass star formation has occurred.

Non-NASA Center↗

Quality Procedures for TCR Metal Core Structure Advanced Manufacturing Processes

The Transformational Challenge Reactor (TCR) Manufacturing WBS# 3.02.04.02 organization is responsible for the advanced manufacturing process, research, development, and implementation that supports the TCR program under the TCR Additive Manufacturing (AM) Thrust. Advanced manufacturing at Oak Ridge National Laboratory (ORNL) includes the development and capabilities to use modern advanced manufacturing techniques, such as AM (e.g., 3D printing) and other novel methods, to rapidly design, develop, produce, finish, and characterize parts, samples, and components to support the nuclear and other high-quality standards industries. Deliverable # M2TC-20OR04020110 involved the development of TCR quality procedures for the TCR metal core structure by using the advanced manufacturing processes being developed at ORNL’s Manufacturing Demonstration Facility (MDF) and other ORNL locations. This report discusses the details of these procedures.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Space Station Freedom environmental control and life support system phase 3 simplified integrated test detailed report

A description of the phase 3 simplified integrated test (SIT) conducted at the Marshall Space Flight Center (MSFC) Core Module Integration Facility (CMIF) in 1989 is presented. This was the first test in the phase 3 series integrated environmental control and life support systems (ECLSS) tests. The basic goal of the SIT was to achieve full integration of the baseline air revitalization (AR) subsystems for Space Station Freedom. Included is a description of the SIT configuration, a performance analysis of each subsystem, results from air and water sampling, and a discussion of lessons learned from the test. Also included is a full description of the preprototype ECLSS hardware used in the test.

Roberts, B. C.↗

Characterizing the Performance of Executing Many-tasks on Summit

Many scientific workloads are comprised of many tasks, where each task is an independent simulation or analysis of data. The execution of millions of tasks on heterogeneous HPC platforms requires scalable dynamic resource management and multi-level scheduling. RADICAL-Pilot (RP) -- an implementation of the Pilot abstraction, addresses these challenges and serves as an effective runtime system to execute workloads comprised of many tasks. In this paper, we characterize the performance of executing many tasks using RP when interfaced with JSM and PRRTE on Summit: RP is responsible for resource management and task scheduling on acquired resource; JSM or PRRTE enact the placement of launching of scheduled tasks. Our experiments provide lower bounds on the performance of RP when integrated with JSM and PRRTE. Specifically, for workloads comprised of homogeneous single-core, 15 minutes-long tasks we find that: PRRTE scales better than JSM for > O(1000) tasks; PRRTE overheads are negligible; and PRRTE supports optimizations that lower the impact of overheads and enable resource utilization of 63% when executing O(16K), 1-core tasks over 404 compute nodes.

Matteo, Turilli↗

Bringing Alaska's Carbon Ore, Rare Earth, and Critical Minerals (CORE-CM) into Perspective

The final report outlines the outcomes of the Alaska CORE-CM Program, funded by the U.S. Department of Energy under award DE-FE0032050. Led by the University of Alaska Fairbanks and the Alaska Division of Geological and Geophysical Surveys, with assistance from other organizations, the project assessed Alaska's potential for Carbon Ore, Rare Earth Elements, and Critical Minerals (CORE-CM). Leveraging advanced analytical techniques, the project identified high-potential resource basins, evaluated geochemical and satellite data, and conducted targeted field investigations. Findings revealed promising concentrations of critical minerals in legacy samples and newly collected materials. The project also investigated innovative extraction technologies, including BioExtraction and use of supercritical CO2, which show significant promise for sustainable resource recovery. Additionally, the study explored the reuse of waste streams from active mining operations and coal byproducts such as using alkali-activated coal ash to manufacture concrete. Infrastructure and logistical challenges in Alaska’s remote regions are discussed, alongside strategies to establish a Technology Innovation Center aimed at advancing CORE-CM development in Alaska. The report includes actionable insights to support Alaska’s critical role in securing domestic supplies of essential minerals while addressing economic, environmental, and technological challenges.

01 COAL, LIGNITE, AND PEAT↗

Integrated System Health Management (ISHM): Systematic Capability Implementation

This paper provides a credible approach for implementation of ISHM capability in any system. The requirements and processes to implement ISHM capability are unique in that a credible capability is initially implemented at a low level, and it evolves to achieve higher levels by incremental augmentation. In contrast, typical capabilities, such as thrust of an engine, are implemented once at full Functional Capability Level (FCL), which is not designed to change during the life of the product. The approach will describe core ingredients (e.g. technologies, architectures, etc.) and when and how ISHM capabilities may be implemented. A specific architecture/taxonomy/ontology will be described, as well as a prototype software environment that supports development of ISHM capability. This paper will address implementation of system-wide ISHM as a core capability, and ISHM for specific subsystems as expansions and evolution, but always focusing on achieving an integrated capability.

Figueroa, Fernando↗

Use of Field Programmable Gate Array Technology in Future Space Avionics

Fulfilling NASA's new vision for space exploration requires the development of sustainable, flexible and fault tolerant spacecraft control systems. The traditional development paradigm consists of the purchase or fabrication of hardware boards with fixed processor and/or Digital Signal Processing (DSP) components interconnected via a standardized bus system. This is followed by the purchase and/or development of software. This paradigm has several disadvantages for the development of systems to support NASA's new vision. Building a system to be fault tolerant increases the complexity and decreases the performance of included software. Standard bus design and conventional implementation produces natural bottlenecks. Configuring hardware components in systems containing common processors and DSPs is difficult initially and expensive or impossible to change later. The existence of Hardware Description Languages (HDLs), the recent increase in performance, density and radiation tolerance of Field Programmable Gate Arrays (FPGAs), and Intellectual Property (IP) Cores provides the technology for reprogrammable Systems on a Chip (SOC). This technology supports a paradigm better suited for NASA's vision. Hardware and software production are melded for more effective development; they can both evolve together over time. Designers incorporating this technology into future avionics can benefit from its flexibility. Systems can be designed with improved fault isolation and tolerance using hardware instead of software. Also, these designs can be protected from obsolescence problems where maintenance is compromised via component and vendor availability.To investigate the flexibility of this technology, the core of the Central Processing Unit and Input/Output Processor of the Space Shuttle AP101S Computer were prototyped in Verilog HDL and synthesized into an Altera Stratix FPGA.

Ferguson, Roscoe C.↗

Inflight Rotor Stability Monitor

An inflight rotor stability monitor developed at Sikorsky Aircraft to support stability testing of new rotorcraft is described. The monitor has as its core a damping estimation algorithm which embodies spectral analysis techniques. The interactive system is activated and controlled from a cathode ray tube (CRT) and operates on-line in a flight test telemetry environment. Accurate estimates of the level of damping of critical system modes are generated within one minute of the completion of a prescribed test maneuver. The stability monitor was used successfully to support various Sikorsky research and development flight programs including the UTTAS, CH-53E, S-67 Fan-in-Fin, and ABC.

Kuczynski, W. A.↗

Ames National Laboratory, Laboratory Directed Research and Development Program: FY2022 Annual Summary

Laboratory Directed Research & Development (LDRD) projects at Ames National Laboratory are compelling, collaborative, and mission-oriented research that accelerate progress in our strategic directions. The aim of these projects is to strengthen Ames National Laboratory’s emerging scientific leaders and core capabilities, to further enhance our scientific and technological vitality by stimulating R&D innovation in support of the Laboratory’s foundational strengths and strategic initiatives, and to build capabilities to respond to rapidly emerging R&D opportunities of clear potential benefit to DOE’s mission. LDRD funding strengthens our core capabilities either by exploiting targets of opportunity in expanding current capabilities, or by exploring and implementing new capabilities that provide scientific advantages and position Ames National Laboratory to be a leader in existing and emerging scientific fields. For FY2022, the Ames National Laboratory LDRD focused on transformative science to accelerate progress in our strategic directions, especially the initiatives discussed below. Of particular interest are areas that span multiple disciplines, or that develop new technical capabilities that enhance our ability to address our strategic directions.

36 MATERIALS SCIENCE↗

Ames National Laboratory FY23 Annual LDRD Report

Laboratory Directed Research & Development (LDRD) projects at Ames National Laboratory perform compelling, collaborative, and mission-oriented research that accelerates progress in our strategic directions. The aim of these projects is to strengthen Ames National Laboratory’s emerging scientific leaders and core capabilities, to further enhance our scientific and technological vitality by stimulating R&D innovation in support of the Laboratory’s foundational strengths and strategic initiatives, and to build capabilities to respond to rapidly emerging R&D opportunities of clear potential benefit to DOE’s mission. LDRD funding strengthens our core capabilities either by exploiting targets of opportunity in expanding current capabilities, or by exploring and implementing new capabilities that provide scientific advantages and position Ames National Laboratory to be a leader in existing and emerging scientific fields.

99 GENERAL AND MISCELLANEOUS↗