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

A Guide to Axial-Flow Turbine Off-Design Computer Program AXOD2

A Users Guide for the axial flow turbine off-design computer program AXOD2 is composed in this paper. This Users Guide is supplementary to the original Users Manual of AXOD. Three notable contributions of AXOD2 to its predecessor AXOD, both in the context of the Guide or in the functionality of the code, are described and discussed in length. These are: 1) a rational representation of the mathematical principles applied, with concise descriptions of the formulas implemented in the actual coding. Their physical implications are addressed; 2) the creation and documentation of an Addendum Listing of input namelist-parameters unique to AXOD2, that differ from or are in addition to the original input-namelists given in the Manual of AXOD. Their usages are discussed; and 3) the institution of proper stoppages of the code execution, encoding termination messaging and error messages of the execution to AXOD2. These measures are to safe-guard the integrity of the code execution, such that a failure mode encountered during a case-study would not plunge the code execution into indefinite loop, or cause a blow-out of the program execution. Details on these are discussed and illustrated in this paper. Moreover, this computer program has since been reconstructed substantially. Standard FORTRAN Langue was instituted, and the code was formatted in Double Precision (REAL*8). As the result, the code is now suited for use in a local Desktop Computer Environment, is perfectly portable to any Operating System, and can be executed by any FORTRAN compiler equivalent to a FORTRAN 9095 compiler. AXOD2 will be available through NASA Glenn Research Center (GRC) Software Repository.

Gas Turbine Engines↗
NASA NTRS2013

Parasitic Interference in Nulling Interferometry

Nulling interferometry aims to detect faint objects close to bright stars. Its principle is to produce a destructive interference along the line of sight so that the stellar flux is rejected, while the flux of the off-axis source can be transmitted. In practice, various instrumental perturbations can degrade the nulling performance. Any imperfection in phase, amplitude or polarization produces a spurious flux that leaks to the interferometer output and corrupts the transmitted off-axis flux. One of these instrumental perturbations is the crosstalk phenomenon, which occurs because of multiple parasitic reflections inside transmitting optics, and/or diffraction effects related to beam propagation along finite size optics. It can include a crosstalk of a beam with itself, and a mutual crosstalk between different beams. This can create a parasitic interference pattern, which degrades the intrinsic transmission map - or intensity response - of the interferometer. In this context, we describe how this instrumental effect impairs the performance of a Bracewell interferometer. A simple formalism is developed to derive the corresponding modified intensity response of the interferometer, as a function of the two parameters of interest: the crosstalk level (or contamination rate) and the phase shift between the primary and secondary - parasitic - beams. We then apply our mathematical approach to a few scientific cases, both analytically and using the GENIESIM simulation software, adapted to handle coherent crosstalk. Our results show that a coherent crosstalk level of about 1 per cent implies a 20 per cent drop of the signal-to-noise ratio at most. Careful attention should thus be paid to reduce the crosstalk level inside an interferometric instrument and ensure an instrumental stability that provides the necessary sensitivity through calibration procedures.

circumstellar matter↗
NASA NTRS2022

Helheim Glacier Ice Velocity Variability Responds to Runoff and Terminus Position, but at Different Timescales

The Greenland Ice Sheet discharges ice to the ocean through hundreds of outlet glaciers. Recent acceleration of Greenland outlet glaciers has been linked to both oceanic and atmospheric drivers. Here, we leverage temporally dense observations, regional climate model output, and newly developed time series analysis tools to assess the most important forcings causing ice flow variability at one of the largest Greenland outlet glaciers, Helheim Glacier, from 2009 to 2017. We find that ice speed correlates most strongly with catchment-integrated runoff at seasonal to interannual scales, while multi-annual flow variability correlates most strongly with multi-annual terminus variability. The disparate time scales and the influence of subglacial topography on Helheim Glacier’s dynamics highlight different regimes that can inform modeling and forecasting of its future. Notably, our results suggest that the recent terminus history observed at Helheim is a response to, rather than the cause of, upstream changes.

Cryospheric science↗
NASA NTRS1985

Simulation of non-linear bearing forces for post-stability investigation

Different types of bearing designs were developed to improve dynamic properties of rotor-bearing systems. Elliptical bearings, multisleeve bearings, tilting pad and other designs such as herringbone groove were utilized to increase resistance to the onset of self excited vibrations. Experimental trials are costly, two alternative methods are used to gain a qualitative insight. The first one creates mathematical model and applies both a digital or an analog computer simulation. The second one investigates phenomena occurring on the laboratory rig with the bearing replaced by an electronic simulating device, working in a feedback loop, which produces forces,which are functions of journal displacement and velocity. The simulated hydrodynamic forces are produced according to assumed characteristics matched to the bearing type. The principal benefit of the analog simulation is that nonlinear characteristics of a subsystem are precisely identified and mathematical methods applied for a wide class of problems are checked on the experimental installation.

Parszewski, Z. A.↗
NASA NTRS1995

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 analysis, 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. This framework defines several important measurement concepts (size, length, complexity, cohesion, coupling). It is not intended to be complete or fully objective; other frameworks could have been proposed and different choices could have been made. However, we believe that the formalism and properties we introduce are convenient and intuitive. In addition, we have reviewed the literature on this subject and compared it with our work. This framework contributes constructively to a firmer theoretical ground of software measurement.

Briand, Lionel↗
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↗
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.↗