Search NASA⌕ Search

SEARCH · Search NASA

Results for “Finite expression method”

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 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
NASA NTRS1978

Efficiency degradation due to tracking errors for point focusing solar collectors

An important parameter in the design of point focusing solar collectors is the intercept factor which is a measure of efficiency and of energy available for use in the receiver. Using statistical methods, an expression of the expected value of the intercept factor is derived for various configurations and control law implementations. The analysis assumes that a radially symmetric flux distribution (not necessarily Gaussian) is generated at the focal plane due to the sun's finite image and various reflector errors. The time-varying tracking errors are assumed to be uniformly distributed within the threshold limits and allows the expected value calculation.

Hughes, R. O.↗
NASA NTRS1973

Computational fracture mechanics

Numerical procedures for accurate determination of elastic stress intensity factors for the general two-dimensional crack problem are reviewed. The elastic perfectly plastic state of crack tip deformation is studied by a finite element procedure. Elastic-plastic fields in the immediate vicinity of a crack tip are determined numerically by finite element procedures based on asymptotic studies of crack tip singularities in plastic materials. The small-scale yielding problem is modeled, and expressions for crack tip opening displacement, shear singularity amplitude, and plastic zone extent are derived. A finite element solution to the large-scale yielding of a circumferentially cracked round tension bar is obtained. The three-dimensional aspects of flawed structures and numerical methods of treating them are studied. Ductile fracture mechanisms, in particular crack tip fracture on the microscale, are discussed.

Rice, J. R.↗
NASA NTRS1989

Sublaminate analysis of interlaminar fracture in composites. II - Applications

A validation of the sublaminate analysis method of Armanios and Rehfield (1989) is provided by comparison of the predictions with a quasi-three-dimensional finite-element analysis. A comparison of the total strain-energy release rate with a classical plate model is also provided. Closed-form expressions for the total strain-energy rate and the strain-energy release-rate components are developed. The sublaminate analysis developed is simple, and the results are generated using a desktop computer.

Armanios, Erian A.↗
NASA NTRS1989

Transonic viscous flow calculations for a turbine cascade with a two equation turbulence model

A numerical method for the study of steady, transonic, turbulent viscous flow through plane turbine cascades is presented. The governing equations are written in Favre-averaged form and closed with a first order model. The turbulent quantities are expressed according to a two-equation kappa-epsilon model where low Reynolds number and compressibility effects are included. The solution is obtained by using a pseudo-unsteady method with improved perturbation propagation properties. The equations are discretized in space by using a finite volume formulation. An explicit multistage dissipative Runge-Kutta algorithm is then used to advance the flow equations in the pseudo-time. First results of calculations compare fairly well with experimental data.

Boretti, A. A.↗
NASA NTRS2001

Micromechanics-Based Inelastic Finite Element Analysis Accomplished Via Seamless Integration of MAC/GMC

A critical issue in the micromechanics-based analysis of composite structures becomes the availability of a computationally efficient homogenization technique: one that is 1) Capable of handling the sophisticated, physically based, viscoelastoplastic constitutive and life models for each constituent; 2) Able to generate accurate displacement and stress fields at both the macro and the micro levels; 3) Compatible with the finite element method. The Generalized Method of Cells (GMC) developed by Paley and Aboudi is one such micromechanical model that has been shown to predict accurately the overall macro behavior of various types of composites given the required constituent properties. Specifically, the method provides "closed-form" expressions for the macroscopic composite response in terms of the properties, size, shape, distribution, and response of the individual constituents or phases that make up the material. Furthermore, expressions relating the internal stress and strain fields in the individual constituents in terms of the macroscopically applied stresses and strains are available through strain or stress concentration matrices. These expressions make possible the investigation of failure processes at the microscopic level at each step of an applied load history.

Arnold, Steven M.↗
NASA NTRS1972

Precomputed state dependent digital control of a nuclear rocket engine

A control method applicable to multiple-input multiple-output nonlinear time-invariant systems in which desired behavior can be expressed explicitly as a trajectory in system state space is developed. The precomputed state dependent control method is basically a synthesis technique in which a suboptimal control law is developed off-line, prior to system operation. This law is obtained by conducting searches at a finite number of points in state space, in the vicinity of some desired trajectory, to obtain a set of constant control vectors which tend to return the system to the desired trajectory. These vectors are used to evaluate the unknown coefficients in a control law having an assumed hyperellipsoidal form. The resulting coefficients constitute the heart of the controller and are used in the on-line computation of control vectors. Two examples of PSDC are given prior to the more detailed description of the NERVA control system development.

