Search NASA⌕ Search

SEARCH · Search NASA

Results for “SET THEORY”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 289 records · Page 16

Do recent observations of very large electromagnetic dissociation cross sections signify a transition towards non-perturbative QED?

The very large electromagnetic dissociation (EMD) cross section recently observed by Hill, Wohn, Schwellenbach, and Smith do not agree with Weizsacker-Williams (WW) theory or any simple modification thereof. Calculations are presented for the reaction probabilities for this experiment and the entire single and double nucleon removal EMD data set. It is found that for those few reactions where theory and experiment disagree, the probabilities are exceptionally large. This indicates that WW theory is not valid for these reactions and that one must consider higher order corrections and perhaps even a non-perturbative approach to quantum electrodynamics (QED).

Norbury, John W.↗

Scattering from randomly oriented circular discs with application to vegetation

A vegetation layer is modeled by a collection of randomly oriented circular discs over a half space. The backscattering coefficient from such a half space is computed using the radiative transfer theory. It is shown that significantly different results are obtained from this theory as compared with some earlier investigations using the same modeling approach but with restricted disc orientations. In particular, the backscattered cross polarized returns cannot have a fast increasing angular trend which is inconsistent with measurements. By setting the appropriate angle of orientation to zero the theory reduces to previously published results. Comparisons are shown with measurements taken from milo, corn and wheat and good agreements are obtained for both polarized and cross polarized returns.

Karam, M. A.↗

Scattering from randomly oriented circular discs with application to vegetation

A vegetation layer is modeled by a collection of randomly oriented circular discs over a half space. The backscattering coefficient from such a half space is computed using the radiative transfer theory. It is shown that significantly different results are obtained from this theory as compared with some earlier investigations using the same modeling approach but with restricted disc orientations. In particular, the backscattered cross-polarized returns cannot have a fast increasing angular trend which is inconsistent with measurements. By setting the appropriate angle of orientation to zero the theory reduces to previously published results. Comparisons are shown with measurements taken from milo, corn and wheat and good agreements are obtained for both polarized and cross-polarized returns.

Karam, M. A.↗

Calculations of Polar Ozone Loss Rates

We calculate vortex-averaged ozone loss rates at 465-K potential temperature during the Aug.-Sept. time period in the southern hemisphere and Feb.-Mar. time period in the northern hemisphere. Ozone loss rates are calculated two ways. First, from the time series of measurements of 03. Second, from measurements of ClO, from which ozone loss is inferred based on our theories of Cl-catalyzed ozone destruction. Both measurement sets are from the Upper Atmosphere Research Satellite (UARS) Microwave Limb Sounder (MLS) instrument. We find good agreement between vortex-averaged ozone loss rates calculated from these methods. Our analysis provides no support for recent work suggesting that current theories of Cl-catalyzed ozone loss underestimate the observed decrease in polar ozone during the ozone "hole" period.

Dessler, A. E.↗

Generation and Exploitation of Aggregation Abstractions for Scheduling and Resource Allocation

Our research is investigating abstraction of computational theories for scheduling and resource allocation. These theories are represented in a variant of first order predicate calculus, parameterized multisorted logic, that facilitates specification of large problems. A particular problem is conceptually stated as a set of ground sentences that are consistent with a quantified theory. We are mainly investigating the automated generation of aggregation abstractions and approximations in which detailed resource allocation constraints are replaced by constraints between aggregate demand and capacity. We are also investigating the interaction of aggregation abstractions with the more thoroughly investigated abstractions of weakening operator preconditions. The purpose of the theories for aggregated demand/capacity is threefold: first, to answer queries about aggregate properties, such as gross feasibility; second, to reduce computational costs by using the solution of aggregate problems to guide the solution of detailed problems; and third, to facilitate reformulating theories to approximate problems for which there are efficient problem solving methods. We also describe novel methods for exploiting aggregation abstractions.

Linden, Theodore A.↗

Modeling the Dynamics of Ensemble-Averaged Linear Disturbances in Homogeneous Shear Flow

In order to expand the predictive capability of single-point turbulence closure models to account for the early-stage transition regime, a methodology for the formulation and calibration of model equations for the ensemble-averaged disturbance kinetic energy and energy dissipation rate is presented. The calibration is based on homogeneous shear flow where disturbances can be described by rapid distortion theory (RDT). The relationship between RDT and linear stability theory is exploited in order to obtain a closed set of modeled equations. The linear disturbance equations are solved directly so that the numerical simulation yields a database from which the closure coefficients in the ensemble-averaged disturbance equations can be determined. Key words: transition/turbulence modeling, homogeneous shear, rapid distortion theory.

