Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “FoF”

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.

Thermo-Mechanical Properties of Super Sylramic SiC Fibers

Ceramic matrix composites (CMC) reinforced by Sic fibers, such as SiC/SiC, are targeted for application in hot-section components of advanced engines for aerospace propulsion and for electrical power generation. Two Super Sylramic Sic fiber types recently developed at NASA using the Sylramic fiber from COI Ceramics are candidates fof providing these components with improved thermal capability and improved performance. This paper reports on the state-of-the-art ability of these new fiber types to meet the key fiber requirements of these applications: high strength, high creep-rupture resistance, high environmental resistance, and high thermal conductivity. For example, creep-rupture tests performed at from 1350 to 1500 C under various environments to simulate CMC fabrication and service conditions show creep resistance in air improved -20 and -7 times in comparison to current Sylramic and Sylramic-iBN fiber types, respectively. This in turn resulted in an increase in fiber rupture life by up to two orders of magnitude. TEM and AES microscopic observations are presented to indicate that these improvements can be correlated with the replacement of weak grain boundary phases with stronger phases that hinder grain boundary sliding more effectively. SiC/SiC composite results are also provided to show the advantages of the Super Sylramic fiber types both for CMC fabrication and high temperature application.

Yun, H. M.↗

Testing First-Order Logic Axioms in AutoCert

AutoCert [2] is a formal verification tool for machine generated code in safety critical domains, such as aerospace control code generated from MathWorks Real-Time Workshop. AutoCert uses Automated Theorem Provers (ATPs) [5] based on First-Order Logic (FOL) to formally verify safety and functional correctness properties of the code. These ATPs try to build proofs based on user provided domain-specific axioms, which can be arbitrary First-Order Formulas (FOFs). These axioms are the most crucial part of the trusted base, since proofs can be submitted to a proof checker removing the need to trust the prover and AutoCert itself plays the part of checking the code generator. However, formulating axioms correctly (i.e. precisely as the user had really intended) is non-trivial in practice. The challenge of axiomatization arise from several dimensions. First, the domain knowledge has its own complexity. AutoCert has been used to verify mathematical requirements on navigation software that carries out various geometric coordinate transformations involving matrices and quaternions. Axiomatic theories for such constructs are complex enough that mistakes are not uncommon. Second, adjusting axioms for ATPs can add even more complexity. The axioms frequently need to be modified in order to have them in a form suitable for use with ATPs. Such modifications tend to obscure the axioms further. Thirdly, speculating validity of the axioms from the output of existing ATPs is very hard since theorem provers typically do not give any examples or counterexamples.

Ahn, Ki Yung↗

Revisiting Theoretical Predictions of the Motion and Direction of FTE's

Flux Transfer Events (FTEs) are magnetopause signatures that result from the passage of flux ropes produced by transient bursts of reconnection. They exhibit bipolar signatures in the component of the magnetic field normal to the magnetopause and transient increases or crater-like structures in the magnetic field strength. We use the bipolar magnetic field signatures and magnetic field strength variations observed by all four Cluster spacecrafts during the years of 2002 and 2003 to determine the velocity and direction fof FTE motion for comparison with predictions for the motion of FTEs generated by the component and anti-parallel reconnection models.

Collado-Vega, Y. M.↗