Search NASA⌕ Search

SEARCH · Search NASA

Results for “Core Design”

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,351 records · Page 75

The Synchronic Web

The Synchronic Web is a distributed network for securing data provenance on the World Wide Web. By enabling clients around the world to freely commit digital information into a single shared view of history, it provides a foundational basis of truth on which to build decentralized and scalable trust across the Internet. Its core cryptographical capability allows mutually distrusting parties to create and verify statements of the following form: “I commit to this information—and only this information—at this moment in time.” The backbone of the Synchronic Web infrastructure is a simple, small, and semantic-free blockchain that is accessible to any Internet-enabled entity. The infrastructure is maintained by a permissioned network of well-known servers, called notaries, and accessed by a permissionless group of clients, called journals. Through an evolving stack of flexible and composable semantic specifications, the parties cooperate to generate synchronic commitments over arbitrary data. When integrated with existing infrastructures, adapted to diverse domains, and scaled across the breadth of cyberspace, the Synchronic Web provides a ubiquitous mechanism to lock the world’s data into unique points in discrete time and digital space. This document provides a technical description of the core Synchronic Web system. The distinguishing innovation in our design—and the enabling mechanism behind the model—is the novel use of verifiable maps to place authenticated content into canonically defined locations off-chain. While concrete specifications and software implementations of the Synchronic Web continue to evolve, the information covered in the body of this document should remain stable. We aim to present this information clearly and concisely for technical non-experts to understand the essential functionality and value proposition of the network. In the interest of promoting discourse, we take some liberty in projecting the potential implications of the new model.

97 MATHEMATICS AND COMPUTING↗

The Essence of Cryptol: A Denotational Cryptol Interpreter in Coq for Foundational Assurances for Quantum Resistant Cryptosystems

Systems of the utmost consequence need a means to establish authenticity of software and data. Cryptosystems implement authentication, but can be vulnerable to cryptographic and implementation attacks. With the threat of quantum cryptographic attacks, “post-quantum” cryptosystems (PQCs) must be henceforth used in these systems. However, the new cryptography needs new ways to, rigorously and machine-checkably, prove systems free of vulnerabilities. We propose a retargetable capability to rapidly instantiate proven correct postquantum cryptosystems through novel proof-carrying synthesis and proof-automation technique, extending those proven successful on existing systems. This capability is crucial to meeting the cryptographic requirements for future high-consequence systems. Since specifications for high consequence cryptography are presently captured in a domain specific language known as Cryptol. While this can enable convenient fully automated reasoning about Cryptol specificaitons and implementations via the Software Analysis Workbench (SAW), Cryptol has expressivity gaps, so that cryptosystems with probabilistic programming features like Falcon cannot be fully expressed in the language. Moreover, SAW’s automation fails for programs and specificaitons with inductive and recursive structure, as in the Sphincs+ PQC. Finally, Cryptol and SAW together represent some 200,000 lines of unverified Haskell, so that the any guarantees about high consequence cryptography are presently contingent on a large, unverified, yet trusted computing base. The first step of the larger project of agile, assured crpytography is therefore to provide a formal, mechanized semantics for Cryptol, so that the specifications expressed by cryptographers in Cryptol can be reasoned about and compiled into performant implementations with a foundational, machine checkable certificate of correctness. This report describes our work on this first step, culminating in the design of a certified denotational interpreter, in Coq, for core Cryptol.

97 MATHEMATICS AND COMPUTING↗

Investigation of flow fields within large scale hypersonic inlet models

Analytical and experimental investigations were conducted to determine the internal flow characteristics in model passages representative of hypersonic inlets for use at Mach numbers to about 12. The passages were large enough to permit measurements to be made in both the core flow and boundary layers. The analytical techniques for designing the internal contours and predicting the internal flow-field development accounted for coupling between the boundary layers and inviscid flow fields by means of a displacement-thickness correction. Three large-scale inlet models, each having a different internal compression ratio, were designed to provide high internal performance with an approximately uniform static-pressure distribution at the throat station. The models were tested in the Ames 3.5-Foot Hypersonic Wind Tunnel at a nominal free-stream Mach number of 7.4 and a unit free-stream Reynolds number of 8.86 X one million per meter.

Gnos, A. V.↗

Uranium plasma radiates in the UV spectrum

Description of an experiment designed to produce and spectroscopically analyze a simulated gas core reactor plasma in the spectral range from 300 to 1300 A. The plasma was produced by focusing the radiation of a Q-spoiled ruby laser onto the flat surface of a pure U-238 specimen.

Williams, M. D.↗

Structural response of a fiber composite compressor fan blade airfoil

