Search NASA⌕ Search

SEARCH · Search NASA

Results for “Mathematical Computing”

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

Formalization of the Integral Calculus in the PVS Theorem Prover

The PVS Theorem prover is a widely used formal verification tool used for the analysis of safety-critical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht's classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.

Butler, Ricky W.↗
NASA NTRS2026

Development of a One-Domain Volume-Averaged Navier–Stokes Solver

The interaction between a high-enthalpy flow and a thermal protection material is inherently multiscale and multiphysics. In conventional aerothermal analyses, the external flow and material response are generally modeled using separate computational domains coupled through boundary conditions at the material surface. Although this approach has supported many practical applications, it requires assumptions about the location and behavior of the interface and may become difficult to apply when material decomposition, internal reactions, and surface recession substantially alter the porous structure. This report presents the development of a one-domain formulation in which the free-fluid and porous-material regions are represented within a single computational domain. The formulation is based on the volume-averaged Navier–Stokes (VANS) equations, derived from the governing equations for reacting, compressible flow and condensed material. Volume averaging transfers the influence of the unresolved material microstructure to the macroscale equations through effective transport properties, interfacial source terms, and dispersion fluxes. Particular attention is given to regions in which porosity and permeability vary rapidly, including the diffuse transition between a porous material and the surrounding fluid. The resulting equations are implemented in the Porous-material Analysis Toolbox based on OpenFOAM (PATO). The report describes the pressure–velocity coupling strategy used by the solver, examines spatial filtering techniques for deriving effective properties, and evaluates the influence of a smoothly varying interface permeability. Numerical demonstrations include canonical porous-flow configurations, a flow-tube configuration representative of FiberForm® permeability experiments, and the oxidation of a porous carbon material. The purpose of this work is to establish a mathematical and computational foundation for a unified treatment of flow and thermal protection material response. The present formulation is intended to support the progressive inclusion of additional physical processes, including multicomponent transport, finite-rate gas–surface chemistry, pyrolysis, internal oxidation, and material recession. It also provides a framework for connecting pore-scale simulations and microstructural characterization with macroscale aerothermal-response calculations. This report is intended for researchers and engineers working in computational fluid dynamics, porous-media transport, material response, and thermal protection system modeling. It documents both the theoretical development and the initial numerical assessment of the one-domain approach, while identifying the closure of effective and dispersion terms as an important subject for continued investigation.

Ablation↗
NASA NTRS2003

Application of a data-mining method based on Bayesian networks to lesion-deficit analysis

Although lesion-deficit analysis (LDA) has provided extensive information about structure-function associations in the human brain, LDA has suffered from the difficulties inherent to the analysis of spatial data, i.e., there are many more variables than subjects, and data may be difficult to model using standard distributions, such as the normal distribution. We herein describe a Bayesian method for LDA; this method is based on data-mining techniques that employ Bayesian networks to represent structure-function associations. These methods are computationally tractable, and can represent complex, nonlinear structure-function associations. When applied to the evaluation of data obtained from a study of the psychiatric sequelae of traumatic brain injury in children, this method generates a Bayesian network that demonstrates complex, nonlinear associations among lesions in the left caudate, right globus pallidus, right side of the corpus callosum, right caudate, and left thalamus, and subsequent development of attention-deficit hyperactivity disorder, confirming and extending our previous statistical analysis of these data. Furthermore, analysis of simulated data indicates that methods based on Bayesian networks may be more sensitive and specific for detecting associations among categorical variables than methods based on chi-square and Fisher exact statistics.

NASA Discipline Neuroscience↗
NASA NTRS1971

Advanced study of video signal processing in low signal to noise environments

A generalized mathematical and computer model of the revised Apollo television system was developed and used to determine spectral compatibility with the overall Apollo communication system. In particular the effects of the change to commercial television format from slow-scan black and white on the principal telemetering subcarriers was analyzed. Experimental data was obtained from MSC telemetry division confirming the analytical results.

Garden, F.↗
NASA NTRS1976

Advances in engineering science, volume 2

