Engineering Papers⌕ Search

SEARCH · Engineering Papers

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 1,117 records · Page 62
All sourcesNASA NTRSDOE OSTI
NASA NTRS2001

Discrete-State Simulated Annealing For Traveling-Wave Tube Slow-Wave Circuit Optimization

Algorithms based on the global optimization technique of simulated annealing (SA) have proven useful in designing traveling-wave tube (TWT) slow-wave circuits for high RF power efficiency. The characteristic of SA that enables it to determine a globally optimized solution is its ability to accept non-improving moves in a controlled manner. In the initial stages of the optimization, the algorithm moves freely through configuration space, accepting most of the proposed designs. This freedom of movement allows non-intuitive designs to be explored rather than restricting the optimization to local improvement upon the initial configuration. As the optimization proceeds, the rate of acceptance of non-improving moves is gradually reduced until the algorithm converges to the optimized solution. The rate at which the freedom of movement is decreased is known as the annealing or cooling schedule of the SA algorithm. The main disadvantage of SA is that there is not a rigorous theoretical foundation for determining the parameters of the cooling schedule. The choice of these parameters is highly problem dependent and the designer needs to experiment in order to determine values that will provide a good optimization in a reasonable amount of computational time. This experimentation can absorb a large amount of time especially when the algorithm is being applied to a new type of design. In order to eliminate this disadvantage, a variation of SA known as discrete-state simulated annealing (DSSA), was recently developed. DSSA provides the theoretical foundation for a generic cooling schedule which is problem independent, Results of similar quality to SA can be obtained, but without the extra computational time required to tune the cooling parameters. Two algorithm variations based on DSSA were developed and programmed into a Microsoft Excel spreadsheet graphical user interface (GUI) to the two-dimensional nonlinear multisignal helix traveling-wave amplifier analysis program TWA3. The algorithms were used to optimize the computed RF efficiency of a TWT by determining the phase velocity profile of the slow-wave circuit. The mathematical theory and computational details of the DSSA algorithms will be presented and results will be compared to those obtained with a SA algorithm.

Wilson, Jeffrey D.↗
NASA NTRS2003

Lyophilization for Water Recovery From Solid Waste

This abstract describes the development of a solid waste treatment system designed for a near term human exploration mission. The technology being developed is an energy- efficient lyophilization technique that recovers water from spacecraft solid waste. In the lyophilization process water in an aqueous waste is frozen and then sublimed, resulting in the separation of the waste into a dried solid material and liquid water. This technology is ideally suited to applications where water recovery rates approaching 100% are desirable but production of CO, is not. Water contained within solid wastes accounts for approximately 3% of the total water balance. If 100% closure of the water loop is desired the water contained within this waste would need to be recovered. To facilitate operation in microgravity thermoelectric heat pumps have be used in place of traditional fluid cycle heat pumps. A mathematical model of a thermoelectric lyophilizer has been developed and used to generate energy use and processing rate parameters. The results of laboratory investigations and discussions with ALS program management have been used to iteratively arrive at a prototype design. This design address operational limitations which were identified in the laboratory studies and handling and health concerns raised by ALS program management. The current prototype design is capable of integration into the ISS Waste Collection System.

Flynn, Michael↗
NASA NTRS2004

A Generic Software Safety Document Generator

Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in principle, can be subjected to external scrutiny. In practice, however, proofs themselves are unlikely to be of much interest to engineers. Nevertheless, it is possible to use the information obtained from a mathematical analysis of software to produce a detailed textual justification of correctness. In this paper, we describe an approach to generating textual explanations from automatically generated proofs of program safety, where the proofs are of compliance with an explicit safety policy that can be varied. Key to this is tracing proof obligations back to the program, and we describe a tool which implements this to certify code auto-generated by AutoBayes and AutoFilter, program synthesis systems under development at the NASA Ames Research Center. Our approach is a step towards combining formal certification with traditional certification methods.

Denney, Ewen↗
NASA NTRS1991

An algorithm for converting a virtual-bond chain into a complete polypeptide backbone chain

