Search NASA⌕ Search

SEARCH · Search NASA

Results for “Automatic differentiation”

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 145 records · Page 8

Application of symbolic computations to the constitutive modeling of structural materials

In applications involving elevated temperatures, the derivation of mathematical expressions (constitutive equations) describing the material behavior can be quite time consuming, involved and error-prone. Therefore intelligent application of symbolic systems to faciliate this tedious process can be of significant benefit. Presented here is a problem oriented, self contained symbolic expert system, named SDICE, which is capable of efficiently deriving potential based constitutive models in analytical form. This package, running under DOE MACSYMA, has the following features: (1) potential differentiation (chain rule), (2) tensor computations (utilizing index notation) including both algebraic and calculus; (3) efficient solution of sparse systems of equations; (4) automatic expression substitution and simplification; (5) back substitution of invariant and tensorial relations; (6) the ability to form the Jacobian and Hessian matrix; and (7) a relational data base. Limited aspects of invariant theory were also incorporated into SDICE due to the utilization of potentials as a starting point and the desire for these potentials to be frame invariant (objective). The uniqueness of SDICE resides in its ability to manipulate expressions in a general yet pre-defined order and simplify expressions so as to limit expression growth. Results are displayed, when applicable, utilizing index notation. SDICE was designed to aid and complement the human constitutive model developer. A number of examples are utilized to illustrate the various features contained within SDICE. It is expected that this symbolic package can and will provide a significant incentive to the development of new constitutive theories.

Arnold, Steven M.↗

Edge detection applied to SST fields

An algorithm designed to detect fronts automatically in satellite-derived sea-surface temperature (SST) fields is presented. The algorithm is operated at different levels to detect and differentiate between false and true edges. For purposes of comparison, the algorithm is applied to a test set of 98 SST images to detect the northern edge of the Gulf Stream. The algorithm successfully detected valid temperature fronts and ignored false edges, and also produced statistics about the temperature fronts that are useful in the subsequent analysis of these fronts. It is assumed that the algorithm performs equally well on other SST fronts such as those associated with rings, the subtropical convergence, or the shelf/slope fronts.

Cayula, Jean-Francois↗

A two-dimensional air-to-air combat game - Toward an air-combat advisory system

Air-to-air combat is modeled as a discrete differential game, and by constraining the game to searching for the best guidance laws from the sets of those considered for each opponent, feedback and outcome charts are obtained which can be used to turn one of the automatic opponents into an intelligent opponent against a human pilot. A one-on-one two-dimensional fully automatic, or manned versus automatic, air-to-air combat game has been designed which includes both attack and evasion alternatives for both aircraft. Guidance law selection occurs by flooding the initial-condition space with four simulated fights for each initial condition, depicting the various attack/evasion strategies for the two opponents, and recording the outcomes. For each initial condition, the minimax method from differential games is employed to determine the best choice from the available strategies.

Neuman, Frank↗

COMOC: Thermal analysis variant. User's manual

The Thermal Analysis Variant of the COMOC (computational continuum mechanics) computer system solves problems involving transient heat conduction and convection in stationary continua spanning arbitrarily irregular two-dimensional and axisymmetric solution domains. COMOC is based upon a finite element solution algorithm for the energy equation, and solves for the transient nodal temperature distribution using a highly stable and automatic explicit integration procedure. COMOC is extensively user-oriented, requires minimal input, and no a priori knowledge concerning the stability character of the differential equation system. It can readily output computed data in user-specified format fields, that geometrically resemble the solution domain discretization (for rapid engineering evaluation). Complete information is provided for applying COMOC to a specific problem.

Bauer, A. M.↗

A solid state crossbar switch for automatic analog computer patching

An all-electronic crossbar switch consisting of FET series-shunt switches inside the feedback loops of operational amplifiers was designed and constructed. Time-shared solution of five different differential equations was obtained by using four integrators on ASTRAC 2, with a new solution being generated 250 times per second.

Yagi, A.↗

Airplane automatic control force trimming device for asymmetric engine failures

The difference in dynamic pressure in the propeller slipstreams as measured by sensors is divided by the freestream dynamic pressure generating a quantity proportional to the differential thrust coefficient. This quantity is used to command an electric trim motor to change the position of trim tab thereby retrimming the airplane to the new asymmetric power condition. The change in position of the trim tab produced by the electric trim motor is summed with the pilot's input to produce the actual trim tab position.

Stewart, Eric C.↗

System monitoring and diagnosis with qualitative models

