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 289 records · Page 16

Magellan ephemeris improvement using synthetic aperture radar landmark measurements

A technique is described for measuring the positions of landmarks in multiple SAR images of the surface of Venus taken aboard the Magellan spacecraft. These measurements are then used to improve the spacecraft orbit estimate. The Venus-fixed coordinates of the landmarks are also estimated, as are the low-order coefficients of the gravitational field. Sample results are shown for five-orbit and 13-orbit data arcs using hundreds of landmark measurements. Reasonably good fits to the data are obtained for the short-arc solutions, while the data fits over long arcs are poorer, possibly due to higher-order uncertainties in the gravitational field. A comparison of post-fit orbit uncertainties shows that the SAR data significantly improves the orbit estimate.

Chodas, Paul W.↗

Parabolized reduced Navier-Stokes computational techniques

A review is presented of methods in which composite or reduced Navier-Stokes (RNS) equations are treated with a pressure-gradient-based flux-vector splitting. The methods are similar to large Re asymptotic formulations, and streamwise diffusion terms are ignored in favor of an explicit deferred corrector based on higher-order diffusion terms. The methods can be used for 2D and 3D supersonic flows in which the effects of real gas are incorporated. Several examples of the procedure are given, and subsonic and supersonic flows are handled well with relaxation procedures that incorporate multigrid acceleration. Effective solutions are described for problems ranging from incompressible flows and supersonic flows to sharp shocks and reverse-flow capturing.

Rubin, Stanley G.↗

Kinetic treatment of nonlinear magnetized plasma motions - General geometry and parallel waves

The expansion of kinetic equations in the limit of a strong magnetic field is presented. This gives a natural description of the motions of magnetized plasmas, which are slow compared to the particle gyroperiods and gyroradii. Although the approach is 3D, this very general result is used only to focus on the parallel propagation of nonlinear Alfven waves. The derivative nonlinear Schroedinger-like equation is obtained. Two new terms occur compared to earlier treatments, a nonlinear term proportional to the heat flux along the magnetic field line and a higher-order dispersive term. It is shown that kinetic description avoids the singularities occurring in magnetohydrodynamic or multifluid approaches, which correspond to the degenerate case of sound speeds equal to the Alfven speed, and that parallel heat fluxes cannot be neglected, not even in the case of low parallel plasma beta. A truly stationary soliton solution is derived.

Khabibrakhmanov, I. KH.↗

Near-wall reconstruction of higher order moments and length scales using the POD

An analysis of the near-wall behavior of the proper orthogonal decomposition (POD) eigenfunctions derived from direct numerical simulation (DNS) of channel flow is performed. Consistent with previous studies, a low order multi-mode reconstruction of the kinetic energy and Reynolds shear stress suffices. A similar reconstruction of the isotropic dissipation rate is shown to be insufficient, however. An analysis is performed of the multi-mode composition of the dissipation rate in the near-wall region, and it is shown that a significant number of higher-order modes are required to achieve the correct asymptotic consistency in the near-wall region. In an attempt to avoid this problem, a length scale definition is proposed in terms of an integration of the correlation tensor which factors in the presence of the wall. The wall is accounted for by only integrating out to 2y(+) and not over the entire domain. Viscous and inviscid estimates for the dissipation were used in the near-wall and core regions respectively, in conjunction with this length scale representation to obtain an estimate of the dissipation throughout the domain. The resulting dissipation exhibits the proper behavior near the wall and in the inertial layer. A 1 POD mode estimate of the length scale is computed and found to agree quite well with the length scale obtained when the entire correlation tensor is used.

Glauser, Mark N.↗

Operator-assisted planning and execution of proximity operations subject to operational constraints

Future multi-vehicle operations will involve multiple scenarios that will require a planning tool for the rapid, interactive creation of fuel-efficient trajectories. The planning process must deal with higher-order, non-linear processes involving dynamics that are often counter-intuitive. The optimization of resulting trajectories can be difficult to envision. An interaction proximity operations planning system is being developed to provide the operator with easily interpreted visual feedback of trajectories and constraints. This system is hosted on an IRIS 4D graphics platform and utilizes the Clohessy-Wiltshire equations. An inverse dynamics algorithm is used to remove non-linearities while the trajectory maneuvers are decoupled and separated in a geometric spreadsheet. The operator has direct control of the position and time of trajectory waypoints to achieve the desired end conditions. Graphics provide the operator with visualization of satisfying operational constraints such as structural clearance, plume impingement, approach velocity limits, and arrival or departure corridors. Primer vector theory is combined with graphical presentation to improve operator understanding of suggested automated system solutions and to allow the operator to review, edit, or provide corrective action to the trajectory plan.

Grunwald, Arthur J.↗

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↗

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.↗

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.↗

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↗

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.↗

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↗

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.↗

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↗

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↗

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↗

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.↗

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.↗

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.↗