Papers are presented dealing with structural dynamics; structural synthesis; and the nonlinear analysis of structures, structural members, and composite structures and materials. Applications of mathematics and computer science are included.

Source record↗
NASA NTRS1977

JPL basic research review

Current status, projected goals, and results of 49 research and advanced development programs at the Jet Propulsion Laboratory are reported in abstract form. Areas of investigation include: aerodynamics and fluid mechanics, applied mathematics and computer sciences, environment protection, materials science, propulsion, electric and solar power, guidance and navigation, communication and information sciences, general physics, and chemistry.

Source record↗
NASA NTRS1978

Hydraulic dynamic analysis

Computer program mathematically describes complete hydraulic systems to study their dynamic performance. Program employs subroutines that simulate components of hydraulic system, which are then controlled by main program. Program is useful to engineers working with detailed performance results of aircraft, spacecraft, or similar hydraulic systems.

Gale, R. L.↗
NASA NTRS1978

Development of flat-plate solar collectors for the heating and cooling of buildings: Executive summary

An efficient, low cost, flat-plate solar collector was developed. Computer aided mathematical models of the heat process in the collector were used in defining absorber panel configuration; determining insulation thickness; and in selecting the number, spacing, and material of the covers. Prototypes were built and performance tested. Data from simulated operation of the collector are compared with predicted loads from a number of locations to determine the degree of solar utilization.

Source record↗
NASA NTRS1978

Continuum modeling of three-dimensional truss-like space structures

A mathematical and computational analysis capability has been developed for calculating the effective mechanical properties of three-dimensional periodic truss-like structures. Two models are studied in detail. The first, called the octetruss model, is a three-dimensional extension of a two-dimensional model, and the second is a cubic model. Symmetry considerations are employed as a first step to show that the specific octetruss model has four independent constants and that the cubic model has two. The actual values of these constants are determined by averaging the contributions of each rod element to the overall structure stiffness. The individual rod member contribution to the overall stiffness is obtained by a three-dimensional coordinate transformation. The analysis shows that the effective three-dimensional elastic properties of both models are relatively close to each other.

Nayfeh, A. H.↗
NASA NTRS1978

Platform motion for fighter simulations

The reported investigation is concerned with aspects of 'realistic' cue generation and evaluation. 'Realistic' cues are defined to mean cues that are representative of an aircraft, that are of sufficient magnitude to be sensed, that are in the proper direction arriving at the proper time, and yet that are within the presentation capabilities of the washout/synergistic platform system. Attention is given to the aircraft mathematical model, computer implementation, cockpit hardware, visual display, the motion system, vertical acceleration, longitudinal acceleration and pitch rate, and lateral acceleration and roll rate. The motion cues for fighter aircraft produced by Langley nonlinear adaptive washout/synergistic motion base system are found to be unacceptable in the roll axis representation. However, a method for producing potentially realistic roll cues is identified.

Parrish, R. V.↗
NASA NTRS1978

Geometric model and analysis of rod-like large space structures

The application of geometrical schemes to large sphere antenna reflectors was investigated. The purpose of these studies is to determine the shape and size of flat segmented surfaces which approximate general shells of revolution and in particular spherical and paraboloidal reflective surfaces. The extensive mathematical and computational geometry analyses of the reflector resulted in the development of a general purpose computer program. This program is capable of generating the complete design parameters of the dish and can meet stringent accuracy requirements. The computer program also includes a graphical self contained subroutine which graphically displays the required design.

Nayfeh, A. H.↗
NASA NTRS1980

Geometric modeling and analysis of large latticed surfaces

The application of geometrical schemes, similar to geodesic domes, to large spherical antenna reflectors was investigated. The shape and size of flat segmented latticed surfaces which approximate general shells of revolution, and in particular spherical and paraboloidal reflective surfaces, were determined. The extensive mathematical and computational geometric analyses of the reflector resulted in the development of a general purpose computer program capable of generating the complete design parameters of the dish. The program also includes a graphical self contained subroutine for graphic display of the required design.

Nayfeh, A. H.↗