Search NASA⌕ Search

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.

At least 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
NASA NTRS2009

A Lunar Surface System Supportability Technology Development Roadmap

This paper discusses the establishment of a Supportability Technology Development Roadmap as a guide for developing capabilities intended to allow NASA's Constellation program to enable a supportable, sustainable and affordable exploration of the Moon and Mars. Presented is a discussion of "supportability", in terms of space facility maintenance, repair and related logistics and a comparison of how lunar outpost supportability differs from the International Space Station. Supportability lessons learned from NASA and Department of Defense experience and their impact on a future lunar outpost is discussed. A supportability concept for future missions to the Moon and Mars that involves a transition from a highly logistics dependent to a logistically independent operation is discussed. Lunar outpost supportability capability needs are summarized and a supportability technology development strategy is established. The resulting Lunar Surface Systems Supportability Strategy defines general criteria that will be used to select technologies that will enable future flight crews to act effectively to respond to problems and exploit opportunities in a environment of extreme resource scarcity and isolation. This strategy also introduces the concept of exploiting flight hardware as a supportability resource. The technology roadmap involves development of three mutually supporting technology categories, Diagnostics Test & Verification, Maintenance & Repair, and Scavenging & Recycling. The technology roadmap establishes two distinct technology types, "Embedded" and "Process" technologies, with different implementation and thus different criteria and development approaches. The supportability technology roadmap addresses the technology readiness level, and estimated development schedule for technology groups that includes down-selection decision gates that correlate with the lunar program milestones. The resulting supportability technology roadmap is intended to develop a set of technologies with widest possible capability and utility with a minimum impact on crew time and training and remain within the time and cost constraints of the Constellation program

Oeftering, Richard C.↗
NASA NTRS2011

A Lunar Surface System Supportability Technology Development Roadmap

This paper discusses the establishment of a Supportability Technology Development Roadmap as a guide for developing capabilities intended to allow NASA s Constellation program to enable a supportable, sustainable and affordable exploration of the Moon and Mars. Presented is a discussion of supportability, in terms of space facility maintenance, repair and related logistics and a comparison of how lunar outpost supportability differs from the International Space Station. Supportability lessons learned from NASA and Department of Defense experience and their impact on a future lunar outpost is discussed. A supportability concept for future missions to the Moon and Mars that involves a transition from a highly logistics dependent to a logistically independent operation is discussed. Lunar outpost supportability capability needs are summarized and a supportability technology development strategy is established. The resulting Lunar Surface Systems Supportability Strategy defines general criteria that will be used to select technologies that will enable future flight crews to act effectively to respond to problems and exploit opportunities in an environment of extreme resource scarcity and isolation. This strategy also introduces the concept of exploiting flight hardware as a supportability resource. The technology roadmap involves development of three mutually supporting technology categories, Diagnostics Test and Verification, Maintenance and Repair, and Scavenging and Recycling. The technology roadmap establishes two distinct technology types, "Embedded" and "Process" technologies, with different implementation and thus different criteria and development approaches. The supportability technology roadmap addresses the technology readiness level, and estimated development schedule for technology groups that includes down-selection decision gates that correlate with the lunar program milestones. The resulting supportability technology roadmap is intended to develop a set of technologies with widest possible capability and utility with a minimum impact on crew time and training and remain within the time and cost constraints of the Constellation program.

Oeftering, Richard C.↗
NASA NTRS1980

Preliminary demonstration of a robust controller design method

Alternative computational procedures for obtaining a feedback control law which yields a control signal based on measurable quantitites are evaluated. The three methods evaluated are: (1) the standard linear quadratic regulator design model; (2) minimization of the norm of the feedback matrix, k via nonlinear programming subject to the constraint that the closed loop eigenvalues be in a specified domain in the complex plane; and (3) maximize the angles between the closed loop eigenvectors in combination with minimizing the norm of K also via the constrained nonlinear programming. The third or robust design method was chosen to yield a closed loop system whose eigenvalues are insensitive to small changes in the A and B matrices. The relationship between orthogonality of closed loop eigenvectors and the sensitivity of closed loop eigenvalues is described. Computer programs are described.

Anderson, L. R.↗
NASA NTRS1985

Constrained optimization for image restoration using nonlinear programming

The constrained optimization problem for image restoration, utilizing incomplete information and partial constraints, is formulated using nonlinear proramming techniques. This method restores a distorted image by optimizing a chosen object function subject to available constraints. The penalty function method of nonlinear programming is used. Both linear or nonlinear object function, and linear or nonlinear constraint functions can be incorporated in the formulation. This formulation provides a generalized approach to solve constrained optimization problems for image restoration. Experiments using this scheme have been performed. The results are compared with those obtained from other restoration methods and the comparative study is presented.