Thacker, W. D.↗

Introduction to SIMRAND: Simulation of research and development project

SIMRAND: SIMulation of Research ANd Development Projects is a methodology developed to aid the engineering and management decision process in the selection of the optimal set of systems or tasks to be funded on a research and development project. A project may have a set of systems or tasks under consideration for which the total cost exceeds the allocated budget. Other factors such as personnel and facilities may also enter as constraints. Thus the project's management must select, from among the complete set of systems or tasks under consideration, a partial set that satisfies all project constraints. The SIMRAND methodology uses analytical techniques and probability theory, decision analysis of management science, and computer simulation, in the selection of this optimal partial set. The SIMRAND methodology is truly a management tool. It initially specifies the information that must be generated by the engineers, thus providing information for the management direction of the engineers, and it ranks the alternatives according to the preferences of the decision makers.

Miles, R. F., Jr.↗

Nonlinear Aeroelastic Analysis of the HIAD TPS Coupon in the NASA 8' High Temperature Tunnel: Theory and Experiment

The purpose of this work is to develop a set of theoretical and experimental techniques to characterize the aeroelasticity of the thermal protection system (TPS) on the NASA Hypersonic Inflatable Aerodynamic Decelerator (HIAD). A square TPS coupon experiences trailing edge oscillatory behavior during experimental testing in the 8' High Temperature Tunnel (HTT), which may indicate the presence of aeroelastic flutter. Several theoretical aeroelastic models have been developed, each corresponding to a different experimental test configuration. Von Karman large deflection theory is used for the plate-like components of the TPS, along with piston theory for the aerodynamics. The constraints between the individual TPS layers and the presence of a unidirectional foundation at the back of the coupon are included by developing the necessary energy expressions and using the Rayleigh Ritz method to derive the nonlinear equations of motion. Free vibrations and limit cycle oscillations are computed and the frequencies and amplitudes are compared with accelerometer and photogrammetry data from the experiments.

Benjamin D. Goldman↗

Advances in Modeling Solar System Internet Structures and their Data Flows

With an ever-increasing presence in space, there is also an increasing burden on existing communications infrastructure. We are heading towards an inflection point where the traditional approach of scheduled, single-path communications for space will no longer be viable. One answer is Delay Tolerant Networking (DTN), which takes the once disparate system of point-to-point links and unifies them in a networked architecture, thereby making communications more scalable. However, much work remains for discovering and harnessing the underlying theory of DTN. For example, in the terrestrial setting the interplay between routing domains is well-understood, however this is not the case in DTNs. In this paper, we build up the fundamental foundations of DTN, with an emphasis on modeling time varying networks and data flows across them, with examples of cross-domain routing in a DTN. A lofty goal of DTN is to enable the so-called Solar System Internet (SSI), which implies a standardized and robust suite of protocols. These protocols include routing across disconnected networks using store, carry, and forward mechanisms, which is necessary due to the disconnections, delays, and mobility intrinsic to space networks. Due to these factors, each of which generalize traditional networking, there is a deep and rich theory of DTNs. Here we build off of past successes to broaden this theory while striving to keep actionable results a goal for future implementations and operations. The approach includes modeling the unicast, broadcast, and multicast communications using the language of hypergraphs, which capture the geometric properties of such networked communications algebraically. Also inherent to these networks is their time-varying nature, particularly given mobility, and hence we also cultivate modeling techniques that respect this time dependence. This leads us to develop models using tools from category theory and algebraic geometry, which provide a language well-suited to describing synchronization and optimization over such networks. We also introduce and study a novel generalization of curvature applicable to time-evolving networks, which provides quantitative controls on diffusion processes on the network. Because an interplanetary network would feature links with propagation delays the preclude discovery (feedback) mechanisms, they will always feature a scheduled component. However, it is beneficial to support discovery where possible. While DTNs do not yet have strong definitions for their analogues of autonomous systems or network areas, we show how to join dynamic and schedule-based routing domains, using the language of sheaves, which marks progress towards such definitions. We conclude with a discussion of the progress made, as well as suggestions for future work.

Delay Tolerant Networking↗

Generation and exploration of aggregation abstractions for scheduling and resource allocation

