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 631 records · Page 35

An Initial Exploration of Improved Numerics within the Guidelines of the Negative Spalart-Allmaras Turbulence Model

A simple modification to the negative Spalart-Allmaras turbulence model is suggested so that when the turbulence working variable, ~v, is negative, diagonal dominance is increased, as is the tendency for the time-advancement scheme to push e toward positive values. Owing to the fact that the modification is only active when ~v is less than zero, the physical model is left unchanged. Using the proposed modification with a strong implicit solver based on Newton's method, convergence rates can be somewhat improved, with typical reductions in iterations and computer time on the order of 15-50%. The benefits are realized primarily when second- or higher-order accuracy is used for discretizing the convective terms in the turbulence model because of large overshoots that can occur with these schemes at the edges of boundary layers and wakes. For flowfields with few regions of negative ~v, or on very fine meshes where ~v is always greater than zero, little or no benefits should be expected.

Anderson, William K.↗

Reduced Order Modeling for Transonic Aeroservoelastic Control Law Development

As aircraft become more flexible, aeroelastic considerations become increasingly important and complex, particularly for transonic flight where nonlinearities in the flow render linear analysis tools less effective. In order to analyze these aeroelastic interactions between the fluid and the structure efficiently, reduced order models (ROMs) are sometimes generated from and used in place of computational fluid dynamics solutions. In this paper, several aerodynamic ROMs are generated and coupled with structural models to form aeroelastic ROMs. The aerodynamic ROMs generated here include the effects of control surface motion. Hence, the aeroelastic ROMs presented here are appropriate for use in aeroservoelastic applications and are intended to be used for aeroservoelastic control law development. These ROMs are used to simulate a number of test cases with and without control surface involvement. Results show that several of the ROMs generated in the paper are able to predict results similar to solutions of higher-order computational methods.

Waite, Josiah M.↗

Photogrammetry-Based Analysis of the On-Orbit Structural Dynamics of the Roll-Out Solar Array

The Roll-Out Solar Array (ROSA) flight experiment was launched to the International Space Station (ISS) on June 3rd, 2017. ROSA is an innovative, lightweight solar array with a flexible substrate that makes use of the stored strain energy in its composite structural members to provide deployment without the use of motors. This paper will discuss the results of various structural dynamics experiments conducted on the ISS during the weeks following launch. Data gathered from instrumentation on the solar array wing during the experiments was previously compared with pre-flight predictions from two different Finite Element Modeling (FEM) efforts. In this paper, data generated from photogrammetry is compared with accelerometer data and used to extend previous conclusions. Whereas previous analyses were only able to track the accelerations of six discrete points on the structure and photovoltaic (PV) blanket of ROSA, the photogrammetry analysis makes available displacements for dozens of points distributed throughout the array. This larger data set makes it possible to compare higher-order PV blanket modes with FEM predictions, in addition to verifying conclusions reached using accelerometer data. The goal in this effort was to better understand the performance of ROSA and to improve modeling efforts for future designs of similar solar arrays.

Chamberlain, Matthew K.↗

Changes in Tropical Clouds and Atmospheric Circulation Associated with Rapid Adjustment Induced by Increased Atmospheric CO2 – A Multiscale Modeling Framework Study

The radiative heating increase due to increased CO2 concentration is the primary source for the rapid adjustment of atmospheric circulation and clouds. In this study, we investigate the rapid adjustment resulting from doubling of CO2 and its physical mechanism using a multiscale modeling framework (MMF). The MMF includes an advanced higher-order turbulence closure in its cloud-resolving model component and simulates realistic shallow and deep cloud climatology and boundary layer turbulence. The rapid adjustment over the tropics is characterized by 1) reduced ascent and descent strengths over the ocean, 2) increased lower tropospheric stability (LTS) over the subsidence region, 3) shoaling of planetary boundary layers over the ocean, 4) increased deep convection over lands and shift of cloud coverage from the ocean to lands, and 5) reduced sensible (SH) and latent heat (LH) fluxes over the oceanic deep convective regions. Unlike conventional general circulation models and another MMF, a reduction in the global-mean shortwave cloud radiative cooling is not simulated, due to the increase in low clouds at lower altitudes over the ocean, resulting from reduced cloud-top entrainment due to strengthened inversion. Changes in regional circulation play a key role in cloud changes and shift of cloud coverage to lands. Weaker energy transport resulting from water vapor and cloud CO2 masking effects reduces the upward motion and convective clouds in the oceanic regions. The ocean-land transports are linked to the partitioning of surface SH and LH fluxes that increases humidity over lands and enhances deep convection over the tropical lands.

