The NASA System Safety Program
NASA aerospace system safety program implementation and supporting organization with emphasis on background, concepts, constraints, methods and results
Harris, R. E.↗
SEARCH · Search NASA
Results for “Constraint 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.
Magnetometer instrument team studies for the definition phase of the outer planets grand tour
The objectives of magnetic field investigations on missions to the outer planets were defined as well as an instrumentation system, a program of studies and instrument development tasks was proposed for the mission definition phase of the Outer Planets Grand Tour project. A report on the status of this program is given. Requirements were also established for the spacecraft and the mission which would insure their compatibility with the magnetic field investigation proposed for the outer planets missions and developed figures of merit for encounter trajectories. The spacecraft-instrumentation interface and the on-board data handling system were defined in various reports by the Project Team and in the reports by the Science Steering Group. The defining program for exploring the outer planets within the more restrictive constraints of the Mariner Jupiter-Saturn project included defining a limited magnetic field investigation.
Coleman, P. J., Jr.↗
Contamination of planets by nonsterile flight hardware.
The various factors about space missions and spacecraft involved in the study of nonsterile space flight hardware with respect to their effects on planetary quarantine are reviewed. It is shown that methodology currently exists to evaluate the various potential contamination sources and to take appropriate steps in the design of spacecraft ha rdware and mission parameters so that quarantine constraints are met. This work should be done for each program so that the latest knowledge pertaining to various biological questions is utilized, and so that the specific hardware designs of the program can be assessed. The general trend of specific recommendations include: (1) biasing the launch trajectory away from planet to assure against accidental impact of the spacecraft; (2) selecting planetary orbits that meet quarantine requirements - both for accidental impact and for minimizing contamination probabilities due to ejecta; and (3) manufacturing and handling spacecraft under cleanliness conditions assuring minimum bioload.
Wolfson, R. P.↗
Compensator improvement for a large space vehicle.
This paper presents the theory and a technique for compensator improvement. Several definitions in regard to relative stability are presented along with some frequency response limitations and characteristics of a large space vehicle. A nonlinear programming algorithm for obtaining an improved solution for a strict constraint problem is developed and the necessary partial derivatives for applying the algorithm to compensator improvement are derived. Finally, for illustrating the effectiveness of the algorithm, the frequency response of a large space vehicle is improved.
Mitchell, J. R.↗
Automated sizing of large structures by mixed optimization methods
A procedure for automating the sizing of wing-fuselage airframes was developed and implemented in the form of an operational program. The program combines fully stressed design to determine an overall material distribution with mass-strength and mathematical programming methods to design structural details accounting for realistic design constraints. The practicality and efficiency of the procedure is demonstrated for transport aircraft configurations. The methodology is sufficiently general to be applicable to other large and complex structures.
Sobieszczanski, J.↗
A steepest descents method for reentry optimization
A steepest descents optimization program is applied to the problem of a lifting vehicle entering the earth's atmosphere. The program employs penalty functions representing terminal conditions and inflight inequality constraints. During each iteration, it reduces a single performance measure which is the sum of the performance index and the penalty functions. Therefore, only one set of adjoint equations must be integrated per iteration. Values of weight factors, multiplying the penalty functions, are automatically adjusted before each iteration in order that the penalty functions will approach acceptable values. This method is shown to be a form of the classical Lagrange multiplier methods.
Andrus, J. F.↗
Mission analysis techniques for attached Shuttle payloads
Visibility times, i.e., times which desired targets are visible to a payload, are examined for attached Shuttle payloads. These times are affected by a number of constraints. Some constraints are examined along with mathematical or computer modeling techniques used to determine their effects. The constraints include: occultation of the earth, moon, and sun, and limb avoidance angles of each; orbit parameters such as inclination and ascending node, along with sensitivity to changes in each; TDRSS acquisition; South Atlantic Anomaly (SAA) avoidance, nighttime viewing only; bright earth avoidance angles; the field of view; Shuttle attitude, and Orbiter operational constraints. All of this information is integrated and, with computer programs, a schedule of observations and Shuttle attitudes is obtained.
Lambros, S.↗
The influence of leading-edge load alleviation on supersonic wing design
A theoretical and experimental program to assess the effect of leading-edge load constraints on wing design and performance was conducted. For a planform characterized by a highly swept leading edge on the inboard region, linear theory was used to design camber surfaces which produced minimum drag-due-to-lift at the design lift coefficient of 0.08 and a design Mach number of 2.4. In an effort to delay the formation of leading edge vortices which often occur on highly swept wings, two approaches were used in the design criteria to limit the loadings on the leading edge. One wing was constrained to have the normal Mach number less than one everywhere along the leading edge and the second wing was constrained to have a pressure coefficient of zero on the leading edge. Force tests were run on the two constrained wings, on a flat reference wing and on an optimized wing with no leading edge constraints. All wings had identical planforms and thicknesses and were tested over a range of Mach numbers from 1.8 to 2.8 and a range in angles of attack from -5 deg to 8 deg. A comparison of the experimental performance of these four models is shown. Correlations of these results with theoretical predictions and flow visualization photographs are also included.
Darden, C. M.↗
The role of service areas in the optimization of FSS orbital and frequency assignments
A relationship is derived, on a single-entry interference basis, for the minimum allowable spacing between two satellites as a function of electrical parameters and service-area geometries. For circular beams, universal curves relate the topocentric satellite spacing angle to the service-area separation angle measured at the satellite. The corresponding geocentric spacing depends only weakly on the mean longitude of the two satellites, and this is true also for alliptical antenna beams. As a consequence, if frequency channels are preassigned, the orbital assignment synthesis of a satellite system can be formulated as a mixed-integer programming (MIP) problem or approximated by a linear programming (LP) problem, with the interference protection requirements enforced by constraints while some linear function is optimized. Possible objective-function choices are discussed and explicit formulations are presented for the choice of the sum of the absolute deviations of the orbital locations from some prescribed ideal location set. A test problem is posed consisting of six service areas, each served by one satellite, all using elliptical antenna beams and the same frequency channels. Numerical results are given for the three ideal location prescriptions for both the MIP and LP formulations. The resulting scenarios also satisfy reasonable aggregate interference protection requirements.
Levis, C. A.↗
Post and a random-walk search mode
Multidisciplinary analysis often requires optimization of nonlinear systems that are subject to constraints. Trajectory optimization is one example of this situation. The Program to Optimize Simulated Trajectories (POST) was used successfully for a number of problems. The purpose is to describe POST and a new optimization approach that has been incorporated into it. Typical uses of POST will also be illustrated. The projected-gradient approach to optimization is the preferred option in POST and is discussed. A new approach to optimization, the random-walk approach, is described, and results with the random-walk approach are presented.
Martin, J. A.↗
Making real-time reactive systems reliable
A reactive system is characterized by a control program that interacts with an environment (or controlled program). The control program monitors the environment and reacts to significant events by sending commands to the environment. This structure is quite general. Not only are most embedded real time systems reactive systems, but so are monitoring and debugging systems and distributed application management systems. Since reactive systems are usually long running and may control physical equipment, fault tolerance is vital. The research tries to understand the principal issues of fault tolerance in real time reactive systems and to build tools that allow a programmer to design reliable, real time reactive systems. In order to make real time reactive systems reliable, several issues must be addressed: (1) How can a control program be built to tolerate failures of sensors and actuators. To achieve this, a methodology was developed for transforming a control program that references physical value into one that tolerates sensors that can fail and can return inaccurate values; (2) How can the real time reactive system be built to tolerate failures of the control program. Towards this goal, whether the techniques presented can be extended to real time reactive systems is investigated; and (3) How can the environment be specified in a way that is useful for writing a control program. Towards this goal, whether a system with real time constraints can be expressed as an equivalent system without such constraints is also investigated.
Marzullo, Keith↗
Structural optimization of thin shells using finite element method
The objective of the present work was the structural optimization of thin shell structures that are subjected to stress and displacement constraints. In order to accomplish this, the structural optimization computer program DESAP1 was modified and improved. In the static analysis part of the DESAP1 computer program the torsional spring elements, which are used to analyze thin, shallow shell structures, were eliminated by modifying the membrane stiffness matrix of the triangular elements in the local coordinate system and adding a fictitious rotational stiffness matrix. This simplified the DESAP1 program input, improved the accuracy of the analysis, and saved computation time. In the optimization part of the DESAP1 program the stress ratio formula, which redesigns the thickness of each finite element of the structure, was solved by an analytical method. This scheme replaced the iterative solution that was previously used in the DESAP1 program, thus increasing the accuracy and speed of the design. The modified program was used to design a thin, cylindrical shell structure with optimum weight, and the results are reported in this paper.
Gotsis, Pascal K.↗
New evidence favoring multilevel decomposition and optimization
The issue of the utility of multilevel decomposition and optimization remains controversial. To date, only the structural optimization community has actively developed and promoted multilevel optimization techniques. However, even this community acknowledges that multilevel optimization is ideally suited for a rather limited set of problems. It is warned that decomposition typically requires eliminating local variables by using global variables and that this in turn causes ill-conditioning of the multilevel optimization by adding equality constraints. The purpose is to suggest a new multilevel optimization technique. This technique uses behavior variables, in addition to design variables and constraints, to decompose the problem. The new technique removes the need for equality constraints, simplifies the decomposition of the design problem, simplifies the programming task, and improves the convergence speed of multilevel optimization compared to conventional optimization.
Padula, Sharon L.↗
Numerical derivative techniques for trajectory optimization
The adoption of robust numerical optimization techniques in trajectory simulation programs has resulted in powerful design and analysis tools. These trajectory simulation/optimization programs are widely used, and a representative list includes the GTS system, the POST program, and newer collocation methods such as OTIS and FONPAC. All of these programs rely on optimization algorithms which require objective function and constraint gradient data during the iteration process. However, most trajectory optimization problems lack simple analytical expressions for these derivatives. In the general case a function evaluation involves integrating aerodynamic, propulsive, and gravity forces over multiple trajectory phases with complex control models. With the newer collocation methods, the integration is replaced by defect constraints and cubic approximations for the state. While analytic gradient expressions can sometimes be derived for trajectory optimization problems, the derivation is cumbersome, time consuming, and prone to mistakes. Fortunately, an alternate method exists for the gradient evaluation, namely finite difference approximations. In this paper some finite difference gradient techniques developed for use with the GTS system are presented. These techniques include methods for computing first and second partial derivatives of single and multiple sets of functions. A key feature of these methods is an error control mechanism which automatically adjusts the perturbation size to obtain accurate derivative values.
Hallman, Wayne P.↗
A typical pointed observation in IRAS designed to fit into a 15 minute window
A typical pointed observation in the Infrared Astronomical Satellite (IRAS) was designed to fit into a 15 minute window. Observing constraints, however, did not always permit targets from the scientific program to be observed on exactly 15 minute centers and a few months into the mission it was realized that the automatic scheduling program left times when no observations were being made. In order to use this potentially wasted observing time, a mode of pointed observations, the 'filler' mode, with shorter observation duration was initiated. Locations were picked on an arbitrary grid, spaced relatively uniformly in ecliptic coordinates, and the telescope was pointed to one of these sites whenever a gap potentially occurred. One of us (GXN) was the coordinator of this effort (the FL sub-group). There are a total of 22 FL fields, 13 of which have more than 50 component observations. These 13 fields cover about 30 square degrees. It was proposed to concentrate on one filler field, FL29, a field with 53 coverages which thus had among the deepest coverage of those observed in this mode. This field was also observed extensively at various non-infrared wavelengths by a variety of techniques. Because the IRAS observations of FL29 were made at the limits of the survey sensitivity and at different twist angles it was necessary to make significant technical advances in the methods used in the processing and analyzing the data. In particular, if normal IRAS coaddition procedures were used, the noise resulting from coaddition of the multiple frames did not decrease in the manner expected once significantly different twist angles were included in the coaddition. The technical effort needed to reduce the observations of FL29 was completed and now the noise behavior is understood and well behaved. The reduction of the field FL29 observations is done.
Neugebauer, G.↗
Thermal/Structural Tailoring of Engine Blades (T/STAEBL) User's manual
The Thermal/Structural Tailoring of Engine Blades (T/STAEBL) system is a computer code that is able to perform numerical optimizations of cooled jet engine turbine blades and vanes. These optimizations seek an airfoil design of minimum operating cost that satisfies realistic design constraints. This report documents the organization of the T/STAEBL computer program, its design and analysis procedure, its optimization procedure, and provides an overview of the input required to run the program, as well as the computer resources required for its effective use. Additionally, usage of the program is demonstrated through a validation test case.
Brown, K. W.↗
Working toward a three-dimensional fatigue closure model for surface cracks
The first reliable elastic fracture mechanics solutions for a surface crack in a plate were obtained by Newman and Raju. The authors, both from the Mechanics of Materials Branch at NASA-Langley, used a highly detailed finite element solution requiring substantial computational resources. Computers have since become more powerful and available; however, many important related problems remain computationally expensive. The problem of three-dimensional fatigue crack growth taking into account plasticity-induced crack closure is one such problem. It is the goal of this research to provide an efficient method to account for three-dimensional crack closure in fatigue. Newman developed a two-dimensional plasticity-induced crack closure model for center cracked specimens. This model requires iterations to determine both the contact solution at each growth step and the extent of the plastic zone at the crack tip. A three-dimensional version of this model would require obtaining these nonlinear variables all along the crack front. This model must be efficient so that repeated calculations can be performed during crack growth simulations. The highly versatile line spring model (LSM) with contact, fatigue, and plasticity will form the basis of the closure model. There are several required additions to past work to address the three-dimensional crack closure problem. Initially, these additions will include (1) an improved LSM to more accurately obtain the crack opening displacement, stress intensity factors, and elastic T-stress near the ends of the surface crack; (2) a method to determine the extent of the plastic zone all along the crack front; (3) a method to determine the contact zone given a perfectly plastic layer of material on the crack surfaces; (4) a method to determine the magnitude of the compressive contact stress; and (5) a way to implement the degree of constraint along the curved crack front. During the summer ASEE program an enhanced LSM was developed. A method similar to that of 'strip synthesis' first introduced by Fujimoto was used. Briefly, the crack opening displacements of 'slices' of the surface crack in a direction parallel to the plate surface are considered in addition to the standard LSM approach that makes use of springs obtained from slices perpendicular to the plate surface. This enhancement is necessary so that an accurate three-dimensional representation of quantities such as contact zone size, plastic zone size, stress intensity factors, T-stress, and crack opening displacement can be determined. By combining results of previous investigations with the LSM, the problem of three-dimensional crack closure will be addressed. In addition to a closure model, the enhanced LSM can be used for many other problems including interacting surface cracks and fatigue crack growth of a through crack with a curved crack front.
Joseph, Paul F.↗
Verification of a Constraint Force Equation Methodology for Modeling Multi-Body Stage Separation
This paper discusses the verification of the Constraint Force Equation (CFE) methodology and its implementation in the Program to Optimize Simulated Trajectories II (POST2) for multibody separation problems using three specially designed test cases. The first test case involves two rigid bodies connected by a fixed joint; the second case involves two rigid bodies connected with a universal joint; and the third test case is that of Mach 7 separation of the Hyper-X vehicle. For the first two cases, the POST2/CFE solutions compared well with those obtained using industry standard benchmark codes, namely AUTOLEV and ADAMS. For the Hyper-X case, the POST2/CFE solutions were in reasonable agreement with the flight test data. The CFE implementation in POST2 facilitates the analysis and simulation of stage separation as an integral part of POST2 for seamless end-to-end simulations of launch vehicle trajectories.
Tartabini, Paul V.↗