Yeh, C.-L.↗
NASA NTRS1992

Preliminary design features of the RASCAL - A NASA/Army rotorcraft in-flight simulator

Salient design features of a new NASA/Army research rotorcraft - the Rotorcraft Aircrew Systems Concepts Airborne Laboratory (RASCAL) - are described. Using a UH-60A Black Hawk helicopter as a baseline vehicle, the RASCAL will be a flying laboratory capable of supporting the research requirements of major NASA and Army guidance, control, and display research programs. The paper describes the research facility requirements of these programs together with other critical constraints on the design of the research system, including safety-of-flight. Research program schedules demand a phased development approach, wherein specific research capability milestones are met and flight research projects are flown throughout the complete development cycle of the RASCAL. This development approach is summarized, and selected features of the research system are described. The research system includes a full-authority, programmable, fault-tolerant/fail-safe, fly-by-wire flight control system and a real-time obstacle detection and avoidance system which will generate low-latitude guidance commands to the pilot on a wide field-of-view, color helmet-mounted display.

Aiken, Edwin W.↗
NASA NTRS1993

Preliminary design features of the RASCAL: A NASA /Army rotorcraft in-flight simulator

Salient design features of a new NASA/Army research rotorcraft - the Rotorcraft-Aircrew Systems Concepts Airborne Laboratory (RASCAL) - are described. Using a UH-60A Black Hawk helicopter as a baseline vehicle, the RASCAL will be a flying laboratory capable of supporting the research requirements of major NASA and Army guidance, control, and display research programs. The paper describes the research facility requirements of these programs together with other critical constraints on the design of the research system, including safety-of-flight. Research program schedules demand a phased development approach, wherein specific research capability milestones are met and flight research projects are flown throughout the complete development cycle of the RASCAL. This development approach is summarized, and selected features of the research system are described. The research system includes a full-authority, programmable, fault-tolerant/fail-safe, fly-by-wire flight control system and a real-time obstacle detection and avoidance system which will generate low-altitude guidance commands to the pilot on a wide field-of-view, color helmet-mounted display.

Aiken, Edwin W.↗
NASA NTRS1978

Electronics for a focal plane crystal spectrometer

The HEAO-B program forced the usual constraints upon the spacecraft experiment electronics: high reliability, low power consumption, and tight packaging at reasonable cost. The programmable high voltage power supplies were unique in both application and simplicity of manufacture. The hybridized measurement chain is a modification of that used on the SAS-C program; the charge amplifier design in particular shows definite improvement in performance over previous work.

Goeke, R. F.↗
NASA NTRS1999

Unifying Model-Based and Reactive Programming within a Model-Based Executive

Real-time, model-based, deduction has recently emerged as a vital component in AI's tool box for developing highly autonomous reactive systems. Yet one of the current hurdles towards developing model-based reactive systems is the number of methods simultaneously employed, and their corresponding melange of programming and modeling languages. This paper offers an important step towards unification. We introduce RMPL, a rich modeling language that combines probabilistic, constraint-based modeling with reactive programming constructs, while offering a simple semantics in terms of hidden state Markov processes. We introduce probabilistic, hierarchical constraint automata (PHCA), which allow Markov processes to be expressed in a compact representation that preserves the modularity of RMPL programs. Finally, a model-based executive, called Reactive Burton is described that exploits this compact encoding to perform efficIent simulation, belief state update and control sequence generation.

Williams, Brian C.↗
NASA NTRS2015

Numerical Computation of a Continuous-thrust State Transition Matrix Incorporating Accurate Hardware and Ephemeris Models

A significant body of work exists showing that providing a nonlinear programming (NLP) solver with expressions for the problem constraint gradient substantially increases the speed of program execution and can also improve the robustness of convergence, especially for local optimizers. Calculation of these derivatives is often accomplished through the computation of spacecraft's state transition matrix (STM). If the two-body gravitational model is employed as is often done in the context of preliminary design, closed form expressions for these derivatives may be provided. If a high fidelity dynamics model, that might include perturbing forces such as the gravitational effect from multiple third bodies and solar radiation pressure is used then these STM's must be computed numerically. We present a method for the power hardward model and a full ephemeris model. An adaptive-step embedded eight order Dormand-Prince numerical integrator is discussed and a method for the computation of the time of flight derivatives in this framework is presented. The use of these numerically calculated derivatieves offer a substantial improvement over finite differencing in the context of a global optimizer. Specifically the inclusion of these STM's into the low thrust missiondesign tool chain in use at NASA Goddard Spaceflight Center allows for an increased preliminary mission design cadence.

