Search NASA⌕ Search

SEARCH · Search NASA

Results for “Generalization Bounds”

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 199 records · Page 11

A generalized modal shock spectra method for spacecraft loads analysis

Unlike an earlier shock spectra approach, generalization permits an accurate elastic interaction between the spacecraft and launch vehicle to obtain accurate bounds on the spacecraft response and structural loads. In addition, the modal response from a previous launch vehicle transient analysis with or without a dummy spacecraft - is exploited to define a modal impulse as a simple idealization of the actual forcing function. The idealized modal forcing function is then used to derive explicit expressions for an estimate of the bound on the spacecraft structural response and forces. Greater accuracy is achieved with the present method over the earlier shock spectra, while saving much computational effort over the transient analysis.

Trubert, M.↗

Semiclassical theory of electronically nonadiabatic transitions in molecular collision processes

An introductory account of the semiclassical theory of the S-matrix for molecular collision processes is presented, with special emphasis on electronically nonadiabatic transitions. This theory is based on the incorporation of classical mechanics with quantum superposition, and in practice makes use of the analytic continuation of classical mechanics into the complex space of time domain. The relevant concepts of molecular scattering theory and related dynamical models are described and the formalism is developed and illustrated with simple examples - collinear collision of the A+BC type. The theory is then extended to include the effects of laser-induced nonadiabatic transitions. Two bound continuum processes collisional ionization and collision-induced emission also amenable to the same general semiclassical treatment are discussed.

Lam, K. S.↗

Tidal disruptions by supermassive black holes - Hydrodynamic evolution of stars on a Schwarzschild background

We present a three-dimensional numerical study of tidal disruption of a main-sequence star by a supermassive black hole. The simulations include general relativistic effects which are important in this regime. We analyze stars in a marginally bound orbit around the black hole with pericentric separation of a few Schwarzschild radii. We show that during a close passage, as a result of relativistic effects analogous to the perihelion shift, the trajectories of the debris of the star fan out into a crescent-like shape centered on the black hole. We also discuss the increase of the central density of the star as it approaches pericentric distance, the fraction of the debris accreted by the hole, its accretion rate, the distribution of debris orbits bound to the hole, and the velocity of unbound ejected material. We compare these results with the disruption of the star by a Newtonian point mass.

Laguna, Pablo↗

Far-Reaching Impacts of African Dust- A Calipso Perspective

African dust can transport across the tropical Atlantic and reach the Amazon basin, exerting far-reaching impacts on climate in downwind regions. The transported dust influences the surface-atmosphere interactions and cloud and precipitation processes through perturbing the surface radiative budget and atmospheric radiative heating and acting as cloud condensation nuclei and ice nuclei. Dust also influences biogeochemical cycle and climate through providing nutrients vital to the productivity of ocean biomass and Amazon forests. Assessing these climate impacts relies on an accurate quantification of dust transport and deposition. Currently model simulations show extremely large diversity, which calls for a need of observational constraints. Kaufman et al. (2005) estimated from MODIS aerosol measurements that about 144 Tg of dust is deposited into the tropical Atlantic and 50 Tg of dust into the Amazon in 2001. This estimated dust import to Amazon is a factor of 3-4 higher than other observations and models. However, several studies have argued that the oversimplified characterization of dust vertical profile in the study would have introduced large uncertainty and very likely a high bias. In this study we quantify the trans-Atlantic dust transport and deposition by using 7 years (2007-2013) observations from CALIPSO lidar. CALIPSO acquires high-resolution aerosol extinction and depolarization profiles in both cloud-free and above-cloud conditions. The unique CALIPSO capability of profiling aerosols above clouds offers an unprecedented opportunity of examining uncertainties associated with the use of MODIS clear-sky data. Dust is separated from other types of aerosols using the depolarization measurements. We estimated that on the basis of 7-year average, 118142 Tg of dust is deposited into the tropical Atlantic and 3860 Tg of dust into the Amazon basin. Substantial interannual variations are observed during the period, with the maximum to minimum ratio of about 1.6 and 2.5 for the deposition to the tropical Atlantic and Amazon, respectively. The MODIS-based estimates appear to fall within the range of CALIPSO-based estimates; and the difference between MODIS and CALIPSO estimates can be largely attributed to the interannual variability, which is corroborated by long-term surface dust concentration observations in the tropical Atlantic. Considering that CALIPSO generally tends to underestimate the aerosol loading, our estimate is likely to represent a low bound for the dust transport and deposition estimate. The finding suggests that models have substantial biases and considerable effort is needed to improve model simulations of dust cycle.

dust↗

A Near-Wall Reynolds-Stress Closure Without Wall Normals

