Search NASA⌕ Search

SEARCH · Search NASA

Results for “Higher-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 307 records · Page 17
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

Can a single AGB star form an axially symmetric planetary nebula?

We apply a method, which is traditionally used for the solar magnetic field, to estimate the magnetic activity of AGB stars. We find that any magnetic-field model which tries to explain axisymmetrical mass loss from single AGB stars encounters severe difficulties. This order-of-magnitude calculation suggests that magnetic activity in AGB stars could be significant only if the envelope is spun up by a binary companion. We conduct a preliminary study of a possible mechanism by which a single star might lose mass axisymmetrically. The results suggest that as the envelope mass of an AGB star decreases to less than or approximately equal to 1 solar mass the nature of the fundamental mode excitation could damage. It is possible that, due to the same mechanism, higher-order radial modes and nonradial p modes could become significant to the mass-loss process when the envelope mass becomes very low. We argue, however, that even this mechanism, if it works, requires a binary companion to spin up the AGB envelope.

Soker, Noam↗
NASA NTRS1992

Compact finite difference schemes with spectral-like resolution

The present finite-difference schemes for the evaluation of first-order, second-order, and higher-order derivatives yield improved representation of a range of scales and may be used on nonuniform meshes. Various boundary conditions may be invoked, and both accurate interpolation and spectral-like filtering can be accomplished by means of schemes for derivatives at mid-cell locations. This family of schemes reduces to the Pade schemes when the maximal formal accuracy constraint is imposed with a specific computational stencil. Attention is given to illustrative applications of these schemes in fluid dynamics.

Lele, Sanjiva K.↗
NASA NTRS1992

A mapping closure for turbulent scalar mixing using a time-evolving reference field

A general mapping-closure approach for modeling scalar mixing in homogeneous turbulence is developed. This approach is different from the previous methods in that the reference field also evolves according to the same equations as the physical scalar field. The use of a time-evolving Gaussian reference field results in a model that is similar to the mapping closure model of Pope (1991), which is based on the methodology of Chen et al. (1989). Both models yield identical relationships between the scalar variance and higher-order moments, which are in good agreement with heat conduction simulation data and can be consistent with any type of epsilon(phi) evolution. The present methodology can be extended to any reference field whose behavior is known. The possibility of a beta-pdf reference field is explored. The shortcomings of the mapping closure methods are discussed, and the limit at which the mapping becomes invalid is identified.

Girimaji, Sharath S.↗
NASA NTRS1992

Multiple-scattering effects in quasielastic alpha-He-4 scattering

A multiple-scattering series for describing the quasielastic peak in nucleus-nucleus collisions is derived using the high-energy optical model. The effects of multiple knockout of target nucleons and internal excitation of the projectile are studied and found to be important for large energy loss and momentum transfers in inclusive alpha-He-4 scattering at 7 GeV/c. An approximate evaluation of higher-order inelastic collision terms is considered for forward-peaked wave functions and is demonstrated to be accurate.

Cucinotta, Francis A.↗
NASA NTRS1992

Segmented multigrid domain decomposition procedure for incompressible viscous flows

In this paper, the Navier-Stokes (NS) equations are approximated with a reduced NS system, that represents the lowest-order terms in an asymptotic Re expansion. This system allows for simplified boundary conditions, more generality in the location of the outflow boundary, and insures mass conservation in all subdomain grid interfaces, and also at the outflow boundary. The higher-order NS diffusion terms are included through a deferred corrector, in chosen subdomains, when required.

Srinivasan, Kumar↗
NASA NTRS1992

Variable frequency pulsed phase-locked loop method for measuring material nonlinearity

The design of a pressure vessel with an isothermal volume to measure changes in the natural velocities of material continuously over a wide temperature range is reported. Highly sensitive pulsed phase-locked loop technology is used to measure the natural velocity of fatigued aluminum 2024-T4 as a function of pressure at different temperatures. Second derivative variations with respect to pressure and temperature are found to exhibit order-of-magnitude changes at a gauge pressure near 950 kPa at room temperature. This indicates a significant change in certain combinations of second-order and higher-order elastic constants at relatively low pressures. Fractional frequency change as a function of applied pressure for aluminum 2024-T4 with fatigue damage is illustrated.

