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 667 records · Page 37
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

Rapid Prototyping Of Layered Composite Parts

Numerically controlled cutting accelerates fabrication of layers. Proposed method derived from stereoscopic lithography. CATIA or CAEDS computer program used to generate three-dimensional mathematical model of prototype part. In model, geometry of part specified in layers, as in stereoscopic lithography. Model data for each layer fed to computer-numerically-controlled ultrasonic cutting machine. Sheet of prepreg (uncured composite material) of specified layer thickness placed in machine and cut, under control of model data, to specified shape of layer.

Wolff, Edwin D.↗
NASA NTRS1992

Program Simulates Spacecraft Missions

IMP is simulation language used to mathematically model spacecraft missions around Earth, Moon, Mars, or other planets. Simulated missions controlled by user through selection from large menu of events and maneuvers. As many as three simulated spacecraft used; main, target, and observer. Simulation begins at lift-off or in suborbital or orbital phases. Written in FORTRAN 77.

Dauro, V. A.↗
NASA NTRS1997

Towards High-Assurance High-Performance Program Synthesis

Domain-specific automatic program synthesis tools, also called application generators, are playing an ever-increasing role in software development. However, high-performance application generators require difficult manual construction, and are very difficult to verify correct. This paper describes research and an implemented system that transforms program synthesis tools based on deductive synthesis into high-performance application generators. Deductive synthesis uses theorem-proving to construct solutions when given problem specifications. The verification condition for a deductive synthesis tool is essentially the soundness of the implemented inference rules. Theory Operationalization for Program Synthesis (TOPS) synergistically combines reformulation, automated mathematical classification, and compilation through partial deduction to decision procedures. It transforms general-purpose deductive synthesis, with exponential performance, into efficient special-purpose deductive synthesis, with near-linear performance. This paper describes our experience with and empirical results of PD(TH) theory-based partial deduction - in which partial deduction of a set of first-order formulae is performed within the context of a background theory. The implemented TOPS system currently performs a special variant of PD(TH) in which the compilation process results in the transformation of a set of first order formulae into the theory of an instantiated library decision procedure augmented by a compiled unit theory.

Lowry, Michael↗
NASA NTRS1986

NASA Tech Briefs, July/August 1986

Topic include: NASA TU Services; New Product Ideas; Electronic Components and Circuits; Electronic Systems; Materials; Computer Programs; Mechanics; Physical Sciences; Machinery; Fabrication Technology; Mathematics and Information Sciences; Life Sciences. 3

National Aeronautics and Space Administration↗
NASA NTRS2005

NASA Tech Briefs, January 2005

Topics covered include: Fiber-Optic Sensor Would Monitor Growth of Polymer Film; Sensors for Pointing Moving Instruments Toward Each Other; Pd/CeO2/SiC Chemical Sensors; Microparticle Flow Sensor; Scattering-Type Surface-Plasmon-Resonance Biosensors; Diode-Laser-Based Spectrometer for Sensing Gases; Improved Cathode Structure for a Direct Methanol Fuel Cell; X-Band, 17-Watt Solid-State Power Amplifier; Improved Anode for a Direct Methanol Fuel Cell; Tools for Designing and Analyzing Structures; Interactive Display of Scenes with Annotations; Solving Common Mathematical Problems; Tools for Basic Statistical Analysis; Program Calculates Forces in Bolted Structural Joints; Integrated Structural Analysis and Test Program; Molybdate Coatings for Protecting Aluminum Against Corrosion; Synthesizing Diamond from Liquid Feedstock; Modifying Silicates for Better Dispersion in Nanocomposites; Powder-Collection System for Ultrasonic/Sonic Drill/Corer; Semiautomated, Reproducible Batch Processing of Soy; Hydrogen Peroxide Enhances Removal of NOx from Flue Gases; Subsurface Ice Probe; Real-Time Simulation of Aeroheating of the Hyper-X Airplane; Using Laser-Induced Incandescence To Measure Soot in Exhaust; Method of Real-Time Principal-Component Analysis; Insect-Inspired Flight Control for Unmanned Aerial Vehicles; Domain Compilation for Embedded Real-Time Planning; Semantic Metrics for Analysis of Software; Simulation of Laser Cooling and Trapping in Engineering Applications; Large Fluvial Fans and Exploration for Hydrocarbons; Doping-Induced Interband Gain in InAs/AlSb Quantum Wells; Development of Software for a Lidar-Altimeter Processor; Upgrading the Space Shuttle Caution and Warning System; and Fractal Reference Signals in Pulse-Width Modulation.