Turbulent wall-bounded complex flows are commonly encountered in engineering practice and are of considerable interest in a variety of industrial applications. The presence of a wall significantly affects turbulence characteristics. In addition to the wall effects, turbulent wall-bounded flows become more complicated by the presence of additional body forces (e.g. centrifugal force and Coriolis force) and complex geometry. Most near-wall Reynolds stress models are developed from a high-Reynolds-number model which assumes turbulence is homogenous (or quasi-homogenous). Near-wall modifications are proposed to include wall effects in near-wall regions. In this process, wall normals are introduced. Good predictions could be obtained by Reynolds stress models with wall normals. However, ambiguity arises when the models are applied in flows with multiple walls. Many models have been proposed to model turbulent flows. Among them, Reynolds stress models, in which turbulent stresses are obtained by solving the Reynolds stress transport equations, have been proved to be the most successful ones. To apply the Reynolds stress models to wall-bounded flows, near-wall corrections accounting for the wall effects are needed, and the resulting models are called near-wall Reynolds stress models. In most of the existing near-wall models, the near-wall corrections invoke wall normals. These wall-dependent near-wall models are difficult to implement for turbulent flows with complex geometry and may give inaccurate predictions due to the ambiguity of wall normals at corners connecting multiple walls. The objective of this study is to develop a more general and flexible near-wall Reynolds stress model without using any wall-dependent variable for wall-bounded turbulent flows. With the aid of near-wall asymptotic analysis and results of direct numerical simulation, a new near-wall Reynolds stress model (NNWRS) is formulated based on Speziale et al.'s high-Reynolds-stress model with wall-independent near-wall corrections. Moreover, only one damping function is used for flows with a wide range of Reynolds numbers to ensure that the near-wall modifications diminish away from the walls.

Yuan, S. P.↗

Chaos and nonlinear dynamics of single-particle orbits in a magnetotaillike magnetic field

The properties of charged-particle motion in Hamiltonian dynamics are studied in a magnetotaillike magnetic field configuration. It is shown by numerical integration of the equation of motion that the system is generally nonintegrable and that the particle motion can be classified into three distinct types of orbits: bounded integrable orbits, unbounded stochastic orbits, and unbounded transient orbits. It is also shown that different regions of the phase space exhibit qualitatively different responses to external influences. The concept of 'differential memory' in single-particle distributions is proposed. Physical implications for the dynamical properties of the magnetotail plasmas and the possible generation of non-Maxwellian features in the distribution functions are discussed.

Chen, J.↗

Structure of merger remnants. I - Bulgeless progenitors

The study examines mergers of identical galaxies consisting of self-gravitating disks and halos in the context of the suggestion that such events may form elliptical galaxies. It is shown that the luminous remnants of such mergers do indeed share many common properties with observed ellipticals. Specifically, the end states of the simulations considered rotate slowly in regions of relatively high surface density, having typical values of less than about 0.2 there. Morphologically, the remnants display a variety of structures, including shells and loops comprising loosely bound material and boxy and disky isophotes. The luminous matter is well-fitted by ellipsoidal generalizations of Hernquists's (1990, 1992) model for elliptical galaxies, implying that the surface brightness profiles are essentially de Vaucouleurs-like over a large radial interval. It is proposed that mergers of pure stellar disks do not represent an attractive mechanism for the production of massive elliptical galaxies.

Hernquist, Lars↗

Seeing is Believing: Monitoring Future Time Temporal Logic

Runtime monitors for future-time unbounded temporal logics like RVLTL, LTL 3 and FLTL, have double-exponential (2^2^n) worst-case space complexity bounds in size of the input formula. The semantics of these logics require monitors to perform general satisfiability solving for LTL expressions, a well-studied problem whose computational complexity is NP-hard and PSPACE-complete. This paper introduces an unbounded future-time linear temporal logic defined over a lattice. We call our logic an incremental temporal logic as it can be viewed as incrementally constructing proofs about the trace. On this account, we view online runtime monitoring as a decision procedure for proofs systems about incrementally growing traces. We demonstrate that our incremental temporal logic allows monitor construction to void satisfiability solving while still soundly detecting when the property is violated in an online fashion. This enables asymptotic improvements in space complexity. As proof, we provide a procedure to construct monitors that utilize linear space and time in the size of the input formula, while remaining constant in the size of the input stream and suitable for online monitoring. We further demonstrate, through several examples, that our incremental temporal logic is straightforward to adopt and practical for runtime verification.

temporal logic↗

Sparse Regression as a Sparse Eigenvalue Problem

