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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
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.↗
NASA NTRS1988

An integrated approach to the synthesis of geometrically non-linear structures

An integrated approach to the minimum weight design of geometrically nonlinear three-dimensional truss structures with geometric imperfections, subject to inequality constraints on static displacements, stresses, local buckling and cross sectional areas, is investigated. The integrated structural synthesis problem involves design and response quantities as independent variables and equilibrium equations, describing the finite element model, as equality constraints. The nonlinear structural analysis and the optimization are thus merged together into a single process. A computer program developed to compute the constraint values and analytical gradients is coupled with a generalized reduced gradient algorithm to solve the integrated problem. Numerical results for a geometrically nonlinear shallow dome example problem are presented for various types of imperfections. Furthermore, it is found that the algorithm is capable of detecting and guarding against system as well as element elastic instability using equilibrium information only, that is, without imposing system and local buckling inequality constraints.

Smaoui, H.↗
NASA NTRS1992

Recognizing and optimizing flight opportunities with hardware and life sciences limitations

The availability of orbital space flight opportunities to conduct life sciences research has been limited. It is possible to use parabolic flight and sounding rocket programs to conduct some kinds of experiments during short episodes (seconds to minutes) of reduced gravity, but there are constraints and limitations to these programs. Orbital flight opportunities are major undertakings, and the potential science achievable is often a function of the flight hardware available. A variety of generic types of flight hardware have been developed and tested, and show great promise for use during NSTS flights. One such payload configuration is described which has already flown.

NASA Discipline Developmental Biology↗
DOE OSTI2023

Greedy permanent magnet optimization

Abstract A number of scientific fields rely on placing permanent magnets in order to produce a desired magnetic field. We have shown in recent work that the placement process can be formulated as sparse regression. However, binary, grid-aligned solutions are desired for realistic engineering designs. We now show that the binary permanent magnet problem can be formulated as a quadratic program with quadratic equality constraints, the binary, grid-aligned problem is equivalent to the quadratic knapsack problem with multiple knapsack constraints, and the single-orientation-only problem is equivalent to the unconstrained quadratic binary problem. We then provide a set of simple greedy algorithms for solving variants of permanent magnet optimization, and demonstrate their capabilities by designing magnets for stellarator plasmas. The algorithms can a-priori produce sparse, grid-aligned, binary solutions. Despite its simple design and greedy nature, we provide an algorithm that compares with or even outperforms the state-of-the-art algorithms while being substantially faster, more flexible, and easier to use.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2025

Applications of the Landau bootstrap

We advocate a strategy of bootstrapping Feynman integrals from just knowledge of their singular behavior. This approach is complementary to other bootstrap programs, which exploit nonperturbative constraints such as unitarity, or amplitude-level constraints such as gauge invariance. We begin by studying where a Feynman integral can become singular, and the behavior it exhibits near these singularities. We then characterize the space of functions that we expect the integral to evaluate to, in order to formulate an appropriate ansatz. Finally, we derive constraints on where each singularity can appear in this ansatz, and use information about the expansion of the integral around singular points in order to determine the value of all remaining free coefficients. Throughout, we highlight how constraints that have previously only been derived for integrals with generic masses can be extended to integrals involving particles of equal or vanishing mass. We illustrate the effectiveness of this approach by bootstrapping a number of examples, including the four-point double box with a massive internal loop. Published by the American Physical Society 2025