A systematic analysis is presented of the algorithm for converting a virtual-bond chain, defined by the coordinates of the alpha-carbons of a given protein, into a complete polypeptide backbone. An alternative algorithm, based upon the same set of geometric parameters used in the Purisima-Scheraga algorithm but with a different "linkage map" of the algorithmic procedures, is proposed. The global virtual-bond chain geometric constraints are more easily separable from the loal peptide geometric and energetic constraints derived from, for example, the Ramachandran criterion, within the framework of this approach.

NASA Discipline Exobiology↗
NASA NTRSDate not supplied

Developing a Multi-Lingual Autocoding Interface for the MAVERIC-II Dynamics Simulator

Simulation model development in certain high-level languages such as Python, MATLAB, or Simulink are unparalleled by their convenience and rapid turnover time. However, legacy simulation engines often depend on more traditional languages such as FORTRAN or C/C++. The NASA Marshall Aerospace Vehicle Representation in C version II (MAVERIC-II) is a modular, legacy-derived computer program used for high-fidelity, 6 degree-of-freedom (6dof) simulation for aerospace vehicle flights and analyses of guidance and control performance with built-in mathematical modeling of environmental effects such as wind, atmosphere, and gravity as well as dispersion capability for Monte Carlo analysis. MAVERIC-II is modular in the sense that each component software element of the simulation engine may be supplanted for a higher or lower fidelity version. The design flow of the development of these models is often performed in high-level languages as mentioned previously, which must then be translated into C or C++ code to be integrated into MAVERIC-II. We propose a unified method of autocoding and interfacing between several languages and MAVERIC-II, which may be generalized further to any type of 6dof simulation engine.

Mason Nixon↗
NASA NTRSDate not supplied

Developing a Multilingual Auto-coding Interface Control for the MAVERIC-II Dynamics Simulator

Simulation model development in certain high-level languages such as Python, MATLAB, or Simulink are unparalleled by their convenience and rapid turnover time. However, legacy simulation engines often depend on more traditional languages such as FORTRAN or C/C++. The NASA Marshall Aerospace Vehicle Representation in C version II (MAVERIC-II) is a modular, legacy-derived computer program used for high-fidelity, 6 degree-of-freedom (6DOF) simulation for aerospace vehicle flights and analyses of guidance and control performance with built-in mathematical modeling of environmental effects such as wind, atmosphere, and gravity as well as dispersion capability for Monte Carlo analysis. MAVERIC-II is modular in the sense that each component software element of the simulation engine may be supplanted for a higher or lower fidelity version. The design flow of the development of these models is often performed in high-level languages as mentioned previously, which must then be translated into C or C++ code to be integrated into MAVERIC-II. Using principles of model-based design, we propose a unified method of auto-coding and interfacing between several languages and MAVERIC-II, which may be generalized further to any type of 6DOF simulation engine.

Mason Nixon↗
NASA NTRS2011

Shuttle Program Loads Integration: Going From Concept to Operations and Staying Successful

From the beginning of the Shuttle Program to its end, integrated loads and dynamics analyses and tests have been critical in shaping the vehicle design and operational decisions for NASA and its customers. Starting with scaled models and simple mathematical simulations of the structural dynamics, engineers defined the required structural stiffness and predicted the limit loads for each element of the system. Early structural tests provided reasonable confidence that the models and predictions were good. The first launch of the Space Shuttle brought surprises, though, when the ignition overpressure event caused a forward fuel tank support strut to buckle, among several unexpected effects. The launch pad and other ground equipment became an integral part of the system integration, especially where the acoustic and pressure environments of ignition and lift-off were concerned. Following the Challenger accident, operating limits were changed in response to new understandings of how the integrated system performed. Controlling loads while maximizing performance was a key tenet of the Performance Enhancement design process, which enabled construction of the International Space Station. During the return to flight after the Columbia accident, engineers grew to understand that loads during the roll maneuver were also important to the vehicle s structural margin and life. At this point the crawler transport from the Vehicle Assembly Building to the launch pad also became a part of the integrated loads analysis. Even in the last years of the Space Shuttle Program, new data still provided interesting insights into this complicated and fascinating spaceship. This paper will present some examples of the important findings by the team of specialists that supported the Integrated Loads and Dynamics Panel for the Space Shuttle Program.