Xu, Kuan-Man↗

From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems

Operational requirements of safety-critical systems are often written in restricted specification logics. These restricted logics are amenable to automated analysis techniques such as model-checking, but are not rich enough to express complex requirements of unmanned systems. This short paper advocates for the use of expressive logics, such as higher-order logic, to specify the complex operational requirements and safety properties of unmanned systems. These rich logics are less amenable to automation and, hence, require the use of interactive theorem proving techniques. However, these logics support the formal verification of complex requirements such as those involving the physical environment. Moreover, these logics enable validation techniques that increase con dence in the correctness of numerically intensive software. These features result in highly-assured software that may be easier to certify. The feasibility of this approach is illustrated with examples drawn for NASA's unmanned aircraft systems.

Munoz, Cesar↗

Juncture Flow Computations using kL-Based Turbulence Models

The development and implementation of kL-based Reynolds-Average Navier-Stokes (RANS) two-equation turbulence models are reported in this paper. The kL model is based on Abdol-Hamid's closure and Menter's modification to Rotta's two-equation model. Rotta showed that a reliable transport equation can be formed from the turbulence length scale L, and the turbulence kinetic energy k. Rotta's kL equation is well suited for a term-by-term modeling and displays useful features compared to other scale formulations. One of the important differences is the inclusion of higher-order velocity derivatives in the source terms of the scale equation. This can enhance the ability of RANS solvers to simulate unsteady flows in URANS mode. The k-kL scheme has been modified to include the Algebraic Reynolds Stress Model (ARSM) and the Quadratic Constitutive Relation (QCR) as nonlinear models. These models have gone through extensive validations using two-dimensional benchmark problems. The present study documents the application of the k-kL schemes to simulate flow around the Juncture Flow Model (JFM). The k-kL prediction results show generally good comparisons with measurements. The results from this formulation are similar to, or better than results using the SA-RC-QCR2000 two-equation turbulence model. The ARSM and the QCR formulations of k-kL show promise with a similar level of computational resources as basic two-equation turbulence models.

K S Abdol-Hamid↗

A Review of Acoustic Liner Experimental Characterization at NASA Langley

This paper presents a review of tools used by the NASA Langley Research Center over the last four decades to experimentally characterize acoustic liners for aircraft noise reduction. Descriptions of past and present NASA test rigs are included to provide context for the application of data acquisition and analysis methods. These test rigs range from simple applications of a raylometer to a waveguide with detailed control over higher-order modes. Methods for impedance eduction based on data acquired in these test rigs are explored in some detail. Strengths and weaknesses of each data acquisition and analysis method are presented, as well as current practices applied in the NASA Langley Liner Technology Facility.

Michael G Jones↗

TPSAS-NF1676L-9990-DND

PVS (Prototype Veri cation System)1 is an interactive environment for the specification and verification of systems. PVS provides a strongly typed specification language, which is based on Higher-Order Logic. The type system of PVS supports: sub-typing, dependent-types, abstract data types, parametric types, records, unions, and tuples. The PVS theorem prover includes decision procedures for a variety of theories such as linear arithmetic, propositional logic, and temporal logic. This seminar will provide a gentle introduction to the basic and advanced features of PVS, including: theory interpretations, real number proving, batch proving, rapid prototyping, and strategy development. All these features are illustrated with simple examples and exercises.

César Muñoz↗

Efficient Basis Derivatives Evaluations for High-order Discontinuous Galerkin Schemes

Computational methods of evaluating a basis of Lagrange polynomials are developed for the purpose of implementing efficient discontinuous Galerkin conservation laws solvers. Special attention is payed to the computation of higher-order partial derivatives which may be required for certain applications. Two different approaches are considered; one involves hardcoding explicit one-line formulae into the source code in order to make it as simple as possible, whereas the other uses algorithms designed to minimize the asymptotic order of growth with respect to the order of the scheme. Timing experiments show that either approach can perform well if implemented effectively, and identify advantages and disadvantages of each.

