Search NASA⌕ Search

SEARCH · Search NASA

Results for “Applied Mathematics”

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
All sourcesNASA NTRSDOE OSTI
NASA NTRS1997

Property-Based Software Engineering Measurement

Little theory exists in the field of software system measurement. Concepts such as complexity, coupling, cohesion or even size are very often subject to interpretation and appear to have inconsistent definitions in the literature. As a consequence, there is little guidance provided to the analyst attempting to define proper measures for specific problems. Many controversies in the literature are simply misunderstandings and stem from the fact that some people talk about different measurement concepts under the same label (complexity is the most common case). There is a need to define unambiguously the most important measurement concepts used in the measurement of software products. One way of doing so is to define precisely what mathematical properties characterize these concepts, regardless of the specific software artifacts to which these concepts are applied. Such a mathematical framework could generate a consensus in the software engineering community and provide a means for better communication among researchers, better guidelines for analysts, and better evaluation methods for commercial static analyzers for practitioners. In this paper, we propose a mathematical framework which is generic, because it is not specific to any particular software artifact and rigorous, because it is based on precise mathematical concepts. We use this framework to propose definitions of several important measurement concepts (size, length, complexity, cohesion, coupling). It does not intend to be complete or fully objective; other frameworks could have been proposed and different choices could have been made. However, we believe that the formalisms and properties we introduce are convenient and intuitive. This framework contributes constructively to a firmer theoretical ground of software measurement.

Briand, Lionel C.↗
NASA NTRS1993

The analytical representation of viscoelastic material properties using optimization techniques

This report presents a technique to model viscoelastic material properties with a function of the form of the Prony series. Generally, the method employed to determine the function constants requires assuming values for the exponential constants of the function and then resolving the remaining constants through linear least-squares techniques. The technique presented here allows all the constants to be analytically determined through optimization techniques. This technique is employed in a computer program named PRONY and makes use of commercially available optimization tool developed by VMA Engineering, Inc. The PRONY program was utilized to compare the technique against previously determined models for solid rocket motor TP-H1148 propellant and V747-75 Viton fluoroelastomer. In both cases, the optimization technique generated functions that modeled the test data with at least an order of magnitude better correlation. This technique has demonstrated the capability to use small or large data sets and to use data sets that have uniformly or nonuniformly spaced data pairs. The reduction of experimental data to accurate mathematical models is a vital part of most scientific and engineering research. This technique of regression through optimization can be applied to other mathematical models that are difficult to fit to experimental data through traditional regression techniques.

Hill, S. A.↗
NASA NTRS1979

Mathematical Modeling of Diverse Phenomena

Tensor calculus is applied to the formulation of mathematical models of diverse phenomena. Aeronautics, fluid dynamics, and cosmology are among the areas of application. The feasibility of combining tensor methods and computer capability to formulate problems is demonstrated. The techniques described are an attempt to simplify the formulation of mathematical models by reducing the modeling process to a series of routine operations, which can be performed either manually or by computer.

Howard, J. C.↗
NASA NTRS1985

Estimation of dynamic rotor loads for the rotor systems research aircraft: Methodology development and validation

The Rotor Systems Research Aircraft uses load cells to isolate the rotor/transmission systm from the fuselage. A mathematical model relating applied rotor loads and inertial loads of the rotor/transmission system to the load cell response is required to allow the load cells to be used to estimate rotor loads from flight data. Such a model is derived analytically by applying a force and moment balance to the isolated rotor/transmission system. The model is tested by comparing its estimated values of applied rotor loads with measured values obtained from a ground based shake test. Discrepancies in the comparison are used to isolate sources of unmodeled external loads. Once the structure of the mathematical model has been validated by comparison with experimental data, the parameters must be identified. Since the parameters may vary with flight condition it is desirable to identify the parameters directly from the flight data. A Maximum Likelihood identification algorithm is derived for this purpose and tested using a computer simulation of load cell data. The identification is found to converge within 10 samples. The rapid convergence facilitates tracking of time varying parameters of the load cell model in flight.

Duval, R. W.↗
NASA NTRS1995

