Solar flat plate Final report
Computer program and mathematical model for calculating performance characteristics of solar thermoelectric energy conversion plate
Source record↗
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.
The simultaneous observation program of the Smithsonian Astrophysical Observatory.
Smithsonian Astrophysical Observatory satellite observation program, discussing mathematical procedures to transform reduced data in celestial frame to fixed earth plane
Haefner, R. R.↗
A study of high frequency nonlinear combustion instability in baffled annular liquid propellant rocket motors
Computer program contains mathematical model which provides relationship between engine gas dynamics and combustion processes. Mathematically simulated explosions initiate gas disturbances. Design methods for damping disturbances can be studied to prevent future engine shutdown or destruction.
Abreu, A.↗
Power processing methodology
Discussion of the interim results of a program to investigate the feasibility of formulating a methodology for the modeling and analysis of aerospace electrical power processing systems. The object of the total program is to develop a flexible engineering tool which will allow the power processor designer to effectively and rapidly assess and analyze the tradeoffs available by providing, in one comprehensive program, a mathematical model, an analysis of expected performance, simulation, and a comparative evaluation with alternative designs. This requires an understanding of electrical power source characteristics and the effects of load control, protection, and total system interaction.
Fegley, K. A.↗
Constrained sloshing of liquid mercury in a flexible spherical tank
The mercury propellant tank system developed for use with solar electric propulsion was studied to analytically determine the resonant frequencies of the tank system and compare them with the anticipated control natural frequency of the spacecraft. The system consisted of a stainless steel spherical shell and a hemispherical elastometric diaphragm. The major analytical tool used was the NASTRAN program. Six mathematical models were developed. Resonant frequencies for six harmonics were obtained for each of the six models considered. The results show that the lowest resonant frequency for the tank system is about an order of magnitude greater than the anticipated control frequency of the spacecraft.
Lestingi, J.↗
Constrained sloshing of liquid mercury in a flexible spherical tank
The mercury propellant tank system developed for use with solar electric propulsion was studied to analytically determine the resonant frequencies of the tank system and compare them with the anticipated control natural frequency of the spacecraft. The system consisted of a stainless steel spherical shell and a hemispherical elastomeric diaphram which separates the mercury propellant and the gaseous nitrogen pressurant. The major analytical tool used was the NASTRAN program. Six mathematical models, which represent various amounts of mercury in the tank system were developed. Resonant frequencies for six harmonics were obtained for each of the six models considered. The results show that the lowest resonant frequency for the tank system is about an order of magnitude greater than the anticipated control frequency of the spacecraft.
Lestingi, J.↗
Global Earth Response to Loading by Ocean Tide Models
Mathematical and programming techniques to numerically calculate Earth response to global semidiurnal and diurnal ocean tide models were developed. Global vertical crustal deformations were evaluated for M sub 2, S sub 2, N sub 2, K sub 2, K sub 1, O sub 1, and P sub 1 ocean tide loading, while horizontal deformations were evaluated for the M sub 2 tidal load. Tidal gravity calculations were performed for M sub 2 tidal loads, and strain tensor elements were evaluated for M sub 2 loads. The M sub 2 solution used for the ocean tide included the effects of self-gravitation and crustal loading.
Estes, R. H.↗
A new approach to the minimum weight/loss design of switching power converters
A new technique using the mathematical nonlinear programming ALAG is proposed to facilitate design optimizations of switching power converters. This computer-aided approach provides a minimum weight (or loss) design down to the details of component level and concurrently satisfies all related power-circuit performance requirements. It also provides such design insights as tradeoffs between power loss and system weight as the switching frequency is increased.
Lee, F. C.↗
Verification of Numerical Algorithms
The following strategy is suggested for specification and proof: (1) Defer the construction of a formal program specification with respect to I/O assertions unit the correctness of the program with respect to an abstract mathematical model of program intent is demonstrated. (2) Prove that an abstract machine (using infinite precision arithmetic) would compute that object exactly. (3) Prove that the computational sequences of arithmetic operations that occur in the abstract machine must be precisely the same at every step as those occurring on an actual machine (with finite precision arithmetic), executing the same program. (4) Use a Verification Conditions VC-generator that knows about the semantics of arithmetic operations to annotate the program with assertions that bound (or in some circumstances estimate) the difference between the actual machine state variables and the corresponding ones of the abstract machine. Construct the formal program specification by combining the verification conditions into theorems about computational error that can be proved with mechanical assistance.
Source record↗
Optimization of payload mass placement in a dual keel space station
In order to keep a Space Station in a stable low-Earth orbit, angular momentum storage and translational attitude control systems will have to be used. In order to minimize the size of these attitude control systems, the induced gravity gradient torque effects will have to be minimized. This can be done by minimizing the cross-products of inertia of the Station through the management of payload placement with the Station geometry. A derived and automated methodology is presented which utilizes mathematical nonlinear programming techniques. An optimal arrangement of a set of five payloads on a Dual Keel Space Station was found that minimized the cross products of inertia and thus the required controllability resources.
Ferebee, Melvin J., Jr.↗
Predicting Temperatures In Ball Bearings
Computer simulations speed design studies. Analyses performed in two or three dimensions. Sizes and shapes of components approximated by zones or nodes connected by gridlines. From geometric information about grids and boundary conditions, properties of bearing and lubricant materials, and information supplied by users, thermal-analysis programs generate mathematical models for thermal transport. Thermal analysis of high-speed rolling contact bearings matured so much that computerized numerical simulations replace expensive time consuming full scale experiments.
Wagner, William R.↗
Computing Flows In Turbine End Bearings
Computer program implements mathematical model of flow through turbine and bearings of high-pressure-oxygen turbopump of Space Shuttle main engine. Intended to determine rate of flow and margin before vaporization in these bearings for various types of geometries. Effects of hydrostatic damper and/or back-pressure seal included. Modified for application to other turbomachines and fluids other than oxygen.
Smith, Tyn S.↗
DET/MPS - The GSFC Energy Balance Programs
Direct Energy Transfer (DET) and MultiMission Spacecraft Modular Power System (MPS) computer programs perform mathematical modeling and simulation to aid in design and analysis of DET and MPS spacecraft power system performance in order to determine energy balance of subsystem. DET spacecraft power system feeds output of solar photovoltaic array and nickel cadmium batteries directly to spacecraft bus. MPS system, Standard Power Regulator Unit (SPRU) utilized to operate array at array's peak power point. DET and MPS perform minute-by-minute simulation of performance of power system. Results of simulation focus mainly on output of solar array and characteristics of batteries. Both packages limited in terms of orbital mechanics, they have sufficient capability to calculate data on eclipses and performance of arrays for circular or near-circular orbits. DET and MPS written in FORTRAN-77 with some VAX FORTRAN-type extensions. Both available in three versions: GSC-13374, for DEC VAX-series computers running VMS. GSC-13443, for UNIX-based computers. GSC-13444, for Apple Macintosh computers.
Jagielski, J. M.↗
Reduction Of Sizes Of Semi-Markov Reliability Models
Trimming technique reduces computational effort by order of magnitude while introducing negligible error. Error bound depends on only three parameters from semi-Markov model: maximum sum of rates for failure transitions leaving any state, maximum average holding time for recovery-mode state, and operating time for system. Error bound computed before any model generated, enabling modeler to decide immediately whether or not model can be trimmed. Trimming procedure specified by precise and easy description, making it easy to include trimming procedure in program generating mathematical models for use in assessing reliability. Typical application of technique in design of digital control systems required to be extremely reliable. In addition to aerospace applications, fault-tolerant design has growing importance in wide range of industrial applications.
White, Allan L.↗
Introduction to Penelope
A formal program verification is a (mathematical) proof that a program executed according to its intended model meets some specification. This proves that the algorithm defined by the program is correct in the precise technical sense of being consistent with a particular specification. A program correct in this sense is free from a large and important class of errors, even though its behavior may still produce unintended results--either because the implementation of the programming language itself does not match the model of execution, or because the specification does not correctly express the user's intentions. Penelope is a prototype system for interactively developing and verifying programs that are written in a rich subset of sequential Ada. Penelope can be used to develop a program and its correctness proof incrementally, and in concert with one another. Incrementality is used in a number of ways to help make verification more tractable and more productive. For example, if an already-verified program is modified, one can attempt to prove the modified version by replaying and modifying the original verification. Penelope's specification language, Larch/Ada, belongs to the family of Larch interface languages. Larch/Ada scales up properly, in the sense that it is demonstrably sound to decompose a system hierarchically and reason locally about the implementation of each piece. Penelope has been applied in various demonstration projects--for specification (guidance control, distributed operating systems), verification (of off-the-shelf code), and formal development (by non-expert as well as expert users). Some features of Penelope have been embodied in Ada Wise, a lint-like non-interactive tool that warns of the potential for certain dynamic semantic errors in Ada programs.
Guaspari, David↗
Shielding from Space Radiations
This Final Progress Report for NCC-1-178 presents the details of the engineering development of an analytical/computational solution to the heavy ion transport equation in terms of a multi-layer Green's function formalism as applied to the Small Spacecraft Technology Initiative (SSTI) program. The mathematical developments are recasted into a series of efficient computer codes for space applications. The efficiency of applied algorithms is accomplished by a nonperturbative technique of extending the Green's function over the solution domain. The codes may also be applied to the accelerator boundary conditions to allow code validation in laboratory experiments. Correlations with experiments for the isotopic version of the code with 59 and 80 isotopes present for a two layers target material in water has been verified.
Chang, C. Ken↗
Aids to School Bus Design
Navistar International Transportation Corporation, Chicago, IL, used three separate NASA-developed technologies in the design and testing of their 3000 Series Bus Chassis which was developed expressly for school bus applications. For structural analysis, they used the MSC/NASTRAN program which mathematically analyzes a design and predicts how it will hold up under stress. They also used the SPATE 9000 system for non-contact measurement of stress, load transfer mechanisms, detection of hidden flaws, and monitoring structural changes during fatigue testing. SPATE 9000 was based on infrared stress measurement technology developed by Langley Research Center. They also employed the Wyle Ride Quality Meter, which was developed by Langley to aid in passenger aircraft design by providing an accurate measurement of ride vibration and sound level. These numbers translate into a subjective discomfort level index. These technologies contribute to the company's 45-48 percent share of the school bus chassis market.
Source record↗
High-Order Multivariable Transfer Function Curve Fitting: Algorithms, Space Matrix Methods and Experimental Results
This paper develops a computational approach to multivariable frequency domain curve fitting, based on 2-norm minimization.
matrix; parameter estimation; sparse matrices; mat↗