We extend the l0-norm "subspectral" algorithms for sparse-LDA [5] and sparse-PCA [6] to general quadratic costs such as MSE in linear (kernel) regression. The resulting "Sparse Least Squares" (SLS) problem is also NP-hard, by way of its equivalence to a rank-1 sparse eigenvalue problem (e.g., binary sparse-LDA [7]). Specifically, for a general quadratic cost we use a highly-efficient technique for direct eigenvalue computation using partitioned matrix inverses which leads to dramatic x103 speed-ups over standard eigenvalue decomposition. This increased efficiency mitigates the O(n4) scaling behaviour that up to now has limited the previous algorithms' utility for high-dimensional learning problems. Moreover, the new computation prioritizes the role of the less-myopic backward elimination stage which becomes more efficient than forward selection. Similarly, branch-and-bound search for Exact Sparse Least Squares (ESLS) also benefits from partitioned matrix inverse techniques. Our Greedy Sparse Least Squares (GSLS) generalizes Natarajan's algorithm [9] also known as Order-Recursive Matching Pursuit (ORMP). Specifically, the forward half of GSLS is exactly equivalent to ORMP but more efficient. By including the backward pass, which only doubles the computation, we can achieve lower MSE than ORMP. Experimental comparisons to the state-of-the-art LARS algorithm [3] show forward-GSLS is faster, more accurate and more flexible in terms of choice of regularization

Exact Sparse Least Squares (ESLS)↗

A general form for the dissipation length scale in turbulent shear flows

It has been found that, for a wide range of turbulent wall-bounded shear flows with mean velocity profile U(y), the scale length L-epsilon determining the dissipation is approximately described in terms of distance from the wall (y), the mean shear (dU/dy), and the variance of the normal component of turbulence (bar u-squared), by the formula: L-epsilon to the -1 power is approximately equal to (A sub B / y) + A sub S (dU/dy / square root of bar u-squared) where L-epsilon = epsilon/(bar u-squared) to the 3/2 power. To match with shear-free boundary layers, A sub B is approximately 0.27, and to match with the log layer, A sub S is approximately 0.46. The shear flows tested here were: boundary layers over a flat plate, sink flow, oscillatory flow, and channel flow. The use of the square root of bar u-squared as a velocity scale minimizes the effects of Reynolds number. However, the formula fails within a distance of order L-epsilon for the regions where dU/dy = 0.

Hunt, J. C. R.↗

Solar-System Tests of Gravitational Theories

We are engaged in testing gravitational theory, primarily using observations of objects in the solar system and primarily on that scale. Our goal is either to detect departures from the standard model (general relativity) - if any exist within the level of sensitivity of our data - or to place tighter bounds on such departures. For this project, we have analyzed a combination of observational data with our model of the solar system, including mostly planetary radar ranging, lunar laser ranging, and spacecraft tracking, but also including both pulsar timing and pulsar very long base interferometry (VLBI) measurements. This year, we have extended our model of Earth nutation with adjustable correction terms at the principal frequencies. We also refined our model of tidal drag on the Moon's orbit. We believe these changes will make no substantial changes in the results, but we are now repeating the analysis of the whole set of data to verify that belief. Additional information is contained in the original extended abstract.

Shapiro, Irwin I.↗

Solar System Test of Gravitational Theories

We are engaged in testing gravitational theory, mainly using observations of objects in the solar system and mainly on the interplanetary scale. Our goal is either to detect departures from the standard model (general relativity) - if any exist within the level of sensitivity of our data - or to place tighter bounds on such departures. For this project, we have analyzed a combination of observational data with our model of the solar system, including primarily planetary radar ranging, lunar laser ranging, and spacecraft tracking, but also including both pulsar timing and pulsar VLBI measurements. In the past year, we have included new data in the analysis, primarily tracking data from the Mars Pathfinder mission. Although these data are relatively few in number, they extend the time span of high-precision tracking on the surface of Mars from six years to over 20. As a result, the statistical standard deviation of our estimate of Mars precession rate has nearly halved, and the rest of the parameters in our solar-system model have experienced a corresponding, albeit smaller, improvement (about 20% for t,he relevant asteroid masses, 10% for the semimajor axis of Mars orbit, and smaller amounts for most other parameters). In the coming year, we plan to continue adding data to our set, as available. Ne 2 expect to use these data and improved models to obtain estimates of the gravitational- theory parameters and to publish these results.

Shapiro, Irwin I.↗

Bending of Light in Modified Gravity at Large Distances

