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 919 records · Page 51

Inspiring the Next Generation of Explorers: Scientist Involvement in the Expedition Earth and Beyond Program

Scientists, science experts, graduate and even undergraduate student researchers have a unique ability to inspire the next generation of explorers. These science, technology, engineering, and mathematics (STEM) experts can serve as role models for students and can help inspire them to consider future STEM-related careers. They have an exceptional ability to instill a sense of curiosity and fascination in the minds of students as they bring science to life in the classroom. Students and teachers are hungry for opportunities to interact with scientists. They feel honored when these experts take time out of their busy day to share their science, their expertise, and their stories. The key for teachers is to be cognizant of opportunities to connect their students with scientists. For scientists, the key is to know how to get involved, to have options for participation that involve different levels of commitment, and to work with educational specialists who can help facilitate their involvement. The Expedition Earth and Beyond (EEAB) Program, facilitated by the Astromaterials Research and Exploration Science (ARES) Directorate at the NASA Johnson Space Center, is an Earth and planetary science education program designed to inspire, engage, and educate teachers and students by getting them actively involved with NASA exploration, discovery, and the process of science. One of the main goals of the program is to facilitate student research in the classroom. The program uses astronaut photographs, provided through the ARES Crew Earth Observations (CEO) payload on the International Space Station (ISS) as the hook to help students gain an interest in a research topic. Student investigations can focus on Earth or involve comparative planetology. Student teams are encouraged to use additional imagery and data from Earth or planetary orbital spacecraft, or ground-based data collection tools, to augment the astronaut photography dataset. A second goal of the program is to provide opportunities for meaningful connections between scientists and classrooms. To do this, EEAB offers multiple opportunities for scientist involvement. One opportunity involves having scientists work as mentors for student teams conducting research. These student teams, ranging from grades 4 through 12, are able to obtain guidance, suggestions, and input from STEM experts as they conduct a research investigation. Another opportunity for scientist involvement is participation in Classroom Connection Distance Learning (DL) events. These DL events entail interactive and engaging presentations that enable STEM experts to share their expertise with students and teachers (grades 3 through 12) from all across the nation. A third opportunity for scientist involvement involves participation in virtual student team science presentations. Student teams have the opportunity to share their research and results by presenting it to science experts through the use of WebEx, an easy-to-use online conferencing tool. The impact STEM experts have on students in today s classrooms is powerful. They serve as role models to these students, and they open students eyes to a potential career path they may not have known existed otherwise. The more scientists and STEM experts we can connect with students, the greater the impact we can make as we strive to inspire and prepare our nation s next generation of explorers.

Graff, Paige↗

STEP and STEPSPL: Computer programs for aerodynamic model structure determination and parameter estimation

The successful parametric modeling of the aerodynamics for an airplane operating at high angles of attack or sideslip is performed in two phases. First the aerodynamic model structure must be determined and second the associated aerodynamic parameters (stability and control derivatives) must be estimated for that model. The purpose of this paper is to document two versions of a stepwise regression computer program which were developed for the determination of airplane aerodynamic model structure and to provide two examples of their use on computer generated data. References are provided for the application of the programs to real flight data. The two computer programs that are the subject of this report, STEP and STEPSPL, are written in FORTRAN IV (ANSI l966) compatible with a CDC FTN4 compiler. Both programs are adaptations of a standard forward stepwise regression algorithm. The purpose of the adaptation is to facilitate the selection of a adequate mathematical model of the aerodynamic force and moment coefficients of an airplane from flight test data. The major difference between STEP and STEPSPL is in the basis for the model. The basis for the model in STEP is the standard polynomial Taylor's series expansion of the aerodynamic function about some steady-state trim condition. Program STEPSPL utilizes a set of spline basis functions.

Batterson, J. G.↗

A digital algorithm for characteristic film curves

