Search NASA⌕ Search

SEARCH · Search NASA

Results for “MATHEMATICS - BOUNDARY VALUES”

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 163 records · Page 9

Cause and Cure - Deterioration in Accuracy of CFD Simulations With Use of High-Aspect-Ratio Triangular Tetrahedral Grids

Traditionally high-aspect ratio triangular/tetrahedral meshes are avoided by CFD re-searchers in the vicinity of a solid wall, as it is known to reduce the accuracy of gradient computations in those regions and also cause numerical instability. Although for certain complex geometries, the use of high-aspect ratio triangular/tetrahedral elements in the vicinity of a solid wall can be replaced by quadrilateral/prismatic elements, ability to use triangular/tetrahedral elements in such regions without any degradation in accuracy can be beneficial from a mesh generation point of view. The benefits also carry over to numerical frameworks such as the space-time conservation element and solution element (CESE), where triangular/tetrahedral elements are the mandatory building blocks. With the requirement of the CESE method in mind, a rigorous mathematical framework that clearly identities the reason behind the difficulties in use of such high-aspect ratio triangular/tetrahedral elements is presented here. As will be shown, it turns out that the degree of accuracy deterioration of gradient computation involving a triangular element is hinged on the value of its shape factor Gamma def = sq sin Alpha1 + sq sin Alpha2 + sq sin Alpha3, where Alpha1; Alpha2 and Alpha3 are the internal angles of the element. In fact, it is shown that the degree of accuracy deterioration increases monotonically as the value of Gamma decreases monotonically from its maximal value 9/4 (attained by an equilateral triangle only) to a value much less than 1 (associated with a highly obtuse triangle). By taking advantage of the fact that a high-aspect ratio triangle is not necessarily highly obtuse, and in fact it can have a shape factor whose value is close to the maximal value 9/4, a potential solution to avoid accuracy deterioration of gradient computation associated with a high-aspect ratio triangular grid is given. Also a brief discussion on the extension of the current mathematical framework to the tetrahedral-grid case along with some of the practical results of this extension is also provided. Furthermore, through the use of numerical simulations of practical viscous problems involving high-Reynolds number flows, the effectiveness of the gradient evaluation procedures within the CESE framework (that have their basis on the analysis presented here) to produce accurate and stable results on such high-aspect ratio meshes is also showcased.

CESE Method↗

Robust Fault Detection for Aircraft Using Mixed Structured Singular Value Theory and Fuzzy Logic

The purpose of fault detection is to identify when a fault or failure has occurred in a system such as an aircraft or expendable launch vehicle. The faults may occur in sensors, actuators, structural components, etc. One of the primary approaches to model-based fault detection relies on analytical redundancy. That is the output of a computer-based model (actually a state estimator) is compared with the sensor measurements of the actual system to determine when a fault has occurred. Unfortunately, the state estimator is based on an idealized mathematical description of the underlying plant that is never totally accurate. As a result of these modeling errors, false alarms can occur. This research uses mixed structured singular value theory, a relatively recent and powerful robustness analysis tool, to develop robust estimators and demonstrates the use of these estimators in fault detection. To allow qualitative human experience to be effectively incorporated into the detection process fuzzy logic is used to predict the seriousness of the fault that has occurred.

Collins, Emmanuel G.↗

Shaded computer graphic techniques for visualizing and interpreting analytic fluid flow models

Mathematical models which predict the behavior of fluid flow in different experiments are simulated using digital computers. The simulations predict values of parameters of the fluid flow (pressure, temperature and velocity vector) at many points in the fluid. Visualization of the spatial variation in the value of these parameters is important to comprehend and check the data generated, to identify the regions of interest in the flow, and for effectively communicating information about the flow to others. The state of the art imaging techniques developed in the field of three dimensional shaded computer graphics is applied to visualization of fluid flow. Use of an imaging technique known as 'SCAN' for visualizing fluid flow, is studied and the results are presented.

Parke, F. I.↗

A simple nonlinear joint model

Hertzian contact theory is applied to a butt joint with specially mismatched bearing surfaces to devise a simple mathematical model of nonlinear axial force-displacement behavior in jointed members. Normalized tangent stiffness-force plots, for several values of a joint imperfection parameter, are presented for the sample case of solid structural members of circular section. The results illustrate the potential problem of high joint compliance at low axial-force levels, as well as the generally desirable stiffening and linearizing effects of preload. A nonlinear oscillator problem based on the static model is also formulated and solved to illustrate the effect of amplitude on natural frequency. As expected, natural frequency is low when amplitude is small. The results call attention to the important roles that tight tolerances and preload are expected to play in the design and fabrication of deployable and erectable truss-type space structures.

Fichter, W. B.↗

Low order dynamical models for mixing layers

The goal of this project was to investigate the feasibility of developing useful low order dynamical systems to allow one to determine cheaply the effect of various initial conditions on the evolution of mixing layers. A mathematically rigorous approach for a time evolving base flow as found in a mixing layer seems to be the singular value decomposition of the linear operator transforming some initial perturbations into the solution at a given later time. Unfortunately, this is very costly, if at all feasible, and only deals with the linear evolution of a disturbance. A different approach based on weakly nonlinear analysis was attempted, but numerous difficulties were encountered. Several formulations were proposed which may be ill-posed. The reasons for this possible failure of the attempted approach is related to the fundamental limitations of weakly nonlinear analysis. The clarification of these issues is attempted in this report.