Bernstein, Karen↗
NASA NTRS1988

Terrestrial implications of mathematical modeling developed for space biomedical research

This paper summarizes several related research projects supported by NASA which seek to apply computer models to space medicine and physiology. These efforts span a wide range of activities, including mathematical models used for computer simulations of physiological control systems; power spectral analysis of physiological signals; pattern recognition models for detection of disease processes; and computer-aided diagnosis programs.

Lujan, Barbara F.↗
NASA NTRS1992

Computing Reliabilities Of Ceramic Components Subject To Fracture

CARES calculates fast-fracture reliability or failure probability of macroscopically isotropic ceramic components. Program uses results from commercial structural-analysis program (MSC/NASTRAN or ANSYS) to evaluate reliability of component in presence of inherent surface- and/or volume-type flaws. Computes measure of reliability by use of finite-element mathematical model applicable to multiple materials in sense model made function of statistical characterizations of many ceramic materials. Reliability analysis uses element stress, temperature, area, and volume outputs, obtained from two-dimensional shell and three-dimensional solid isoparametric or axisymmetric finite elements. Written in FORTRAN 77.

Nemeth, N. N.↗
NASA NTRS2003

Student Outreach With Renewable Energy Technology

The Student Outreach with Renewable Energy Technology (SORET) program is a joint grant that involves a collaboration between three HBCU's (Central State University, Savannah State University, and Wilberforce University) and NASA John H. Glenn Research Center at Lewis Field. The overall goal of the grant is to increase the interest of minority students in the technical disciplines, to encourage participating minority students to continue their undergraduate study in these disciplines, and to promote graduate school to these students. As a part of SORET, Central State University has developed an undergraduate research associates program over the past two years. As part of this program, students are required to take special laboratory courses offered at Wilberforce University that involve the application of renewable energy systems. The course requires the students to design, construct, and install a renewable energy project. In addition to the applied renewable energy course, Central State University provided four undergraduate research associates the opportunity to participate in summer internships at Texas Southern University (Renewable Energy Environmental Protection Program) and the Cleveland African-American Museum (Renewable Energy Summer Camp for High School Students) an activity co sponsored by NASA and the Cleveland African-American Museum. Savannah State University held a high school summer program with a theme of the Direct Impact of Science on Our Every Day Lives. The purpose of the institute was to whet the interest of students in science, mathematics, engineering, and technology (SMET) by demonstrating the effectiveness of science to address real world problems. The 2001 institute involved the design and installation of a PV water pumping system at the Center for Advanced Water Technology and Energy Systems at Savannah State. Both high school students and undergraduates contributed to this project. Wilberforce University has used NASA support to provide resources for an Applied Renewable Energy Laboratory offered to both Central State and Wilberforce students. In addition, research endeavors for high school and undergraduates were funded during the summer. The research involved attempts to layer photovoltaic materials on a conducting polymer (polypyrrole) substrate. Two undergraduate students who were interested in polymer research originated this concept. Finally, the university was able to purchase a meteorological station to assist in the analysis of the solar/wind hybrid power system operating at the university.

Clark, Eric B.↗
NASA NTRS2017

Mind the Gap: Exploring the Underground of the NASA Space Cancer Risk Model