The task of establishing a film calibration scheme for magnitude studies of Skylab photographic images of Comet Kohoutek is examined. Since the data are recorded in terms of film density and have to be used in terms of exposure, the conversion from density to exposure is critical. In this film calibration scheme, the hardware deals with the data sources, recording medium, and data conversion to a computer compatible program, whereas the software deals with signal to noise enhancement, stepwedge calibration curve and leads to modeling of the film characteristic curves. A mathematical model of the characteristic curve is obtained using a modified version of Efroymson's (1960) stepwise multiple linear regression algorithm, which gives log exposure as a function of density. The difference in the calibration curves from pre- and postflight exposures is well accounted for in the model as a result of sensitive statistical tests. The characteristic curve modeling program requires about 4K of core and is executed in about 3 min.

Buckner, J.↗

PSC algorithm description

An overview of the performance seeking control (PSC) algorithm and details of the important components of the algorithm are given. The onboard propulsion system models, the linear programming optimization, and engine control interface are described. The PSC algorithm receives input from various computers on the aircraft including the digital flight computer, digital engine control, and electronic inlet control. The PSC algorithm contains compact models of the propulsion system including the inlet, engine, and nozzle. The models compute propulsion system parameters, such as inlet drag and fan stall margin, which are not directly measurable in flight. The compact models also compute sensitivities of the propulsion system parameters to change in control variables. The engine model consists of a linear steady state variable model (SSVM) and a nonlinear model. The SSVM is updated with efficiency factors calculated in the engine model update logic, or Kalman filter. The efficiency factors are used to adjust the SSVM to match the actual engine. The propulsion system models are mathematically integrated to form an overall propulsion system model. The propulsion system model is then optimized using a linear programming optimization scheme. The goal of the optimization is determined from the selected PSC mode of operation. The resulting trims are used to compute a new operating point about which the optimization process is repeated. This process is continued until an overall (global) optimum is reached before applying the trims to the controllers.

Nobbs, Steven G.↗

An Arbitrary First Order Theory Can Be Represented by a Program: A Theorem

How can we represent knowledge inside a computer? For formalized knowledge, classical logic seems to be the most adequate tool. Classical logic is behind all formalisms of classical mathematics, and behind many formalisms used in Artificial Intelligence. There is only one serious problem with classical logic: due to the famous Godel's theorem, classical logic is algorithmically undecidable; as a result, when the knowledge is represented in the form of logical statements, it is very difficult to check whether, based on this statement, a given query is true or not. To make knowledge representations more algorithmic, a special field of logic programming was invented. An important portion of logic programming is algorithmically decidable. To cover knowledge that cannot be represented in this portion, several extensions of the decidable fragments have been proposed. In the spirit of logic programming, these extensions are usually introduced in such a way that even if a general algorithm is not available, good heuristic methods exist. It is important to check whether the already proposed extensions are sufficient, or further extensions is necessary. In the present paper, we show that one particular extension, namely, logic programming with classical negation, introduced by M. Gelfond and V. Lifschitz, can represent (in some reasonable sense) an arbitrary first order logical theory.

Hosheleva, Olga↗

Sally Ride EarthKAM - Automated Image Geo-Referencing Using Google Earth Web Plug-In