Formal methods in the design of Ada 1995

Formal, mathematical methods are most useful when applied early in the design and implementation of a software system--that, at least, is the familiar refrain. I will report on a modest effort to apply formal methods at the earliest possible stage, namely, in the design of the Ada 95 programming language itself. This talk is an 'experience report' that provides brief case studies illustrating the kinds of problems we worked on, how we approached them, and the extent (if any) to which the results proved useful. It also derives some lessons and suggestions for those undertaking future projects of this kind. Ada 95 is the first revision of the standard for the Ada programming language. The revision began in 1988, when the Ada Joint Programming Office first asked the Ada Board to recommend a plan for revising the Ada standard. The first step in the revision was to solicit criticisms of Ada 83. A set of requirements for the new language standard, based on those criticisms, was published in 1990. A small design team, the Mapping Revision Team (MRT), became exclusively responsible for revising the language standard to satisfy those requirements. The MRT, from Intermetrics, is led by S. Tucker Taft. The work of the MRT was regularly subject to independent review and criticism by a committee of distinguished Reviewers and by several advisory teams--for example, the two User/Implementor teams, each consisting of an industrial user (attempting to make significant use of the new language on a realistic application) and a compiler vendor (undertaking, experimentally, to modify its current implementation in order to provide the necessary new features). One novel decision established the Language Precision Team (LPT), which investigated language proposals from a mathematical point of view. The LPT applied formal mathematical analysis to help improve the design of Ada 95 (e.g., by clarifying the language proposals) and to help promote its acceptance (e.g., by identifying a verifiable subset that would meet the needs of safety-critical applications). The first LPT project, which ran from the fall of 1990 unti the end of 1992, produced studies of several language issues: optimization, sharing and storage, tasking and protected records, overload resolution, the floating point model, distribution, program erros, and object-oriented programming. The second LPT project, in 1994, formally modeled the dynamic semantics of a large part of the (almost) final language definition, looking especially for interactions between language features.

Guaspari, David↗
DOE OSTI2025

Experimental observation of nonlinear relation between pressure and water flux is consistent with the solution-diffusion model

In several recent studies, it has been proposed that the fundamental understanding of penetrant transport in dense polymer membranes occurring via the solution-diffusion model, which has been the generally accepted theoretical framework for describing penetrant transport in such materials for the past several decades, is flawed. An alternate mechanistic framework based on the idea of two-phase flow in a porous medium (i.e., pore-flow) has been broadly advanced instead, with proponents of this approach claiming that the pore-flow theoretical framework provides the necessary mechanistic insight to design novel polymeric membrane materials for emerging applications. In this study, we show experimental results for hydraulic permeation of water that are entirely consistent with the solution-diffusion theory, without modification, for three dense polymeric membranes: crosslinked poly(ethylene glycol diacrylate) (XLPEGDA), Nafion 117 ionomer in the sodium counterion form (Nafion 117-Na), and cellulose acetate (CA). By measuring water flux at transmembrane pressures up to 240 bar, we observe a nonlinear relationship between the transmembrane pressure (TMP) and water flux, J w , for XLPEGDA and Nafion 117-Na, while this relationship is linear for CA. We demonstrate that the behavior of these three materials is described via the solution-diffusion model. According to the solution-diffusion model, flux is, to a good approximation, proportional to the transmembrane concentration difference induced by the pressure difference across the membrane, rather than to TMP itself. Water sorption isotherms are reported for all three materials. They further justify the nonlinear relationship between TMP and J w observed in XLPEGDA and Nafion 117-Na, emphasizing that the nonlinearity in the flux/TMP relationship stems from nonlinearities in the sorption isotherm with pressure. Additionally, the relationship between water flux and TMP can be predicted, a priori, with no adjustable parameters when a predictive model for the diffusion coefficient of water is employed in conjunction with the experimental water sorption isotherms in the solution-diffusion model. Furthermore, our results demonstrate the validity of the solution-diffusion model to describe transport of penetrants in dense polymer membranes, while highlighting the sensitivity of the solution-diffusion model to the many physical and mathematical simplifications commonly applied to the theory in literature.