This paper presents research on the abstraction of computational theories for scheduling and resource allocation. The paper describes both theory and methods for the automated generation of aggregation abstractions and approximations in which detailed resource allocation constraints are replaced by constraints between aggregate demand and capacity. The interaction of aggregation abstraction generation with the more thoroughly investigated abstractions of weakening operator preconditions is briefly discussed. The purpose of generating abstract theories for aggregated demand and resources includes: answering queries about aggregate properties, such as gross feasibility; reducing computational costs by using the solution of aggregate problems to guide the solution of detailed problems; facilitating reformulating theories to approximate problems for which there are efficient problem-solving methods; and reducing computational costs of scheduling by providing more opportunities for variable and value-ordering heuristics to be effective. Experiments are being developed to characterize the properties of aggregations that make them cost effective. Both abstract and concrete theories are represented in a variant of first-order predicate calculus, which is a parameterized multi-sorted logic that facilitates specification of large problems. A particular problem is conceptually represented as a set of ground sentences that is consistent with a quantified theory.

Lowry, Michael R.↗

The Effect of Set Size on the Relation Between Saccadic and Perceptual Decisions During Search

We have shown that when searching for a disk in noise at one of 10 locations, the accuracy of the I st saccade is similar to that of the perceptual decision at the time of saccadic programming. The present study has two goals: 1) to test whether this linden - extends to a contrast-discrimination task without noise, and 2) to measure the effect of set size on the relation between saccadic and perceptual decisions. Methods: Three observers searched over a grey background (34.5 cd/sq m) for a bright disk (63.2 cd/sq m) among dim disks (54.1 cd/sq m) along the circumference of a circle (r = 5.9 deg.) centered on a fixation cress. Four set sizes (2, 4, 6, 12) were used. In the 1st condition, stimuli were presented for 1 sec. and observers used natural eye movements. We then measured the accuracy of the first saccade (% correct using a shortest-distance criterion). In the 2nd condition, observers fixated a central cross at all times and the stimulus duration was approx. 70 as less than the median latency of the first saccade in the 1st condition (saccadic programming time). We then recorded perceptual performance and discarded trials in which observers broke fixation. Results: For set sizes of 2, 4, 8, and 12, the mean d' across observers for the perceptual decision was 2.03, 1.96, 1.94, 1.71, respectively, while the mean d' of the first saccade was only 0.73, 1.40, 1.23, 1.17. Conclusions: Unlike detection of a disk in noise, for all observers and set-sizes, the perceptual accuracy at the time of saccadic programming is better than that of the lst saccade. For set-sizes of 4, 6, and 12, the amount of information available to the perceptual system relative to that available to the saccadic system is approximately constant (fixed do ratio). For these higher set sizes, the constancy in do across set size for both perception and saccadic decisions is consistent with a simple signal detection theory (SDT) model that processes noisy signals in parallel. However, for 2 observers, at a set-size of 2, saccadic targeting appears to be worse than the SDT model prediction, perhaps due to speed-accuracy trade-off.

Eckstein, M. P.↗

Relation between Hertz Stress-Life Exponent, Ball-Race Conformity, and Ball Bearing Life

ANSI/ABMA and ISO standards based on Lundberg-Palmgren bearing life theory are normalized for ball bearings having inner- and outer-race conformities of 52 percent (0.52) and made from pre-1940 bearing steel. The Lundberg-Palmgren theory incorporates an inverse 9th power relation between Hertz stress and fatigue life for ball bearings. The effect of race conformity on ball set life independent of race life is not incorporated into the Lundberg-Palmgren theory. In addition, post-1960 vacuum-processed bearing steel exhibits a 12th power relation between Hertz stress and life. The work reported extends the previous work of Zaretsky, Poplawski, and Root to calculate changes in bearing life, that includes the life of the ball set, caused by race conformity, Hertz stress-life exponent, ball bearing type and bearing series. The bearing fatigue life in actual application will usually be equal to or greater than that calculated using the ANSI/ABMA and ISO standards that incorporate the Lundberg-Palmgren theory. The relative fatigue life of an individual race is more sensitive to changes in race conformity for Hertz stress-life exponent n of 12 than where n = 9. However, when the effects are combined to predict actual bearing life for a specified set of conditions and bearing geometry, the predicted life of the bearing will be greater for a value of n = 12 than n = 9.

Zaretsky, Erwin V.↗

Relation Between Hertz Stress-Life Exponent, Ball-Race Conformity, and Ball Bearing Life

