Search NASA⌕ Search

SEARCH · Search NASA

Results for “variable 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 NTRS2011

A Multi-Encoding Approach for LTL Symbolic Satisfiability Checking

Formal behavioral specifications written early in the system-design process and communicated across all design phases have been shown to increase the efficiency, consistency, and quality of the system under development. To prevent introducing design or verification errors, it is crucial to test specifications for satisfiability. Our focus here is on specifications expressed in linear temporal logic (LTL). We introduce a novel encoding of symbolic transition-based Buchi automata and a novel, "sloppy," transition encoding, both of which result in improved scalability. We also define novel BDD variable orders based on tree decomposition of formula parse trees. We describe and extensively test a new multi-encoding approach utilizing these novel encoding techniques to create 30 encoding variations. We show that our novel encodings translate to significant, sometimes exponential, improvement over the current standard encoding for symbolic LTL satisfiability checking.

Rozier, Kristin Y.↗
NASA NTRS2013

Covariance Analysis Tool (G-CAT) for Computing Ascent, Descent, and Landing Errors

G-CAT is a covariance analysis tool that enables fast and accurate computation of error ellipses for descent, landing, ascent, and rendezvous scenarios, and quantifies knowledge error contributions needed for error budgeting purposes. Because GCAT supports hardware/system trade studies in spacecraft and mission design, it is useful in both early and late mission/ proposal phases where Monte Carlo simulation capability is not mature, Monte Carlo simulation takes too long to run, and/or there is a need to perform multiple parametric system design trades that would require an unwieldy number of Monte Carlo runs. G-CAT is formulated as a variable-order square-root linearized Kalman filter (LKF), typically using over 120 filter states. An important property of G-CAT is that it is based on a 6-DOF (degrees of freedom) formulation that completely captures the combined effects of both attitude and translation errors on the propagated trajectories. This ensures its accuracy for guidance, navigation, and control (GN&C) analysis. G-CAT provides the desired fast turnaround analysis needed for error budgeting in support of mission concept formulations, design trade studies, and proposal development efforts. The main usefulness of a covariance analysis tool such as G-CAT is its ability to calculate the performance envelope directly from a single run. This is in sharp contrast to running thousands of simulations to obtain similar information using Monte Carlo methods. It does this by propagating the "statistics" of the overall design, rather than simulating individual trajectories. G-CAT supports applications to lunar, planetary, and small body missions. It characterizes onboard knowledge propagation errors associated with inertial measurement unit (IMU) errors (gyro and accelerometer), gravity errors/dispersions (spherical harmonics, masscons), and radar errors (multiple altimeter beams, multiple Doppler velocimeter beams). G-CAT is a standalone MATLAB- based tool intended to run on any engineer's desktop computer.

Boussalis, Dhemetrios↗
DOE OSTI2019

Development and Calibration of an Online Energy Model for AHU Fan

The model development is necessary for the study of the energy consumption of Heating, Ventilation, and Air Conditioning (HVAC) systems. To predict the HVAC energy consumption accurately, one needs to model the individual HVAC components either from the measured data or based on the knowledge of the underlying physical phenomenon. Online model characterization is critical for improving the performance of real-time model-based fault detection and diagnosis (FDD) strategies. For HVAC control, models can be used to optimize the supervisory and local feedback control strategies to improve the energy consumption efficiency, or for providing ancillary services to the grid. It has been reported that, fans in HVAC systems of commercial buildings alone can provide substantial frequency regulation service, with little change in the indoor environment. In this paper, a real-time data-driven Air Handling Unit (AHU) fan model was developed based on recursive multi regression model. A generic nonlinear polynomial model has been studied to cover scenarios with different combinations of measurement variables, variable orders as well as different training and prediction horizons. Typical measurements including static pressure, mass flow rate, and damper positions are utilized as inputs to model the power consumption of the fan. The developed models have been validated both with simulation data from EnergyPlus-Dymola co-simulation model and with field measurement data for small to medium commercial buildings. The validation results show that the online model proposed can provide an effective prediction of the AHU fan power consumption.

Dong, Jin↗
DOE OSTI2022

A fractional model for anomalous diffusion with increased variability: Analysis, algorithms and applications to interface problems

Fractional equations have become the model of choice in several applications where heterogeneities at the microstructure result in anomalous diffusive behavior at the macroscale. Here, we introduce a new fractional operator characterized by a doubly-variable fractional order and possibly truncated interactions. Under certain conditions on the model parameters and on the regularity of the fractional order we show that the corresponding Poisson problem is well-posed. Additionally, we introduce a finite element discretization and describe an efficient implementation of the finite-element matrix assembly in the case of piecewise constant fractional order. Through several numerical tests, we illustrate the improved descriptive power of this new operator across media interfaces. Furthermore, we present one-dimensional and two-dimensional h-convergence results that show that the variable-order model has the same convergence behavior as the constant-order model.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1990