Riahi, D. N.↗

Function Based Risk Assessment: Mapping Function to Likelihood

The concept of function offers a high potential for thinking and reasoning about designs as well as providing a common thread for relating together other design information. This paper focuses specifically on the relation between function and risk by presenting a mathematical mapping from product function to risk likelihood. This risk information is composed of design parameters, failure modes, and likelihood values. A spacecraft orientation subsystem, subsystem used to guide science instruments, and a Bell 206 rotorcraft are used to test the mapping which continues research on these products relating function to failure. Finally, a case study is presented in which the risk element likelihood is calculated for a fuel cell which is in the conceptual design phase at NASA JPL.

Tumer, Irem Y.↗

Thermal Capacitance (Slug) Calorimeter Theory Including Heat Losses and Other Decaying Processes

A mathematical model, termed the Slug Loss Model, has been developed for describing thermal capacitance (slug) calorimeter behavior when heat losses and other decaying processes are not negligible. This model results in the temperature time slope taking the mathematical form of exponential decay. When data is found to fit well to this model, it allows a heat flux value to be calculated that corrects for the losses and may be a better estimate of the cold wall fully catalytic heat flux, as is desired in arc jet testing. The model was applied to the data from a copper slug calorimeter inserted during a particularly severe high heating rate arc jet run to illustrate its use. The Slug Loss Model gave a cold wall heat flux 15% higher than the value of 2,250 W/sq cm obtained from the conventional approach to processing the data (where no correction is made for losses). For comparison, a Finite Element Analysis (FEA) model was created and applied to the same data, where conduction heat losses from the slug were simulated. The heat flux determined by the FEA model was found to be in close agreement with the heat flux determined by the Slug Loss Model.

Hightower, T. Mark↗

Software Validation via Model Animation

This paper explores a new approach to validating software implementations that have been produced from formally-verified algorithms. Although visual inspection gives some confidence that the implementations faithfully reflect the formal models, it does not provide complete assurance that the software is correct. The proposed approach, which is based on animation of formal specifications, compares the outputs computed by the software implementations on a given suite of input values to the outputs computed by the formal models on the same inputs, and determines if they are equal up to a given tolerance. The approach is illustrated on a prototype air traffic management system that computes simple kinematic trajectories for aircraft. Proofs for the mathematical models of the system's algorithms are carried out in the Prototype Verification System (PVS). The animation tool PVSio is used to evaluate the formal models on a set of randomly generated test cases. Output values computed by PVSio are compared against output values computed by the actual software. This comparison improves the assurance that the translation from formal models to code is faithful and that, for example, floating point errors do not greatly affect correctness and safety properties.

Dutle, Aaron M.↗

Structure function calculations for Ostwald Ripening processes

A program for computing the structure function for configurations involved in Ostwald Ripening was written. The basic algorithms are derived from a mathematical analysis of a two-dimensional model system developed by Bortz, et. al. (1974). While it is expected that the values form the computer simulations will reflect Ostwald Ripening, at this point the program is still being tested. Some preliminary runs seem to justify the expectations.

Hassan, Razi A.↗

Specific Impulse and Mass Flow Rate Error

Specific impulse is defined in words in many ways. Very early in any text on rocket propulsion a phrase similar to .specific impulse is the thrust force per unit propellant weight flow per second. will be found.(2) It is only after seeing the mathematics written down does the definition mean something physically to scientists and engineers responsible for either measuring it or using someone.s value for it.

Gregory, Don A.↗

Hard and Soft Constraints in Reliability-Based Design Optimization

This paper proposes a framework for the analysis and design optimization of models subject to parametric uncertainty where design requirements in the form of inequality constraints are present. Emphasis is given to uncertainty models prescribed by norm bounded perturbations from a nominal parameter value and by sets of componentwise bounded uncertain variables. These models, which often arise in engineering problems, allow for a sharp mathematical manipulation. Constraints can be implemented in the hard sense, i.e., constraints must be satisfied for all parameter realizations in the uncertainty model, and in the soft sense, i.e., constraints can be violated by some realizations of the uncertain parameter. In regard to hard constraints, this methodology allows (i) to determine if a hard constraint can be satisfied for a given uncertainty model and constraint structure, (ii) to generate conclusive, formally verifiable reliability assessments that allow for unprejudiced comparisons of competing design alternatives and (iii) to identify the critical combination of uncertain parameters leading to constraint violations. In regard to soft constraints, the methodology allows the designer (i) to use probabilistic uncertainty models, (ii) to calculate upper bounds to the probability of constraint violation, and (iii) to efficiently estimate failure probabilities via a hybrid method. This method integrates the upper bounds, for which closed form expressions are derived, along with conditional sampling. In addition, an l(sub infinity) formulation for the efficient manipulation of hyper-rectangular sets is also proposed.

