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 793 records · Page 44

An on-line system for hand-printed input

The capability of graphic input/output systems is described. Topics considered are a character recognizer and dictionary building program, an initial flow chart element input program, and a system entitled The Assistant Mathematician, which uses ordinary mathematics to specify numeric computation. All three parts are necessary to allow a user to carry on a mathematical dialogue with the computer in the language and notation of his discipline or problem domain.

Williams, T. G.↗

Visibility of lunar surface features - Apollo 14 orbital observations and lunar landing.

Description of an in-flight visibility test conducted during the Apollo 14 mission for the purpose of validating and extending the mathematical visibility models used previously in the course of the Apollo program to examine the constraints on descent operations imposed by lunar visibility limitations. Following a background review of the effects on mission planning of the visibility limitations due to downsun lunar surface detail 'washout' and a discussion of the visibility prediction techniques previously used for studying lunar visibility problems, the visibility test rationale and procedures are defined and the test results presented. The results appear to confirm the validity of the visibility prediction techniques employed in lunar visibility problem studies. These results provide also a basis for improving the accuracy of the prediction techniques by appropriate modifications.

Ziedman, K.↗

Multiple regression technique for Pth degree polynominals with and without linear cross products

A multiple regression technique was developed by which the nonlinear behavior of specified independent variables can be related to a given dependent variable. The polynomial expression can be of Pth degree and can incorporate N independent variables. Two cases are treated such that mathematical models can be studied both with and without linear cross products. The resulting surface fits can be used to summarize trends for a given phenomenon and provide a mathematical relationship for subsequent analysis. To implement this technique, separate computer programs were developed for the case without linear cross products and for the case incorporating such cross products which evaluate the various constants in the model regression equation. In addition, the significance of the estimated regression equation is considered and the standard deviation, the F statistic, the maximum absolute percent error, and the average of the absolute values of the percent of error evaluated. The computer programs and their manner of utilization are described. Sample problems are included to illustrate the use and capability of the technique which show the output formats and typical plots comparing computer results to each set of input data.

Davis, J. W.↗

Propulsion system/flight control integration for supersonic aircraft

Digital integrated control systems are studied. Such systems allow minimization of undesirable interactions while maximizing performance at all flight conditions. One such program is the YF-12 cooperative control program. The existing analog air data computer, autothrottle, autopilot, and inlet control systems are converted to digital systems by using a general purpose airborne computer and interface unit. Existing control laws are programed and tested in flight. Integrated control laws, derived using accurate mathematical models of the airplane and propulsion system in conjunction with modern control techniques, are tested in flight. Analysis indicates that an integrated autothrottle autopilot gives good flight path control and that observers are used to replace failed sensors.

Reukauf, P. J.↗

An automated consultant for MACSYMA

A consultant is necessary whenever on is faced with a problem solving situation in a domain one does not fully understand. The lack of knowledge may be incidental, as it is when the domain or device is fairly simple but time constraints make it impossible for the user to learn all that is necessary. Computer systems like MACSYMA in which the level of commands is so close to the level of the task environment that the user is apt to confuse a simply defined procedure (like COEFF) with its mathematical counterpart (here coefficient) that it at best approximates. A computer program is described which has the capability of conversing with its user in English about a difficulty he has encountered, and providing information tailored to his need. The MACSYMA Advisor is a program distinct from MACSYMA with its own separate data base and expertise. For convenience the program can be called directly from MACSYMA and can access the user's data structures contained therein. The Advisor described here deals only with the "straightline" or nested use of MACSYMA commands and not loops or user-defined functions. The implementation of the Advisor relies heavily on an explict, internal "model" of the user's state of knowledge, his goals, and his "plan" for achieving them.

Genesereth, M. R.↗

Temperature control simulation for a microwave transmitter cooling system

The thermal performance of a temperature control system for the antenna microwave transmitter (klystron tube) of the Deep Space Network antenna tracking system is discussed. In particular the mathematical model is presented along with the details of a computer program which is written for the system simulation and the performance parameterization. Analytical expressions are presented.

Yung, C. S.↗

A Computer Code for Swirling Turbulent Axisymmetric Recirculating Flows in Practical Isothermal Combustor Geometries

A primitive pressure-velocity variable finite difference computer code was developed to predict swirling recirculating inert turbulent flows in axisymmetric combustors in general, and for application to a specific idealized combustion chamber with sudden or gradual expansion. The technique involves a staggered grid system for axial and radial velocities, a line relaxation procedure for efficient solution of the equations, a two-equation k-epsilon turbulence model, a stairstep boundary representation of the expansion flow, and realistic accommodation of swirl effects. A user's manual, dealing with the computational problem, showing how the mathematical basis and computational scheme may be translated into a computer program is presented. A flow chart, FORTRAN IV listing, notes about various subroutines and a user's guide are supplied as an aid to prospective users of the code.

Lilley, D. G.↗

Simplified analysis techniques to support the determination of Shuttle aerodynamics

The use of deterministic and regression methods to supplement the maximum likelihood estimation programs for the determination of the stability and control parameters of the Shuttle vehicle is discussed. Examples taken from STS-2 and STS-3 flight data show the use of deterministic methods to verify the effectiveness of the pitch and roll Reaction Control System (RCS), to verify the model structure used in the maximum likelihood estimator and to indicate regions of the descent trajectory where unmodeled moments dominate the vehicle motion and the application of maximum likelihood estimation would lead to incorrect parameter values. The use of regression methods to determine selected parameters when the more sophisticated maximum likelihood programs are not required, to determine the form of the vehicle mathematical model and to select the data time intervals for most effective parameter identification are also discussed.