Micaiah Smith-Pierce↗

Effects of Spin-Orbit Resonances and Tidal Heating on the Inner Edge of the Habitable Zone

Much attention has been given to the climate dynamics and habitable boundaries of synchronously rotating planets around low mass stars. However, other rotational states are possible, including spin–orbit resonant configurations, particularly when higher eccentricity orbits can be maintained in a system. Additionally, the oscillating strain as a planet moves from periastron to apoastron results in friction and tidal heating, which can be an important energy source. Here, we simulate the climate of ocean-covered planets near the inner edge of the habitable zone around M to solar stars with the NASA GISS ROCKE-3D general circulation model, and leverage the planetary evolution software package, VPLanet, to calculate tidal heating rates for Earth-sized planets orbiting 2600 and 3000 K stars. This study is the first to use a 3D general circulation model that implements tidal heating to investigate habitability for multiple resonant states. We find that for reference experiments without tidal heating, the resonant state has little impact on the radial position of the inner edge because for a given stellar flux, higher-order states tend to be warmer than synchronous rotators, but for a given temperature, have drier upper atmospheres. However, when strong tidal heating is present, the rotational component implies a strong dependence of habitable conditions on the system evolution and rotational state. Since tidal and stellar heating both decrease rapidly with orbital distance, this results in a compact orbital width separating temperate and uninhabitable climates. We summarize these results and also compare ROCKE-3D to previously published simulations of the inner edge.

Spin-Orbit Resonances↗

The Dynamics of Ultrasonically Levitated Drops in an Electric Field

Ultrasonic and electrostatic leviation techniques have allowed the experimental investigation of the nonlinear oscillatory dynamics of free droplets with diameter between 0.1 and 0.4 cm. The measurement of the resonance frequencies of the first three normal modes of large amplitude shape oscillations in an electric field of varying magnitude has been carried out with and without surface charges for weakly conducting liquids in air. These oscillations of nonspherical levitated drops have been driven by either modulating the ultrasonic field or by using a time-varying electric field, and the free decay from the oscillatory state has been recorded. A decrease in the resonance frequency of the driven fundamental quadrupole mode has been measured for increasing oblate deformation in the absence of an electric field. Similarly, a decrease in this frequency has also been found for increasing DC electric field magnitude. A soft nonlinearity exists in the amplitude dependence of the resonant mode frequencies for freely decaying as well as ultrasonically and electrically driven uncharged drops. This decrease in resonance frequency is accentuated by the presence of free surface charge on the drop. Subharmonic resonance excitation has been observed for drops in a time-varying electric field, and hysteresis exists for resonant modes driven to large amplitude. Mode coupling from lower-order resonances to higher-order modes has been found to be very weak, even for fairly large amplitude shape oscillations. Most of these results are in general agreement with predictions from recent analytical and numerical investigations.

Ultrasonically↗

Overview of SIM external calibration

Like all astrometric instruments, the Space Interferometry Mission (SIM) suffers from field-dependent errors requiring calibration. Diffraction effects in the delay line, polarization rotations on comer cubes, and beam walk across imperfect optics, all contribute to field-distortion that is significantly larger than is acceptable. The bulk of the systematic error is linear across the field - that is, it results in a magnification error. We show that the linear terms are inconsequential to the performance of SIM because they are inseparable from baseline length and orientation errors. One approach to calibrating the higher-order terms is to perform external' calibration; that is, SIM periodically makes differential measurements of a field of bright stars whose positions are not precisely known. We describe the requirements and constraints on the external calibration process and lay the groundwork for a specific procedure detailed in accompanying papers.

Space↗

Nonlinear Multi-Window Controllers

In many control designs the error signal is split into parallel channels which are tailored to be significant over distinct frequency ranges and are then recombined. Often, at least one channel contains nonlinear elements, The most common example is a PID controller with an anti-windup nonlinearity in the I-channel. A more general example using higher-order compensators is presented, which is a thermal controller for a spacecraft-mounted telescope.