Low Thrust↗
NASA NTRS2016

Deductive Evaluation: Formal Code Analysis With Low User Burden

We describe a framework for symbolically evaluating iterative C code using a deductive approach that automatically discovers and proves program properties. Although verification is not performed, the method can infer detailed program behavior. Software engineering work flows could be enhanced by this type of analysis. Floyd-Hoare verification principles are applied to synthesize loop invariants, using a library of iteration-specific deductive knowledge. When needed, theorem proving is interleaved with evaluation and performed on the fly. Evaluation results take the form of inferred expressions and type constraints for values of program variables. An implementation using PVS (Prototype Verification System) is presented along with results for sample C functions.

Di Vito, Ben. L↗
NASA NTRS1982

Hybrid optimization of truss structures with strength and buckling constraints

An efficient scheme utilizing standard nonlinear programming methodology is presented for the optimal design of elastic, redundant structures with strength and buckling constraints. Numerical examples are given which demonstrate how this method, involving a constraint redefinition, can successfully overcome certain problems typical to such structures. The scheme is applied to the design of a cantilever truss with strength and buckling constraints, in which optimal nonuniform cross section columns are used for all elements critical in buckling. It is found that permitting node movement and adding redundancies can lower the weight of the structure for the prescribed design constraints. In addition, the node excursions in this configuration are shown to be relatively small.

Hajela, P.↗
NASA NTRS1985

A sequential linear optimization approach for controller design

A linear optimization approach with a simple real arithmetic algorithm is presented for reliable controller design and vibration suppression of flexible structures. Using first order sensitivity of the system eigenvalues with respect to the design parameters in conjunction with a continuation procedure, the method converts a nonlinear optimization problem into a maximization problem with linear inequality constraints. The method of linear programming is then applied to solve the converted linear optimization problem. The general efficiency of the linear programming approach allows the method to handle structural optimization problems with a large number of inequality constraints on the design vector. The method is demonstrated using a truss beam finite element model for the optimal sizing and placement of active/passive-structural members for damping augmentation. Results using both the sequential linear optimization approach and nonlinear optimization are presented and compared. The insensitivity to initial conditions of the linear optimization approach is also demonstrated.

Horta, L. G.↗
NASA NTRS2000

Economic Metrics for Commercial Reusable Space Transportation Systems

The success of any effort depends upon the effective initial definition of its purpose, in terms of the needs to be satisfied and the goals to be fulfilled. If the desired product is "A System" that is well-characterized, these high-level need and goal statements can be transformed into system requirements by traditional systems engineering techniques. The satisfaction of well-designed requirements can be tracked by fairly straightforward cost, schedule, and technical performance metrics. Unfortunately, some types of efforts, including those that NASA terms "Programs," tend to resist application of traditional systems engineering practices. In the NASA hierarchy of efforts, a "Program" is often an ongoing effort with broad, high-level goals and objectives. A NASA "project" is a finite effort, in terms of budget and schedule, that usually produces or involves one System. Programs usually contain more than one project and thus more than one System. Special care must be taken in the formulation of NASA Programs and their projects, to ensure that lower-level project requirements are traceable to top-level Program goals, feasible with the given cost and schedule constraints, and measurable against top-level goals. NASA Programs and projects are tasked to identify the advancement of technology as an explicit goal, which introduces more complicating factors. The justification for funding of technology development may be based on the technology's applicability to more than one System, Systems outside that Program or even external to NASA. Application of systems engineering to broad-based technology development, leading to effective measurement of the benefits, can be valid, but it requires that potential beneficiary Systems be organized into a hierarchical structure, creating a "system of Systems." In addition, these Systems evolve with the successful application of the technology, which creates the necessity for evolution of the benefit metrics to reflect the changing baseline. Still, economic metrics for technology development in these Programs and projects remain fairly straightforward, being based on reductions in acquisition and operating costs of the Systems. One of the most challenging requirements that NASA levies on its Programs is to plan for the commercialization of the developed technology. Some NASA Programs are created for the express purpose of developing technology for a particular industrial sector, such as aviation or space transportation, in financial partnership with that sector. With industrial investment, another set of goals, constraints and expectations are levied on the technology program. Economic benefit metrics then expand beyond cost and cost savings to include the marketability, profit, and investment return requirements of the private sector. Commercial investment criteria include low risk, potential for high return, and strategic alignment with existing product lines. These corporate criteria derive from top-level strategic plans and investment goals, which rank high among the most proprietary types of information in any business. As a result, top-level economic goals and objectives that industry partners bring to cooperative programs cannot usually be brought into technical processes, such as systems engineering, that are worked collaboratively between Industry and Government. In spite of these handicaps, the top-level economic goals and objectives of a joint technology program can be crafted in such a way that they accurately reflect the fiscal benefits from both Industry and Government perspectives. Valid economic metrics can then be designed that can track progress toward these goals and objectives, while maintaining the confidentiality necessary for the competitive process.