Crespo, L.uis G.↗

Kepler Mission's Focal Plane Characterization Models Implementation

The Kepler Mission photometer is an unusually complex array of CCDs. A large number of time-varying instrumental and systemic effects must be modeled and removed from the Kepler pixel data to produce light curves of sufficiently high quality for the mission to be successful in its planet-finding objective. After the launch of the spacecraft, many of these effects are difficult to remeasure frequently, and various interpolations over a small number of sample measurements must be used to determine the correct value of a given effect at different points in time. A library of software modules, called Focal Plane Characterization (FC) Models, is the element of the Kepler Science Data Pipeline (hereafter "pipeline") that handles this. FC, or products generated by FC, are used by nearly every element of the SOC processing chain. FC includes Java components: database persistence classes, operations classes, model classes, and data importers; and MATLAB code: model classes, interpolation methods, and wrapper functions. These classes, their interactions, and the database tables they represent, are discussed. This paper describes how these data and the FC software work together to provide the pipeline with the correct values to remove non-photometric effects caused by the photometer and its electronics from the Kepler light curves. The interpolation mathematics is reviewed, as well as the special case of the sky-to-pixel,pixel-to-sky coordinate transformation code, which incorporates a compound model that is unique in the SOC software.

mission↗

Analysis of ground reflection of jet noise obtained with various microphone arrays over an asphalt surface

Ground reflection effects on the propagation of jet noise over an asphalt surface are discussed for data obtained using a 33.02-cm diameter nozzle with microphones at several heights and distances from the nozzle axis. Ground reflection effects are analyzed using the concept of a reflected signal transfer function which represents the influence of both the reflecting surface and the atmosphere on the propagation of the reflected signal in a mathematical model. The mathematical model used as a basis for the computer program was successful in significantly reducing the ground reflection effects. The range of values of the single complex number used to define the reflected signal transfer function was larger than expected when determined only by the asphalt surface. This may indicate that the atmosphere is affecting the propagation of the reflected signal more than the asphalt surface. The selective placement of the reinforcements and cancellations in the design of an experiment to minimize ground reflection effects is also discussed.

Miles, J. H.↗

Optimization of structures undergoing harmonic or stochastic excitation

The optimal design was investigated of simple structures subjected to dynamic loads, with constraints on the structures' responses. Optimal designs were examined for one dimensional structures excited by harmonically oscillating loads, similar structures excited by white noise, and a wing in the presence of continuous atmospheric turbulence. The first has constraints on the maximum allowable stress while the last two place bounds on the probability of failure of the structure. Approximations were made to replace the time parameter with a frequency parameter. For the first problem, this involved the steady state response, and in the remaining cases, power spectral techniques were employed to find the root mean square values of the responses. Optimal solutions were found by using computer algorithms which combined finite elements methods with optimization techniques based on mathematical programming. It was found that the inertial loads for these dynamic problems result in optimal structures that are radically different from those obtained for structures loaded statically by forces of comparable magnitude.

Johnson, E. H.↗

Analysis of ground reflection of jet noise obtained with various microphone arrays over an asphalt surface

Ground reflection effects on the propagation of jet noise over an asphalt surface are discussed for data obtained using a 33.02 cm (13-in.) diameter nozzle with microphones at several heights and distances from the nozzle axis. Analysis of ground reflection effects is accomplished using the concept of a reflected signal transfer function which represents the influence of both the reflecting surface and the atmosphere on the propagation of the reflected signal in a mathematical model. The mathematical model used as a basis for the computer program was successful in significantly reducing the ground reflection effects. The range of values of the single complex number used to define the reflected signal transfer function was larger than expected when determined only by the asphalt surface. This may indicate that the atmosphere is affecting the propagation of the reflected signal more than the asphalt surface. Also discussed is the selective placement of the reinforcements and cancellations in the design of an experiment to minimize ground reflection effects.

Miles, J. H.↗

C super 1: Compatible interpolation over a triangle

An elementary derivation and a complete description is given of an algorithm for interpolation over a plane triangle when function values and first partial derivatives are given at the vertices. The method gives C1 continuity with neighboring triangles. The interpolation method is mathematically equivalent to one that has been discussed previously in the literature; however, the algorithmic form given here is more efficient than has previously been described.

Lawson, C. L.↗

Characterization of oriented cracks with differential strain analysis

Linear strain of a rock sample as a function of hydrostatic pressure can be measured with a precision of 2 millionths. Such high-precision data for three orthogonal directions allow calculation of the distribution function for the porosity due to cracks' closing completely at a given pressure. Such data for at least six independent directions yield the zero-pressure strain tensor due to cracks' closing completely at a given pressure. The principal values and axes of this tensor distribution function provide information about the orientation of cracks as a function of closure pressure. The mathematical basis for the technique is developed, and the technique is illustrated with differential strain data for two samples, the Westerly (Rhode Island) granite and the Twin Sisters (Washington) dunite. Strain-tensor calculations reveal that each of these samples has a different type of anisotropic crack distribution.

Siegfried, R.↗