Search NASA⌕ Search

SEARCH · Search NASA

Results for “Symbolic regression”

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.

111 records · Page 7

Permutation-adapted complete and independent basis for atomic cluster expansion descriptors

Atomic cluster expansion (ACE) methods provide a systematic way to describe particle local environments of arbitrary body order. For practical applications it is often required that the basis of cluster functions be symmetrized with respect to rotations and permutations. Existing methodologies yield sets of symmetrized functions that are over-complete. These methodologies thus require an additional numerical procedure, such as singular value decomposition (SVD), to eliminate redundant functions. In this work, it is shown that analytical linear relationships for subsets of cluster functions may be derived using recursion and permutation properties of generalized Wigner symbols. From these relationships, subsets (blocks) of cluster functions can be selected such that, within each block, functions are guaranteed to be linearly independent. It is conjectured that this block-wise independent set of permutation-adapted rotation and permutation invariant (PA-RPI) functions forms a complete, independent basis for ACE. Along with the first analytical proofs of block-wise linear dependence of ACE cluster functions and other theoretical arguments, numerical results are offered to demonstrate this. The utility of the method is demonstrated in the development of an ACE interatomic potential for tantalum. Using the new basis functions in combination with Bayesian compressive sensing sparse regression, some high degree descriptors are observed to persist and help achieve high-accuracy models.

Angular momentum↗

Calibrating a 3-Axis Accelerometer Instrument with a Less Accurate Calibration Device Part 1: Mathematical Methodology

A three-axis accelerometer instrument (3xAI) can provide the angular attitude of a 3D object using the gravity vector (g) as the sole reference. Calibrating such an instrument requires placing it at known (to some accuracy plus uncertainty) angular articulations with respect to g. This paper will show a potential process for calibrating a 3xAI by using a 2-axis rotary system (calibration device) to provide these articulations. Any calibration device (CD) with such capacity will contain internal misalignments. These misalignments, even if made relatively small or approximated to zero in the kinematics model (KM), can be detrimental to the calibration of the instrument when high measurement accuracy is required. This is especially true if the selected set of articulations chosen for calibration do not include their symmetrical counterpoints (a point where the misalignment has equal magnitude but is opposite in direction to a point chosen). The consequence of not including the combination, point and counterpoint, for any misalignment involved in the calibration, results in a biased instrument. This paper will demonstrate a calibration of the instrument using symbolic math resulting in a closed-form solution of the instrument coefficients. The main objective is to show the impact of all the CD misalignments to the instrument coefficients. This process is the basis for a more sophisticated method (shown in a future paper) for obtaining the instrument coefficients while simultaneously obtaining an estimate of the calibration device internal misalignments.

Angle↗

A Change Impact Analysis to Characterize Evolving Program Behaviors

Change impact analysis techniques estimate the potential effects of changes made to software. Directed Incremental Symbolic Execution (DiSE) is an intraprocedural technique for characterizing the impact of software changes on program behaviors. DiSE first estimates the impact of the changes on the source code using program slicing techniques, and then uses the impact sets to guide symbolic execution to generate path conditions that characterize impacted program behaviors. DiSE, however, cannot reason about the flow of impact between methods and will fail to generate path conditions for certain impacted program behaviors. In this work, we present iDiSE, an extension to DiSE that performs an interprocedural analysis. iDiSE combines static and dynamic calling context information to efficiently generate impacted program behaviors across calling contexts. Information about impacted program behaviors is useful for testing, verification, and debugging of evolving programs. We present a case-study of our implementation of the iDiSE algorithm to demonstrate its efficiency at computing impacted program behaviors. Traditional notions of coverage are insufficient for characterizing the testing efforts used to validate evolving program behaviors because they do not take into account the impact of changes to the code. In this work we present novel definitions of impacted coverage metrics that are useful for evaluating the testing effort required to test evolving programs. We then describe how the notions of impacted coverage can be used to configure techniques such as DiSE and iDiSE in order to support regression testing related tasks. We also discuss how DiSE and iDiSE can be configured for debugging finding the root cause of errors introduced by changes made to the code. In our empirical evaluation we demonstrate that the configurations of DiSE and iDiSE can be used to support various software maintenance tasks

Rungta, Neha Shyam↗