Shaw, Eric J.↗
NASA NTRS2013

Mass Conservation and Positivity Preservation with Ensemble-type Kalman Filter Algorithms

Maintaining conservative physical laws numerically has long been recognized as being important in the development of numerical weather prediction (NWP) models. In the broader context of data assimilation, concerted efforts to maintain conservation laws numerically and to understand the significance of doing so have begun only recently. In order to enforce physically based conservation laws of total mass and positivity in the ensemble Kalman filter, we incorporate constraints to ensure that the filter ensemble members and the ensemble mean conserve mass and remain nonnegative through measurement updates. We show that the analysis steps of ensemble transform Kalman filter (ETKF) algorithm and ensemble Kalman filter algorithm (EnKF) can conserve the mass integral, but do not preserve positivity. Further, if localization is applied or if negative values are simply set to zero, then the total mass is not conserved either. In order to ensure mass conservation, a projection matrix that corrects for localization effects is constructed. In order to maintain both mass conservation and positivity preservation through the analysis step, we construct a data assimilation algorithms based on quadratic programming and ensemble Kalman filtering. Mass and positivity are both preserved by formulating the filter update as a set of quadratic programming problems that incorporate constraints. Some simple numerical experiments indicate that this approach can have a significant positive impact on the posterior ensemble distribution, giving results that are more physically plausible both for individual ensemble members and for the ensemble mean. The results show clear improvements in both analyses and forecasts, particularly in the presence of localized features. Behavior of the algorithm is also tested in presence of model error.

EnKR↗
NASA NTRSDate not supplied

Operating a Crewed Spacecraft in the Age of Commercial Space Using Private/Government Partnership

Fifty years after humans completed a large-scale United States government-funded and government-engineered effort of landing humans on the moon, human spaceflight has entered a new paradigm. Private companies are now investing their own money and taking on an ever-increasing role in human spaceflight, in partnership with the U.S. government. This paper will describe the development of one of these partnerships through the lens of its mission operations team. As part of the Commercial Crew Program (CCP), NASA selected Boeing’s CST-100 Starliner as one of the next generation of crewed vehicles. Boeing opted to partner with the US Government for their Starliner operations by contracting with NASA’s Mission Control teams in the Flight Operations Directorate (FOD) at the Johnson Space Center to create its own Mission Operations (MO) flight controllers. Partnering with FOD provided benefits to both Boeing and NASA while also creating new challenges. MO brought over 60 years of crewed spaceflight experience and infrastructure to Boeing’s new program. Within certain legal constraints, MO was able to work closely and efficiently with their FOD counterparts who were performing both integration duties and, under the auspices of the CCP, insight of the contractors, in this case Boeing. Involvement of NASA as the Boeing operations agent did lead to what management deemed a ‘healthy tension’ within FOD, challenging old processes and often creating better, more robust teamwork. Successful development of the framework and boundaries of both the legal aspects and the oversight tensions has been one of the keys to developing a successful corporate/government partnership. Due to the highly automated nature of the Starliner, the MO organization was designed to be much smaller than previous NASA’s flight control teams for past programs. NASA has learned through the decades that spacecraft design and operations need to be as flexible and forgiving as possible. NASA’s Commercial Crew Program was established to sponsor corporate development of economical vehicles that could get humans to and from low Earth orbit. These companies, of course, need to meet contractual obligations in providing a safe means of transporting astronauts to the International Space Station (ISS), but also need to do so in a manner that leads to the venture resulting in a profit at the same time. Through MO’s involvement in the development of this spaceflight paradigm shift, there are ample lessons to be conveyed to future teams and programs working to develop similar missions.

Robert C Dempsey↗
NASA NTRSDate not supplied

Operating a Crewed Spacecraft in the Age of Commercial Space Using Private/Government Partnership