Johnson, M. R.↗
NASA NTRS1987

Aerodynamic sensitivities from subsonic, sonic and supersonic unsteady, nonplanar lifting-surface theory

The technique of implicit differentiation has been used in combination with linearized lifting-surface theory to derive analytical expressions for aerodynamic sensitivities (i.e., rates of change of lifting pressures with respect to general changes in aircraft geometry, including planform variations) for steady or oscillating planar or nonplanar lifting surfaces in subsonic, sonic, or supersonic flow. The geometric perturbation is defined in terms of a single variable, and the user need only provide simple expressions or similar means for defining the continuous or discontinuous global or local perturbation of interest. Example expressions are given for perturbations of the sweep, taper, and aspect ratio of a wing with trapezoidal semispan planform. In addition to direct computational use, the analytical method presented here should provide benchmark criteria for assessing the accuracy of aerodynamic sensitivities obtained by approximate methods such as finite geometry perturbation and differencing. The present process appears to be readily adaptable to more general surface-panel methods.

Yates, E. Carson, Jr.↗
NASA NTRS1992

Mutual coupling between parallel columns of periodic slots in a ground plane surrounded by dielectric slabs

Arrays of slots with arbitrary orientation in a conducting plane which are infinitely periodic in one dimension and finitely periodic in another dimension are considered. The perfect conducting plane extends infinitely and is bounded on each side by dielectric slabs of finite thickness and infinite extent. Single columns of slots are represented by equivalent magnetic scattering currents, which are solved for via the moment method. The mutual coupling (admittance) between slot columns in the presence of the stratified media is found by the array scanning method (ASM), which expresses the admittance as the average of the scan admittance of an artificially constructed doubly infinite array of slots over all real scan angles. The technique avoids the use of Sommerfeld integrals, but still gives rise to singularities at scan angles corresponding to the resonant excitation of surface waves. An analytical approximation is made to remove these surface wave singularities, thus making numerical implementation of the method practical. The method is quite general and may be extended to thin slot elements of arbitrary shape and orientation.

Skinner, J. P.↗
NASA NTRS2010

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗
NASA NTRS1976

Nonlinear effects in thermal stress analysis of a solid propellant rocket motor

Direct characterization procedures were used to determine the relaxation modulus as a function of time, temperature, and state of strain. Using the quasi-elastic method of linearviscoelasticity, these properties were employed in a finite element computer code to analyze a thick-walled, nonlinear viscoelastic cylinder in the state of plane strain bonded to a thin (but stiff) elastic casing and subjected to slow thermal cooling. The viscoelastic solution is then expressed as a sequence of elastic finite element solutions. The strain-dependent character of the relaxation modulus is included by replacing the single relaxation curve used in the linear viscoelastic theory by a family of relaxation functions obtained at various strain levels. These functions may be regarded as a collection of stress histories or responses to specific loads (in this case, step strains) with which the cooldown solution is made to agree by iterations on the modulus and strain level.

Francis, E. C.↗
NASA NTRS1991

FDTD modeling of thin impedance sheets

Thin sheets of resistive or dielectric material are commonly encountered in radar cross section calculations. Analysis of such sheets is simplified by using sheet impedances. It is shown that sheet impedances can be modeled easily and accurately using Finite Difference Time Domain (FDTD) methods. These sheets are characterized by a discontinuity in the tangential magnetic field on either side of the sheet but no discontinuity in tangential electric field. This continuity, or single valued behavior of the electric field, allows the sheet current to be expressed in terms of an impedance multiplying this electric field.

Luebbers, Raymond↗
NASA NTRS1987

Power flow as a complement to statistical energy analysis and finite element analysis

Present methods of analysis of the structural response and the structure-borne transmission of vibrational energy use either finite element (FE) techniques or statistical energy analysis (SEA) methods. The FE methods are a very useful tool at low frequencies where the number of resonances involved in the analysis is rather small. On the other hand SEA methods can predict with acceptable accuracy the response and energy transmission between coupled structures at relatively high frequencies where the structural modal density is high and a statistical approach is the appropriate solution. In the mid-frequency range, a relatively large number of resonances exist which make finite element method too costly. On the other hand SEA methods can only predict an average level form. In this mid-frequency range a possible alternative is to use power flow techniques, where the input and flow of vibrational energy to excited and coupled structural components can be expressed in terms of input and transfer mobilities. This power flow technique can be extended from low to high frequencies and this can be integrated with established FE models at low frequencies and SEA models at high frequencies to form a verification of the method. This method of structural analysis using power flo and mobility methods, and its integration with SEA and FE analysis is applied to the case of two thin beams joined together at right angles.