ANSI/ABMA and ISO standards based on Lundberg-Palmgren bearing life theory are normalized for ball bearings having inner- and outerrace conformities of 52 percent (0.52) and made from pre-1940 bearing steel. The Lundberg-Palmgren theory incorporates an inverse 9th power relation between Hertz stress and fatigue life for ball bearings. The effect of race conformity on ball set life independent of race life is not incorporated into the Lundberg-Palmgren theory. In addition, post-1960 vacuum-processed bearing steel exhibits a 12th power relation between Hertz stress and life. The work reported extends the previous work of Zaretsky, Poplawski, and Root to calculate changes in bearing life--that includes the life of the ball set--caused by race conformity, Hertz stress-life exponent, ball bearing type and bearing series. The bearing fatigue life in actual application will usually be equal to or greater than that calculated using the ANSI/ABMA and ISO standards that incorporate the Lundberg-Palmgren theory. The relative fatigue life of an individual race is more sensitive to changes in race conformity for Hertz stress-life exponent n of 12 than where n = 9. However, when the effects are combined to predict actual bearing life for a specified set of conditions and bearing geometry, the predicted life of the bearing will be greater for a value of n = 12 than n = 9.

Zaretsky, Erwin V.↗

Existence of frozen-in coordinate systems

The 'frozen-in' coordinate systems were first introduced in the works on 'reconnection' and 'magnetic barrier' theories (see review by M.l.Pudovkin and V.S.Semenov, Space Sci. Rev. 41,1 1985). The idea was to utilize the mathematical apparatus developed for 'general relativity' theory to simplify obtaining solutions to the ideal MHD equations set. Magnetic field (B), plasma velocity (v), and their vector product were used as coordinate vectors. But there exist no stationary solutions of ideal MHD set that satisfies the required boundary conditions at infinity (A.D.Chertkov, Solar Wind Seven Conf.,Pergamon Press,1992,165) having non-zero vector product of v and B where v and B originate from the same sphere. The existence of a solution is the hidden mine of the mentioned theories. The solution is constructed in the coordinate system, which is unknown and indeterminate before obtaining this solution. A substitution of the final solution must be done directly into the initial MHD set in order to check the method. One can demonstrate that 'solutions' of Petschek's problem, obtained by 'frozen-in' coordinate systems, does not satisfy just the 'frozen-in' equation, i.e. induction equation. It stems from the fact that Petschek's 're-connection' model, treated as a boundary problem, is over determined. This problem was incorrectly formulated.

Chertkov, A. D.↗

Optimal design of an unsupervised adaptive classifier with unknown priors

An adaptive detection scheme for M hypotheses was analyzed. It was assumed that the probability density function under each hypothesis was known, and that the prior probabilities of the M hypotheses were unknown and sequentially estimated. Each observation vector was classified using the current estimate of the prior probabilities. Using a set of nonlinear transformations, and applying stochastic approximation theory, an optimally converging adaptive detection and estimation scheme was designed. The optimality of the scheme lies in the fact that convergence to the true prior probabilities is ensured, and that the asymptotic error variance is minimum, for the class of nonlinear transformations considered. An expression for the asymptotic mean square error variance of the scheme was also obtained.

Kazakos, D.↗

A Kalman filter approach to adaptive estimation of multispectral signatures

The signatures of remote sensing data from agricultural crops exhibit significant non-stationarity, so that the performance of fixed parameter classifiers degenerates with time and distance from the initial training data. A class of adaptive decision-directed classifiers are being developed, based on Kalman filter theory. Limited results to date on two data sets indicate approximately a 25 to 40% reduction in rates of misclassification.

Crane, R. B.↗

Programming language for computations in the Interkosmos program

The programming system for Intercosmos data processing, based on the structural programming theory, which considers a program as an ordered set of standardized elementary parts, from which the user programs are automatically generated, is described. The programs are comprised of several modules, which are briefly summarized. The general structure of the programming system is presented in a block diagram. A programming control language developed to formulate the problem quickly and completely is presented along with basic symbols which are characteristic of the Intercosmos programming system.

Schmidt, K.↗

Analytical design of a high performance stability and control augmentation system for a hingeless rotor helicopter

A stability and control augmentation system (SCAS) was designed based on a set of comprehensive performance criteria. Linear optimal control theory was applied to determine appropriate feedback gains for the stability augmentation system (SAS). The helicopter was represented by six-degree-of-freedom rigid body equations of motion and constant factors were used as weightings for state and control variables. The ratio of these factors was employed as a parameter for SAS analysis and values of the feedback gains were selected on this basis to satisfy three of the performance criteria for full and partial state feedback systems. A least squares design method was then applied to determine control augmentation system (CAS) cross feed gains to satisfy the remaining seven performance criteria. The SCAS gains were then evaluated by nine degree-of-freedom equations which include flapping motion and conclusions drawn concerning the necessity of including the pitch/regressing and roll/regressing modes in SCAS analyses.

Miyajima, K.↗