Search NASA⌕ Search

SEARCH · Search NASA

Results for “mathematical programming”

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 325 records · Page 18
All sourcesNASA NTRSDOE OSTI
NASA NTRS1984

Concentrator optical characterization using computer mathematical modelling and point source testing

The optical characteristics of a paraboloidal solar concentrator are analyzed using the intercept factor curve (a format for image data) to describe the results of a mathematical model and to represent reduced data from experimental testing. This procedure makes it possible not only to test an assembled concentrator, but also to evaluate single optical panels or to conduct non-solar tests of an assembled concentrator. The use of three-dimensional ray tracing computer programs to calculate the mathematical model is described. These ray tracing programs can include any type of optical configuration from simple paraboloids to array of spherical facets and can be adapted to microcomputers or larger computers, which can graphically display real-time comparison of calculated and measured data.

Dennison, E. W.↗
NASA NTRS1995

Mechanics of Textile Composites Conference

This document is a compilation of papers presented at the Mechanics of Textile Composites Conference in Hampton, Virginia, December 6-8, 1994. This conference was the culmination of a 3-year program that was initiated by NASA late in 1990 to develop mechanics of textile composites in support of the NASA Advance Composites Technology Program (ACT). The goal of the program was to develop mathematical models of textile preform materials and test methods to facilitate structural analysis and design. Participants in the program were from NASA, academia, and industry.

Poe, Clarence C.↗
NASA NTRS1995

Mechanics of Textile Composites Conference

This document is a compilation of papers presented at the Mechanics of Textile Composites Conference in Hampton, Virginia, December 6-8, 1994. This conference was the culmination of a 3-year program that was initiated by NASA late in 1990 to develop mechanics of textile composites in support of the NASA Advanced Composites Technology Program (ACT). The goal of the program was to develop mathematical models of textile preform materials and test methods to facilitate structural analysis and design. Participants in the program were from NASA, academia, and industry.

Poe, Clarence C., Jr.↗
NASA NTRS1997

Thermal-Structures and Materials Testing Laboratory

Since its inception and successful implementation in 1997 at James Madison University, the Thermal Structures and Materials Testing Laboratory (T-SaMTL) funded by the NASA Langley Research Center is evolving into one of the University's premier and exemplary efforts to increase minority representation in the sciences and mathematics. Serving ten (10) students and faculty directly and almost fifty (50) students indirectly, T-SAMTL, through its recruitment efforts, workshops, mentoring program, tutorial services and its research and computational laboratories has marked the completion of the first year with support from NASA totaling $ 100,000. Beginning as an innovative academic research and mentoring program for underrepresented minority science and mathematics students, the program now boasts a constituency which consists of 50% graduating seniors in the spring of 1998 with 50% planning to go to graduate school. The program's intent is to increase the number of underrepresented minorities who receive doctoral degrees in the sciences by initiating an academically enriched research program aimed at strengthening the academic and self actualization skills of undergraduate students with the potential to pursue doctoral study in the sciences. The program provides financial assistance, academic enrichment, and professional and personal development support for minority students who demonstrate the potential and strong desire to pursue careers in the sciences and mathematics. James Madison University was awarded the first $100,000, in April 1997, by The NASA Langley Research Center for establishment and support of its Thermal Structures and Materials Testing

Teate, Anthony A.↗
NASA NTRS1977

National Geodetic Satellite Program, Part II: Ohio State University

Data analysis was carried out to obtain an improved global network combining all participating tracking stations in a single worldwide coordinate system. Mathematical formulations were derived, programmed, and tested. Observational data were used to determine the relative positions of tracking stations in an arbitrary Cartesian coordinate system. The position of this coordinate system was estimated with respect to an absolute system. A primary network was established in which station positions were known to an internal consistency of 10 meters or better for the following purposes: (1) to establish the relative relationships between the various geodetic datums in use around the world; and (2) to connect isolated tracking stations, islands, navigational beacons, and other points of interest. Results are presented.

Mueller, I. I.↗
NASA NTRS1984

The semi-Markov unreliability range evaluator program

The SURE program is a design/validation tool for ultrareliable computer system architectures. The system uses simple algebraic formulas to compute accurate upper and lower bounds for the death state probabilities of a large class of semi-Markov models. The mathematical formulas used in the program were derived from a mathematical theorem proven by Allan White under contract to NASA Langley Research Center. This mathematical theorem is discussed along with the user interface to the SURE program.

