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 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↗
NASA NTRS1973

Launch window definition for sky target experiments.

This paper is a brief report on the computer program developed for the Extraterrestrial Physics Barium Ion Cloud (BIC) Project. The mathematical analysis developed for the program along with its programing characteristics are pointed out to show that this program is adaptable to similar sky target projects. Definite viewing constraints are specified so that the chosen ground tracking stations can photograph the behavior of the sky target after its release. Viewing factors include the illumination of the target by the sun, the relative elevation look angle to the target from each tracking station, the solar and lunar depression angles at each tracking station, and the total sky background brightness of the target relative to each tracking station. Numeric values are assigned to each factor through program input. The program output is flexible so that the results of the window calculations can be studied to the depth required.

Michaud, N. H.↗
NASA NTRS2002

Evaluating the Effectiveness of the 2001-2002 NASA "Why?" Files Program

This report contains the results of the evaluation conducted for the 2001-2002 NASA 'Why?' Files program that was conducted in March 2002. The analysis is based on the results of 139 surveys collected from educators registered for the program. Respondents indicated that (1) the programs in the series are aligned with the national mathematics, science, and technology standards; (2) the programs are developmentally (grade level) appropriate; and (3) the programs enhance and enrich the teaching and learning of mathematics, science, and technology.

Pinelli, Thomas E.↗
NASA NTRS2005

A Tool for Requirements-Based Programming

Absent a general method for mathematically sound, automated transformation of customer requirements into a formal model of the desired system, developers must resort to either manual application of formal methods or to system testing (either manual or automated). While formal methods have afforded numerous successes, they present serious issues, e.g., costs to gear up to apply them (time, expensive staff), and scalability and reproducibility when standards in the field are not settled. The testing path cannot be walked to the ultimate goal, because exhaustive testing is infeasible for all but trivial systems. So system verification remains problematic. System or requirements validation is similarly problematic. The alternatives available today depend on either having a formal model or pursuing enough testing to enable the customer to be certain that system behavior meets requirements. The testing alternative for non-trivial systems always have some system behaviors unconfirmed and therefore is not the answer. To ensure that a formal model is equivalent to the customer s requirements necessitates that the customer somehow fully understands the formal model, which is not realistic. The predominant view that provably correct system development depends on having a formal model of the system leads to a desire for a mathematically sound method to automate the transformation of customer requirements into a formal model. Such a method, an augmentation of requirements-based programming, will be briefly described in this paper, and a prototype tool to support it will be described. The method and tool enable both requirements validation and system verification for the class of systems whose behavior can be described as scenarios. An application of the tool to a prototype automated ground control system for NASA mission is presented.

Rash, James L.↗
NASA NTRS1989

AutoCAD-To-NASTRAN Translator Program

Program facilitates creation of finite-element mathematical models from geometric entities. AutoCAD to NASTRAN translator (ACTON) computer program developed to facilitate quick generation of small finite-element mathematical models for use with NASTRAN finite-element modeling program. Reads geometric data of drawing from Data Exchange File (DXF) used in AutoCAD and other PC-based drafting programs. Written in Microsoft Quick-Basic (Version 2.0).

Jones, A.↗
NASA NTRS1982

NASTRAN thermal analyzer in a unified finite-element treatment of thermo-structural analyses

The NASTRAN thermal analyzer (NTA) which performs large-scale unified thermo-structural analyses with the NASTRAN (NASA structural analysis) computer program is described. The mathematical similitude between these two distinct disciplines of thermal and structure is examined. It serves as the theoretical basis upon which the implementation of the thermal capability in NASTRAN was accomplished. The program structure, the functional flow, the solution algorithms, the organization of an input data deck and the solution capabilities of NTA are summarized. Emphasis is placed on the interface of the unified approach in thermo-structural analyses where stresses, deflections, vibrations and bucklings induced by the effect of temperature change are of concern. Attentions are also directed to the preprocessor and post processors. As a specially designed preprocessor, the VIEW program is capable of generating exchange factors which can be output, at user's option, in formats compatible with that required by NTA. Two post processors that serve specific objectives are included. They are the thermal variance analysis and the graphical displaying capability of temperatures in color or black and white.

Lee, H. P.↗
NASA NTRS1978

FETSIM user's manual and example

A batch program written in FORTRAN IV which does D.C. and transient analysis of MOS circuits is presented. Circuits employing N-MOS transistors and/or P-MOS transistors in either a bulk technology or an SOS technology, or almost any combination of R-C elements may be analyzed. The program requires as input data the complete circuit topology, device parameters, process parameters, and control parameters. The user can specify initial node conditions and the input pulse format. For example, pulse rise time, fall time, width and time between succeeding pulses are all independently controllable. The program contains a sophisticated mathematical model that can accurately handle either NMOS, P-MOS, Bulk or SOS devices. Sensitivity to process changes is maintained by requiring such process parameters as threshold voltage and doping level as program inputs.