PID↗

Improved Mars Helicopter Aerodynamic Rotor Model for Comprehensive Analyses

The Mars Helicopter is part of the NASA Mars 2020 rover mission scheduled to launch in July of 2020. Its goal is to demonstrate the viability and potential of heavier-than-air vehicles in the Martian atmosphere. Ultimately, it aims to bridge the resolution gap between orbiters and the rover as well as allow access to otherwise inaccessible regions. The low density of the Martian atmosphere and the relatively small-scale rotor result in very low Reynolds number flows. The low density and low Reynolds numbers reduce the lifting force and lifting efficiency, respectively. This paper describes the generation of the improved Mars Helicopter aerodynamic rotor model. The goal is to generate a performance model for the Mars Helicopter rotor using a free wake analysis, since this has a low computational cost for design. The improvements in the analysis are two-fold and are expanded on from two prior publications. First, the fidelity of the simulations is increased by performing higher-order two-dimensional time-accurate OVERFLOW simulations allowing for higher accuracy aerodynamic coefficients and a better understanding of the boundary layer behavior as well as its transient features. Second, a version of the model is generated to duplicate the exact testing conditions in the 25–ft. diameter Space Simulator at the Jet Propulsion Laboratory, which allows for better correlation of rotor performance figures. Previous work correlated performance with that test, but did not consider the higher temperatures in the experiment compared to those of the Martian atmosphere. The higher temperatures in the experiment are expected to give conservative performance estimates, as they give rise to an increase in speed of sound and decrease in observed Reynolds numbers.

Grip, Håvard F.↗

Accuracy Assessment of Global Internal-Tide Models Using Satellite Altimetry Models Using Satellite Altimetry