Sally Ride EarthKAM is an educational program funded by NASA that aims to provide the public the ability to picture Earth from the perspective of the International Space Station (ISS). A computer-controlled camera is mounted on the ISS in a nadir-pointing window; however, timing limitations in the system cause inaccurate positional metadata. Manually correcting images within an orbit allows the positional metadata to be improved using mathematical regressions. The manual correction process is time-consuming and thus, unfeasible for a large number of images. The standard Google Earth program allows for the importing of KML (keyhole markup language) files that previously were created. These KML file-based overlays could then be manually manipulated as image overlays, saved, and then uploaded to the project server where they are parsed and the metadata in the database is updated. The new interface eliminates the need to save, download, open, re-save, and upload the KML files. Everything is processed on the Web, and all manipulations go directly into the database. Administrators also have the control to discard any single correction that was made and validate a correction. This program streamlines a process that previously required several critical steps and was probably too complex for the average user to complete successfully. The new process is theoretically simple enough for members of the public to make use of and contribute to the success of the Sally Ride EarthKAM project. Using the Google Earth Web plug-in, EarthKAM images, and associated metadata, this software allows users to interactively manipulate an EarthKAM image overlay, and update and improve the associated metadata. The Web interface uses the Google Earth JavaScript API along with PHP-PostgreSQL to present the user the same interface capabilities without leaving the Web. The simpler graphical user interface will allow the public to participate directly and meaningfully with EarthKAM. The use of similar techniques is being investigated to place ground-based observations in a Google Mars environment, allowing the MSL (Mars Science Laboratory) Science Team a means to visualize the rover and its environment.

Andres, Paul M.↗

Ray trajectories in a torus: An application of MACSYMA to a complex numerical computation

The study of ray trajectories of plasma waves in a torodial geometry using MACSYMA is an example of how symbolic, numerical, and graphical facilities can be used in concert to accomplish a complex computational goal. Computational features of this study which are of particular significance include: the derivation of code (i.e. writing functions to generate program fragments), the use of array functions to simplify the specification of a numerical iteration scheme, and the graphical presentation of the results. Mathematically, this study originates in the solution of a linear inhomogeneous partial differential equation in 3 dimensions by the method of characteristics. While it is possible to describe this equation compactly by using vector notation, and by specifying the spatial variation of the coefficients in terms of intermediate parameters, the transformation of the equation into a form amenable to solution is very tedious. A MACSYMA program is presented for obtaining description of the rf field structure excited by a waveguide located at the edge of a toroidal plasma confinement device.

Kulp, J. L.↗

SIRU utilization. Volume 1: Theory, development and test evaluation

The theory, development, and test evaluations of the Strapdown Inertial Reference Unit (SIRU) are discussed. The statistical failure detection and isolation, single position calibration, and self alignment techniques are emphasized. Circuit diagrams of the system components are provided. Mathematical models are developed to show the performance characteristics of the subsystems. Specific areas of the utilization program are identified as: (1) error source propagation characteristics and (2) local level navigation performance demonstrations.

Musoff, H.↗

Supercritical wing sections 2, volume 108

A mathematical theory for the design and analysis of supercritical wing sections was previously presented. Examples and computer programs showing how this method works were included. The work on transonics is presented in a more definitive form. For design, a better model of the trailing edge is introduced which should eliminate a loss of fifteen or twenty percent in lift experienced with previous heavily aft loaded models, which is attributed to boundary layer separation. How drag creep can be reduced at off-design conditions is indicated. A rotated finite difference scheme is presented that enables the application of Murman's method of analysis in more or less arbitrary curvilinear coordinate systems. This allows the use of supersonic as well as subsonic free stream Mach numbers and to capture shock waves as far back on an airfoil as desired. Moreover, it leads to an effective three dimensional program for the computation of transonic flow past an oblique wing. In the case of two dimensional flow, the method is extended to take into account the displacement thickness computed by a semi-empirical turbulent boundary layer correction.

Bauer, F.↗

Experimental investigation and model development of the Skylab ATM secondary nickel-cadmium batteries

The performance of a Ni-Cd battery was evaluated and the cyclic battery controls to be used on the ATM batteries were determined. Cell and battery performance models were developed which to predict the performance of the secondary Ni-Cd batteries on the ATM. Capacity degradation and charge acceptance characteristics were considered. Mathematical models for each of these operating areas were developed based on data from two separate test programs. The capacity degradation model describes the expected usable battery capacity as a function of time, temperature, and depth-of-discharge. The charge acceptance model describes the cell charge acceptance as a function of charge rate, temperature, and state of charge. The models were designed for computer use and to facilitate possible battery modification. They can be used to predict expected performance or to compare real time performance during flight.