Fifty years after humans completed a large-scale United States government-funded and government-engineered effort of landing humans on the moon, human spaceflight has entered a new paradigm. Private companies are now investing their own money and taking on an ever-increasing role in human spaceflight, in partnership with the U.S. government. This paper will describe the development of one of these partnerships through the lens of its mission operations team. As part of the Commercial Crew Program (CCP), NASA selected Boeing’s CST-100 Starliner as one of the next generation of crewed vehicles. Boeing opted to partner with the US Government for their Starliner operations by contracting with NASA’s Mission Control teams in the Flight Operations Directorate (FOD) at the Johnson Space Center to create its own Mission Operations (MO) flight controllers. Partnering with FOD provided benefits to both Boeing and NASA while also creating new challenges. MO brought over 60 years of crewed spaceflight experience and infrastructure to Boeing’s new program. Within certain legal constraints, MO was able to work closely and efficiently with their FOD counterparts who were performing both integration duties and, under the auspices of the CCP, insight of the contractors, in this case Boeing. Involvement of NASA as the Boeing operations agent did lead to what management deemed a ‘healthy tension’ within FOD, challenging old processes and often creating better, more robust teamwork. Successful development of the framework and boundaries of both the legal aspects and the oversight tensions has been one of the keys to developing a successful corporate/government partnership. Due to the highly automated nature of the Starliner, the MO organization was designed to be much smaller than previous NASA’s flight control teams for past programs. NASA has learned through the decades that spacecraft design and operations need to be as flexible and forgiving as possible. NASA’s Commercial Crew Program was established to sponsor corporate development of economical vehicles that could get humans to and from low Earth orbit. These companies, of course, need to meet contractual obligations in providing a safe means of transporting astronauts to the International Space Station (ISS), but also need to do so in a manner that leads to the venture resulting in a profit at the same time. Through MO’s involvement in the development of this spaceflight paradigm shift, there are ample lessons to be conveyed to future teams and programs working to develop similar missions.

Robert C. Dempsey↗
NASA NTRSDate not supplied

Operating a Crewed Spacecraft in the Age of Commercial Space Using Private/Government Partnership

Fifty years after humans completed a large-scale United States government-funded and government-engineered effort of landing humans on the moon, human spaceflight has entered a new paradigm. Private companies are now investing their own money and taking on an ever-increasing role in human spaceflight, in partnership with the U.S. government. This paper will describe the development of one of these partnerships through the lens of its mission operations team. As part of the Commercial Crew Program (CCP), NASA selected Boeing’s CST-100 Starliner as one of the next generation of crewed vehicles. Boeing opted to partner with the US Government for their Starliner operations by contracting with NASA’s Mission Control teams in the Flight Operations Directorate (FOD) at the Johnson Space Center to create its own Mission Operations (MO) flight controllers. Partnering with FOD provided benefits to both Boeing and NASA while also creating new challenges. MO brought over 60 years of crewed spaceflight experience and infrastructure to Boeing’s new program. Within certain legal constraints, MO was able to work closely and efficiently with their FOD counterparts who were performing both integration duties and, under the auspices of the CCP, insight of the contractors, in this case Boeing. Involvement of NASA as the Boeing operations agent did lead to what management deemed a ‘healthy tension’ within FOD, challenging old processes and often creating better, more robust teamwork. Successful development of the framework and boundaries of both the legal aspects and the oversight tensions has been one of the keys to developing a successful corporate/government partnership. Due to the highly automated nature of the Starliner, the MO organization was designed to be much smaller than previous NASA’s flight control teams for past programs. NASA has learned through the decades that spacecraft design and operations need to be as flexible and forgiving as possible. NASA’s Commercial Crew Program was established to sponsor corporate development of economical vehicles that could get humans to and from low Earth orbit. These companies, of course, need to meet contractual obligations in providing a safe means of transporting astronauts to the International Space Station (ISS), but also need to do so in a manner that leads to the venture resulting in a profit at the same time. Through MO’s involvement in the development of this spaceflight paradigm shift, there are ample lessons to be conveyed to future teams and programs working to develop similar missions.

Robert C. Dempsey↗
NASA NTRS1992

Software For Integer Programming

Improved Exploratory Search Technique for Pure Integer Linear Programming Problems (IESIP) program optimizes objective function of variables subject to confining functions or constraints, using discrete optimization or integer programming. Enables rapid solution of problems up to 10 variables in size. Integer programming required for accuracy in modeling systems containing small number of components, distribution of goods, scheduling operations on machine tools, and scheduling production in general. Written in Borland's TURBO Pascal.

Fogle, F. R.↗