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.

SourceResearch connectionFrom yearThrough year

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

At least 127 records · Page 7

All sources NASA NTRS DOE OSTI

NASA NTRS1990

Analytical learning and term-rewriting systems

Analytical learning is a set of machine learning techniques for revising the representation of a theory based on a small set of examples of that theory. When the representation of the theory is correct and complete but perhaps inefficient, an important objective of such analysis is to improve the computational efficiency of the representation. Several algorithms with this purpose have been suggested, most of which are closely tied to a first order logical language and are variants of goal regression, such as the familiar explanation based generalization (EBG) procedure. But because predicate calculus is a poor representation for some domains, these learning algorithms are extended to apply to other computational models. It is shown that the goal regression technique applies to a large family of programming languages, all based on a kind of term rewriting system. Included in this family are three language families of importance to artificial intelligence: logic programming, such as Prolog; lambda calculus, such as LISP; and combinatorial based languages, such as FP. A new analytical learning algorithm, AL-2, is exhibited that learns from success but is otherwise quite different from EBG. These results suggest that term rewriting systems are a good framework for analytical learning research in general, and that further research should be directed toward developing new techniques.

Laird, Philip↗

NASA NTRS1972

Electric dipole moment of diatomic molecules by configuration interaction. IV.

The theory of basis set dependence in configuration interaction calculations is discussed, taking into account a perturbation model which is valid for small changes in the self-consistent field orbitals. It is found that basis set corrections are essentially additive through first order. It is shown that an error found in a previously published dipole moment calculation by Green (1972) for the metastable first excited state of CO was indeed due to an inadequate basis set as claimed.

Green, S.↗

NASA NTRS1978

A model of human decisionmaking in a fault diagnosis task

Utilizing elementary concepts from the theory of fuzzy sets as well as several nonfuzzy heuristics, a model is presented of human decisionmaking in the task of troubleshooting graphically displayed networks. The performance of the model is compared to the results of two previously reported experimental studies. The ability of the model to represent human decisionmaking as a function of network size, forced-pacing, and computer aiding is considered.

Rouse, W. B.↗

NASA NTRS1986

Application of multiple objective optimization techniques to finite element model tuning

This report examines tuning a finite element model using vector optimization techniques. Structural models using finite element theory often need to be adjusted so they can accurately simulate the real structure. The goal is to tune the model such that it will reproduce data derived from structural tests. First, the performance indices are extremized using multiple objective optimization theory, producing a set of possible solutions. Next, the solutions are rank ordered according to a decision maker's preferences to select the best answer. The tuning process was applied to a T-38 horizontal stabilizer. Numerous weighted solutions contained a best static deformation model, a best frequency model and three intermediate combinations of these two models. This automated procedure proved to be a versatile method capable of producing solutions for many types of tuning problems.

Devore, Charles R.↗

NASA NTRS1988

Creep rupture analysis of a beam resting on high temperature foundation

A simplified uniaxial strain controlled creep damage law is deduced with the use of experimental observation from a more complex strain dependent law. This creep damage law correlates the creep damage, which is interpreted as the density variation in the material, directly with the accumulated creep strain. Based on the deduced uniaxial strain controlled creep damage law, a continuum mechanical creep rupture analysis is carried out for a beam resting on a high temperature elastic (Winkler) foundation. The analysis includes the determination of the nondimensional time for initial rupture, the propagation of the rupture front with the associated thinning of the beam, and the influence of creep damage on the deflection of the beam. Creep damage starts accumulating in the beam as soon as the load is applied, and a creep rupture front develops at and propagates from the point at which the creep damage first reaches its critical value. By introducing a series of fundamental assumptions within the framework of technical Euler-Bernoulli type beam theory, a governing set of integro-differential equations is derived in terms of the nondimensional bending moment and the deflection. These governing equations are subjected to a set of interface conditions at the propagating rupture front. A numerical technique is developed to solve the governing equations together with the interface equations, and the computed results are presented and discussed in detail.

Gu, Randy J.↗