Yost, William T.↗
NASA NTRS1992

Turbulent transport of a passive-scalar field by using a renormalization-group method

A passive-scalar field is considered to evolve under the influence of a turbulent fluid governed by the Navier-Stokes equation. Turbulent-transport coefficients are calculated by small-scale elimination using a renormalization-group method. Turbulent processes couple both the viscosity and the diffusivity. In the absence of any correlation between the passive-scalar fluctuations and any component of the fluid velocity, the renormalized diffusivity is essentially the same as if the fluid velocity were frozen, although the renormalized equation does contain higher-order nonlinear terms involving viscosity. This arises due to the nonlinear interaction of the velocity with itself. In the presence of a finite correlation, the turbulent diffusivity becomes coupled with both the velocity field and the viscosity. There is then a dependence of the turbulent decay of the passive scalar on the turbulent Prandtl number.

Hossain, Murshed↗
NASA NTRS1992

Frequency multipliers for millimeter and submillimeter wavelengths

All-solid-state local oscillators in the terahertz frequency range are especially needed for space-borne radio astronomy and remote sensing of the atmosphere. Because solid-state oscillators cannot yet produce the necessary local oscillator power at submillimeter wavelengths, frequency multipliers are needed. So far, submillimeter-wave frequency multipliers are mainly based on a whisker-contacted Schottky diode as the nonlinear element. This paper discusses the multiplier theory and tools for analysis and design of millimeter- and submillimeter-wave multipliers. Experimental work is reviewed. The Schottky diode model at submillimeter frequencies, use of Schottky multiplier chains versus direct higher-order multipliers, and the effect of cooling on Schottky diode multipliers are discussed. Alternative diodes such as the high electron mobility varactor, the barrier-intrinsic n(+) diode, the barrier-n-n(+) diode, the quantum well diode, and the single barrier varactor are discussed, with attention also given to their potential as submillimeter frequency multipliers.

Raisanen, Antti V.↗
NASA NTRS1992

The design of virtual spaces and virtual environments

Two examples of displays designed to aid spatial maneuvering are described. The first, a perspective format for a commercial air traffic display, illustrates how geometric distortion may be introduced to insure that an operator can understand a depicted three-dimensional situation. The second, a display for planning small aircraft maneuvers, illustrates how the complex counter-initiative character of orbital maneuvering can be made more tractable by removing higher-order nonlinear control dynamics and allowing independent satisfaction of velocity and plume impingement constraints on orbital changes.

Ellis, Stephen R.↗
NASA NTRS1953

Comparison of the Experimental and Theoretical Distribution of Lift on a Slender Inclined Body of Revolution at M = 2

Pressure distributions and force characteristics have been determined for a body of revolution consisting of a fineness ratio 5.75, circular-arc, ogival nose tangent to a cylindrical afterbody for an angle-of-attack range of 0 degrees to 35.5 degrees. The free-stream Mach number was 1.98 and the free-stream Reynolds number was approximately 0.5 x 10 sup 6, based on body diameter. Comparison of the theoretical and experimental pressure distributions shows that for zero lift, either slender-body theory or higher-order theories yield results which are in good agreement with experiment. For the lifting case, good agreement with theory is found only for low angles of attack and for the region in which the body cross-sectional area is increasing in the downstream direction. Because of the effects of cross-flow separation and the effects of compressibility due to the high cross-flow Mach numbers at large angles of attack, the experimental pressure distributions differ from those predicted by potential theory. Although the flow about the inclined body was, in general, similar to that assumed as the basis for Allen's method of estimating the forces resulting from viscous effects (NACA RM A91I26), the distribution of the forces was significantly different from that assumed. Nevertheless, the lift and pitching-moment characteristics were in fair agreement with the estimated value.