Source record↗
NASA NTRS2018

Cross-Cutting Computational Modeling Project: Integrative Modeling Approach

A wide range of computational models and analyses have been applied to spaceflight risk assessment and countermeasure development. The benefits of using computational modeling to enhance Human Research Program (HRP) goals include the ability to mathematically represent physiological systems, integrate multiple, discrete experimental measures, span multiple temporal and spatial scales, determine important factors within the system and provide estimates of unmeasurable quantities. In the area of application, computational models provide a means of developing simulations to test hypotheses, determining key factors of the system to aid experimental design and bridging gaps in sparse data by mathematically simulating large populations. Specifically, computational models and their supporting analysis tools have the proven potential to integrate analyses of risk factors to enhance mission planning and preparation capabilities and to inform spacecraft design and countermeasure development. Appropriately applied, computational models may allow intelligent, unbiased physiological parameter assessment to enable hypothesis testing and model based design of experiments. HRP recently formed the Computational Modeling Project (CMP), managed out of Glenn Research Center, as a cross-cutting activity aimed at leveraging the growing power and acceptance of computational modeling in informing clinical, physiological, and biological studies. This presentation will provide an overview of the challenges and opportunities in implementing various forms of computational models in support of the HRPs path to risk reduction.

biomechanics↗
NASA NTRS2000

Microgravity Outreach and Education

The NASA Microgravity Research Program has been actively developing classroom activities and educator's guides since the flight of the First United States Microgravity Laboratory. In addition, various brochures, posters, and exhibit materials have been produced for outreach efforts to the general public and to researchers outside of the program. These efforts are led by the Microgravity Research Outreach/Education team at Marshall Space Flight Center, with classroom material support from the K-12 Educational Program of The National Center for Microgravity Research on Fluids and Combustion (NCMR), general outreach material development by the Microgravity Outreach office at Hampton University, and electronic/media access coordinated by Marshall. The broad concept of the NCMR program is to develop a unique set of microgravity-related educational products that enable effective outreach to the pre-college community by supplementing existing mathematics, science, and technology curricula. The current thrusts of the program include summer teacher and high school internships during which participants help develop educational materials and perform research with NCMR and NASA scientists; a teacher sabbatical program which allows a teacher to concentrate on a major educational product during a full school year; frequent educator workshops held at NASA and at regional and national teachers conferences; a nascent student drop tower experiment competition; presentations and demonstrations at events that also reach the general public; and the development of elementary science and middle school mathematics classroom products. An overview of existing classroom products will be provided, along with a list of pertinent World Wide Web URLs. Demonstrations of some hands on activities will show the audience how simple it can be to bring microgravity into the classroom.

Rogers, Melissa J. B.↗
NASA NTRS1972

Dynamic testing for shuttle design verification

Space shuttle design verification requires dynamic data from full scale structural component and assembly tests. Wind tunnel and other scaled model tests are also required early in the development program to support the analytical models used in design verification. Presented is a design philosophy based on mathematical modeling of the structural system strongly supported by a comprehensive test program; some of the types of required tests are outlined.

Green, C. E.↗
NASA NTRSDate not supplied

The Virginia Earth System Science Scholars (VESSS) Experience: Inspiring High School Students in Stem Through Mentorship and Collaborative Skills Development

Since 2016, the Virginia Earth System Science Scholars (VESSS) program offered by the Virginia Space Grant Consortium (VSGC) has provided an interactive science, technology, engineering, and mathematics learning experience for Virginia high school juniors and seniors. The VESSS program was created through a partnership with VSGC, NASA Langley Research Center (LaRC), and Hampton University to engage students in learning about Earth’s climate change and its global impacts. High school students from all areas of Virginia learn about Earth science and climate change in a 16 week online course focused on the Earth’s surface and interior, atmospheric composition, weather, water energy cycles, and climate variability. Students that complete the online course are invited to a no-cost seven-day residential summer academy at NASA LaRC where students are divided into teams based on four of the major spheres of study for Earth: atmosphere, biosphere, hydrosphere, and lithosphere. Each team is guided by a Master Teacher and teams of undergraduate student interns who were also previous VESSS scholars. Students interview for team positions and are given a role reflecting an actual satellite design team position such as project scientist, research scientist, budget analyst, launch and orbit analyst, contamination analyst, and education and public outreach specialist. The students spend a week mentored by NASA and industry scientists and engineers as they learn how to select science goals and objectives, select science instruments, balance a mission budget, determine the mission launch location and orbit, and communicate the importance of the mission to the public. Each team produces a mission proposal, and at the end of the week, each team presents their portion of the mission to a panel of experts, followed by a question and answer period. Through this week students learn teamwork, communication, time management, meeting management, and research skills. Project work is supplemented by team-building activities, NASA facility tours, and lectures by acclaimed guest speakers such as Dr. Christine Darden, a NASA “Hidden Figure.” Students have conveyed through course evaluations and testimonials not only the vast personal learning and growth they achieved, but also the new perspectives they gained on future STEM career fields and opportunities to explore.

