Search NASA⌕ Search

SEARCH · Search NASA

Results for “C++ 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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS2013

Countermeasures and Functional Testing in Head-Down Tilt Bed Rest (CFT 70)

This 70‐day bed rest campaign was comprised of 6 integrated studies and conducted at the NASA Flight Analogs Research Unit (FARU). The FARU is located at the University of Texas Medical Branch, Galveston, Texas and is a satellite unit of the Institute for Translational Sciences - Clinical Research Center. This presentation will describe the FARU, discuss the utility of the bed rest platform for use in these studies, and introduce the studies that participated in the CFT 70 bed rest campaign. Information in this presentation will serve as the background for subsequent talks from each individual study. Individual study presentations will discuss preliminary results from completed subjects. Studies included in CFT70 were:  Physiological Factors Contributing to Post Flight Changes in Functional Performance. J. Bloomberg, NASA  Integrated Resistance and Aerobic Training Study. L. Ploutz‐Snyder, USRA  Testosterone Supplementation as a Countermeasure Against Musculoskeletal losses during Space Exploration. R. Urban, University of Texas Medical Branch  Effects of Retronasal Smelling, Variety and Choice on Appetite & Satiety. J. Hunter, Cornell University  AD ASTRA: Automated Detection of Attitudes and States through Transaction Recordings Analysis. C. Miller, Smart Information Flow Technologies, LLC  Bed Rest as a Spaceflight Analog to Study Neuro‐cognitive Changes: Extent, Longevity, and Neural Bases. R. Seidler, University of Michigan

Cromwell, Ronita L.↗
NASA NTRSDate not supplied

A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts

The NASA DAIDALUS library provides formal definitions for Detect-and-Avoid avionics concepts such as when an aircraft is well-clear with respect to the surrounding air traffic, i.e., it does not operate in such proximity to create a collision hazard. While several properties are proven correct for DAIDALUS assuming ideal real number arithmetic, an actual implementation that uses floating-point numbers may behave unexpectedly because of round-off errors and run-time exceptions. This paper presents an experience report on the application of a formal methods toolchain to extract and verify floating-point C code from a real-valued specification of the well-clear module of DAIDALUS. This toolchain comprises the PVS theorem prover, the PRECiSA floating-point analyzer and code generator, and the Frama-C analysis suite. The generated code is automatically instrumented to detect when the control flow of the floating-point program may diverge from the ideal real number specification, and it is annotated with contracts that state the maximum accumulated round-off error. The absence of overflows is also formally verified for the generated code. In order to apply the toolchain to an industrial case study such as DAIDALUS, a formally verified pre-processing of the input specification is performed, which includes a program slicing and several semantic-preserving simplifications.

Program verification↗
DOE OSTI2024

MFANS 2024 - Dimensional Analysis Made Easy

There is a significant impact of dimensional errors in systems. Dimensional analysis is difficult due to the large size of systems. SA4U and Scalpel are practical programs which can have an impact beyond traditional software as they are able to perform precise dimensional analysis and repair C++ source code.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1972

Fourier transform C-13 NMR analysis of some free and potassium-ion complexed antibiotics.

Fourier transforms of the noise-decoupled, natural abundance C-13 NMR free induction decays of the cyclic antibiotic valinomycin and its potassium-ion complex have been obtained at 25.2 MHz. Comparisons are made with C-13 NMR spectra taken at 22.6 MHz of the cyclic antibiotic nonactin and the synthetic polyether dicyclohexyl-18-crown-6 and their potassium complexes. The results obtained suggest that conformational rearrangements of the molecule as a whole can compete with direct interactions between carbons and the potassium ion in determining C-13 chemical shift differences between the free and complexed species.

Ohnishi, M.↗
NASA NTRS1984

Thermogravimetric analysis of silicon carbide-silicon nitride polycarbosilazane precursor during pyrolysis from ambient to 1000 C

Thermogravimetric analysis data are presented on the unmeltable polycarbosilazane precursor of silicon carbide-silicon nitride fibers, over the room temperature-1000 C range in a nitrogen atmosphere, in order to establish the weight loss at various temperatures during the precursor's pyrolysis to the fiber material. The fibers obtained by this method are excellent candidates for use in applications where the oxidation of carbon fibers (above 400 C) renders them unsuitable.

Ledbetter, F. E., III↗
DOE OSTI2024

Comparing plant litter molecular diversity assessed from proximate analysis and 13 C NMR spectroscopy