Perkins, Edward W↗
NASA NTRS1942

On the use of residue theory for treating the subsonic flow of a compressible fluid

A new mathematical technique, due to Milne-Thomson, is used to obtain an improved form of the method of Poggi for calculating the effect of compressibility on the subsonic flow past an obstacle. By means of this new method, the difficult surface integrals of the original Poggi method can be replaced by line integrals. These line integrals are then solved by the use of residue theory. In this way an equation is obtained giving the second-order effect of compressibility on the velocity of the fluid. The method is practicable for obtaining the higher-order effects of compressibility on the velocity field. As an illustration of the general result, the flow past an elliptic cylinder is discussed.

Kaplan, Carl↗
NASA NTRS1991

System monitoring and diagnosis with qualitative models

A substantial foundation of tools for model-based reasoning with incomplete knowledge was developed: QSIM (a qualitative simulation program) and its extensions for qualitative simulation; Q2, Q3 and their successors for quantitative reasoning on a qualitative framework; and the CC (component-connection) and QPC (Qualitative Process Theory) model compilers for building QSIM QDE (qualitative differential equation) models starting from different ontological assumptions. Other model-compilers for QDE's, e.g., using bond graphs or compartmental models, have been developed elsewhere. These model-building tools will support automatic construction of qualitative models from physical specifications, and further research into selection of appropriate modeling viewpoints. For monitoring and diagnosis, plausible hypotheses are unified against observations to strengthen or refute the predicted behaviors. In MIMIC (Model Integration via Mesh Interpolation Coefficients), multiple hypothesized models of the system are tracked in parallel in order to reduce the 'missing model' problem. Each model begins as a qualitative model, and is unified with a priori quantitative knowledge and with the stream of incoming observational data. When the model/data unification yields a contradiction, the model is refuted. When there is no contradiction, the predictions of the model are progressively strengthened, for use in procedure planning and differential diagnosis. Only under a qualitative level of description can a finite set of models guarantee the complete coverage necessary for this performance. The results of this research are presented in several publications. Abstracts of these published papers are presented along with abtracts of papers representing work that was synergistic with the NASA grant but funded otherwise. These 28 papers include but are not limited to: 'Combined qualitative and numerical simulation with Q3'; 'Comparative analysis and qualitative integral representations'; 'Model-based monitoring of dynamic systems'; 'Numerical behavior envelopes for qualitative models'; 'Higher-order derivative constraints in qualitative simulation'; and 'Non-intersection of trajectories in qualitative phase space: a global constraint for qualitative simulation.'

Kuipers, Benjamin↗
NASA NTRS1991

A verification logic representation of indeterministic signal states

The integration of modern CAD tools with formal verification environments require translation from hardware description language to verification logic. A signal representation including both unknown state and a degree of strength indeterminacy is essential for the correct modeling of many VLSI circuit designs. A higher-order logic theory of indeterministic logic signals is presented.

Gambles, J. W.↗
NASA NTRS1992

HDL to verification logic translator

The increasingly higher number of transistors possible in VLSI circuits compounds the difficulty in insuring correct designs. As the number of possible test cases required to exhaustively simulate a circuit design explodes, a better method is required to confirm the absence of design faults. Formal verification methods provide a way to prove, using logic, that a circuit structure correctly implements its specification. Before verification is accepted by VLSI design engineers, the stand alone verification tools that are in use in the research community must be integrated with the CAD tools used by the designers. One problem facing the acceptance of formal verification into circuit design methodology is that the structural circuit descriptions used by the designers are not appropriate for verification work and those required for verification lack some of the features needed for design. We offer a solution to this dilemma: an automatic translation from the designers' HDL models into definitions for the higher-ordered logic (HOL) verification system. The translated definitions become the low level basis of circuit verification which in turn increases the designer's confidence in the correctness of higher level behavioral models.

Gambles, J. W.↗
NASA NTRS1991

