Search NASA⌕ Search

SEARCH · Search NASA

Results for “first order”

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 NTRS1994

Universal first-order reliability concept applied to semistatic structures

A reliability design concept was developed for semistatic structures which combines the prevailing deterministic method with the first-order reliability method. The proposed method surmounts deterministic deficiencies in providing uniformly reliable structures and improved safety audits. It supports risk analyses and reliability selection criterion. The method provides a reliability design factor derived from the reliability criterion which is analogous to the current safety factor for sizing structures and verifying reliability response. The universal first-order reliability method should also be applicable for air and surface vehicles semistatic structures.

Verderaime, V.↗
NASA NTRS1983

First-order wetting transition at a liquid-vapor interface

Evidence from reflectance and contact angle measurements is presented that three-phase mixtures of i-C3H7OH-C7F14 exhibit a first-order wetting phase transition at the liquid-vapor interface at 38 C. Equilibration phenomena support this interpretation. Ellipsometry was used to measure the apparent thickness of the intruding layer in the three-phase mixture. At temperatures slightly above the wetting temperature T(w), the intruding layer's thickness is several hundred angstroms and its variation with temperature is extremely weak. Below T(w), three-phase contact can occur between the vapor and both the upper and lower liquid phases; one of the angles which characterizes this contact has a very simple temperature dependence. The thickness of the intruding layer, monitored as the solutions approached equilibrium, is found to depend quite weakly on the height spanned by the upper liquid phase in the vicinity of a first-order wetting transition.

Schmidt, J. W.↗
NASA NTRS1984

First-order Fermi shock acceleration in solar flares

The first-order Fermi shock acceleration model is compared with specific observations where electron, proton, and alpha particle spectra are available. In all events, it is found that a single shock with a compression ratio as inferred from the low-energy proton spectra can reasonably produce the full proton, electron, and alpha particle spectra. The model predicts that the acceleration time to a given energy will be approximately equal for electrons and protons and, for reasonable solar parameters, can be less than 1 sec to 100 MeV.

Ellison, D. C.↗
NASA NTRS1954

A Wind-Tunnel Investigation of the Effects of Thrust-Axis Inclination on Propeller First-Order Vibration

Data on the aerodynamic excitation of first-order vibration occurring in a representative three-blade propeller having its thrust axis inclined to the airstream at angles of 0 degree, 4.55 degrees, and 9.80 degrees are included in this report. For several representative conditions the aerodynamic excitation has been computed and compared with the measured values. Blade stresses also were measured to permit the evaluation of the blade stress resulting from a given blade aerodynamic excitation. It was concluded that the section aerodynamic exciting force of a pitched propeller may be computed accurately at low rotational speeds. As section velocities approach the speed of sound, the accuracy of computation of section aerodynamic exciting force is not always so satisfactory.

Gray, W H↗
NASA NTRS2009

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↗
NASA NTRS1993

A first-order model for impact crater degradation on Venus

A first-order impact crater aging model is presented based on observations of the global crater population of Venus. The total population consists of 879 craters found over the approximately 98 percent of the planet that has been mapped by the Magellan spacecraft during the first three cycles of its mission. The model is based upon three primary aspects of venusian impact craters: (1) extended ejecta deposits (EED's); (2) crater rims and continuous ejecta deposits; and (3) crater interiors and floors.

Izenberg, Noam R.↗
NASA NTRS1990

Dual-shaped offset reflector antenna designs from solutions of the geometrical optics first-order partial differential equations

In obtaining solutions to the first-order nonlinear partial differential equations (PDEs) for synthesizing offset dual-shaped reflectors, it is found that previously observed computational problems can be avoided if the integration of the PDEs is started from an inner projected perimeter and integrated outward rather than starting from an outer projected perimeter and integrating inward. This procedure, however, introduces a new parameter, the main reflector inner perimeter radius p(o), when given a subreflector inner angle 0(o). Furthermore, a desired outer projected perimeter (e.g., a circle) is no longer guaranteed. Stability of the integration is maintained if some of the initial parameters are determined first from an approximate solution to the PDEs. A one-, two-, or three-parameter optimization algorithm can then be used to obtain a best set of parameters yielding a close fit to the desired projected outer rim. Good low cross-polarization mapping functions are also obtained. These methods are illustrated by synthesis of a high-gain offset-shaped Cassegrainian antenna and a low-noise offset-shaped Gregorian antenna.

Galindo-Israel, V.↗