A substantial foundation of tools for model-based reasoning with incomplete knowledge was developed: QSIM (a qualitative simulation program) and its extensions for qualitative simulation; Q2, Q3 and their successors for quantitative reasoning on a qualitative framework; and the CC (component-connection) and QPC (Qualitative Process Theory) model compilers for building QSIM QDE (qualitative differential equation) models starting from different ontological assumptions. Other model-compilers for QDE's, e.g., using bond graphs or compartmental models, have been developed elsewhere. These model-building tools will support automatic construction of qualitative models from physical specifications, and further research into selection of appropriate modeling viewpoints. For monitoring and diagnosis, plausible hypotheses are unified against observations to strengthen or refute the predicted behaviors. In MIMIC (Model Integration via Mesh Interpolation Coefficients), multiple hypothesized models of the system are tracked in parallel in order to reduce the 'missing model' problem. Each model begins as a qualitative model, and is unified with a priori quantitative knowledge and with the stream of incoming observational data. When the model/data unification yields a contradiction, the model is refuted. When there is no contradiction, the predictions of the model are progressively strengthened, for use in procedure planning and differential diagnosis. Only under a qualitative level of description can a finite set of models guarantee the complete coverage necessary for this performance. The results of this research are presented in several publications. Abstracts of these published papers are presented along with abtracts of papers representing work that was synergistic with the NASA grant but funded otherwise. These 28 papers include but are not limited to: 'Combined qualitative and numerical simulation with Q3'; 'Comparative analysis and qualitative integral representations'; 'Model-based monitoring of dynamic systems'; 'Numerical behavior envelopes for qualitative models'; 'Higher-order derivative constraints in qualitative simulation'; and 'Non-intersection of trajectories in qualitative phase space: a global constraint for qualitative simulation.'

Kuipers, Benjamin↗

Morphology and types of particles of regolith sample from the Sea of Fertility

A brief description of the morphology of lunar surface material returned by Luna 16 automatic lunar station is given. Adhesiveness of the surface material and its ability to be electrified is noted. Two main genetic groups of regolith particles are differentiated: primary, represented mainly by fragments of magmatic rocks of the basalt and gabbro types, as well as mineralized grains of their constituent minerals, and secondary, particles subjected to appreciable exogenic transformation on the surface of the Moon. The second group, representing more than 70 percent of the material in coarse fractions, includes particles of breccias, sintered aggregates of complex dendritic form, and glass and vitrified particles of varied composition.

Florenskiy, K. P.↗

Nonlinear control of aircraft

Transformations of nonlinear systems were used to design automatic flight controllers for vertical and short takeoff aircraft. Under the assumption that a nonlinear system can be mapped to a controllable linear system, a method using partial differential equations was constructed to approximate transformations in cases where exact ones cannot be found. An application of the design theory to a rotorcraft, the UH-1H helicopter, was presented.

Hunt, L. R.↗

Grid generation in three dimensions by Poisson equations with control of cell size and skewness at boundary surfaces

An algorithm for generating computational grids about arbitrary three-dimensional bodies is developed. The elliptic partial differential equation (PDE) approach developed by Steger and Sorenson and used in the NASA computer program GRAPE is extended from two to three dimensions. Forcing functions which are found automatically by the algorithm give the user the ability to control mesh cell size and skewness at boundary surfaces. This algorithm, as is typical of PDE grid generators, gives smooth grid lines and spacing in the interior of the grid. The method is applied to a rectilinear wind-tunnel case and to two body shapes in spherical coordinates.

Sorenson, R. L.↗

Left ventricular endocardial surface detection based on real-time 3D echocardiographic data

OBJECTIVE: A new computerized semi-automatic method for left ventricular (LV) chamber segmentation is presented. METHODS: The LV is imaged by real-time three-dimensional echocardiography (RT3DE). The surface detection model, based on level set techniques, is applied to RT3DE data for image analysis. The modified level set partial differential equation we use is solved by applying numerical methods for conservation laws. The initial conditions are manually established on some slices of the entire volume. The solution obtained for each slice is a contour line corresponding with the boundary between LV cavity and LV endocardium. RESULTS: The mathematical model has been applied to sequences of frames of human hearts (volume range: 34-109 ml) imaged by 2D and reconstructed off-line and RT3DE data. Volume estimation obtained by this new semi-automatic method shows an excellent correlation with those obtained by manual tracing (r = 0.992). Dynamic change of LV volume during the cardiac cycle is also obtained. CONCLUSION: The volume estimation method is accurate; edge based segmentation, image completion and volume reconstruction can be accomplished. The visualization technique also allows to navigate into the reconstructed volume and to display any section of the volume.