We discuss the bending of light in a recent model for gravity at large distances containing a Rindler type acceleration proposed by Grumiller. We consider the static, spherically symmetric metric with cosmological constant and Rindler-like term 2ar presented in this model, and we use the procedure by Rindler and Ishak. to obtain the bending angle of light in this metric. Earlier work on light bending in this model by Carloni, Grumiller, and Preis, using the method normally employed for asymptotically flat space-times, led to a conflicting result (caused by the Rindler-like term in the metric) of a bending angle that increases with the distance of closest approach r(sub 0) of the light ray from the centrally concentrated spherically symmetric matter distribution. However, when using the alternative approach for light bending in nonasymptotically flat space-times, we show that the linear Rindler-like term produces a small correction to the general relativistic result that is inversely proportional to r(sub 0). This will in turn affect the bounds on Rindler acceleration obtained earlier from light bending and casts doubts on the nature of the linear term 2ar in the metric

Grumiller↗

On Expected Value Strong Controllability

The Probabilistic Simple Temporal Network (PSTN) generalizes Simple Temporal Networks with Uncertainty (STNUs) by introducing probability distributions over the timing of uncontrollable timepoints. PSTNs are controllable if there is a strategy to execute the controllable timepoints while bounding the risk of violating any constraint to a small value. If this risk bound can't be satisfied, PSTNs are not considered controllable. We introduce the Expected Value Probabilistic SimpleTemporal Network (EPSTN), which extends PSTNs by including a benefit to the satisfaction of temporal constraints. We study the problem of Expected Value Strong Controllability (EvSC) of EPSTNs, which seeks a schedule maximizing the expected value of satisfied constraints. We solve the EvSC problem by extending a previously developed linear program, combined with search over constraints to violate at execution time. We describe conditions under which the solution to this linear program is the maximum expected value schedule. We then show how to search for constraints to discard, using the linear program at the core of the search. While the general problem is shown to be exponential, we conclude by providing several methods to bound the complexity of search.

Planning↗

Bounds on Flexural Properties and Buckling Response for Symmetrically Laminated Plates

Nondimensional parameters and equations governing the buckling behavior of rectangular symmetrically laminated plates are presented that can be used to represent the buckling resistance, for plates made of all known structural materials, in a very general, insightful, and encompassing manner. In addition, these parameters can be used to assess the degree of plate orthotropy, to assess the importance of anisotropy that couples bending and twisting deformations, and to characterize quasi-isotropic laminates quantitatively. Bounds for these nondimensional parameters are also presented that are based on thermodynamics and practical laminate construction considerations. These bounds provides insight into potential gains in buckling resistance through laminate tailoring and composite-material development. As an illustration of this point, upper bounds on the buckling resistance of long rectangular orthotropic plates with simply supported or clamped edges and subjected to uniform axial compression, uniform shear, or pure inplane bending loads are presented. The results indicate that the maximum gain in buckling resistance for tailored orthotropic laminates, with respect to the corresponding isotropic plate, is in the range of 26-36% for plates with simply supported edges, irrespective of the loading conditions. For the plates with clamped edges, the corresponding gains in buckling resistance are in the range of 9-12% for plates subjected to compression or pure inplane bending loads and potentially up to 30% for plates subjected to shear loads.

Weaver, Paul M.↗

Phase relations of high albedo asteroids - The unusual opposition brightening of 44 Nysa and 64 Angelina

The present photoelectric lightcurve observations of 44 Nysa at one aspect, and 64 Angelina at both polar aspects, indicate the presence of an opposition spike or brightening of approximately 0.25 mag within several deg of zero-phase angle. Since the three curves are identical within the bounds of observational scatter, the opposition spike cannot be judged anomalous within the asteroid taxonomic class E. The general similarity of the observed phase curves to those of the Uranian satellites and the rings of Saturn supports the status of the spike as an ordinary property of moderate-to-high albedo atmosphereless surfaces.

Harris, A. W.↗

Comment on: The present state and future direction of eddy viscosity models

Two turbulence models are compared under various flow conditions. Presented first is a k-omega model which is best suited for wall bounded flows. Presented second is a k-epsilon model which is best suited for free shear flow. Generalizations of the k-omega model are discussed, and various aerodynamic parameters such as skin friction, velocity distribution, and hypersonic cylinder-flare, are compared for the different models. All results are presented in viewgraph format.

Coakley, T. J.↗

Frequency domain identification for robust large space structure control design

A methodology is demonstrated for frequency domain identification of large space structures which systematically transforms experimental raw data into a form required for synthesizing H(infinity) controllers using modern robust control design software (e.g., Matlab Toolboxes). A unique feature of this approach is that the additive uncertainty is characterized to a specified statistic confidence rather than with hard bounds. In this study, the difference in robust performance is minimal between the two levels of confidence. In general cases, the present methodology provides a tool for performance/confidence level tradeoff studies. For simplicity, the additive uncertainty on a frequency grid is considered and the interpolation error in between grid points is neglected.

Yam, Y.↗