NASA NTRS1989

Transient hot-film sensor response in a shock tube

Shock tube experiments were performed to determine the response of a hot-film sensor, mounted flush on the side wall of a shock tube, to unsteady flow behind a normal shock wave. The present experiments attempt to isolate the response of the anemometer due only to the change in convective heat transfer at the hot-film surface. The experiments, performed at low supersonic shock speeds in air, are described along with the data acquisition procedure. The change in convective heat transfer is deduced from the data and the results are compared with those from transient boundary layer theory and another set of experimental results. Finally, a transient local heat transfer coefficient is formulated for use as the forcing function in a hot-film sensor instrument model simulation.

Roberts, A. S., Jr.↗

NASA NTRS1988

The C4H7+ cation. A theoretical investigation

The potential energy surface of the C4H7+ cation has been investigated with ab initio quantum chemical theory. Extended basis set calculations, including electronic correlation, show that cyclobutyl and cyclopropylcarbinyl cation are equally stable isomers. The saddle point connecting these isomers lies 0.6 kcal/mol above the minima. The global C4H7+ minimum corresponds to the 1-methylallyl cation, which is 9.0 kcal/mol more stable than the cyclobutyl and the cyclopropylcarbinyl cation and 9.5 kcal/mol below the 2-methylallyl cation. These results are in excellent agreement with experimental data.

NASA Discipline Number 52-10↗

NASA NTRS2021

Identifying Molecules as Biosignatures with Assembly Theory and Mass Spectrometry

The search for evidence of life elsewhere in the universe is hard because it is not obvious what signatures are unique to life. Here we postulate that complex molecules found in high abundance are universal biosignatures as they cannot form by chance. To explore this, we developed the first intrinsic measure of molecular complexity that can be experimentally determined, and this is based upon a new approach called assembly theory which gives the molecular assembly number (MA) of a given molecule. MA allows us to compare the intrinsic complexity of molecules using the minimum number of steps required to construct the molecular graph starting from basic objects, and a probabilistic model shows how the probability of any given molecule forming randomly drops dramatically as its MA increases. To map chemical space, we calculated the MA of ca. 2.5 million compounds, and collected data which showed the complexity of a molecule can be experimentally determined by using three independent techniques including infra-red spectroscopy, nuclear magnetic resonance, and by fragmentation in a mass spectrometer, and this data has an excellent corelation with the values predicted from our assembly theory. We then set out to see if this approach could allow us to identify molecular biosignatures with a set of diverse samples from around the world, outer space, and the laboratory including prebiotic soups. The results show that there is a non-living to living threshold in MA complexity and the higher the MA for a given molecule, the more likely that it had to be produced by a biological process. This work demonstrates it is possible to use this approach to build a life detection instrument that could be deployed on missions to extra-terrestrial locations to detect biosignatures, map the extent of life on Earth, and be used as a molecular complexity scale to quantify the constraints needed to direct prebiotically plausible processes in the laboratory. Such an approach is vital if we are going to find new life elsewhere in the universe or create de-novo life in the lab.

Stuart M Marshall↗

NASA NTRS2007

Theory of the Lattice Boltzmann Equation: Symmetry properties of Discrete Velocity Sets

In the lattice Boltzmann equation, continuous particle velocity space is replaced by a finite dimensional discrete set. The number of linearly independent velocity moments in a lattice Boltzmann model cannot exceed the number of discrete velocities. Thus, finite dimensionality introduces linear dependencies among the moments that do not exist in the exact continuous theory. Given a discrete velocity set, it is important to know to exactly what order moments are free of these dependencies. Elementary group theory is applied to the solution of this problem. It is found that by decomposing the velocity set into subsets that transform among themselves under an appropriate symmetry group, it becomes relatively straightforward to assess the behavior of moments in the theory. The construction of some standard two- and three-dimensional models is reviewed from this viewpoint, and procedures for constructing some new higher dimensional models are suggested.

Rubinstein, Robert↗

NASA NTRS1989