Butler, R. W.↗
NASA NTRS1973

V/STOL tilt rotor aircraft study mathematical model for a real time simulation of a tilt rotor aircraft (Boeing Vertol Model 222), volume 8

This report documents the development of a real time mathematical model of a tilt rotor aircraft. This mathematical model is to be used in conjunction with the NASA Flight Simulator for Advanced Aircraft (FSAA) at Ames Research Center for evaluation of aircraft performance and handling qualities. In addition to developing the mathematical model, a parallel programming effort was conducted utilizing Boeing-Vertol's Hybrid Simulation Laboratory for the purpose of developing and evaluating model simplification. The mathematical model is an eleven degree of freedom total force model. This model includes the basic six degree of freedom rigid body .outer loop equations written about the instantaneous center of gravity with the inertial and aerodynamic terms included. The rotor is treated as a point source of forces and moments with appropriate response time lags and actuator dynamics. The wing has one vertical bending and one wing torsion degree of freedom. These structural degrees of freedom are treated on a "quasistatic" basis; i.e., the natural frequencies of vibration of the structure are much higher than the· frequencies of the rigid body motion, and the coupling is in the aerodynamic terms. Each nacelle has an independent pitch degree of freedom about the wing pivot. The aerodynamics of the wing, tail, rotors, landing gear and fuselage are included. Wing and tail mutual interference effects and turbine engine performance and dynamic responses' are represented.

H Rosenstein↗
NASA NTRS1989

Building Mathematical Models Of Solid Objects

Solid Modeling Program (SMP) version 2.0 provides capability to model complex solid objects mathematically through aggregation of geometric primitives (parts). System provides designer with basic set of primitive parts and capability to define new primitives. Six primitives included in present version: boxes, cones, spheres, paraboloids, tori, and trusses. Written in VAX/VMS FORTRAN 77.

Randall, Donald P.↗
NASA NTRS1969

Tracking system study

A digital computer program was generated which mathematically describes an optimal estimator-controller technique as applied to the control of antenna tracking systems used by NASA. Simulation studies utilizing this program were conducted using the IBM 360/91 computer. The basic ideas of applying optimal estimator-controller techniques to antenna tracking systems are discussed. A survey of existing tracking methods is given along with shortcomings and inherent errors. It is explained how these errors can be considerably reduced if optimal estimation and control are used. The modified programs generated in this project are described and the simulation results are summarized. The new algorithms for direct synthesis and stabilization of the systems including nonlinearities, are presented.

Dennis, A. R.↗
NASA NTRS1990

AMOEBA clustering revisited

A description of the clustering, classification, and image display program AMOEBA is presented. Using a difficult high resolution aircraft-acquired MSS image, the steps the program takes in forming clusters are traced. A number of new features are described here for the first time. Usage of the program is discussed. The theoretical foundation (the underlying mathematical model) is briefly presented. The program can handle images of any size and dimensionality.

Bryant, Jack↗
NASA NTRS1990

Software For Least-Squares And Robust Estimation

GAUSSFIT computer program includes full-featured programming language facilitating creation of mathematical models solving least-squares and robust-estimation problems. Programming language designed to make it easy to specify complex reduction models. Written in 100 percent C language.

Jeffreys, William H.↗
NASA NTRS1975

An adaptive maneuvering logic computer program for the simulation of one-to-one air-to-air combat. Volume 2: Program description

A detailed description is presented of the computer programs in order to provide an understanding of the mathematical and geometrical relationships as implemented in the programs. The individual sbbroutines and their underlying mathematical relationships are described, and the required input data and the output provided by the program are explained. The relationship of the adaptive maneuvering logic program with the program to drive the differential maneuvering simulator is discussed.

Burgin, G. H.↗
NASA NTRS2009

Assurance Cases for Proofs as Evidence

Proof-carrying code (PCC) provides a 'gold standard' for establishing formal and objective confidence in program behavior. However, in order to extend the benefits of PCC - and other formal certification techniques - to realistic systems, we must establish the correspondence of a mathematical proof of a program's semantics and its actual behavior. In this paper, we argue that assurance cases are an effective means of establishing such a correspondence. To this end, we present an assurance case pattern for arguing that a proof is free from various proof hazards. We also instantiate this pattern for a proof-based mechanism to provide evidence about a generic medical device software.

Chaki, Sagar↗