Search NASA⌕ Search

SEARCH · Search NASA

Results for “differentiable simulation”

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 541 records · Page 30

How to cluster in parallel with neural networks

Partitioning a set of N patterns in a d-dimensional metric space into K clusters - in a way that those in a given cluster are more similar to each other than the rest - is a problem of interest in astrophysics, image analysis and other fields. As there are approximately K(N)/K (factorial) possible ways of partitioning the patterns among K clusters, finding the best solution is beyond exhaustive search when N is large. Researchers show that this problem can be formulated as an optimization problem for which very good, but not necessarily optimal solutions can be found by using a neural network. To do this the network must start from many randomly selected initial states. The network is simulated on the MPP (a 128 x 128 SIMD array machine), where researchers use the massive parallelism not only in solving the differential equations that govern the evolution of the network, but also by starting the network from many initial states at once, thus obtaining many solutions in one run. Researchers obtain speedups of two to three orders of magnitude over serial implementations and the promise through Analog VLSI implementations of speedups comensurate with human perceptual abilities.

Kamgar-Parsi, Behzad↗

Analysis of discretization errors in LES

All numerical simulations of turbulence (DNS or LES) involve some discretization errors. The integrity of such simulations therefore depend on our ability to quantify and control such errors. In the classical literature on analysis of errors in partial differential equations, one typically studies simple linear equations (such as the wave equation or Laplace's equation). The qualitative insight gained from studying such simple situations is then used to design numerical methods for more complex problems such as the Navier-Stokes equations. Though such an approach may seem reasonable as a first approximation, it should be recognized that strongly nonlinear problems, such as turbulence, have a feature that is absent in linear problems. This feature is the simultaneous presence of a continuum of space and time scales. Thus, in an analysis of errors in the one dimensional wave equation, one may, without loss of generality, rescale the equations so that the dependent variable is always of order unity. This is not possible in the turbulence problem since the amplitudes of the Fourier modes of the velocity field have a continuous distribution. The objective of the present research is to provide some quantitative measures of numerical errors in such situations. Though the focus of this work is LES, the methods introduced here can be just as easily applied to DNS. Errors due to discretization of the time-variable are neglected for the purpose of this analysis.

Ghosal, Sandip↗

Unmanned Aircraft Systems (UAS) Integration in the National Airspace System (NAS) Project: Low SWaP HITL 2, SC-228 Outbrief, EO/IR & ATAR Breakout

This presentation provides an overview of a recently completed human-in-the-loop simulation, conducted as part of the Unmanned Aircraft Systems (UAS) Integration in the National Airspace System (NAS) Project. This study explored the differential effects of four low size, weight, and power radar declaration ranges on pilot and system performance. Pilots were to avoid DAA well clear against cooperative and non-cooperative aircraft under 1.5, 2, 2.5, and 3 nautical mile non-cooperative detection ranges. Results revealed that pilot performance was primarily influenced by warning-level alert duration, with sufficient alerting time being most prevalent at 2.5 nautical miles and above.

Monk, Kevin J.↗

Advances and Challenges in Observations and Modeling of the Global-Sun Dynamics and Dynamo

Computational heliophysics has shed light on the fundamental physical processes inside the Sun, such as the differential rotation, meridional circulation, and dynamo-generation of magnetic fields. However, despite the substantial advances, the current results of 3D MHD simulations are still far from reproducing helioseismic inferences and surface observations. The reason is the multi-scale nature of the solar dynamics, covering a vast range of scales, which can-not be solved with the current computational resources. In such a situation, significant progress has been achieved by the mean-field approach, based on the separation of small-scale turbulence and large-scale dynamics. The mean-field simulations can reproduce solar observations, qualitatively and quantitatively, and uncover new phenomena. However, they do not reveal the complex physics of large-scale convection, solar magnetic cycles, and the magnetic self-organization that causes sunspots and solar eruptions. Thus, developing a synergy of these approaches seems to be a necessary but very challenging task.

SMD↗

Novel Approach to Simulating Diagnostic Capabilities in Medical Resource Risk Assessment

Diagnostics represent a key subset of medical resources considered for helping mitigate and control spaceflight medical risk. Historically, when modeling the medical risk domain for spaceflight, diagnostic resources have been handled like any other medical resource used for treatment. That is to say, the resource being unavailable will result in the related condition having suboptimal treatment outcomes. However in the real world, should a diagnostic resource be unavailable, a more analogous effect would be that the condition might be misdiagnosed, and thus inappropriate treatment applied. This talk presents an alternative means of representing diagnostic resources within the Medical Extensible Dynamic Probabilistic Risk Assessment Tool (MEDPRAT) that can simulate the effect both in risk, resource consumption, and competition for resources of a missing or depleted diagnostic. The scenario where a differential diagnosis may not be possible for abdominal conditions that use an ultrasound machine as a diagnostic tool is considered. Two approaches for modeling the effect of not having a diagnostic capability on the medical system are demonstrated. In the “simple” approach, it is assumed that any abdominal condition requiring the ultrasound machine for diagnosis is mis-diagnosed and treated as an appendicitis. This is represented by replacing the treatment for the affected conditions with the treatment for appendicitis, thereby changing the optimized medical set available for treatment for the remainder of the mission. In the “complex” approach, MEDPRAT treatment clusters are utilized to capture and represent overlapping treatment between the misdiagnosed condition and appendicitis. This elicits both the effect that inappropriate treatment is applied, resulting in wasted resource consumption, and that treatment which was truly needed for the misdiagnosed condition was not applied, which reduces the treatment effectiveness. In this talk, results comparing the simple and complex diagnostic capability approach to a baseline where the diagnostic is treated as a traditional resource is presented. Either approach provides an option for a more analogous representation of diagnostic resources and provides insight into how the modeled spaceflight medical resources and outcomes change when that diagnostic is unavailable.

C. M. Gasiewski↗

Sliding Mode Control of the X-33 with an Engine Failure

Ascent flight control of the X-3 is performed using two XRS-2200 linear aerospike engines. in addition to aerosurfaces. The baseline control algorithms are PID with gain scheduling. Flight control using an innovative method. Sliding Mode Control. is presented for nominal and engine failed modes of flight. An easy to implement, robust controller. requiring no reconfiguration or gain scheduling is demonstrated through high fidelity flight simulations. The proposed sliding mode controller utilizes a two-loop structure and provides robust. de-coupled tracking of both orientation angle command profiles and angular rate command profiles in the presence of engine failure, bounded external disturbances (wind gusts) and uncertain matrix of inertia. Sliding mode control causes the angular rate and orientation angle tracking error dynamics to be constrained to linear, de-coupled, homogeneous, and vector valued differential equations with desired eigenvalues. Conditions that restrict engine failures to robustness domain of the sliding mode controller are derived. Overall stability of a two-loop flight control system is assessed. Simulation results show that the designed controller provides robust, accurate, de-coupled tracking of the orientation angle command profiles in the presence of external disturbances and vehicle inertia uncertainties, as well as the single engine failed case. The designed robust controller will significantly reduce the time and cost associated with flying new trajectory profiles or orbits, with new payloads, and with modified vehicles

Shtessel, Yuri B.↗

In-Situ Ice Adhesion Testing using the Deformed Skin Adhesion Test

There exists a plethora of ice adhesion testing methods such as centrifuge-based methods, push/pull methods, and lap joint shear tests. However, these methods often cannot be done in-situ during an icing spray and require researcher handling/preparation prior to testing. Additionally, many of these methods test ice accretions that are not representative of the ice shapes that grow on airframes which can have unintended consequences such as edge or corner stress concentrations. In order to mitigate the issues present with other ice adhesion tests a novel, hands-free, in-situ test method imbedded into the leading edge of the airfoil has been developed and tested in the NASA Glenn Research Center Icing Research Tunnel. The mechanics of the new test method are discussed with finite element simulations being used to highlight the fundamental mechanics of this test method. The testing procedures used during the experimental test campaign are discussed along with the icing cloud test matrix. Analysis of the force-displacement results highlights the repeatability of the test method with regards to both sample behavior across several days of testing and different ice shapes. The results from first run of the day showed a significant discrepancy from subsequent runs and differential image analysis was used to determine differences in the interfacial bonding states between runs.

Ice Adhesion↗

In-Situ Ice Adhesion Testing using the Deformed Skin Adhesion Test

There exists a plethora of ice adhesion testing methods such as centrifuge-based methods, push/pull methods, and lap joint shear tests. However, these methods often cannot be done in-situ during an icing spray and require researcher handling/preparation prior to testing. Additionally, many of these methods test ice accretions that are not representative of the ice shapes that grow on airframes which can have unintended consequences such as edge or corner stress concentrations. In order to mitigate the issues present with other ice adhesion tests a novel, hands-free, in-situ test method imbedded into the leading edge of the airfoil has been developed and tested in the NASA Glenn Research Center Icing Research Tunnel. The mechanics of the new test method are discussed with finite element simulations being used to highlight the fundamental mechanics of this test method. The testing procedures used during the experimental test campaign are discussed along with the icing cloud test matrix. Analysis of the force-displacement results highlights the repeatability of the test method with regards to both sample behavior across several days of testing and different ice shapes. The results from first run of the day showed a significant discrepancy from subsequent runs and differential image analysis was used to determine differences in the interfacial bonding states between runs.

Ice Adhesion↗

Documentation of GEMASS entry to touchdown simulation

The entry-to-touchdown space shuttle orbiter simulation capability incorporated into the GEMASS subprogram 33 (3-DOF) is documented. A digital autopilot interfaces between GEMASS and the guidance. Vehicle attitude is determined by use of the ability of GEMASS to integrate differential equations in addition to the equations of motion. Vehicle aerodynamic characteristics are obtained from an aerodynamic data tape and control surface deflections required to trim the vehicle, and trimmed aerodynamic coefficients are determined internally. Several indicators to allow evaluation of subsystem performance are included; as is the ability of the user to activate any of several error dispersion sources. The performance of the simulation compares well with more sophisticated simulations.

Waibel, R. H.↗

Cryogenic Equivalence Principle Experiment

The purpose of this project is to test the equivalence of inertial and passive gravitational mass in an Earth-orbiting satellite. A ground-based experiment is now well developed. It consists of comparing the motions of two cylindrical test masses suspended in precision superconducting magnetic bearings and free to move along the horizontal (axis) direction. The masses are made of niobium and lead-plated aluminum. A position detector based on a SQUID magnetometer measures the differential motion between the masses. The periods of the masses are matched by adjustment of the position detector until the system is insensitive to common mode signals, and so that the experiment is less sensitive to seismic vibration. The apparatus is contained in a twelve inch helium dewar suspended in a vibration isolation stand. The stand achieves 30 db isolation from horizontal motions between 0.1 and 60 Hz, by simulating the motion of a 200 meter long pendulum with an air bearing. With this attenuation of seismic noise and a common mode rejection ratio of 10 to the 5th power in the differential mode, the ground based apparatus should have a sensitivity to equivalence principle violations of one part in 10 to the 13th power; the satellite version might have a sensitivity of one part in 10 to the 17th power.

Everitt, C. W. F.↗

A low dimensional dynamical system for the wall layer

Low dimensional dynamical systems which model a fully developed turbulent wall layer were derived.The model is based on the optimally fast convergent proper orthogonal decomposition, or Karhunen-Loeve expansion. This decomposition provides a set of eigenfunctions which are derived from the autocorrelation tensor at zero time lag. Via Galerkin projection, low dimensional sets of ordinary differential equations in time, for the coefficients of the expansion, were derived from the Navier-Stokes equations. The energy loss to the unresolved modes was modeled by an eddy viscosity representation, analogous to Heisenberg's spectral model. A set of eigenfunctions and eigenvalues were obtained from direct numerical simulation of a plane channel at a Reynolds number of 6600, based on the mean centerline velocity and the channel width flow and compared with previous work done by Herzog. Using the new eigenvalues and eigenfunctions, a new ten dimensional set of ordinary differential equations were derived using five non-zero cross-stream Fourier modes with a periodic length of 377 wall units. The dynamical system was integrated for a range of the eddy viscosity prameter alpha. This work is encouraging.

Aubry, N.↗

Numerical solution of the Navier-Stokes equations with topography

A finite difference scheme for solving the equations of fluid motion in a generalized coordinate system has been constructed. The scheme conserves mass and all the first integral moments of the motion. The scheme also advectively 'almost conserves' second moments, in that the magnitude of implicit numerical smoothing is typically about an order smaller than explicit viscosity and diffusion. Calculations with the model support the theoretical conjecture that the difference scheme is stable whenever the analogous Cartesian scheme is stable. The scheme has been used to calculate dry atmospheric convection due to differential heating between top and bottom of mountainous terrain. The general small-scale characteristics of mountain up-slope winds have been simulated. In addition, the results have demonstrated the crucial role played by the eddy diffusivities and the environmental stability, in determining both the quantitative and the qualitative features of the circulation.

Gal-Chen, T.↗

Numerical methods for large-scale time-dependent partial differential equations

The factors that influence the choice of a numerical solution scheme for large-scale time-dependent partial differential equations are examined with emphasis on the treatment of boundaries. Consideration is given to standard boundary treatments, moving boundaries, and artificial boundaries simulating an infinite domain. Implicit methods and applications to specific problems are discussed with special attention to shocks and steady state solutions.

Turkel, E.↗

Surface entropy of liquids via a direct Monte Carlo approach - Application to liquid Si

Two methods are presented for a direct Monte Carlo evaluation of the surface entropy S(s) of a liquid interacting by specified, volume-independent potentials. The first method is based on an application of the approach of Ferrenberg and Swendsen (1988, 1989) to Monte Carlo simulations at two different temperatures; it gives much more reliable results for S(s) in liquid Si than previous calculations based on numerical differentiation. The second method expresses the surface entropy directly as a canonical average at fixed temperature.

Wang, Z. Q.↗

A novel scheme to aid coherent detection of GMSK signals in fast Rayleigh fading channels

A novel scheme to insert carrier pilot to Gaussian Minimum Shift Keying (GMSK) signal using Binary Block Code (BBC) and a highpass filter in baseband is proposed. This allows the signal to be coherently demodulated even in a fast Rayleigh fading environment. As an illustrative example, the scheme is applied to a 16 kb/s GMSK signal, and its performance over a fast Rayleigh fading channel is investigated using computer simulation. This modem's 'irreducible error rate' is found to be Pe = 5.5 x 10(exp -5) which is more than that of differential detection. The modem's performance in Rician fading channel is currently under investigation.

Leung, Patrick S. K.↗

A Discrete Probability Function Method for the Equation of Radiative Transfer

A discrete probability function (DPF) method for the equation of radiative transfer is derived. The DPF is defined as the integral of the probability density function (PDF) over a discrete interval. The derivation allows the evaluation of the PDF of intensities leaving desired radiation paths including turbulence-radiation interactions without the use of computer intensive stochastic methods. The DPF method has a distinct advantage over conventional PDF methods since the creation of a partial differential equation from the equation of transfer is avoided. Further, convergence of all moments of intensity is guaranteed at the basic level of simulation unlike the stochastic method where the number of realizations for convergence of higher order moments increases rapidly. The DPF method is described for a representative path with approximately integral-length scale-sized spatial discretization. The results show good agreement with measurements in a propylene/air flame except for the effects of intermittency resulting from highly correlated realizations. The method can be extended to the treatment of spatial correlations as described in the Appendix. However, information regarding spatial correlations in turbulent flames is needed prior to the execution of this extension.

Sivathanu, Y. R.↗

Spiking Neurons for Analysis of Patterns

Artificial neural networks comprising spiking neurons of a novel type have been conceived as improved pattern-analysis and pattern-recognition computational systems. These neurons are represented by a mathematical model denoted the state-variable model (SVM), which among other things, exploits a computational parallelism inherent in spiking-neuron geometry. Networks of SVM neurons offer advantages of speed and computational efficiency, relative to traditional artificial neural networks. The SVM also overcomes some of the limitations of prior spiking-neuron models. There are numerous potential pattern-recognition, tracking, and data-reduction (data preprocessing) applications for these SVM neural networks on Earth and in exploration of remote planets. Spiking neurons imitate biological neurons more closely than do the neurons of traditional artificial neural networks. A spiking neuron includes a central cell body (soma) surrounded by a tree-like interconnection network (dendrites). Spiking neurons are so named because they generate trains of output pulses (spikes) in response to inputs received from sensors or from other neurons. They gain their speed advantage over traditional neural networks by using the timing of individual spikes for computation, whereas traditional artificial neurons use averages of activity levels over time. Moreover, spiking neurons use the delays inherent in dendritic processing in order to efficiently encode the information content of incoming signals. Because traditional artificial neurons fail to capture this encoding, they have less processing capability, and so it is necessary to use more gates when implementing traditional artificial neurons in electronic circuitry. Such higher-order functions as dynamic tasking are effected by use of pools (collections) of spiking neurons interconnected by spike-transmitting fibers. The SVM includes adaptive thresholds and submodels of transport of ions (in imitation of such transport in biological neurons). These features enable the neurons to adapt their responses to high-rate inputs from sensors, and to adapt their firing thresholds to mitigate noise or effects of potential sensor failure. The mathematical derivation of the SVM starts from a prior model, known in the art as the point soma model, which captures all of the salient properties of neuronal response while keeping the computational cost low. The point-soma latency time is modified to be an exponentially decaying function of the strength of the applied potential. Choosing computational efficiency over biological fidelity, the dendrites surrounding a neuron are represented by simplified compartmental submodels and there are no dendritic spines. Updates to the dendritic potential, calcium-ion concentrations and conductances, and potassium-ion conductances are done by use of equations similar to those of the point soma. Diffusion processes in dendrites are modeled by averaging among nearest-neighbor compartments. Inputs to each of the dendritic compartments come from sensors. Alternatively or in addition, when an affected neuron is part of a pool, inputs can come from other spiking neurons. At present, SVM neural networks are implemented by computational simulation, using algorithms that encode the SVM and its submodels. However, it should be possible to implement these neural networks in hardware: The differential equations for the dendritic and cellular processes in the SVM model of spiking neurons map to equivalent circuits that can be implemented directly in analog very-large-scale integrated (VLSI) circuits.

Huntsberger, Terrance↗

Tracking Vector Magnetograms with the Magnetic Induction Equation

The differential affine velocity estimator (DAVE) that we developed in 2006 for estimating velocities from line-of-sight magnetograms is modified to directly incorporate horizontal magnetic fields to produce a differential affine velocity estimator for vector magnetograms (DAVE4VM). The DAVE4VM's performance is demonstrated on the synthetic data from the anelastic pseudospectral ANMHD simulations that were used in the recent comparison of velocity inversion techniques by Welsch and coworkers. The DAVE4VM predicts roughly 95% of the helicity rate and 75% of the power transmitted through the simulation slice. Intercomparison between DAVE4VM and DAVE and further analysis of the DAVE method demonstrates that line-of-sight tracking methods capture the shearing motion of magnetic footpoints but are insensitive to flux emergence - the velocities determined from line-of-sight methods are more consistent with horizontal plasma velocities than with flux transport velocities. These results suggest that previous studies that rely on velocities determined from line-of-sight methods such as the DAVE or local correlation tracking may substantially misrepresent the total helicity rates and power through the photosphere.

Schuck, P.↗