The REID quantifies the lifetime risk of death from radiation-induced cancer in an exposed astronaut. The NASA Space Cancer Risk (NSCR) 2012 mode incorporates elements from physics, biology, epidemiology, and statistics to generate the REID distribution. The current model quantifies the space radiation environment, radiation quality, and dose-rate effects to estimate a NASA-weighted dose. This weighted dose is mapped to the excess risk of radiation-induced cancer mortality from acute exposures to gamma rays and then transferred to an astronaut population. Finally, the REID is determined by integrating this risk over the individual's lifetime. The calculated upper 95% confidence limit of the REID is used to restrict an astronaut's permissible mission duration (PMD) for a proposed mission. As a statistical quantity characterized by broad, subjective uncertainties, REID estimates for space missions result in wide distributions. Currently, the upper 95% confidence level is over 350% larger than the mean REID value, which can severely limit an astronaut's PMD. The model incorporates inputs from multiple scientific disciplines in the risk estimation process. Physics and particle transport models calculate how radiation moves through space, penetrates spacecraft, and makes its way to the human beings onboard. Epidemiological studies of exposures from atomic bombings, medical treatments, and power plants are used to quantify health risks from acute and chronic low linear energy transfer (LET) ionizing radiation. Biological studies in cellular and animal models using radiation at various LETs and energies inform quality metrics for ions present in space radiation. Statistical methodologies unite these elements, controlling for mathematical and scientific uncertainty and variability. Despite current progress, these research platforms contain knowledge gaps contributing to the large uncertainties still present in the model. The NASA Space Radiation Program Element (SRPE) defines the knowledge gaps that impact our understanding of the cancer risks. These gaps are outlined in NASA's Human Research Roadmap [4], which identifies the research questions and actions recommended for reducing the uncertainty in the current NSCR model and for formulation of future models. The greatest contributors to uncertainty in the current model include radiation quality, dose rate effects, and the transfer of exposure-based risk from other populations to an astronaut population. Future formulations of the risk model may benefit from including other potential sources of uncertainty such as space dosimetry, errors in human epidemiology data, and the impact of microgravity and other spaceflight stressors. Here, we discuss the current capabilities of the NSCR-2012 model and several immediate research needs, highlighting areas expected to have an operational impact on the current model schema. The following subway-style route map outlines the NSCR-2012 model (Green Line), emphasizing the research gaps in the Human Research Roadmap for risk of radiation-induced carcinogenesis (Stops on Dashed Lines). The map diagrams how these research gaps feed specific portions of the model.

Chappell, L. J.↗
NASA NTRS2020

Battery Health Quantification for TDRS Spacecraft by Using Signature Discriminability Measurement

The NASA/GSFC Space Network Project Office (SN) currently operates a constellation of ten geosynchronous TDRS spacecraft launched over the past 30 years. The SN project collects up to 16.5 Gigabytes of telemetry every month. Generally, the spacecraft health and functionality are obtained by the use of real-time telemetry data for the multiple spacecraft subsystems, which are transmitted to the main ground station at the White Sands Complex in Las Cruces, NM. Recently, the SN has instituted a program of Big Data to analyze the large amounts of data using a variety of tools including Machine Learning, Artificial Intelligence, development of training sets, and a variety of mathematical modeling tools. The goal is to improve spacecraft management and obtain a more accurate prediction of the spacecraft end of life. The combination of these efforts with those of the Aerospace Corporation, which has a contract with the SN to produce yearly reliability estimates for the TDRS fleet, will be performed. This paper presents a new concept called telemetry quality quantification (TQQ) and discusses the progress that has been made in battery performance estimation for the second-generation TDRS spacecraft using a signature discriminability measures (SDM) algorithm combined with the Aerospace Corp. battery life estimation models. This activity is important because many of the TDRS fleet of spacecraft have exceeded their on-orbit design lifetime and, therefore, NASA must carefully manage the spacecraft to continue operations while avoiding an end-of-mission scenario that leaves a non-functioning spacecraft in geosynchronous orbit.

Ma, Kenneth Y.↗
NASA NTRSDate not supplied

On The Incorporation of Both Function-Driven Requirements and Topology Optimization in The Development of Lunar Launch & Landing Pads

In the design of additively manufactured structures, there can be a constant battle between focusing on function-driven design and topology optimization in an attempt to improve a products ability to meet all requirements. Function-driven optimization is defined as the process of identifying the best design parameters that satisfy project functionality requirements. Function-driven optimization is typically implemented by a designer(s) who, instead of computational limitations, has human bias for the input or inputs determined. On the other hand, topology optimization is defined as a mathematical method that optimizes material layout within a given design space, for a given set of loads, boundary conditions, and constraints with the goal of maximizing the performance of the system. In topology optimization, the work is defined by the limited mathematical inputs and computationally available goals/restraints. If not evaluated simultaneously, these two approaches can result in fundamentally different design concepts meant to address the same requirements. NASA’s Artemis program includes the development of a base camp near the lunar South Pole. After site selection is made, one of the first infrastructure elements needed will be a launch and landing pad (LLP). The construction of such a pad will prevent damage to nearby structures from plume-surface interaction (PSI) while also providing a stable platform for the lander. These benefits reduce the required distance between the established landing zones and other settlement infrastructure. In this paper, the authors evaluate the requirements associated with lunar LLP development, application of both functional and topological optimization techniques, methodologies to combine the two techniques, and potential impacts on final design of such a pad.