Non-NASA Center↗

Recent research related to prediction of stall/spin characteristics of fighter aircraft

The NASA Langley Research Center is currently engaged in a stall/spin research program to provide the fundamental information and design guidelines required to predict the stall/spin characteristics of fighter aircraft. The prediction methods under study include theoretical spin prediction techniques and piloted simulation studies. The paper discusses the overall status of theoretical techniques including: (1) input data requirements, (2) math model requirements, and (3) correlation between theoretical and experimental results. The Langley Differential Maneuvering Simulator (DMS) facility has been used to evaluate the spin susceptibility of several current fighters during typical air combat maneuvers and to develop and evaluate the effectiveness of automatic departure/spin prevention concepts. The evaluation procedure is described and some of the more significant results of the studies are presented.

Nguyen, L. T.↗

Laboratory Methods for the Measurement of Pollutants in Water and Waste Effluents

The requirement for accurate, precise, and rapid analytical procedures for the examination of water and waste samples requires the use of a variety of instruments. The instrumentation in water laboratories includes atomic absorption, UV-visible. and infrared spectrophotometers, automatic colorimetric analyzers, gas chromatographs and mass spectrometers. Because of the emphasis on regulatory action, attention is being directed toward quality control of analytical results. Among the challenging problems are the differentiation of metallic species in water at nanogram concentrations, rapid measurement of free cyanide and free ammonia, more sensitive methods for arsenic and selenium and improved characterization of organic contaminants.

Ballinger, Dwight G.↗

An Analysis of an Automatic Coolant Bypass in the International Space Station Node 2 Internal Active Thermal Control System

A challenging part of International Space Station (ISS) thermal control design is the ability to incorporate design changes into an integrated system without negatively impacting performance. The challenge presents itself in that the typical ISS Internal Active Thermal Control System (IATCS) consists of an integrated hardware/software system that provides active coolant resources to a variety of users. Software algorithms control the IATCS to specific temperatures, flow rates, and pressure differentials in order to meet the user-defined requirements. What may seem to be small design changes imposed on the system may in fact result in system instability or the temporary inability to meet user requirements. The purpose of this paper is to provide a brief description of the solution process and analyses used to implement one such design change that required the incorporation of an automatic coolant bypass in the ISS Node 2 element.

Clanton, Stephen E.↗

Application of the method of integral relations to boundary layer flows over blunt bodies

Calculations of boundary layer flows past blunt bodies at angles of incidence are presented. Using the method of integral relations together with the method of lines, the full three-dimensional boundary layer equations are reduced to a system of first-order ordinary differential equations. The streamwise shear stress function and the cross-flow velocity component are represented as suitable functions of the streamwise velocity component. The role of the zone of dependence is automatically satisfied by the choice of differencing in the method of lines. Solutions correct to the second order are obtained in the positive shear region for flow over an ellipsoid at 30-deg incidence. The results are compared with corresponding finite difference solutions.

Modarress, D.↗

Eddy-Current Inspection Of Tab Seals On Beverage Cans

Eddy-current inspection system monitors tab seals on beverage cans. Device inspects all cans at usual production rate of 1,500 to 2,000 cans per minute. Automated inspection of all units replaces visual inspection by microscope aided by mass spectrometry. System detects defects in real time. Sealed cans on conveyor pass near one of two coils in differential eddy-current probe. Other coil in differential eddy-current probe positioned near stationary reference can on which tab seal is known to be of acceptable quality. Signal of certain magnitude at output of probe indicates defective can, automatically ejected from conveyor.

Bar-Cohen, Yoseph↗

Advanced theoretical and experimental studies in automatic control and information systems

A series of research projects is briefly summarized which includes investigations in the following areas: (1) mathematical programming problems for large system and infinite-dimensional spaces, (2) bounded-input bounded-output stability, (3) non-parametric approximations, and (4) differential games. A list of reports and papers which were published over the ten year period of research is included.

Desoer, C. A.↗

Noncontacting vibration transducer has constant sensitivity

Noncontacting transducer with constant sensitivity automatically measures the vibration amplitudes along the span of a vibrating structure of irregular contour. A system employing a feedback control positions the transducer at a constant height above the test surfaces. A differential transformer facilitates calibration and extends the amplitude range of the system.

Flagge, B.↗