materials↗
DOE OSTI2024

Information and Statistics in Nuclear Experiment and Theory (ISNET)

As with all empirical sciences, nuclear physics operates in the virtuous cycle of the scientific method: observations inspire theoretical models; models lead to new predictions; predictions are tested in experiments; experiments lead to new observations; and so on. Evaluating what we are inferring, and how certain we are of it, is key to this process. These requirements, and a general interest in applying novel statistical, mathematical, and computational techniques, led to the formation of a dedicated research community entitled “Information and Statistics in Nuclear Experiment and Theory (ISNET)” (https://isnet-series.github.io/), which now includes more than 300 members. While the community’s interests lean toward nuclear theory, the unifying theme for this group is the inference of knowledge from data.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
NASA NTRS1972

Liquid propellant rockets.

A brief overview of the state of knowledge in liquid rocket technology is presented and examples are provided of instances where some fundamental principles of chemistry, fluid mechanics, and mathematics can be applied. A liquid propellant rocket classification is discussed together with rocket system performance, applications for liquid propellants, the effective exhaust velocity, aspects of simplified nozzle expansion, questions about theoretical propellant performance, the effect of chamber pressure on equilibrium performance, and the kinetic recombination in nozzles. Details of propellant combustion are examined, giving attention to propellant injection, evaporation-controlled combustion, combustion instability, and monopropellant decomposition.

Dipprey, D. F.↗
NASA NTRS1977

Cost reduction potential of the DSN data base

The cost of the DSN data base can be reduced by computerizing and unifying the current multiplicity of separate manual, computer, and hybrid data bases. Savings would accrue from eliminating all manual system costs, increasing efficiency in data base implementation and maintenance-and-operation, and increasing data accuracy. By applying a simple mathematical savings model to current data base costs, this study estimates the probable range of net ten-year savings. The minimum net savings, under the assumptions of the study, are calculated as $7.5 million.

Mckenzie, M.↗
NASA NTRS1977

Overview of NASA/Marshall Space Flight Center's program on knowledge of atmospheric processes

The Marshall Space Flight Center (MSFC) is charged with the responsibility to enhance aviation safety through improving understanding of various atmospheric phenomena. A brief discussion is presented concerning the tasks and work being accomplished by MSFC. The tasks are defined as follows: (1) to determine and define the turbulence and steady wind environments induced by buildings, towers, hills, trees, etc., (2) to identify, develop, and apply natural environment technology for the reconstruction and/or simulation of the natural environment for aircraft accident investigation and hazard identification, (3) to develop basic information about free atmosphere perturbations, (4) to develop and apply fog modification mathematical models to assess candidate fog modification schemes and to develop appropriate instrumentation to aquire basic data about fog. To accomplish these tasks MSFC has developed a program involving field data acquisition, wind tunnel studies, theoretical studies, data analysis, and flight simulation studies.

Camp, D. W.↗
NASA NTRS1980

ACCESS 3. Approximation concepts code for efficient structural synthesis: User's guide

A user's guide is presented for ACCESS-3, a research oriented program which combines dual methods and a collection of approximation concepts to achieve excellent efficiency in structural synthesis. The finite element method is used for structural analysis and dual algorithms of mathematical programming are applied in the design optimization procedure. This program retains all of the ACCESS-2 capabilities and the data preparation formats are fully compatible. Four distinct optimizer options were added: interior point penalty function method (NEWSUMT); second order primal projection method (PRIMAL2); second order Newton-type dual method (DUAL2); and first order gradient projection-type dual method (DUAL1). A pure discrete and mixed continuous-discrete design variable capability, and zero order approximation of the stress constraints are also included.

Fleury, C.↗
NASA NTRS1980

Three-layer interactive method for computing supersonic laminar separated flows

An interactive model for numerical computation of complicated two-dimensional flowfields including regions of reversed flow is proposed. The present approach is one of dividing the flowfield into three regions, in each of which a simplified mathematical model is applied: (1) outer, supersonic flow for which the full potential equation (hyperbolic) is used; (2) viscous, laminar layer in which the compressible boundary-layer model (parabolic) is used; and (3) recirculating flow modeled by the incompressible Navier-Stokes equations (elliptic). For matching of the numerical solutions in the three layers, two interaction models are developed: one for pressure interaction, the other for interaction between the shear layer and the recirculating flow. The uniform solution for the whole flowfield is then obtained by iteration of the local solutions under the constraints imposed by matching. The three-layer interactive model is used for solution of the flowfield past an asymmetric cavity. The method is shown to be capable of dealing with backflow without encountering problems at separation, characteristic to the boundary-layer approach.

Brandeis, J.↗
NASA NTRS1983

Structural tailoring of engine blades (STAEBL)

Mathematical optimization is applied to the design of gas turbine fan blades. The automated procedure replaces the current manual process which requires experience and intuition on the part of the designer to achieve successful blade designs. The optimization procedure that is developed utilizes the COPES/CONMIN optimization code. Approximate vibration and stress analyses are used for the optimization process. Analysis recalibrations are achieved through the application of more detailed, refined analysis. Optimizations of a hollow titanium fan blade with composite inlays and of a superhybrid composite blade are demonstrated.

Brown, K. W.↗
NASA NTRS1983

Numerical and analytical investigations of three-dimensional lee waves

A conceptual framework for the three-dimensional lee wave is given, and the severe limits of mathematical analysis as applied to the problem are described. It is shown that numerical simulation is the only feasible approach and some simulation results are displayed. These results are then compared with those from corresponding simulations of the much more familiar case of two-dimensional flow over a ridge. The problem of predicting in which portions of the lee wave clear air turbulence encounters are most probable is addressed. Here, idealized linear models are employed to establish a few tentative guidelines.

Wurtele, M. G.↗
NASA NTRS1984

Helicopter rotor blade aerodynamic optimization by mathematical programming

Formal mathematical programing was applied to the aerodynamic rotor blade design process. The approach is to couple hover and forward flight analysis programs with the general-purpose optimization program CONMIN to determine the blade taper ratio, percent taper, twist distribution, and solidity which minimize the horsepower required at hover while meeting constraints on forward flight performance. Designs obtained using this approach for the blade of a representative Army helicopter compare well with those obtained using a conventional approach involving personnel-intensive parametric studies. Results from the present method can be obtained in 2 days as compared to 5 weeks required by the conventional procedure. Also the systematic manipulation of the design variables by the optimization procedure minimizes the need for the researcher to have a vast body of past experience and data in determining the influence of a design change on the performance.

Walsh, J. L.↗
NASA NTRS1988

A hardware implementation of a relaxation algorithm to segment images

Relaxation labelling is a mathematical technique frequently applied in image processing algorithms. In particular, it is extensively used for the purpose of segmenting images. The paper presents a hardware implementation of a segmentation algorithm, for images consisting of two regions, based on relaxation labelling. The algorithm determines, for each pixel, the probability that it should be labelled as belonging to a particular region, for all regions in the image. The label probabilities (labellings) of every pixel are iteratively updated, based on those of the pixel's neighbors, until they converge. The pixel is then assigned to the region correspondent to the maximum label probability. The system consists of a control unit and of a pipeline of segmentation stages. Each segmentation stage emulates in the hardware an iteration of the relaxation algorithm. The design of the segmentation stage is based on commercially available digital signal processing integrated circuits. Multiple iterations are accomplished by stringing stages together or by looping the output of a stage, or string of stages, to its input. The system interfaces with a generic host computer. Given the modularity of the architecture, performance can be enhanced by merely adding segmentation stages.

Loda, Antonio G.↗
NASA NTRS1989

A visiting scientist program in atmospheric sciences for the Goddard Space Flight Center

A visiting scientist program was conducted in the atmospheric sciences and related areas at the Goddard Laboratory for Atmospheres. Research was performed in mathematical analysis as applied to computer modeling of the atmospheres; development of atmospheric modeling programs; analysis of remotely sensed atmospheric, surface, and oceanic data and its incorporation into atmospheric models; development of advanced remote sensing instrumentation; and related research areas. The specific research efforts are detailed by tasks.

Davis, M. H.↗