Elaine Seasly↗
NASA NTRS1994

Computing Plasma Interactions Of A Spacecraft

NASCAP/LEO (NASA Spacecraft Charging Analyzer Program for Low Earth Orbit) implements collection of mathematical models and algorithms designed to study electrostatic interaction between cold, dense plasma and spacecraft surfaces. Computes variety of electrostatic, plasma, and flow effects. Appropriate for conditions in which temperature of plasma small in comparison with spacecraft-generated potentials and Debye screening length short in comparison with dimensions of spacecraft. Related NASCAP/GEO (LEW-12973) code (NASA Charging Analyzer Program for Geosynchronous Orbit, denoted as NASCAP) appropriate for conditions which spacecraft differential potentials result from interactions with hot plasma and Debye screening length larger than dimensions of spacecraft. Object-definition portion of NASCAP/GEO code provided as part of package. NASCAP/LEO written in FORTRAN 77 and C language.

Mandell, M. J.↗
NASA NTRS1987

Fast-Polynomial-Transform Program

Computer program uses fast-polynomial-transformation (FPT) algorithm applicable to two-dimensional mathematical convolutions. Two-dimensional cyclic convolutions converted to one-dimensional convolutions in polynomial rings. Program decomposes cyclic polynomials into polynomial convolutions of same length. Only FPT's and fast Fourier transforms of same length required. Modular approach saves computional resources. Program written in C.

Truong, T. K.↗
NASA NTRS1982

Thermal radiation view factor: Methods, accuracy and computer-aided procedures

The computer aided thermal analysis programs which predicts the result of predetermined acceptable temperature range prior to stationing of these orbiting equipment in various attitudes with respect to the Sun and the Earth was examined. Complexity of the surface geometries suggests the use of numerical schemes for the determination of these viewfactors. Basic definitions and standard methods which form the basis for various digital computer methods and various numerical methods are presented. The physical model and the mathematical methods on which a number of available programs are built are summarized. The strength and the weaknesses of the methods employed, the accuracy of the calculations and the time required for computations are evaluated. The situations where accuracies are important for energy calculations are identified and methods to save computational times are proposed. Guide to best use of the available programs at several centers and the future choices for efficient use of digital computers are included in the recommendations.

Kadaba, P. V.↗
NASA NTRS1993

Interface To The SURE Program

Abstract Semi-Markov Specification Interface to SURE Tool (ASSIST) computer program is interface program enabling reliability engineers to design large semi-Markov mathematical models accurately. Language enables efficient description of large, complicated systems. Also offers, as part of bundled package with SURE and PAWS/STEM, two other reliable analysis programs developed by Systems Validation Methods group at Langley Research Center.

Johnson, Sally C.↗
NASA NTRS2005

A Summary of NASA Summer Faculty Fellowship Work in the E.O. Office and in the Educator Resources Center

The Office of Equal Opportunity supports a number of summer programs which are designed to: 1.) Increase the number of elementary and secondary students and teachers who are involved in NASA-related education opportunities; and 2.) Support higher education research capability and opportunities that attract and prepare increasing numbers of students and faculty for NASA-related careers. A part of my work in the E.O. office involved the evaluation of several of the programs in order to determine their level of success and to make recommendations for the improvement of those programs where necessary. As a part of the involvement with one of the programs, the PSTI, I had the great opportunity to interact with the students in a number of their sessions which involved problem-based learning in science, mathematics and technology. A summary of the evaluation of those programs is included in this report. The second part of my work involved assisting the coordinator of the Educator Resource Center at the Space and Rocket Center. I participated in space science workshops for in-service and pre-service teachers. There educational resources were made available to the participants including many hands-on activities that hey could take back to their classes. I participated in the three hour workshops that were offered on Tuesdays and Thursdays of each week, although there were workshops on other days. On Mondays, Wednesdays, and Fridays, I worked in the E.O. office. As a result of my work in the ERC, I developed a Directed Reading PowerPoint Lesson Plan Guide involving remote sensing entitled, Echo the Bat. This was based on a NASA published children's book entitled Echo The Bat, written by Ginger Butcher. I have included a description of the lesson in this report. A summary of the evaluations of several of the summer programs supported by the Equal Opportunity office are included in this report.