In-situ↗
NASA NTRS1994

Computer program for calculation of complex chemical equilibrium compositions and applications. Part 1: Analysis

This report presents the latest in a number of versions of chemical equilibrium and applications programs developed at the NASA Lewis Research Center over more than 40 years. These programs have changed over the years to include additional features and improved calculation techniques and to take advantage of constantly improving computer capabilities. The minimization-of-free-energy approach to chemical equilibrium calculations has been used in all versions of the program since 1967. The two principal purposes of this report are presented in two parts. The first purpose, which is accomplished here in part 1, is to present in detail a number of topics of general interest in complex equilibrium calculations. These topics include mathematical analyses and techniques for obtaining chemical equilibrium; formulas for obtaining thermodynamic and transport mixture properties and thermodynamic derivatives; criteria for inclusion of condensed phases; calculations at a triple point; inclusion of ionized species; and various applications, such as constant-pressure or constant-volume combustion, rocket performance based on either a finite- or infinite-chamber-area model, shock wave calculations, and Chapman-Jouguet detonations. The second purpose of this report, to facilitate the use of the computer code, is accomplished in part 2, entitled 'Users Manual and Program Description'. Various aspects of the computer code are discussed, and a number of examples are given to illustrate its versatility.

Gordon, Sanford↗
NASA NTRS2008

Expressions Module for the Satellite Orbit Analysis Program

The Expressions Module is a software module that has been incorporated into the Satellite Orbit Analysis Program (SOAP). The module includes an expressions- parser submodule built on top of an analytical system, enabling the user to define logical and numerical variables and constants. The variables can capture output from SOAP orbital-prediction and geometric-engine computations. The module can combine variables and constants with built-in logical operators (such as Boolean AND, OR, and NOT), relational operators (such as >, <, or =), and mathematical operators (such as addition, subtraction, multiplication, division, modulus, exponentiation, differentiation, and integration). Parentheses can be used to specify precedence of operations. The module contains a library of mathematical functions and operations, including logarithms, trigonometric functions, Bessel functions, minimum/ maximum operations, and floating- point-to-integer conversions. The module supports combinations of time, distance, and angular units and has a dimensional- analysis component that checks for correct usage of units. A parser based on the Flex language and the Bison program looks for and indicates errors in syntax. SOAP expressions can be built using other expressions as arguments, thus enabling the user to build analytical trees. A graphical user interface facilitates use.

Edmonds, Karina↗
NASA NTRS1972

Nonlinear and Digital Man-machine Control Systems Modeling

An adaptive modeling technique is examined by which controllers can be synthesized to provide corrective dynamics to a human operator's mathematical model in closed loop control systems. The technique utilizes a class of Liapunov functions formulated for this purpose, Liapunov's stability criterion and a model-reference system configuration. The Liapunov function is formulated to posses variable characteristics to take into consideration the identification dynamics. The time derivative of the Liapunov function generate the identification and control laws for the mathematical model system. These laws permit the realization of a controller which updates the human operator's mathematical model parameters so that model and human operator produce the same response when subjected to the same stimulus. A very useful feature is the development of a digital computer program which is easily implemented and modified concurrent with experimentation. The program permits the modeling process to interact with the experimentation process in a mutually beneficial way.

Mekel, R.↗
NASA NTRS1975

Analysis of radiative sources with both specular and diffuse characteristics in the visible and infrared spectrum

The application of analytical concepts developed to facilitate the design and analysis of the thermal simulator for the Apollo Soyuz docking module is discussed. The functions used to mathematically formulate the irradiance from a quartzline lamp and reflector are described with examples of applications to other geometries. General information is denoted for utilization of the functions in computer programs with approximate computer storage and statement requirements.

Williams, F. U.↗