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.

29 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS2012

Memoized Symbolic Execution

This paper introduces memoized symbolic execution (Memoise), a novel approach for more efficient application of forward symbolic execution, which is a well-studied technique for systematic exploration of program behaviors based on bounded execution paths. Our key insight is that application of symbolic execution often requires several successive runs of the technique on largely similar underlying problems, e.g., running it once to check a program to find a bug, fixing the bug, and running it again to check the modified program. Memoise introduces a trie-based data structure that stores the key elements of a run of symbolic execution. Maintenance of the trie during successive runs allows re-use of previously computed results of symbolic execution without the need for re-computing them as is traditionally done. Experiments using our prototype embodiment of Memoise show the benefits it holds in various standard scenarios of using symbolic execution, e.g., with iterative deepening of exploration depth, to perform regression analysis, or to enhance coverage.

Yang, Guowei↗
NASA NTRS1992

Fuzzy multiple linear regression: A computational approach

This paper presents a new computational approach for performing fuzzy regression. In contrast to Bardossy's approach, the new approach, while dealing with fuzzy variables, closely follows the conventional regression technique. In this approach, treatment of fuzzy input is more 'computational' than 'symbolic.' The following sections first outline the formulation of the new approach, then deal with the implementation and computational scheme, and this is followed by examples to illustrate the new procedure.

Juang, C. H.↗
NASA NTRS2014

Property Differencing for Incremental Checking

This paper introduces iProperty, a novel approach that facilitates incremental checking of programs based on a property di erencing technique. Speci cally, iProperty aims to reduce the cost of checking properties as they are initially developed and as they co-evolve with the program. The key novelty of iProperty is to compute the di erences between the new and old versions of expected properties to reduce the number and size of the properties that need to be checked during the initial development of the properties. Furthermore, property di erencing is used in synergy with program behavior di erencing techniques to optimize common regression scenarios, such as detecting regression errors or checking feature additions for conformance to new expected properties. Experimental results in the context of symbolic execution of Java programs annotated with properties written as assertions show the e ectiveness of iProperty in utilizing change information to enable more ecient checking.

Yang, Guowei↗
NASA NTRS2011

Directed Incremental Symbolic Execution

The last few years have seen a resurgence of interest in the use of symbolic execution -- a program analysis technique developed more than three decades ago to analyze program execution paths. Scaling symbolic execution and other path-sensitive analysis techniques to large systems remains challenging despite recent algorithmic and technological advances. An alternative to solving the problem of scalability is to reduce the scope of the analysis. One approach that is widely studied in the context of regression analysis is to analyze the differences between two related program versions. While such an approach is intuitive in theory, finding efficient and precise ways to identify program differences, and characterize their effects on how the program executes has proved challenging in practice. In this paper, we present Directed Incremental Symbolic Execution (DiSE), a novel technique for detecting and characterizing the effects of program changes. The novelty of DiSE is to combine the efficiencies of static analysis techniques to compute program difference information with the precision of symbolic execution to explore program execution paths and generate path conditions affected by the differences. DiSE is a complementary technique to other reduction or bounding techniques developed to improve symbolic execution. Furthermore, DiSE does not require analysis results to be carried forward as the software evolves -- only the source code for two related program versions is required. A case-study of our implementation of DiSE illustrates its effectiveness at detecting and characterizing the effects of program changes.

Person, Suzette↗
NASA NTRS1985

An experimental and analytical investigation of isolated rotor flap-lag stability in forward flight

For flap-lag stability of isolated rotors, experimental and analytical investigations are conducted in hover and forward flight on the adequacy of a linear quasi-steady aerodynamics theory with dynamic inflow. Forward flight effects on lag regressing mode are emphasized. Accordingly, a soft inplane hingeless rotor with three blades is tested at advance ratios as high as 0.55 and at shaft angles as high as 20 deg. The 1.62-m model rotor is untrimmed with an essentially unrestricted tilt of the tip path plane. By computerized symbolic manipulation, an analytical model is developed in substall to predict stability margins with mode indentification. It also predicts substall and stall regions to help explain the correlation between theory and data. The correlation shows both the strengths and weaknesses of the data and theory, and promotes further insights into areas in which further study is needed in substall and stall.