Basic Mechanisms of Solar Variability

In order to simulate the behavior of a changing Sun in a realistic way, researchers have used a perturbation analysis (the results are summarized in Endal et al. 1985). In this approach, they use a standard solar model and then vary several of the model parameters to mimic the sudden or gradual change of some physical property within the Sun. The evolution following the perturbation is followed in a physically self-consistent way, that is, hydrostatic and thermal processes occur in their normal timescales. This treatment has allowed us to determine the sensitivity of the various global parameters to physical processes affecting the solar interior, and it has guided us in defining the least complex global solar model which can address the question of climatically significant variability. Not surprisingly, magnetic fields play the crucial role. The current status of the model, what researchers have already learned from it, and the future prospects are discussed.

Sofia, Sabatino↗
DOE OSTI2018

Parameterization of Large Variability Using the Hyper-Dual Meta-Model

One major problem in the design of aerospace components is the nonlinear changes in the response due to a change in the geometry and material properties. Many of these components have small nominal values and any change can lead to a large variability. In order to characterize this large variability, traditional methods require either many simulation runs or the calculations of many higher order derivatives. Each of these paths requires a large amount of computational power to evaluate the response curve. In order to perform uncertainty quantification analysis, even more simulation runs are required. The hyper-dual meta-model is introduced and used to characterize the response curve with the use of basis functions. The information of the response is generated with the utilization of the hyper-dual step to determine the sensitivities at a few number of simulation runs to greatly enrich the response space. This study shows the accuracy of this method for two different systems with parameterizations at different stages in the design analysis.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1986

Mg II emission from shock waves in Mira variables

In order to investigate the atmospheric shock dynamics of Miras, a program to monitor the ultraviolet Mg II flux, the visual magnitude (using the IUE FES-magnitude) and whenever possible the hydrogen Balmer emission for several Miras was initiated. Results suggest that it should be possible to derive the density structure of the atmosphere and hence estimate quite accurately the kinetic energy input into the stellar atmosphere. The atmospheric shock models suggest that at phase equal 1.0 most of the energy which enters the region where the shock is located ends up in the wind. This is after the strongest Mg II emission is seen. From an observed velocity at infinity and an estimate of the energy input derived from the Mg II flux, it will be possible to determine the mass loss rate for these objects.

Brugel, Edward W.↗
DOE OSTI2021

Optimal renormalization of multiscale systems

While model order reduction is a promising approach in dealing with multi-scale time-dependent systems that are too large or too expensive to simulate for long times, the resulting reduced order models can suffer from instabilities. We have recently developed a time-dependent renormalization approach to stabilize such reduced models. In the current work, we extend this framework by introducing a parameter that controls the time-decay of the memory of such models and optimally selecting this parameter based on limited fully resolved simulations. First, we demonstrate our framework on the inviscid Burgers equation whose solution develops a finite-time singularity. Our renormalized reduced order models are stable and accurate for long times while using for their calibration only data from a full order simulation before the occurrence of the singularity. Furthermore, we apply this framework to the 3D Euler equations of incompressible fluid flow, where the problem of finite-time singularity formation is still open and where brute force simulation is only feasible for short times. Our approach allows us to obtain for the first time a perturbatively renormalizable model which is stable for long times and includes all the complex effects present in the 3D Euler dynamics. We find that, in each application, the renormalization coefficients display algebraic decay with increasing resolution, and that the parameter which controls the time-decay of the memory is problem-dependent.

Price, Jacob↗
NASA NTRS1985

Development and Testing of the Variable Vertical Resolution Fourth Order GCM

The vertical coordinate of the Fourth Order Model has been generalized so that the model can now run with an arbitrary number of vertical layers and so that the thicknesses of these layers can be arbitrarily specified (in the sigma coordinate). This Variable Vertical Resolution (VVR) version of the Fourth Order Model will soon replace the current production model. To assess the skill of the VVR model, it has been run with 9 equally spaced layers and compared with the current production model. In two Northern Hemispheric winter cases and one summer case, the two models were virtually identical in forecast skill for 6 to 7 days. After that the VVR model was slightly better in the winter cases and the production model was slightly better in the summer case. The only exception to this was that after 2 days the production model gave slightly more skillful 500 mb forecasts in the tropics for the summer case.

Helfand, H. M.↗
NASA NTRS1978

Applied Routh approximation

The Routh approximation technique for reducing the complexity of system models was applied in the frequency domain to a 16th order, state variable model of the F100 engine and to a 43d order, transfer function model of a launch vehicle boost pump pressure regulator. The results motivate extending the frequency domain formulation of the Routh method to the time domain in order to handle the state variable formulation directly. The time domain formulation was derived and a characterization that specifies all possible Routh similarity transformations was given. The characterization was computed by solving two eigenvalue-eigenvector problems. The application of the time domain Routh technique to the state variable engine model is described, and some results are given. Additional computational problems are discussed, including an optimization procedure that can improve the approximation accuracy by taking advantage of the transformation characterization.