Kirsch, W. W.↗

Electrophoretic separator for purifying biologicals, part 1

A program to develop an engineering model of an electrophoretic separator for purifying biologicals is summarized. An extensive mathematical modeling study and numerous ground based tests were included. Focus was placed on developing an actual electrophoretic separator of the continuous flow type, configured and suitable for flight testing as a space processing applications rocket payload.

Mccreight, L. R.↗

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.↗

Compensation for atmospheric effects in LANDSAT data

Preprocessing algorithms were developed to remove or reduce the variations in multispectral data caused by variations in Sun angle and by changes in the atmospheric aerosol and water vapor levels. The two most significant algorithms developed by using mathematical models to define interrelations between the required multiplicative and additive correction factors so that just a few statistical characteristics of a LANDSAT distribution model would be sufficient to drive the mathematical model and to calculate the preprocessing corrections are examined. These are the atmospheric correction (ATCOR) computer program and the XSTAR haze correction algorithm. Neither the ATCOR nor the XSTAR algorithm provides an explicit compensation for the effects of changing LANDSAT view angle. Development efforts are underway to address this aspect of the preprocessing problem.

Lambeck, P. F.↗

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.↗

A comparison of stratified versus regression estimators

LANDSAT data acquired over an agricultural area along with ground enumeration of the same area are used to obtain crop acreage estimates which are better (as measured in terms of bias and variance) than can be obtained from either data source alone. Two basic approaches considered within the AgRISTARS program are a stratified crop acreage estimator and a regression estimator. A statement of the problem was mathematically formulated and some theorems were proved which relate to the variance of the two estimators. For a particular set of data, the regression and stratified estimators are compared in terms of certain easily computed parameters.

Takacs, H. C.↗

Computer program for analysis of split-Stirling-cycle cryogenic coolers

A computer program for predicting the detailed thermodynamic performance of split-Stirling-cycle refrigerators has been developed. The mathematical model includes the refrigerator cold head, free-displacer/regenerator, gas transfer line, and provision for modeling a mechanical or thermal compressor. To allow for dynamic processes (such as aerodynamic friction and heat transfer) temperature, pressure, and mass flow rate are varied by sub-dividing the refrigerator into an appropriate number of fluid and structural control volumes. Of special importance to modeling of cryogenic coolers is the inclusion of real gas properties, and allowance for variation of thermo-physical properties such as thermal conductivities, specific heats and viscosities, with temperature and/or pressure. The resulting model, therefore, comprehensively simulates the split-cycle cooler both spatially and temporally by reflecting the effects of dynamic processes and real material properties.

Brown, M. T.↗

Stochastic model of the NASA/MSFC ground facility for large space structures with uncertain parameters: The maximum entropy approach, part 2

A validated technology data base is being developed in the areas of control/structures interaction, deployment dynamics, and system performance for Large Space Structures (LSS). A Ground Facility (GF), in which the dynamics and control systems being considered for LSS applications can be verified, was designed and built. One of the important aspects of the GF is to verify the analytical model for the control system design. The procedure is to describe the control system mathematically as well as possible, then to perform tests on the control system, and finally to factor those results into the mathematical model. The reduction of the order of a higher order control plant was addressed. The computer program was improved for the maximum entropy principle adopted in Hyland's MEOP method. The program was tested against the testing problem. It resulted in a very close match. Two methods of model reduction were examined: Wilson's model reduction method and Hyland's optimal projection (OP) method. Design of a computer program for Hyland's OP method was attempted. Due to the difficulty encountered at the stage where a special matrix factorization technique is needed in order to obtain the required projection matrix, the program was successful up to the finding of the Linear Quadratic Gaussian solution but not beyond. Numerical results along with computer programs which employed ORACLS are presented.

Hsia, Wei Shen↗