Hannesdottir, Holmfridur S. (ORCID:000000025440208↗
DOE OSTI2019

A Framework for Self-Adaptive Dispersal of Computing Services

Modern networking architectures are making it increasingly possible to disperse services not just across servers but into intermediate network devices as well. Here we introduce the Misson-oriented Adaptive Placement (MAP) architecture, which synthesizes prior work on middleware, load-balancing, constraint solving, and aggregate programming into a framework for self-adaptive management of dispersed services. We provide a first evaluation of the efficacy and resilience that can be provided through this approach: results in simulation demonstrating that MAP can autonomously change the deployment of services to adapt to changing needs and failures.

Paulos, Aaron↗
DOE OSTI2021

An Assessment of Evaluation Practices of Low- And Moderate-Income Solar Programs

As concerns about social equity and clean energy rise, state and local governments, utilities, and non-profit organizations are offering at least 41 active programs in 21 states to promote solar adoption as a way to reduce energy bills for low- and moderate-income (LMI) households while meeting other policy goals such as job creation and clean energy generation. A new study from Berkeley Lab looks at how those programs are being evaluated. The report provides background on how they seek to address LMI household energy burdens and gives a brief discussion of the art and science of program evaluation, drawn from decades of experience in energy efficiency programs. It then turns to how LMI solar programs are currently being evaluated, highlighting trends among evaluation methods, metrics tracked, and best practices employed. A few programs are explored in more depth to illustrate notable practices that could be applied to other program evaluations. These LMI solar programs are mostly young, operate on tight budgets, and vary considerably in their design and stated goals. Consequently, well-designed program evaluation is critical to better understand what works, what could be improved, and how to maximize program impacts under budget constraints.

14 SOLAR ENERGY↗
DOE OSTI2025

Demonstration of a Novel Technology to Manage Electricity Demand in Grid-Independent Military Microgrids

This research was conducted by the National Renewable Energy Laboratory (NREL) in collaboration with the S&C Electric Inc. through funding provided by the ESTCP. The project demonstrates use of cybersecure Automated Demand Response (ADR) technology to effectively manage microgrid loads during grid-independent, also known as "islanded," operation. When military microgrids become isolated from the main electrical grid, they are required to balance electricity supply and demand locally. Given that local generation may be constrained, the prevailing strategy involves shedding all but the most critical loads by tripping smart circuit breakers, which then necessitate manual resetting. This approach is generally implemented at the building level, which means that the buildings with mission-critical activities are exempt from load management and remain fully powered, whereas those deemed non-critical can experience a complete loss of service. In this research we developed a method that allows building automation systems to selectively control their assets in response to load shedding request from a microgrid controller, avoiding total loss of service in contrast to the conventional control approach. A commercial OpenADR client server by GridFabric is used for communication between the microgrid controller and the building management system (BMS). The microgrid controller monitors both generation capacity and various assets within the microgrid and issues a demand reduction request when necessary. This request is communicated to the OpenADR server via Modbus. Upon receiving the request, the OpenADR server forwards it to the BMS utilizing the OpenADR protocol. The BMS is pre-configured with various levels of load reduction strategies based on the controllable assets available, allowing for a nuanced approach to demand reduction. Both lab and field tests were performed that considered load shedding needed to achieve closed transition into island mode and to accommodate changing loads and power source availability while islanded. A commercial microgrid controller was used for these tests with normal programming within the expected constraints of the system capabilities. That is, the solution did not require any specialized modification to the code base of the controller. Given the latency of the round-trip communication path between the microgrid controller and the various devices involved with the load shed processes, there are certain scenarios for which the demonstrated solution are appropriate and some which are not. The methods described in this report can be used for load shedding/restoration during transitions between islanded and grid-tied modes of operation, as well as accommodating normal variations in load and the need to remove a power source from operation for maintenance. These methods should not be used for scenarios that require load shedding within a second or two such as sudden and unanticipated significant load increases or loss of power sources through equipment faults.

24 POWER TRANSMISSION AND DISTRIBUTION↗
NASA NTRS1972

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

Constrained low-thrust guidance.

Constrained low thrust guidance algorithms for three axis and spin-stabilized, constant power, solar electric propelled spacecraft on fixed time rendezvous missions are developed. A 'bang-bang' type of minimum-propellant thrust program is used. Control constraints arise from the specification that the thrust vector must remain fixed relative to the solar panels. The guidance law is derived from deterministic linear perturbation theory and is controllable to first order on trajectories containing at least two thrust arcs. The number and timing of guidance updates and the effectiveness of the guidance law in compensating for state and control estimation biases and uncertainties are discussed. Numerical comparisons between the optimal control and the restricted control case are presented on a Encke comet rendezvous.

Ungs, M. J.↗
NASA NTRS1972

Space shuttle phase B. Volume 2: Technical summary

A summary of the research in the space shuttle program is presented. Funding constraints, booster requirements, abort modes, launch configurations, environment impact, and test facility impacts are discussed.

Source record↗
NASA NTRS1975

Mobile data buoy system

The Mobile Data Buoy System was conceived to serve the users requirement for obtaining water quality parameters from two separate watershed systems. In view of the cost constraints of the ERTS program it was obvious that the network of 10 sampling stations required could not be of the fixed installation type; therefore, it was decided to go to a system of battery powered buoys of a size that could be used in one watershed system for a period of time and then moved to another by use of a relatively small 6.7 m (22 foot) boat. The basic idea of the water quality measurement program was to establish the water quality pattern of change from the headwaters of the watersheds to and through the Mobile Bay. This would allow the investigator to develop a good picture of the state's major water resources and the pressures from pollution that are being imposed. At this point in deployment of this mobile system of buoys, it is too early to put a quantitative value on the system, however it appears less expensive than known fixed installations as to first cost. It has a basic advantage in that it can be moved, at very little expense, to alternate sites where it is desired to obtain water quality data. It is to be noted this buoy system which covers a 80 Km (50 mile) stretch of the Black Warrior River and then skips down 483 Km (300 miles) to Mobile Bay for the next measurements would not be feasible unless there is a satellite to collect and relay the data.

Morton, R. A.↗
NASA NTRS1975

Radiant coolers - Theory, flight histories, design comparisons and future applications

Radiant coolers have been developed for application to the cooling of infrared detectors aboard NASA earth observation systems and as part of the Defense Meteorological Satellite Program. The prime design constraints for these coolers are the location of the cooler aboard the satellite and the satellite orbit. Flight data from several coolers indicates that, in general, design temperatures are achieved. However, potential problems relative to the contamination of cold surfaces are also revealed by the data. A comparison among the various cooler designs and flight performances indicates design improvements that can minimize the contamination problem in the future.

Donohoe, M. J.↗