Accurate representation of the chemical diversity of litter in ecosystem-scale models is critical for improving predictions of decomposition rates and stabilization of plant material into soil organic matter. In this contribution, we conducted a systematic review to evaluate how conventional characterization of plant litter quality using proximate analysis compares with molecular-scale characterization using 13 C NMR spectroscopy. Using a molecular mixing model, we converted chemical shift regions from NMR into fractions of carbon (C) in five organic compound classes that are major constituents of plant material: carbohydrates, proteins, lignins, lipids, and carbonylic compounds. We found positive correlations between the acid soluble fraction and carbohydrates, and between the acid insoluble fraction and lignins. However, the acid-soluble fraction underestimated carbohydrates, and the acid insoluble fraction overestimated lignins by 243%. We identified two sources of uncertainties: i) disparities between litter chemical composition based on hydrolysability and actual chemical composition obtained from NMR and ii) conversion factors to translate proximate fractions into organic constituents. Both uncertainties are critical, potentially leading to misinterpretations of decay rates in litter decomposition models. Consequently, we recommend including explicit substrate chemistry data in the next generation of litter decomposition models.

59 BASIC BIOLOGICAL SCIENCES↗
NASA NTRS1969

SPAN C - Terminal sterilization process analysis program

Computer program, SPAN-C, measures the dry heat thermal sterilization process applied to a planetary capsule and calculates the time required for heat application, steady state conditions, and cooling. The program is based on the logarithmic survival of micro-organisms. Temperature profiles must be input on cards.

Source record↗
NASA NTRS2023

The Nature of Insoluble Organic Matter in Sutter’s Mill and Murchison Carbonaceous Chondrites: Testing the Effect of X-ray Computed Tomography (XCT) and Exploring Parent Body Organic Molecular Evolution

This study analyzed samples of the Murchison and Sutter’s Mill carbonaceous chondrite meteorites in support of the future analysis of samples returned from the asteroid (10155) Bennu by the OSIRIS-REx (Origins, Spectral Interpretation, Resource Identification, and Security–Regolith Explorer) mission. Focusing specifically on the insoluble organic matter (IOM), this study establishes that a total of 1.3 g of bulk sample from a single chondritic meteorite is sufficient to obtain a wide range of cosmochemical information, including light element analysis (H, C, and N), isotopic analysis (D/H, 13 C/ 12 C, and 15 N/ 14 N), and X-ray fluorescence spectroscopy for major elemental abundances. IOM isolated from the bulk meteorite samples was analyzed by light element and isotopic analysis as described above, 1 H and 13 C solid-state nuclear magnetic resonance spectroscopy, Raman spectroscopy, and complete noble gas analyses (abundances and isotopes). The samples studied included a pair from Murchison (CM2), one of which had been irradiated with high-energy X-rays in the course of computed tomographic imaging. No differences between the irradiated and non-irradiated Murchison samples were observed in the many different chemical and spectroscopic analyses, indicating that any X-ray–derived sample damage is below levels of detection. Elemental, isotopic, and molecular spectroscopic data derived from IOM isolated from the Sutter’s Mill sample reveals evidence that this meteorite falls into the class of heated CM chondrites.

planetary science↗
NASA NTRS2007

NASA CEV Reference Entry GN&C System and Analysis

As part of its overall objectives, the Orion spacecraft will be required to perform entry and Earth landing functions for Low Earth Orbit (LEO) and Lunar missions. Both of these entry scenarios will begin with separation of the Service Module (SM), making them unique from other Orion mission phases in that only the Command Module (CM) portion of the Crew Exploration Vehicle (CEV) will be involved, requiring a CM specific Guidance, Navigation and Control (GN&C) system. Also common to these mission scenarios will be the need for GN&C to safely return crew (or cargo) to earth within the dynamic thermal and structural constraints of entry and within acceptable accelerations on the crew, utilizing the limited aerodynamic performance of the CM capsule. The lunar return mission could additionally require an initial atmospheric entry designed to support a precision skip and second entry, all to maximize downrange performance and ensure landing in the United States. This paper describes the Entry GN&C reference design, developed by the NASA-led team, that supports these entry scenarios and that was used to validate the Orion System requirements. Description of the reference design will include an overview of the GN&C functions, avionics, and effectors and will relate these to the specific design drivers of the entry scenarios, as well as the desire for commonality in vehicle systems to support the different missions. The discussion will also include the requirement for an Emergency Entry capability beyond that of the nominal performance of the multi-string GNC system, intended to return the crew to the earth in a survivable but unguided manner. Finally, various analyses will be discussed, including those completed to support validation efforts of the current CEV requirements, along with those on-going and planned with the intention to further refine the requirements and to support design development work in conjunction with the prime contractor. Some of these ongoing analyses will include work to size effectors (jets) and fuel budgets, to refine skip entry concepts, to characterize navigation performance and uncertainties, to provide for SM disposal offshore and to identify requirements to support target site selection.

Munday, S.↗
NASA NTRS2017

Organic Matter in Extraterrestrial Water-Bearing Salt Crystals