A theoretical investigation was performed to determine the structural response of a fiber composite airfoil typical of those encountered in high-tip speed compressor fan blades when subjected to load conditions anticipated in such applications. The analysis method consisted of composite mechanics embedded in pre- and post-processors coupled with NASTRAN. The load conditions examined include thermal due to aerodynamic heating, pressure due to aerodynamic forces, and centrifugal. Root reactions due to various load conditions, average composite and ply stresses, ply delaminations, and the fundamental modes and the corresponding reactions were investigated. The results show that the thermal and pressure stresses are negligible compared to those caused by the centrifugal forces. The core-shell concept for composite blades is an inefficient design and is sensitive to interply delaminations. The results are presented in graphical and tabular forms to illustrate the types and amount of data required for the analysis, and to provide quantitative data associated with the various responses which can be helpful in designing composite blades.

Chamis, C. C.↗

Buckling tests of structural elements applicable to large erectable space trusses

Detailed data on columns and center a joint for completeness is presented. Buckling data for a tripod arrangement of these columns using a cluster joint is also presented. The objectives of these test are: (1) to gain insight into joint requirements for truss structure; (2) to assess the structural qualities of the column and center joint designs; (3) to investigate the restraint provided by octetruss core members (tripod) to the cluster joints; (4) to provide insight into the level of analysis required to predict buckling behavior of Gr/E nestable columns both as simple columns and in a tripod arrangement; and (5) to provide a data base for Gr/E nestable columns.

Heard, W. L., Jr.↗

Evaluation of long-duration exposure to the natural space environment on graphite-polyimide and graphite-epoxy mechanical properties (A0175)

The primary objective of this experiment is to accumulate the needed operational data associated with the exposure of graphite-polyimide and graphite-epoxy material to the environments of space. The experiment will be mounted in two 3-in.-deep peripheral trays. Graphite-polyimide specimens will occupy 1 1/3 trays and the graphite-epoxy specimens will occupy two-thirds of a tray. The experiment approach requires two matched sets of specimens with traceable records that are maintained for materials processing and specimen quality. After fabrication, one set of each test specimen will be sectioned and structurally tested to serve as a data baseline. After the flight, the other set of specimens will undergo extensive measurements of mechanical properties for comparison with the original data baseline. Structural testing of the graphite-polyimide specimens will provide strength and elastic data in tension, compression, and shear. Transverse tension microcracking and crack propagation will be evaluated by photomicroscopy. Structural testing of the graphite-epoxy specimens will include verification of laminate, core, adhesive, and fatigue properties as applied to the design and analysis of the payload bay door. Microcracking and crack propagation will also be analyzed by photomicroscopy.

Powell, J. H.↗

Energy efficient engine component development and integration program

The design of an energy efficient commercial turbofan engine is examined with emphasis on lower fuel consumption and operating costs. Propulsion system performance, emission standards, and noise reduction are also investigated. A detailed design analysis of the engine/aircraft configuration, engine components, and core engine is presented along with an evaluation of the technology and testing involved.

Source record↗

Advanced controls for stability assessment of solar dynamics space power generation

In support of the power requirements for the Space Station Alpha (SSA), a joint program by the U.S. and Russia for a permanently manned space station to be launched into orbit by 1998, a robust control scheme is needed to assure the stability of the rotating machines that will be integrated into the power subsystem. A framework design and systems studies for modeling and analysis is presented. It employs classical d-q axes machine model with voltage/frequency dependent loads. To guarantee that design requirements and necessary trade studies are done, a functional analysis tool CORE is used for the study. This provides us with different control options for stability assessment. Initial studies and recommendations using advanced simulation tools are also presented. The benefits of the stability/control scheme for evaluating future designs and power management are discussed.

Momoh, James A.↗

Petrology and Geochemistry of a Mg- and Al-Rich Orthopyroxenite Xenolith in the EETA79001 Shergottite: Implications for Mars Crustal Evolution