Thompson, H. Wendell, Sr.↗
NASA NTRS1982

Full-scale flammability test data for validation of aircraft fire mathematical models

Twenty-five large scale aircraft flammability tests were conducted in a Boeing 737 fuselage at the NASA Johnson Space Center (JSC). The objective of this test program was to provide a data base on the propagation of large scale aircraft fires to support the validation of aircraft fire mathematical models. Variables in the test program included cabin volume, amount of fuel, fuel pan area, fire location, airflow rate, and cabin materials. A number of tests were conducted with jet A-1 fuel only, while others were conducted with various Boeing 747 type cabin materials. These included urethane foam seats, passenger service units, stowage bins, and wall and ceiling panels. Two tests were also included using special urethane foam and polyimide foam seats. Tests were conducted with each cabin material individually, with various combinations of these materials, and finally, with all materials in the cabin. The data include information obtained from approximately 160 locations inside the fuselage.

Kuminecz, J. F.↗
NASA NTRS1993

Computer program for analysis of high speed, single row, angular contact, spherical roller bearing, SASHBEAN. Volume 1: User's guide

The computer program SASHBEAN (Sikorsky Aircraft Spherical Roller High Speed Bearing Analysis) analyzes and predicts the operating characteristics of a Single Row, Angular Contact, Spherical Roller Bearing (SRACSRB). The program runs on an IBM or IBM compatible personal computer, and for a given set of input data analyzes the bearing design for it's ring deflections (axial and radial), roller deflections, contact areas and stresses, induced axial thrust, rolling element and cage rotation speeds, lubrication parameters, fatigue lives, and amount of heat generated in the bearing. The dynamic loading of rollers due to centrifugal forces and gyroscopic moments, which becomes quite significant at high speeds, is fully considered in this analysis. For a known application and it's parameters, the program is also capable of performing steady-state and time-transient thermal analyses of the bearing system. The steady-state analysis capability allows the user to estimate the expected steady-state temperature map in and around the bearing under normal operating conditions. On the other hand, the transient analysis feature provides the user a means to simulate the 'lost lubricant' condition and predict a time-temperature history of various critical points in the system. The bearing's 'time-to-failure' estimate may also be made from this (transient) analysis by considering the bearing as failed when a certain temperature limit is reached in the bearing components. The program is fully interactive and allows the user to get started and access most of its features with a minimal of training. For the most part, the program is menu driven, and adequate help messages were provided to guide a new user through various menu options and data input screens. All input data, both for mechanical and thermal analyses, are read through graphical input screens, thereby eliminating any need of a separate text editor/word processor to edit/create data files. Provision is also available to select and view the contents of output files on the monitor screen if no paper printouts are required. A separate volume (Volume-2) of this documentation describes, in detail, the underlying mathematical formulations, assumptions, and solution algorithms of this program.

Aggarwal, Arun K.↗
NASA NTRS1984

A mathematical problem and a Spacecraft Control Laboratory Experiment (SCOLE) used to evaluate control laws for flexible spacecraft. NASA/IEEE design challenge

Discussed here is a NASA program which was initiated to make direct comparisons of control laws for a mathematical problem. An experimental test item is being assembled under the cognizance of the Spacecraft Control Branch at Langley Research Center. The physical apparatus will consist of a softly supported dynamic model of an antenna attached to the Space Shuttle by a flexible beam. The control objective will include the task of directing the line of sight of the Shuttle/antenna configuration toward a fixed target, under conditions of noisy data, limited control authority, and random disturbances.

Taylor, Lawrence W., Jr.↗
NASA NTRS1972

Photogrammetric calibration of the NASA-Wallops Island image intensifier system

An image intensifier was designed for use as one of the primary tracking systems for the barium cloud experiment at Wallops Island. Two computer programs, a definitive stellar camara calibration program and a geodetic stellar camara orientation program, were originally developed at Wallops on a GE 625 computer. A mathematical procedure for determining the image intensifier distortions is outlined, and the implementation of the model in the Wallops computer programs is described. The analytical calibration of metric cameras is also discussed.

Harp, B. F.↗