On the Power of Abstract Interpretation

Increasingly sophisticated applications of static analysis place increased burden on the reliability of the analysis techniques. Often, the failure of the analysis technique to detect some information my mean that the time or space complexity of the generated code would be altered. Thus, it is important to precisely characterize the power of static analysis techniques. We follow the approach of Selur et. al. who studied the power of strictness analysis techniques. Their result can be summarized by saying 'strictness analysis is perfect up to variations in constants.' In other words, strictness analysis is as good as it could be, short of actually distinguishing between concrete values. We use this approach to characterize a broad class of analysis techniques based on abstract interpretation including, but not limited to, strictness analysis. For the first-order case, we consider abstract interpretations where the abstract domain for data values is totally ordered. This condition is satisfied by Mycroft's strictness analysis that of Sekar et. al. and Wadler's analysis of list-strictness. For such abstract interpretations, we show that the analysis is complete in the sense that, short of actually distinguishing between concrete values with the same abstraction, it gives the best possible information. We further generalize these results to typed lambda calculus with pairs and higher-order functions. Note that products and function spaces over totally ordered domains are not totally ordered. In fact, the notion of completeness used in the first-order case fails if product domains or function spaces are added. We formulate a weaker notion of completeness based on observability of values. Two values (including pairs and functions) are considered indistinguishable if their observable components are indistinguishable. We show that abstract interpretation of typed lambda calculus programs is complete up to this notion of indistinguishability. We use denotationally-oriented arguments instead of the detailed operational arguments used by Selur et. al.. Hence, our proofs are much simpler. They should be useful for further future improvements.

Reddy, Uday S.↗
NASA NTRS1982

Handling Qualities Specifications for U.S. Military Helicopters

Inadequacies in the military specification for helicopter handling qualities, MIL-H-8501A, have long been recognized, and the latest procurements by the U.S. Army used special Prime Item Development Specifications (PIDS). This paper assesses the efficacy of these PIDS and suggests that changes should be made. In particular, the structure developed in MIL-F-8785B (ASG) (the specification for flying qualities of piloted airplanes) should be incorporated. Improved requirements must be based on a systematic data base and concentrated on topics most important in preliminary design: static and dynamic stability, control power and sensitivity, and interaction with controllers and displays. Emphasis should be on current military helicopter missions and helicopter idiosyncrasies such as cross-coupling, nonlinearities, and higher-order dynamics.

Key, David L.↗
NASA NTRS1991

A definition of the domains Archaea, Bacteria and Eucarya in terms of small subunit ribosomal RNA characteristics

The number of small subunit rRNA sequences is now great enough that the three domains Archaea, Bacteria and Eucarya (Woese et al., 1990) can be reliably defined in terms of their sequence "signatures". Approximately 50 homologous positions (or nucleotide pairs) in the small subunit rRNA characterize and distinguish among the three. In addition, the three can be recognized by a variety of nonhomologous rRNA characters, either individual positions and/or higher-order structural features. The Crenarchaeota and the Euryarchaeota, the two archaeal kingdoms, can also be defined and distinguished by their characteristic compositions at approximately fifteen positions in the small subunit rRNA molecule.

NASA Program Exobiology↗
NASA NTRSDate not supplied

Technology Assessment and Modelling of Three Terminal Tandem Solar Cells for In-Space Utilization

NASA seeks a sustained human presence on the lunar surface. High-efficiency and resilient energy systems are critical to supporting habitats, scientific outposts, and lunar surface operations. Photovoltaics have long been the backbone of space power systems, transitioning from silicon solar cells to multi-junction III-V solar cells, which now dominate state-of-the-art (SOA) technology. Multi-junction cells achieve high efficiency by layering semiconductors, each absorbing a specific portion of the solar spectrum. However, efficiency gains are increasingly constrained by device physics and manufacturing complexity. Additionally, higher-order junctions pose challenges for accurate modelling and performance characterization due to difficulties in replicating the AM0 spectrum.

solar cells↗