Introduction: Direct samples of early Solar System fluids are present in two thermally-metamorphosed ordinary chondrite regolith breccias (Monahans (1998) [H5] and Zag [H3-6]), which were found to contain brine-bearing halite (NaCl) crystals that have been added to the regolith of an S-type asteroid following asteroidal metamorphism [1, 2]. The brine-bearing halite grains were proposed to be formed on an icy C-type asteroids (possibly Ceres), and transferred to an S-type asteroid via cryovolcanic event(s) [3]. A unique aspect of these halites is that they contain abundant organic rich solid inclusions hosted within the halites alongside the water inclusions. Methods: We analyzed in detail the compositions of the organic solids and the amino acid content of the halite crystals with two-step laser desorption/laser ionization mass spectrometry (L(sup 2) MS), Raman spectroscopy, X-ray absorption near edge structure (XANES), nanoscale secondary ion mass spectrometry (NanoSIMS), and ultra-performance liquid chromatography fluorescence detection and quadrupole time of flight hybrid mass spectrometry (UPLC-FD/QToF-MS). Results and Discussion: The L(sup 2) MS results show signatures of low-mass polyaromatic hydro-carbons (PAHs) indicated by sequences of peaks separated by 14 atomic mass units (amu) due to successive addition of methylene (CH2) groups to the PAH skeletons [4]. Raman spectra of the micron-sized solid inclusions of the halites indicate the presence of abundant and highly variable organic matter that include a mixture of short-chain aliphatic compounds and macromolecular carbon. C-XANES analysis identified C-rich areas with peaks at 285.0 eV (aromatic C=C) and 286.6 eV (vinyl-keto C=O). However, there is no 1s-sigma* exciton peak (291.7 eV) that is indicative of the development of graphene structure [5], which suggests the organics were synthesized cold. Na-noSIMS analyses show C-rich and N-rich areas that exhibit similar isotopic values with that of the IOM in the unweathered CR chondrites and less metamorphosed meteorites [6], and are moderately enriched in N-15 (delta N-15 = 106.1-164.5 per mille). The total amino acid distribution and abundance of the Zag matrix (approximately 1,940 parts per billion [ppb]) is comparable to other ordinary chondrites (60-3,330 ppb) [7, 8]. While the Zag matrix is gamma-ABA and EACA-deficient, the halite is shown to exhibit an opposite trend and is almost depleted in amino acids. The striking difference in the amino acid contents between the halite and matrix indicates their separate synthetic origins. Conclusion: Abundant, primitive, and highly-diverse N-15-rich organic compounds were detected in brine-water bearing halite crystals that were synthesized on a cryovolcanically-active asteroid. Our study suggests that the asteroidal parent body where the halite precipitated, potentially Ceres, is a host to abundance large variety organic precursors. Insoluble organic matter and amino acids can be synthesized from similar organic precusors under hydrous conditions [9].We envision that similar organic synthetic processes could have occurred on Ceres that synthesized organic solids as well as biologically relevant molecules.

Chan, Q. H. S.↗
NASA NTRS1976

Interim analysis of long time creep behavior of columbium C-103 alloy

Analysis of 16 long time creep tests on columbium C-103 alloy (Cb-10Hf-1Ti-0.7Zr) indicates that the calculated stresses to give 1 percent creep strain in 100,000 hours at 1,255 K (1800 F) are 7.93 and 8.96 MPa (1,150 and 1,300 psi) for fine grained and course grained materials, respectively. The apparent activation energy and stress dependence for creep of this alloy are approximately 315 KJ/gmol (75,300 cal/gmol) and 2.51, respectively, based on Dorn-Sherby types of relations. However, the 90 percent confidence limits on these values are wide because of the limited data currently available.

Klopp, W. D.↗
NASA NTRS2016

TAT-C: A Trade-Space Analysis Tool for Constellations

Under a changing technological and economic environment, there is growing interest in implementing future NASA Earth Science missions as Distributed Spacecraft Missions (DSM). The objective of our project is to provide a framework that facilitates DSM Pre-Phase A investigations and optimizes DSM designs with respect to a-priori Science goals. In this first version of our Trade-space Analysis Tool for Constellations (TAT-C), we are investigating questions such as: Which type of constellations should be chosen? How many spacecraft should be included in the constellation? Which design has the best costrisk value? This paper describes the overall architecture of TAT-C including: a User Interface (UI) interacting with multiple users - scientists, missions designers or program managers; an Executive Driver gathering requirements from UI and formulating Trade-space Search Requests for the Trade-space Search Iterator, which in collaboration with the Orbit Coverage, Reduction Metrics, and Cost Risk modules generates multiple potential architectures and their associated characteristics. UI will include Graphical, Command Line and Application Programmer Interfaces to respond to the demands of various levels of users expertise. Science inputs are grouped into various mission concepts, satellite specifications, and payload specifications, while science outputs are grouped into several types of metrics - spatial, temporal, angular and radiometric. Orbit Coverage leverages the use of the Goddard Mission Analysis Tool (GMAT) to compute coverage and ancillary data that are passed to Reduction Metrics. Then, for each architecture design, Cost Risk will provide estimates of the cost and life cycle cost as well as technical and cost risk of the proposed mission. Additionally, the Knowledge Base module is a centralized store of structured data readable by humans and machines. It will support both TAT-C analysis when composing new mission concepts from existing model inputs, and TAT-C exploration when discovering new mission concepts by querying previous results.

Science Data Processing↗