Source record↗
NASA NTRS1987

Validation of a real-time engineering simulation of the UH-60A helicopter

A real-time simulation of the UH-60A Black Hawk Helicopter based on the Sikorsky Gen Hel mathematical model is compared with flight test data and Sikorsky's nonreal-time computer program. An overview of the mathematical model is given, including a description of updates and expansion of the model by NASA. Also, real-time programming requirements and techniques are explained. The simulation displays very good agreement with flight test data and excellent with the nonreal-time program on which it is based. The large dedication of effort required to develop the real-time program suggests a need for development of generalized techniques for real-time simulation of high-fidelity physical models of rotorcraft.

Ballin, Mark G.↗
NASA NTRS1979

SKYMAP system description: Star catalog data base generation and utilization

The specifications, design, software description, and use of the SKYMAP star catalog system are detailed. The SKYMAP system was developed to provide an accurate and complete catalog of all stars with blue or visual magnitudes brighter than 9.0 for use by attitude determination programs. Because of the large number of stars which are brighter than 9.0 magnitude, efficient techniques of manipulating and accessing the data were required. These techniques of staged distillation of data from a Master Catalog to a Core Catalog, and direct access of overlapping zone catalogs, form the basis of the SKYMAP system. The collection and tranformation of data required to produce the Master Catalog data base is described. The data flow through the main programs and levels of star catalogs is detailed. The mathematical and logical techniques for each program and the format of all catalogs are documented.

Gottlieb, D. M.↗
NASA NTRS2002

Evaluating the Effectiveness of the 2000-2001 NASA "Why?" Files Program

NASA 'Why?' Files, a research and standards-based, Emmy-award winning series of 60-minute instructional programs for grades 3-5, introduces students to NASA; integrates mathematics, science, and technology by using Problem-Based Learning (PBL), scientific inquiry, and the scientific method; and motivates students to become critical thinkers and active problem solvers. All four 2000-2001 NASA 'Why?' Files programs include an instructional broadcast, a lesson guide, an interactive web site, plus numerous instructional resources. In March 2001, 1,000 randomly selected program registrants participated in a survey. Of these surveys, 185 (154 usable) met the established cut-off date. Respondents reported that (1) they used the four programs in the 2000-2001 NASA 'Why?' Files series; (2) series goals and objectives were met; (3) programs met national mathematics, science, and technology standards; (4) program content was developmentally appropriate for grade level; and (5) programs enhanced/enriched the teaching of mathematics, science, and technology.

Pinelli, Thomas E.↗
NASA NTRS1975

A computer program for fitting smooth surfaces to an aircraft configuration and other three dimensional geometries

A computer program that uses a three-dimensional geometric technique for fitting a smooth surface to the component parts of an aircraft configuration is presented. The resulting surface equations are useful in performing various kinds of calculations in which a three-dimensional mathematical description is necessary. Programs options may be used to compute information for three-view and orthographic projections of the configuration as well as cross-section plots at any orientation through the configuration. The aircraft geometry input section of the program may be easily replaced with a surface point description in a different form so that the program could be of use for any three-dimensional surface equations.

Craidon, C. B.↗
NASA NTRS1982

Program listing for the REEDM (Rocket Exhaust Effluent Diffusion Model) computer program

The program listing for the REEDM Computer Program is provided. A mathematical description of the atmospheric dispersion models, cloud-rise models, and other formulas used in the REEDM model; vehicle and source parameters, other pertinent physical properties of the rocket exhaust cloud and meteorological layering techniques; user's instructions for the REEDM computer program; and worked example problems are contained in NASA CR-3646.

Bjorklund, J. R.↗
NASA NTRS1996

Another Program Simulates A Modular Manufacturing System

SSE5 computer program provides simulation environment for modeling manufacturing systems containing relatively small numbers of stations and operators. Designed to simulate manufacturing of apparel, also used in other manufacturing domains. Valuable for small or medium-size firms, including those lacking expertise to develop detailed mathematical models or have only minimal knowledge in describing manufacturing systems and in analyzing results of simulations on mathematical models. Two other programs available bundled together as SSE (MFS-26245). Each program models slightly different manufacturing scenario. Written in Turbo C v2.0 for IBM PC-series and compatible computers running MS-DOS and successfully compiled using Turbo C++ v3.0.

Schroer, Bernard J.↗
NASA NTRS1987

A strategy for automatically generating programs in the lucid programming language

A strategy for automatically generating and verifying simple computer programs is described. The programs are specified by a precondition and a postcondition in predicate calculus. The programs generated are in the Lucid programming language, a high-level, data-flow language known for its attractive mathematical properties and ease of program verification. The Lucid programming is described, and the automatic program generation strategy is described and applied to several example problems.

Johnson, Sally C.↗