Modal interaction in postbuckled plates. Theory

Plates can have more than one buckled solution for a fixed set of boundary conditions. The theory for the identification and the computation of multiple solutions in buckled plates is examined. The theory predicts modal interaction (which is also called change in buckle pattern or secondary buckling) in experiments on certain plates with multiple theoretical solutions. A set of coordinate functions is defined for Galerkin's method so that the von Karman plate equations are reduced to a coupled set of cubic equations in generalized coordinates that are uncoupled in the linear terms. An iterative procedure for solving modal interaction problems is suggested based on this cubic form.

Thurston, Gaylen A.↗

NASA NTRS1994

Fundamental and harmonic radiation in type III solar radio bursts

Type III solar radio bursts are investigated by modeling the propagation of the electron beam and the generation and subsequent propagation of waves to the observer. Predictions from this model are compared in detail with particle, Langmuir wave, and radio data from the International Sun Earth Explorer-3 (ISSE-3) spacecraft and with other observations to clarify the roles of fundamental and harmonic emission in type III radio bursts. Langmuir waves are seen only after the arrival of the beam, in accord with the standard theory. These waves persist after a positive beam slope is last resolved, implying that sporadic positive slopes persist for some time, unresolved but in accord with the predictions of stochastic growth theory. Local electromagnetic emission sets in only after Langmuir waves are seen, in accord with the standard theory, which relies on nonlinear processes involving Langmuir waves. In the events investigated here, fundamental radiation appears to dominate early in the event, followed and/or accompanied by harmonic radiation after the peak, with a long-lived tail of multiply scattered fundamental or harmonic emission extending long afterwards. These results are largely independent of, but generally consistent with, the conclusions of earlier works.

Robinson, P. A.↗

NASA NTRS1990

A spectrum model for weakly anisotropic turbulence

A simple model, parameterized by the Reynolds stress anisotropy, is proposed for the spectrum of weakly anisotropic turbulence. It contains a model constant that affects its region of realizability. This spectrum model is used to derive a one-point closure to the rapid pressure-strain term. The derived pressure-strain model is linear in the Reynolds stress anisotropy and is of the same form as the closure model of Launder et al. (1975). The spectrum model becomes unrealizable in some regions of wave space for sufficiently large anisotropy of the Reynolds stress, and this is used to infer the region of validity of the linear closure model. It is found that the extent of the valid region is very small when the model constant is set to match rapid distortion theory, and largest for a model-constant set close to the value suggested by LRR. However, even the largest valid domain does not extend very far from isotropy, suggesting inherent weakness in the linear pressure-strain models.

Shih, Tsan-Hsing↗

NASA NTRS1975

The geometric approach to sets of ordinary differential equations and Hamiltonian dynamics

The calculus of differential forms is used to discuss the local integration theory of a general set of autonomous first order ordinary differential equations. Geometrically, such a set is a vector field V in the space of dependent variables. Integration consists of seeking associated geometric structures invariant along V: scalar fields, forms, vectors, and integrals over subspaces. It is shown that to any field V can be associated a Hamiltonian structure of forms if, when dealing with an odd number of dependent variables, an arbitrary equation of constraint is also added. Families of integral invariants are an immediate consequence. Poisson brackets are isomorphic to Lie products of associated CT-generating vector fields. Hamilton's variational principle follows from the fact that the maximal regular integral manifolds of a closed set of forms must include the characteristics of the set.

Estabrook, F. B.↗

NASA NTRS1976

An analytical state transition matrix for an orbit perturbed by oblateness

A new analytical state transition matrix is presented. This transition matrix contains the two-body terms and the secular and short periodic terms due to the J2 oblateness perturbation. The matrix is derived from a satellite theory which uses a set of 8 canonical elements with the true anomaly as the independent variable. This theory was chosen because of its accuracy and concise formulation. It presents no problems concerning the accuracy of the mean motion, which is typical for classical satellite theories. Numerical experiments show the J2 transition matrix to be superior to the simple two-body matrix.

Mueller, A. C.↗