Suit, W. T.↗

Parabolic Dish Concentrator (PDC-1)

The design, construction, and installation of the Parabolic Dish Concentrator, Type 1 (PDC-1) has been one of the most significant JPL concentrator projects because of the knowledge gained about this type of concentrator and the development of design, testing, and analysis procedures which are applicable to all solar concentrator projects. The need for these procedures was more clearly understood during the testing period which started with the prototype panel evaluation and ended with the performance characterization of the completed concentrator. For each phase of the test program, practical test procedures were required and these procedures defined the mathematical analysis which was essential for successful concentrator development. The concentrator performance appears to be limited only by the distortions resulting from thermal gradients through the reflecting panels. Simple optical testing can be extremely effective, but comprehensive mechanical and optical analysis is essential for cost effective solar concentrator development.

Dennison, E. W.↗

Development of the XV-15 tiltrotor research aircraft - Lessons learned

The initial ground rules that guided the decision process during the initial stages of the XV-15 tiltrotor aircraft development are reviewed and reevaluated. A full flight-envelope nonlinear simulation mathematical model is outlined, along with the advantages of a multiaircraft program. Direct involvement of government engineers in all aspects of the program is considered to be beneficial, while the ejection-seat test requirement is not. Utilization of existing components - a rotor, transmissions, and engines - is analyzed, and emphasis is placed on integrated system test plans responsible for producing two reliable aircraft through a complete checkout of the aircraft subsystems before the start of the fligth program. Wind-tunnel and fatigue test requirements are presented, and the decision to go with an all mechanical control system design is addressed.

Schroers, Laurel G.↗

Estimating The Cost Of Developing Software

Software Cost Estimation Model program, SOFTCOST, developed to provide consistent automated resource-and-schedule mathematical model more formalized than guesswork model. Combines several software-cost models found in open literature into one comprehensive set of algorithms compensating for nearly 50 implementation factors relative to size of task, inherited baseline, organizational and system environment, and difficulty of task. Produces mean and variance estimates of software size, implementation productivity, recommended staff level, probable duration, amount of computer resources required, and amount and cost of software documentation. Written in Microsoft BASIC.

Tausworthe, Robert C.↗

Computing Flow Transition On Parallel Processors

Parallel algorithm developed on multiple-microprocessor computer. Program initiated to develop computer codes capable of directly simulating and mathematically modeling transition process at mach numbers ranging from subsonic to hypersonic. Parallel computers potentially offer reduction of processing time; processing time inversely proportional to number of available processors.

Bokhari, S.↗

A survey of program slicing for software engineering

This research concerns program slicing which is used as a tool for program maintainence of software systems. Program slicing decreases the level of effort required to understand and maintain complex software systems. It was first designed as a debugging aid, but it has since been generalized into various tools and extended to include program comprehension, module cohesion estimation, requirements verification, dead code elimination, and maintainence of several software systems, including reverse engineering, parallelization, portability, and reuse component generation. This paper seeks to address and define terminology, theoretical concepts, program representation, different program graphs, developments in static slicing, dynamic slicing, and semantics and mathematical models. Applications for conventional slicing are presented, along with a prognosis of future work in this field.

Beck, Jon↗

GVIPS Models and Software

Two reports discuss, respectively, (1) the generalized viscoplasticity with potential structure (GVIPS) class of mathematical models and (2) the Constitutive Material Parameter Estimator (COMPARE) computer program. GVIPS models are constructed within a thermodynamics- and potential-based theoretical framework, wherein one uses internal state variables and derives constitutive equations for both the reversible (elastic) and the irreversible (viscoplastic) behaviors of materials. Because of the underlying potential structure, GVIPS models not only capture a variety of material behaviors but also are very computationally efficient. COMPARE comprises (1) an analysis core and (2) a C++-language subprogram that implements a Windows-based graphical user interface (GUI) for controlling the core. The GUI relieves the user of the sometimes tedious task of preparing data for the analysis core, freeing the user to concentrate on the task of fitting experimental data and ultimately obtaining a set of material parameters. The analysis core consists of three modules: one for GVIPS material models, an analysis module containing a specialized finite-element solution algorithm, and an optimization module. COMPARE solves the problem of finding GVIPS material parameters in the manner of a design-optimization problem in which the parameters are the design variables.

Arnold, Steven M.↗

Static Analysis Using Abstract Interpretation

Lecture about abstract interpretation. This lecture starts with a brief introduction to validation and verification using formal methods. It then demonstrates IKOS (Inference Kernel for Open Static Analyzers), a static analyzer for C/C++ based on Abstract Interpretation. Then, it describes in details the theory of Abstract Interpretation, a mathematical framework to over-approximate the reachable states of a program.

Arthaud, Maxime↗

Computer simulation incorporating a helicopter model for evaluation of aircraft avionics systems

A computer program was developed to integrate avionics research in navigation, guidance, controls, and displays with a realistic aircraft model. A user oriented program is described that allows a flexible combination of user supplied models to perform research in any avionics area. A preprocessor technique for selecting various models without significantly changing the memory storage is included. Also included are mathematical models for several avionics error models and for the CH-47 helicopter used in this program.

Ostroff, A. J.↗