Altimeter measurements are corrected for several geophysical parameters in order to access ocean signals of interest, like mesoscale or sub-mesoscale variability. The ocean tide is one of the most critical corrections due to the amplitude of the tidal elevations and to the aliasing phenomena of high-frequency signals into the lower-frequency band, but the internal-tide signatures at the ocean surface are not yet corrected globally. Internal tides can have a signature of several centimeters at the surface with wavelengths of about 50–250 km for the first mode and even smaller scales for higher-order modes. The goals of the upcoming Surface Water Ocean Topography (SWOT) mission and other high-resolution ocean measurements make the correction of these small-scale signals a challenge, as the correction of all tidal variability becomes mandatory to access accurate measurements of other oceanic signals. In this context, several scientific teams are working on the development of new internal-tide models, taking advantage of the very long altimeter time series now available, which represent an unprecedented and valuable global ocean database. The internal-tide models presented here focus on the coherent internal-tide signal and they are of three types: empirical models based upon analysis of existing altimeter missions, an assimilative model and a three-dimensional hydrodynamic model. A detailed comparison and validation of these internal-tide models is proposed using existing satellite altimeter databases. The analysis focuses on the four main tidal constituents: M2, K1, O1 and S2. The validation process is based on a statistical analysis of multi-mission altimetry including Jason-2 and Cryosphere Satellite-2 data. The results show a significant altimeter variance reduction when using internal-tide corrections in all ocean regions where internal tides are generating or propagating. A complementary spectral analysis also gives some estimation of the performance of each model as a function of wavelength and some insight into the residual non-stationary part of internal tides in the different regions of interest. This work led to the implementation of a new internal-tide correction (ZARON'one) in the next geophysical data records version-F (GDR-F) standards.

Loren Carrere↗

Expanding Biological Repository Data Available for Sharing and Knowledge Discovery

Biology has developed next-generation data science and alternative analytical approaches with methodologies which require principal investigator (PI) experimental assay data be re-used. This new approach involves mining multiple datasets at once from various hierarchical organizations of biological complexity, while concurrently evaluating how experimental factors affect endpoints of standard assays. The purpose of the NASA Ames Life Sciences Data Archive (ALSDA) is to collect, curate, and make findable, accessible, interoperable, and reusable (FAIR) all non-human space-relevant biological data. These data include mission metadata, subject metadata, assay metadata (parameters), raw and processed assay data, assay imagery, and subject-experienced telemetry (radiation, temperature, humidity, acoustics, vibrations). ALSDA has transformed to bring current biological repository data and all future collected data into this new scientific data mining reality. It has integrated into the ‘NASA Open Science’ group of projects to facilitate a suite of new tools and workflows to improve data accessibility and reusability by implementing data management plans, automating data submission agreements, and adopting the single-point-of-entry data submission portal, originally developed by NASA GeneLab. These systems required ALSDA to develop science assay configurations for the submission portal, capturing essential assay parameters according to established norms in each sub-field within biology. The submission portal expedites data collection by enhancing ease of PI data submission, providing a user interface and specificity for which data is to be submitted. ALSDA datasets are curated to maintain rich metadata, accuracy of datasets, data transparency, provenance, and additionally ensure data are machine-readable (e.g., R and Python languages). ALSDA integration with GeneLab and its analysis portals enable higher-order physiological-level datasets be mined in conjunction with -omics datasets. As ALSDA physiological-level datasets are published (micro-computed tomography, histology, intraocular pressure, hormonal assays, immunostaining, ultrasonography), the merging of hierarchical organizations of biological complexity from spaceflight will enable new knowledge discovery approaches.

Ryan T Scott↗

Magnetic Field Intermittency in the Solar Wind: Parker Solar Probe and SolO Observations Ranging from the Alfvén Region up to 1AU

Parker Solar Probe (PSP) and SolO data are utilized to investigate magnetic field intermittency in the solar wind (SW). Small-scale intermittency (20−100 di) is observed to radially strengthen when methods relying on higher-order moments are considered (SFq; SDK), but no clear trend is observed at larger scales. However, lower-order moment-based methods (e.g., partial variance of increments; PVI) are deemed more appropriate for examining the evolution of the bulk of coherent structures (CSs), PVI ≥ 3. Using PVI, we observe a scale-dependent evolution in the fraction of the data set occupied by CSs, fPVI≥3. Specifically, regardless of the SW speed, a subtle increase is found in fPVI≥3 for ℓ = 20 di, in contrast to a more pronounced radial increase in CSs observed at larger scales. Intermittency is investigated in relation to plasma parameters. Though, slower SW speed intervals exhibit higher fPVI≥6 and higher kurtosis maxima, no statistical differences are observed for fPVI≥3. Highly Alfvénic intervals display lower levels of intermittency. The anisotropy with respect to the angle between the magnetic field and SW flow, ΘVB is investigated. Intermittency is weaker at ΘVB ≈ 0° and is strengthened at larger angles. Considering the evolution at a constant alignment angle, a weakening of intermittency is observed with increasing advection time of the SW. Our results indicate that the strengthening of intermittency in the inner heliosphere is driven by the increase in comparatively highly intermittent perpendicular intervals sampled by the probes with increasing distance, an effect related directly to the evolution of the Parker spiral.

Nikos Sioulas↗

ExEP: Initial super-Nyquist wavefront control experiments in the Decadal Survey Testbed

In order to characterize exoplanets around nearby stars, upcoming and proposed space telescopes are being designed with high contrast coronagraph instruments. Coronagraphs are generally designed to suppress only a single, on-axis star, but there are numerous binary star systems within our observational range. Multi-star wavefront correction (MSWC) is a technique that uses deformable mirror(s) to simultaneously suppress light from more than one star to create a high contrast dark zone in the image. MSWC has already been well demonstrated in simulation and in air-based testbeds. In this paper, we describe our prepatory vacuum experiments in the Decadal Survey Testbed (DST) at the Jet Propulsion Laboratory. First we implemented super-Nyquist wavefront control (SNWC, a critical component of MSWC), and then we proceeded to simultaneous sub- and super-Nyquist control. With our existing calibration methods, SNWC reached a contrast of $8.6{\times}10^{-9}$ in a 10\% bandpass around a first-order diffraction spot; calibration improvements are needed to improve model agreement for higher-order spots. We have also implemented changes to our software (the open-source package FALCO) required for MSWC, and identified the necessary changes in hardware. Here we report our best SNWC lab results and our plans for implementing MSWC during a future set of experiments.

Bendek, Eduardo↗