Merrill, W. C.↗
DOE OSTI2018

An improved consistent, conservative, non-oscillatory and high order finite difference scheme for variable density low Mach number turbulent flow simulation

A consistent, conservative and truly high order finite difference scheme for low Mach number turbulent variable density flow simulation is presented. In the present scheme, the scalar transport equation is discretized with the explicit weighted compact nonlinear scheme (WCNS) while the continuity and momentum equations are discretized with a conservative centered high order finite difference scheme on a staggered grid. Bounded hybrid high order upwind interpolation is proposed for the evaluation of density on the cell faces of the staggered grid. The use of explicit WCNS along with the bounded density interpolation resolves the issue of degraded order of accuracy in the existing high order finite difference schemes where the centered finite difference scheme for mass and momentum conservation is combined with a total variation stable scheme for scalar transport. With the same difference operator used for the continuity and scalar transport equations, the present scheme is consistent naturally, and resolves the inconsistency problem reported in Trisjono et al. (J. Comp. Phys., 327, 612-628, 2016) without employing any modification to a scheme. Such improvements are demonstrated for several test cases.

02 PETROLEUM↗
NASA NTRS2015

Simscape Modeling of a Custom Closed-Volume Tank

The library for Mathworks Simscape does not currently contain a model for a closed volume fluid tank where the ullage pressure is variable. In order to model a closed-volume variable ullage pressure tank, it was necessary to consider at least two separate cases: a vertical cylinder, and a sphere. Using library components, it was possible to construct a rough model for the cylindrical tank. It was not possible to construct a model for a spherical tank, using library components, due to the variable area. It was decided that, for these cases, it would be preferable to create a custom library component to represent each case, using the Simscape language. Once completed, the components were added to models, where filling and draining the tanks could be simulated. When the models were performing as expected, it was necessary to generate code from the models and run them in Trick (a real-time simulation program). The data output from Trick was then compared to the output from Simscape and found to be within acceptable limits.

Simscape↗
NASA NTRS2000

First-Order Model Management With Variable-Fidelity Physics Applied to Multi-Element Airfoil Optimization

First-order approximation and model management is a methodology for a systematic use of variable-fidelity models or approximations in optimization. The intent of model management is to attain convergence to high-fidelity solutions with minimal expense in high-fidelity computations. The savings in terms of computationally intensive evaluations depends on the ability of the available lower-fidelity model or a suite of models to predict the improvement trends for the high-fidelity problem, Variable-fidelity models can be represented by data-fitting approximations, variable-resolution models. variable-convergence models. or variable physical fidelity models. The present work considers the use of variable-fidelity physics models. We demonstrate the performance of model management on an aerodynamic optimization of a multi-element airfoil designed to operate in the transonic regime. Reynolds-averaged Navier-Stokes equations represent the high-fidelity model, while the Euler equations represent the low-fidelity model. An unstructured mesh-based analysis code FUN2D evaluates functions and sensitivity derivatives for both models. Model management for the present demonstration problem yields fivefold savings in terms of high-fidelity evaluations compared to optimization done with high-fidelity computations alone.

Alexandrov, N. M.↗
NASA NTRS1987

Analysis of eccentric annular incompressible seals. II - Effects of eccentricity on rotordynamic coefficients

A new analysis procedure has been presented which solves for the flow variables of an annular pressure seal in which the rotor has a large static displacement (eccentricity) from the centered position. The present paper incorporates the solutions to investigate the effect of eccentricity on the rotordynamic coefficients. The analysis begins with a set of governing equations based on a turbulent bulk-flow model and Moody's friction factor equation. Perturbations of the flow variables yields a set of zeroth- and first-order equations. After integration of the zeroth-order equations, the resulting zeroth-order flow variables are used as input in the solution of the first-order equations. Further integration of the first order pressures yields the eccentric rotordynamic coefficients. The results from this procedure compare well with available experimental and theoretical data, with accuracy just as good or slightly better than the predictions based on a finite-element model.

Nelson, C. C.↗
NASA NTRS1986

Reconstruction and robust reduced-order observation of flexible variables

This paper discusses reconstruction and estimation of flexible variables from multiple strain measurements for use in state feedback control of flexible manipulators. Reconstruction is proposed for obtaining flexible mode amplitudes from the measurements, and estimation for the modal velocities. Design of the observer for estimation of the velocities is discussed with regard to robust implementation. The performance of the observer is examined experimentally for several specifications of the error dynamics.

Hastings, Gordon G.↗