EETA79001 is a Mars meteorite (SNC) consisting of multiple rock types, including two basalt types, olivine and pyroxene xenocrysts, and ultramafic xenoliths. This study is focused on the petrology and geochemistry of one orthopyroxenite xenolith in PTS 68, designated X-1. It consists of chemically homogeneous orthopyroxene cores with exceptionally high Mg/Fe (mg#=85) and Al. Cores are permeated by minute high-Si+Al glassy inclusions, some with augite microlites. Magnesian core areas are mantled by more Fe-rich orthopyroxene rims grading to pigeonite away from cores. The xenolith is transected by cross-cutting shear planes, some of pre-incorporation origin. Major and minor element composition and variation suggest that core areas are primarily igneous, crystallized from a high temperature mafic melt. However, nearly constant mg# across cores suggest metamorphic equilibration. Si+Al inclusions may result from, among other processes, exsolution of feldspathic material during subsolidus cooling, or may be solid materials (alkali feldspar) poikilitically enclosed by growing igneous orthopyroxene crystals. Late reaction with more fractionated melts produced Fe-rich mantles, the whole assemblage later cut by tectonic micro-shear planes. Raw electron microprobe data produced during this study are available on request from the author.

Berkley, John L.↗

ROBUS-2: A Fault-Tolerant Broadcast Communication System

The Reliable Optical Bus (ROBUS) is the core communication system of the Scalable Processor-Independent Design for Enhanced Reliability (SPIDER), a general-purpose fault-tolerant integrated modular architecture currently under development at NASA Langley Research Center. The ROBUS is a time-division multiple access (TDMA) broadcast communication system with medium access control by means of time-indexed communication schedule. ROBUS-2 is a developmental version of the ROBUS providing guaranteed fault-tolerant services to the attached processing elements (PEs), in the presence of a bounded number of faults. These services include message broadcast (Byzantine Agreement), dynamic communication schedule update, clock synchronization, and distributed diagnosis (group membership). The ROBUS also features fault-tolerant startup and restart capabilities. ROBUS-2 is tolerant to internal as well as PE faults, and incorporates a dynamic self-reconfiguration capability driven by the internal diagnostic system. This version of the ROBUS is intended for laboratory experimentation and demonstrations of the capability to reintegrate failed nodes, dynamically update the communication schedule, and tolerate and recover from correlated transient faults.

Torres-Pomales, Wilfredo↗

One Giant Leap to Protect All Mankind: An Overview of the Lunar Receiving Laboratory

Motivation. In 1961, President John F. Kennedy charged the nation "to land a man on the moon and return him safely to Earth." Eight years later, the Apollo 11 astronauts splashed down in the Pacific Ocean after this first 8-day journey to the moon. As humans had never ventured to another extraterrestrial body, the U.S. government noted the great uncertainty associated with the unknown exposures related to this historic mission. Overview. With this uncertainty in mind, a newly formed Interagency Committee on Back Contamination (ICBC) was established to review the potential for lunar contaminants and establish the prevention of their escape into the biosphere during crew and sample recovery operations from the floating command module to the mobile quarantine facility on the recovery ship and return to the Johnson Space Center. Significance. As a result of the ICBC recommendations, in 1966 NASA planned and built the Lunar Receiving Laboratory (LRL) at the Johnson Space Center in Houston, Texas. The LRL served a great role in service of human space exploration to quarantine Apollo crewmembers, their space vehicles, and the lunar samples collected. Almost an afterthought in the space race to the Moon, the 83,000-square-foot LRL was designed and completed in 1967 for $7.8 million. The core purpose of the LRL was "to protect the public's health, agriculture, and other living resources; to provide lunar sample distribution to approved scientific investigators; and to preserve the scientific integrity of the lunar samples at all times." Its layout was comprised of three major zones: a quarantined Crew Area, a separate but also quarantined Sample Operations Area, and a Support and Administration Area outside the controlled biological barrier. This facility required trained personnel to live and perform within it for several weeks post-flight, to include astronaut crewmembers, flight surgeons, scientists, and vehicle recovery engineers. The LRL holds memories of these historic events but has since been repurposed for NASA's medical and environmental sciences activities, in what is now known as Building 37. As we approach its 50th anniversary, the LRL story will end in demolition as NASA advances its facilities for the next steps in human exploration of space. Learning Objectives: 1. To capture the historical relevance of the NASA Lunar Receiving Laboratory 2. To understand the requirements of receiving crew and samples from the moon for the first time 3. To describe the facility capabilities in protection of public health.

Hayes, Judith↗

Design and Testing of a Hard-Fault Protection Circuit for a 1 kV SiC MOSFET Inverter

Due to increasingly high DC link voltages and further advancements in the current density of silicon carbide (SiC) MOSFETs, it has become evident that conventional IGBT protection methods are not sufficient to prevent exceeding the current rating of these devices during low-inductance fault events. This paper explores the use of an air core Rogowski coil topology to mitigate these hard fault events. The design of this circuit resulted in safe shutdown of a low impedance phase-to-phase fault in under one microsecond, tested up to DC link voltages of 1 kV. This paper details the theory, design, simulation, and successful test results of this method.

hard fault protection↗

SERGHEI (SERGHEI-SWE) v1.0: a performance-portable high-performance parallel-computing shallow-water solver for hydrology and environmental hydraulics

The Simulation EnviRonment for Geomorphology, Hydrodynamics, and Ecohydrology in Integrated form (SERGHEI) is a multi-dimensional, multi-domain, and multi-physics model framework for environmental and landscape simulation, designed with an outlook towards Earth system modelling. At the core of SERGHEI's innovation is its performance-portable high-performance parallel-computing (HPC) implementation, built from scratch on the Kokkos portability layer, allowing SERGHEI to be deployed, in a performance-portable fashion, in graphics processing unit (GPU)-based heterogeneous systems. In this work, we explore combinations of MPI and Kokkos using OpenMP and CUDA backends. In this contribution, we introduce the SERGHEI model framework and present with detail its first operational module for solving shallow-water equations (SERGHEI-SWE) and its HPC implementation. This module is designed to be applicable to hydrological and environmental problems including flooding and runoff generation, with an outlook towards Earth system modelling. Its applicability is demonstrated by testing several well-known benchmarks and large-scale problems, for which SERGHEI-SWE achieves excellent results for the different types of shallow-water problems. Finally, SERGHEI-SWE scalability and performance portability is demonstrated and evaluated on several TOP500 HPC systems, with very good scaling in the range of over 20 000 CPUs and up to 256 state-of-the art GPUs.

58 GEOSCIENCES↗

DESIGN AND PROTOYPING OF A FISSILE-BEARING CHLORIDE SALT IRRADIATION EXPERIMENT

Limited data exists on the properties of irradiated fueled chloride-based salts for use in advanced nuclear reactors. The design and prototyping of a salt irradiation experiment is underway. Mechanical design will integrate the experiment into existing assemblies in TRIGA type cores. Neutronics modeling demonstrated how targeted power densities can be reached and provide insight on radionuclide source term generation within the experiment. Thermal-hydraulic and computational fluid dynamics (CFD) analysis indicated that temperature ranges in the salt can satisfy both safety and programmatic requirements. Initial prototyping tests provided confidence in the ability to extract the salt post-irradiation, and in the heater performance. Future planned prototyping will provide an integral assessment of the proposed design prior to insertion in the reactor.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Heterogeneous Integration Technologies for High-temperature, High-density, Low-profile Power Modules of Wide Bandgap Devices in Electric Drive Applications (Final Technical Report)

The goal of this project is to develop packaging technologies for making high-temperature, high-density, and low-profile wide-bandgap (WBG) power electronics modules for electric drives. These modules are aimed at enabling the DOE’s University Consortium to reach its 2025 inverter targets of ≥ 100 kW/L and ≤ 2.7 $/kW. The specific objectives are to: design and fabricate SiC half-bridge power modules with double-sided cooling and parasitic inductances < 5 nH, heat flux density > 400 W/cm 2 , and working junction temperature of 200 o C; design, fabricate, and deliver a gate driver with double-sided cooled modules for the construction of a 100 kW/L inverter at Oak Ridge National Lab; and design and prototype intelligent gate drivers with integrated current sensor and a low-profile DC-DC power supply with air-core transformer for testing power modules at 200 o C junction temperature. We followed an iterative technical approach of design, simulation, fabrication, and testing of various versions of modules, current sensors, and power supply. The state-of-the-art silicon carbide devices rated at 1.2 kV and 149 A were packaged by sintered-silver bonding on an aluminum nitride direct-bond-copper substrate for high thermal conductivity, high working temperature, and high joint reliability. Porous silver posts were used to interconnect the device’s source pads to the other direct-bond-copper substrate for low mechanical stresses, ease of manufacturing, and double-sided cooling. A current sensor based on package parasitic inductance was developed to measure switching current. A dynamic feedback scheme was developed to compensate the effect of parasitic resistance and temperature variation. A constant-current class-E dc-dc converter with air-core transformer was developed. Air-core transformer was used due to the unavailability of magnetic core at high temperatures. Gate driver and power supply were integrated with the double-side cooled, high temperature SiC power modules for testing the modules at 200 o C junction temperature. Double-pulse and continuous testing of the integrated technologies validated the design and fabrication of the three component technologies. Throughout the project, we overcame the challenge for design verification caused by low prototyping yield, which then helped train the graduate students, the future workforce, to learn the engineering know-how for low-cost manufacturing of reliable products. Below is a summary of the major accomplishments of this project: development of a prototyping process for fabricating double-side cooled (1200 V, 149 A) SiC phase-leg modules capable of working to 200 o C Tj; simulation and experimental verification of the improvement of thermo-mechanical reliability of the double-side cooled SiC phase-leg module by using rigid encapsulant; design and experimental validation of a current sensor based on package parasitic inductance and a compensation solution for eliminating the effect of parasitic resistance; design and experimental validation of a low-profile power supply with six-output air-core transformer for gate driver; functional demonstration of a SiC phase-leg module integrated with its gate driver, current sensor, and an air-core power supply at 200 o C Tj in a double-pulse switching test setup and Buck converter continuous test setup; successful completion of six PhD and two MS students who are or will work at Apple Inc., Tesla Inc., Wolfspeed Inc., Microchip Inc., Monolithic Power Systems Inc., and LG Magna Inc.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