Engineering Papers⌕ Search

SEARCH · Engineering Papers

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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
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↗
DOE OSTI2020

Mechanistic Analysis of Metallaphotoredox C–N Coupling: Photocatalysis Initiates and Perpetuates Ni(I)/Ni(III) Coupling Activity

In this work, the combined use of reaction kinetic analysis, ultrafast spectroscopy, and stoichiometric organometallic studies has enabled the elucidation of the mechanistic underpinnings to a photocatalytic C–N cross-coupling reaction. Steady-state and ultrafast spectroscopic techniques were used to track the excited-state evolution of the employed iridium photocatalyst, determine the resting states of both iridium and nickel catalysts, and uncover the photochemical mechanism for reductive activation of the nickel cocatalyst. Stoichiometric organometallic studies along with a comprehensive kinetic study of the reaction, including rate–driving force analysis, unveiled the crucial role of photocatalysis in both initiating and sustaining a Ni(I)/Ni(III) cross-coupling mechanism. The insights gleaned from this study further enabled the discovery of a new photocatalyst providing a >30-fold rate increase.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
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.↗
DOE OSTI2020

BVR{sub C}I{sub C} Observations and Analysis of the UV LEO-type Binary, the Pre-WUMa, V1023 Persei

V1023 Per is a polar spotted, but well-detached dwarf binary, very likely a Pre-WUMa eclipsing binary. It was observed on 11 nights in 2015 October, November, and December at Dark Sky Observatory in North Carolina with the 0.81 m reflector of Appalachian State University. The period behavior is complex and may be increasing with a cubic or quadratic ephemeris. Its odd light curves are of high amplitude but have no totality and reach maximum light just before and following the secondary eclipse, indicating that it has polar spots similar to UV Leo. The 28 yr orbital period study calls the attention of observers to further monitor this binary to understand the complex nature of the period evolution. Its presently fixed polar spot does indicate that it must have a strong magnetic field and that it is synchronously rotating. The BVR{sub c}I{sub c} simultaneous 2016 Wilson–Devinney program (W-D) solution gives fillouts of 68% and 75% for the primary and secondary components, respectively. The polar position of the spot, its radius (24°), and T-fact (0.75) indicate that a strong magnetic field is present. The small ΔT in the components (∼289 K) show that the stars are similar in spectral type despite them being well detached. The inclination is high, ∼85.°19 ± 0.°04, but there is not a total eclipse due to the high mass ratio (∼0.739 ± 0.001). Due to the low galactic position (longitude = 150.°390, latitude = −1.°023), its reddening is addressed. The primary components temperature is estimated to be 5250 ± 250 K.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2023

Amplitude analysis of the Λ c + → p K - π + decay and Λ c + baryon polarization measurement in semileptonic beauty hadron decays

An amplitude analysis of Λ c + → p K - π + decays together with a measurement of the Λ c + polarization vector in semiōleptonic beauty hadron decays is presented. A sample of 400 000 candidates is selected from proton-proton collisions recorded by the LHCb detector at a center-of-mass energy of 13 TeV. An amplitude model is developed and the resonance fractions as well as two- and three-body decay parameters are reported. The mass and width of the $Λ$(2000) state are also determined. A significant Λ c + polarization is found. A large sensitivity of the Λ c + → p K - π + decay to the polarization is seen, making the amplitude model suitable for Λ c + polarization measurements in other systems.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

Microbial abundances and carbon use under ambient temperature or experimental warming in a southern boreal peatland

Abstract Organic peat soils occupy relatively little of the global land surface area but store vast amounts of soil carbon in northern latitudes where climate is warming at a rapid pace. Warming may result in strong positive feedbacks of carbon loss and global climate change driven by microbial processes if warming alters the balance between primary productivity and decomposition. To elucidate effects of warming on the microbial communities mediating peat carbon dynamics, we explored the abundance of broad microbial groups and their source of carbon (i.e. old carbon versus more recently fixed photosynthate) using microbial lipid analysis (δ 13 C PLFA) of peat samples under ambient temperatures and before/after initiation of experimental peat warming (+ 2.25, + 4.5, + 6.75, and + 9 °C). This analysis occurred over a profile to 2 m depth in an undrained, ombrotrophic peat bog in northern Minnesota. We found that the total microbial biomass and individual indicator lipid abundances were stratified by depth and strongly correlated to temperature under ambient conditions. However, under experimental warming, statistically significant effects of temperature on the microbial community were sporadic and inconsistent. For example, 3 months after experimental warming the relative abundance of Gram-negative bacterial indicators across depth combined and > 50 cm depth and Gram-positive bacterial indicators at 20–50 cm depth showed significant positive relationships to temperature. At that same timepoint, however, the relative abundance of Actinobacterial indicators across depth showed a significant negative relationship to temperature. After 10 months of experimental warming, the relative abundance of fungal biomarkers was positively related to temperature in all depths combined, and the absolute abundance of anaerobic bacteria declined with increasing temperature in the 20–50 cm depth interval. The lack of observed response in the broader microbial community may suggest that at least initially, microbial community structure with peat depth in these peatlands is driven more by bulk density and soil water content than temperature. Alternatively, the lack of broad microbial community response may simply represent a lag period, with more change to come in the future. The long-term trajectory of microbial response to warming in this ecosystem then could either be direct, after this initial lag time, or indirect through other physical or biogeochemical changes in the peat profile. These initial results provide an important baseline against which to measure long-term microbial community and carbon-cycling responses to warming and elevated CO 2 .

Felice, Mark↗
DOE OSTI2023

BayFlux: A Bayesian method to quantify metabolic Fluxes and their uncertainty at the genome scale

Metabolic fluxes, the number of metabolites traversing each biochemical reaction in a cell per unit time, are crucial for assessing and understanding cell function. 13 C Metabolic Flux Analysis ( 13 C MFA) is considered to be the gold standard for measuring metabolic fluxes. 13 C MFA typically works by leveraging extracellular exchange fluxes as well as data from 13 C labeling experiments to calculate the flux profile which best fit the data for a small, central carbon, metabolic model. However, the nonlinear nature of the 13 C MFA fitting procedure means that several flux profiles fit the experimental data within the experimental error, and traditional optimization methods offer only a partial or skewed picture, especially in “non-gaussian” situations where multiple very distinct flux regions fit the data equally well. Here, we present a method for flux space sampling through Bayesian inference (BayFlux), that identifies the full distribution of fluxes compatible with experimental data for a comprehensive genome-scale model. This Bayesian approach allows us to accurately quantify uncertainty in calculated fluxes. We also find that, surprisingly, the genome-scale model of metabolism produces narrower flux distributions (reduced uncertainty) than the small core metabolic models traditionally used in 13 C MFA. The different results for some reactions when using genome-scale models vs core metabolic models advise caution in assuming strong inferences from 13 C MFA since the results may depend significantly on the completeness of the model used. Based on BayFlux, we developed and evaluated novel methods (P- 13 C MOMA and P- 13 C ROOM) to predict the biological results of a gene knockout, that improve on the traditional MOMA and ROOM methods by quantifying prediction uncertainty.

59 BASIC BIOLOGICAL SCIENCES↗