Cuschieri, J. M.↗
NASA NTRS2020

Model-Reference Adaptive Control of Distributed Lagrangian Infinite-Dimensional Systems Using Hamilton’s Principle

This paper presents a Hamilton's principle for distributed control of infinite-dimensional systems modeled by a distributed form of the Euler-Lagrange method. The distributed systems are governed by a system of linear partial differential equations in space and time. A generalized potential energy expression is developed that can capture most physical systems including those systems that have no spatial distribution. The Hamilton's principle is applied to derive distributed feedback control methods without resorting to the standard weak-form discretization approach to convert an infinite-dimensional systems to a finite-dimensional systems. It can be shown by the principle of least action that the distributed control synthesized by the Hamilton's principle is a minimum-norm control. A model-reference adaptive control framework is developed for distributed Lagrangian systems in the presence of uncertainty. The theory is demonstrated by an application of adaptive flutter suppression control of a flexible aircraft wing.

Nguyen, Nhan T.↗
NASA NTRS1975

Finite-element solution for a combined radiative-conductive analysis with mixed diffuse-specular surface characteristics

The finite-element method has been applied to solve a combined radiative-conductive heat transfer problem for a large space telescope similar to those used in orbiting satellites. The derivation of the underlying matrices and associated solution algorithm for a 2-D triangular element is presented in detail. The resulting expressions for this triangular element typify such an analysis, which yields constitutive matrices when the heat equation is cast in the matrix form. The relevant matrices include those pertaining to thermal conductance, internal heat generation, radiative exchanges, and all possible external thermal loadings. Emphasis is placed on the treatment of non-linear radiative interchange between surfaces in an enclosure having mixed diffuse-specular surface characteristics. Essential differences in governing equations describing these distinctive surface characteristics are identified. Concluding remarks are drawn from an example simulating a Cassegrainian space telescope.

Lee, H.-P.↗
NASA NTRS2000

Simulation of Aluminum Micro-mirrors for Space Applications at Cryogenic Temperatures

Closed form and finite element models are developed to predict the device response of aluminum electrostatic torsion micro-mirrors fabricated on silicon substrate for space applications at operating temperatures of 30K. Initially, closed form expressions for electrostatic pressure arid mechanical restoring torque are used to predict the pull-in and release voltages at room temperature. Subsequently, a detailed mechanical finite element model is developed to predict stresses and vertical beam deflection induced by the electrostatic and thermal loads. An incremental and iterative solution method is used in conjunction with the nonlinear finite element model and closed form electrostatic equations to solve. the coupled electro-thermo-mechanical problem. The simulation results are compared with experimental measurements at room temperature of fabricated micro-mirror devices.

Kuhn, J. L.↗
NASA NTRS1989

Crack-face displacements for embedded elliptic and semi-elliptical surface cracks

Analytical expressions for the crack-face displacements of an embedded elliptic crack in infinite solid subjected to arbitrary tractions are obtained. The tractions on the crack faces are assumed to be expressed in a polynomial form. These displacements expressions complete the exact solution of Vijayakumar and Atluri, and Nishioki and Atluri. For the special case of an embedded crack in an infinite solid subjected to uniform pressure loading, the present displacements agree with those by Green and Sneddon. The displacement equations derived were used with the finite-element alternating method (FEAM) for the analysis of a semi-elliptic surface crack in a finite solid subjected to remote tensile loading. The maximum opening displacements obtained with FEAM are compared to those with the finite-element method with singularity elements. The maximum crack opening displacements by the two methods showed good agreement.

Raju, I. S.↗
NASA NTRS1990

Crack-face displacements for an embedded elliptic crack in an infinite solid subjected to arbitrary tractions

Analytical expression for the crack-face displacements of an embedded elliptic crack in infinite solid subjected to arbitrary traction are obtained. The tractions on the crack faces are assumed to be expressed in a polynomial form. These displacements expressions complete the exact solution of Vijayakumar and Atluri, and Nishioki and Atluri. For the special case of an embedded crack in an infinite solid subjected to uniform pressure loading, the present displacements agree with those by Green and Sneddon. The displacement equations derived were used with the finite-element alternating method (FEAM) for the analysis of a semi-elliptic surface crack in a finite solid subjected to remote tensile loading. The maximum opening displacements obtained with FEAM are compared to those with the finite-element method with singularity elements. The maximum crack opening displacements by the two methods showed good agreement.

Raju, I. S.↗