Gaonkar, Gopal H.↗
NASA NTRS1985

An experimental and analytical investigation of isolated rotor flap-lag stability in forward flight

For flap-lag stability of isolated rotors, experimental and analytical investigations are conducted in hover and forward flight on the adequacy of a linear quasisteady aerodynamics theory with dynamic inflow. Forward flight effects on lag regressing mode are emphasized. A soft inplane hingeless rotor with three blades is tested at advance ratios as high as 0.55 and at shaft angles as high as 20 degrees. In combination with lag natural frequencies, collective pitch settings and flap-lag coupling parameters, the data base comprises nearly 1200 test points (damping and frequency) in forward flight and 200 test points in hover. By computerized symbolic manipulations, an analytic model is developed in substall to predict stability margins with mode identification. It also predicts substall and stall regions to help explain the correlation between theory and data.

Gaonkar, G. H.↗
NASA NTRS1990

An experimental and analytical investigation of isolated rotor flap-lag stability in forward flight

The flap-lag stability of an isolated hingeless rotor is investigated, both experimentally and analytically, in hover and in forward flight. The effects of forward flight aerodynamics on regressing lead-lag mode stability are the focus of the investigation. The soft-inplane, three-bladed, isolated model rotor was operated untrimmed at advance ratios from hover to 0.55 and at shaft angles as high as 20 deg. The experimental data base includes forward flight damping data for two lead-lag natural frequencies, for three values of collective pitch, and for both zero and full-lag structural coupling. With the aid of computerized symbolic manipulation, a rigid-blade lag-flap model analysis was developed to calculate the Floquent eigenvalues and to identify the modes. Good correlation is shown for some cases, but other cases show large discrepancies between the theory and experiment.

Gaonkar, Gopal H.↗
NASA NTRS1987

Toward comparing experiment and theory for corroborative research on hingeless rotor stability in forward flight

For flap lag stability of isolated rotors, experimental and analytical investigations were conducted in hover and forward flight on the adequacy of a linear quasisteady aerodynamics theory with dynamic flow. Forward flight effects on lag regressing mode were emphasized. A soft inplane hingeless rotor with three blades was tested at advance ratios as high as 0.55 and at shaft angles as high as 20 deg. The 1.62 m model rotor was untrimmed with an essentially unrestricted tilt of the tip path plane. In combination with lag natural frequencies, collective pitch settings and flap lag coupling parameters, the data base comprises nearly 1200 test points (damping and frequency) in forward flight and 200 test points in hover. By computerized symbolic manipulation, a linear model was developed in substall to predict stability margins with mode identification. To help explain the correlation between theory and data it also predicted substall and stall regions of the rotor disk from equilibrium values. The correlation showed both the strengths and weaknesses of the theory in substall ((angle of attack) equal to or less than 12 deg).

Gaonkar, G.↗
NASA NTRS1986

Toward comparing experiment and theory for corroborative research on hingeless rotor stability in forward flight (an experimental and analytical investigation of isolated rotor-flap-lag stability in forward flight)

For flap-lag stability of isolated rotors, experimental and analytical investigations are conducted in hover and forward flight on the adequacy of a linear quasisteady aerodynamics theory with dynamic inflow. Forward flight effects on lag regressing mode are emphasized. Accordingly, a soft inplane hingeless rotor with three blades is tested at advance ratios as high as 0.55 and at shaft angles as high as 20 degrees. The 1.62 m model rotor is untrimmed with an essentially unrestricted tilt of the tip path plane. In combination with lag natural frequencies, collective pitch settings and flap-lag coupling parameters, the data base comprises nearly 1200 test points (damping and frequency) in forward flight and 200 test points in hover. By computerized symbolic manipulation, a linear analytical model is developed in substall to predict stability margins with mode identificaton. To help explain the correlation between theory and data it also predicts substall and stall regions of the rotor disk from equilibrium values. The correlation shows both the strengthts and weaknesses of the theory in substall.

Gaonkar, G.↗
NASA NTRS2020

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↗
NASA NTRS2012

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↗