NASA NTRS1996

An ab initio benchmark study of the H + CO --> HCO reaction

The H + CO --> HCO reaction has been characterized with correlation consistent basis sets at five levels of theory in order to benchmark the sensitivities of the barrier height and reaction ergicity to the one-electron and n-electron expansions of the electronic wave function. Single and multireference methods are compared and contrasted. The coupled cluster method RCCSD(T) was found to be in very good agreement with Davidson-corrected internally-contracted multireference configuration interaction (MRCI+Q). Second-order Moller-Plesset perturbation theory (MP2) was also employed. The estimated complete basis set (CBS) limits for the barrier height (in kcal/mol) for the five methods, including harmonic zero-point energy corrections, are MP2, 4.66; RCCSD, 4.78; RCCSD(T), 4.15; MRCI, 5.10; and MRCI+Q, 4.07. Similarly, the estimated CBS limits for the ergicity of the reaction are: MP2, -17.99; RCCSD, -13.34; RCCSD(T), -13.79; MRCI, -11.46; and MRCI+Q, -13.70. Additional basis set explorations for the RCCSD(T) method demonstrate that aug-cc-pVTZ sets, even with some functions removed, are sufficient to reproduce the CBS limits to within 0.1-0.3 kcal/mol.

NASA Discipline Exobiology↗

NASA NTRS1997

Etch Profile Simulation Using Level Set Methods

Etching and deposition of materials are critical steps in semiconductor processing for device manufacturing. Both etching and deposition may have isotropic and anisotropic components, due to directional sputtering and redeposition of materials, for example. Previous attempts at modeling profile evolution have used so-called "string theory" to simulate the moving solid-gas interface between the semiconductor and the plasma. One complication of this method is that extensive de-looping schemes are required at the profile corners. We will present a 2D profile evolution simulation using level set theory to model the surface. (1) By embedding the location of the interface in a field variable, the need for de-looping schemes is eliminated and profile corners are more accurately modeled. This level set profile evolution model will calculate both isotropic and anisotropic etch and deposition rates of a substrate in low pressure (10s mTorr) plasmas, considering the incident ion energy angular distribution functions and neutral fluxes. We will present etching profiles of Si substrates in Ar/Cl2 discharges for various incident ion energies and trench geometries.

Hwang, Helen H.↗

NASA NTRS1992

A geometrically nonlinear theory of elastic plates

A set of kinematic and intrinsic equilibrium equations is derived for plates undergoing large deflection and rotation but with small strain. The large rotation is treated by the general finite rotation of a frame in which the material points that are originally along a normal line in the undeformed plate undergo only small displacements. Exact intrinsic virtual strain-displacement relations are derived; using a reduced 2-D strain energy function from which the warping has been systematically eliminated, a set of intrinsic equilibrium equations follows. It is demonstrated that only five equilibrium equations can be derived in this way, because the component of virtual rotation about the normal is not independent. These equations include terms which cannot be obtained without the use of a finite rotation vector which contains three nonzero components. These extra terms correspond to the difference of in-plane shear stress resultants in other theories.

Hodges, Dewey H.↗

NASA NTRS1992

Maximum likelihood techniques applied to quasi-elastic light scattering

There is a necessity of having an automatic procedure for reliable estimation of the quality of the measurement of particle size from QELS (Quasi-Elastic Light Scattering). Getting the measurement itself, before any error estimates can be made, is a problem because it is obtained by a very indirect measurement of a signal derived from the motion of particles in the system and requires the solution of an inverse problem. The eigenvalue structure of the transform that generates the signal is such that an arbitrarily small amount of noise can obliterate parts of any practical inversion spectrum. This project uses the Maximum Likelihood Estimation (MLE) as a framework to generate a theory and a functioning set of software to oversee the measurement process and extract the particle size information, while at the same time providing error estimates for those measurements. The theory involved verifying a correct form of the covariance matrix for the noise on the measurement and then estimating particle size parameters using a modified histogram approach.

Edwards, Robert V.↗