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 235 records · Page 13
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Static actuator-sharing algorithm for concurrent control of multiple plasma properties

Simultaneous regulation of multiple properties in next-generation tokamaks like ITER and fusion pilot plant may require the integration of different plasma control algorithms. Such integration requires the conversion of individual controller commands into physical actuator requests while accounting for the coupling between different plasma properties. This work proposes a tokamak and scenario-agnostic actuator-sharing algorithm (ASA) to perform the above-mentioned command-request conversion and, hence, integrate multiple plasma controllers. The proposed algorithm implicitly solves a quadratic programming (QP) problem formulated to account for the saturation limits and the relation between the controller commands and physical actuator requests. Since the constraints arising in the QP program are linear, the proposed ASA is highly computationally efficient and can be implemented in the tokamak plasma control system in real time. Furthermore, the proposed algorithm is designed to handle real-time changes in the control objectives and actuators’ availability. Nonlinear simulations carried out using the Control Oriented Transport SIMulator illustrate the effectiveness of the proposed algorithm in achieving multiple control objectives simultaneously.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
NASA NTRS2015

Improvements in Modeling Thruster Plume Erosion Damage to Spacecraft Surfaces

Spacecraft bipropellant thrusters impact spacecraft surfaces with high speed droplets of unburned and partially burned propellant. These impacts can produce erosion damage to optically sensitive hardware and systems (e.g., windows, camera lenses, solar cells and protective coatings). On the International Space Station (ISS), operational constraints are levied on the position and orientation of the solar arrays to mitigate erosion effects during thruster operations. In 2007, the ISS Program requested evaluation of erosion constraint relief to alleviate operational impacts due to an impaired Solar Alpha Rotary Joint (SARJ). Boeing Space Environments initiated an activity to identify and remove sources of conservatism in the plume induced erosion model to support an expanded range of acceptable solar array positions  The original plume erosion model over-predicted plume erosion and was adjusted to better correlate with flight experiment results. This paper discusses findings from flight experiments and the methodology employed in modifying the original plume erosion model for better correlation of predictions with flight experiment data. The updated model has been successful employed in reducing conservatism and allowing for enhanced flexibility in ISS solar array operations.

Soares, Carlos↗
DOE OSTI2023

Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC)

Near-term intermediate scale quantum (NISQ) computers are likely to have very restricted hardware resources, where precisely controllable qubits are expensive, error-prone, and scarce. Programmers of such computers must therefore balance trade-offs among a large number of (potentially heterogeneous) factors specific to the targeted application and quantum hardware. To assist them, we propose Meta Quantum Circuits with Constraints (MQCC), a meta-programming framework for quantum programs. Programmers express their application as a succinct collection of normal quantum circuits stitched together by a set of (manually or automatically) added meta-level choice variables, whose values are constrained according to a programmable set of quantitative optimization criteria. MQCC’s compiler generates the appropriate constraints and solves them via an SMT solver, producing an optimized, runnable program. We showcase a few MQCC’s applications for its generality including an automatic generation of efficient error syndrome extraction schemes for fault-tolerant quantum error correction with heterogeneous qubits and an approach to writing approximate quantum Fourier transformation and quantum phase estimation that smoothly trades off accuracy and resource use. We also illustrate that MQCC can easily encode prior one-off NISQ application designs-–multi-programming (MP), crosstalk mitigation (CM)—as well as a combination of their optimization goals (i.e., a combined MP-CM).

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1977

Computer assistance for the structural chemist

A description is presented of the approaches used to modify the molecular structure generator program, CONGEN. The CONGEN program for constructing structures under constraints has been discussed by Carhart et al. (1975). The modifications reported are to lead to a more efficient structure generation on the basis of a translation of structural data input to the program. From an algorithmic standpoint, CONGEN is successful if it can, in a reasonable amount of time and without exhausting storage resources, produce a list of candidate structures satisfying the chemist's constraints. However, this list is often quite large, and it remains for the chemist to discriminate among the candidates, eventually reducing the possibilities to just one structure. Ways are studied for providing computer assistance in examining and further constraining lists of structural candidates.

Carhart, R. E.↗
NASA NTRS1988

A flexible computer aid for conceptual design based on constraint propagation and component-modeling

The Rubber Airplane program, which combines two symbolic processing techniques with a component-based database of design knowledge, is proposed as a computer aid for conceptual design. Using object-oriented programming, programs are organized around the objects and behavior to be simulated, and using constraint propagation, declarative statements designate mathematical relationships among all the equation variables. It is found that the additional level of organizational structure resulting from the arrangement of the design information in terms of design components provides greater flexibility and convenience.

Kolb, Mark A.↗
NASA NTRS1995

Planning Complex Projects Automatically

Automated Manifest Planner (AMP) computer program applies combination of artificial-intelligence techniques to assist both expert and novice planners, reducing planning time by orders of magnitude. Gives planners flexibility to modify plans and constraints easily, without need for programming expertise. Developed specifically for planning space shuttle missions 5 to 10 years ahead, with modifications, applicable in general to planning other complex projects requiring scheduling of activities depending on other activities and/or timely allocation of resources. Adaptable to variety of complex scheduling problems in manufacturing, transportation, business, architecture, and construction.

Henke, Andrea L.↗
NASA NTRS2000

A Mars Exploration Discovery Program

The Mars Exploration Program should consider following the Discovery Program model. In the Discovery Program a team of scientists led by a PI develop the science goals of their mission, decide what payload achieves the necessary measurements most effectively, and then choose a spacecraft with the capabilities needed to carry the payload to the desired target body. The primary constraints associated with the Discovery missions are time and money. The proposer must convince reviewers that their mission has scientific merit and is feasible. Every Announcement of Opportunity has resulted in a collection of creative ideas that fit within advertised constraints. Following this model, a "Mars Discovery Program" would issue an Announcement of Opportunity for each launch opportunity with schedule constraints dictated by the launch window and fiscal constraints in accord with the program budget. All else would be left to the proposer to choose, based on the science the team wants to accomplish, consistent with the program theme of "Life, Climate and Resources". A proposer could propose a lander, an orbiter, a fleet of SCOUT vehicles or penetrators, an airplane, a balloon mission, a large rover, a small rover, etc. depending on what made the most sense for the science investigation and payload. As in the Discovery program, overall feasibility relative to cost, schedule and technology readiness would be evaluated and be part of the selection process.

Hansen, C. J.↗
NASA NTRS1987

System engineering techniques for establishing balanced design and performance guidelines for the advanced telerobotic testbed

Novel system engineering techniques have been developed and applied to establishing structured design and performance objectives for the Telerobotics Testbed that reduce technical risk while still allowing the testbed to demonstrate an advancement in state-of-the-art robotic technologies. To estblish the appropriate tradeoff structure and balance of technology performance against technical risk, an analytical data base was developed which drew on: (1) automation/robot-technology availability projections, (2) typical or potential application mission task sets, (3) performance simulations, (4) project schedule constraints, and (5) project funding constraints. Design tradeoffs and configuration/performance iterations were conducted by comparing feasible technology/task set configurations against schedule/budget constraints as well as original program target technology objectives. The final system configuration, task set, and technology set reflected a balanced advancement in state-of-the-art robotic technologies, while meeting programmatic objectives and schedule/cost constraints.

Zimmerman, W. F.↗
NASA NTRS1989

Compendium of small class ELV capabilities, costs, and constraints

Both NASA and DARPA are investigating programs to provide flight demonstration opportunities for new commercially developed rockets. Development of such rockets will be decisive for the success of expendable launch vehicle (ELV) commercialization. The costs and capabilities associated with the various vehicles are discussed here, emphasizing the constraints on their development and widespread utilization. An overview is presented of related international launch vehicle development plans, and the market for small ELVs in the 1990s is discussed.

Poniatowski, Karen S.↗
NASA NTRS1987

The detection of planetary systems from Space Station - A star observation strategy

A 10-20-yr star-observation program for the Space Station Astrometric Telescope Facility (ATF) is proposed and evaluated by means of computer simulations. The primary aim of the program is to detect stars with planetary systems by precise determination of their motion relative to reference stars. The designs proposed for the ATF are described and illustrated; the basic parameters of the 127 stars selected for the program are listed in a table; spacecraft and science constraints, telescope slewing rates, and the possibility of limiting the program sample to stars near the Galactic equator are discussed; and the effects of these constraints are investigated by simulating 1 yr of ATF operation. Viewing all sky regions, the ATF would have 81-percent active viewing time, observing each star about 200 times (56 h) per yr; only small decrements in this performance would result from limiting the viewing field.

Mascy, Alfred C.↗
DOE OSTI2024

CHMMPP: A c++ library for constrained Hidden Markov Models

SAND2024-13027O The CHMMPP: A c++ Library for Constrained Hidden Markov Models (HMM) software supports the analysis of multivariate time series data to detect patterns using HMM. Many applications involve the detection and characterization of hidden or latent states in a complex system using observable states and variables. This software supports inference of latent states integrating both an HMM and application-specific constraints that reflect known relationships in hidden states. The CHMMPP software supports application-specific and generic methods for constrained inference. This includes a framework for customized Viterbi methods, constrained inference of hidden states with A* and integer programming methods, and various constraint-informed methods for learning HMM model parameters. CHMMPP focuses on supporting generic methods that enable the agile expression of complex sets of constraints that naturally arise in many real-world applications.

Hart, William↗
NASA NTRS1975

Solar electric geocentric transfer with attitude constraints: Analysis

A time optimal or nearly time optimal trajectory program was developed for solar electric geocentric transfer with or without attitude constraints and with an optional initial high thrust stage. The method of averaging reduces computation time. A nonsingular set of orbital elements is used. The constraints, which are those of one of the SERT-C designs, introduce complexities into the analysis and the solution yields possible discontinuous changes in thrust direction. The power degradation due to VanAllen radiation is modeled analytically. A wide range of solar cell characteristics is assumed. Effects such as oblateness and shadowing are included. The analysis and the results of many example runs are included.

Sackett, L. L.↗
DOE OSTI2025

Recovery Simulator and Analysis Formulation: Mathematical Framework for Enhanced Resilience and Resource Allocation

This report introduces recovery simulator and analysis (RSA), a framework aimed at enhancing the resilience of electrical grids post-disruption. The RSA model leverages an optimization problem formulation that focuses on maximizing the load served (or optionally customers served) through a coordinated and cooptimized recovery of non-black start generation, transmission lines, feeders and substations subject to labor budget constraints. By integrating advanced linear programming techniques, the simulator selects efficient reocovery pathways, optimizing both short-term and long-term grid recovery strategies. The mathematical framework guides decision-making through a comprehensive evaluation of potential recovery actions, factoring in the trade-offs between labor constraints and load (or optionally customer) restoration efficacy. This enables grid operators to simulate diverse outage scenarios and delineate optimal recovery pathways, thereby prioritizing critical repair tasks and ensuring resource allocation is both economical and effective. The intended use case of RSA is to allow planners to explore many recovery scenarios quickly and determine assets most critical across a wide range of scenarios, and therefore strong candidates for hardening or additional investment. RSA might also be used in an operational setting, following a single event, for exploring efficient recovery pathways.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2017

An IAEA Initiative to Provide Effective Stakeholder Support Services for International Decommissioning and Environmental Remediation - 17341

The International Atomic Energy Agency (IAEA) has initiated a collaborative effort to promote stakeholder support activities through a stakeholder engagement advisory program (SEAP) as part of Phase II of the Constraints to Implementing Decommissioning and Environmental Remediation (CIDER II) program. CIDER II is a collaborative project involving a broad range of Member States, large and small, with ongoing and/or planned decommissioning and environmental remediation (D and ER) programs. The intent of this sub-group of CIDER II is to facilitate better sharing of information and knowledge in areas of stakeholder communication, engagement and participation, and a framework for directly using stakeholder input in the decision making process. The goal is to support trust building in D and ER decisions for radioactive contamination and facilities. A main premise of the CIDER II program is that stakeholder acceptance is necessary for successful D and ER decisions to be made. This paper introduces some of the major challenges to implementing such a broad scale of support for stakeholder engagement, and approaches to overcoming those challenges. Major challenges include the need to address D and ER decision making in different countries with their different languages, cultures, religions, management structures, and politics. For example, in some cases it might be important strategically to first garner support from upper levels of social, management or political hierarchies, including for example, approaching community leaders, and allowing those leaders to directly address their community. Other sites might have more success, for example, if stakeholder interaction starts with the community members. A specific project strategy also probably depends on who makes the request for stakeholder support services. Once the CIDER II SEAP gains traction, there will be a need to prioritize requests from Member States for assistance in connection with specific D and ER projects. A prioritization tool will be developed based on stakeholder engaged structured decision making (SDM). The projects in which support will initially be focused will span a wide range of D and ER problems, types of stakeholder groups, and technical issues such as potential risk to human health and the environment. A database management system will also be designed to capture information from the different proposed projects and will be expanded to house implemented projects for future reference. The case study database will be an integral part of a web-based system that also contains technical approaches for stakeholder involvement depending on the situational environment. A community of practice will be formed that will involve technical experts in stakeholder engagement and structured decision making, and informed representatives from Member States. This will address the need for SEAP to build capacity and provide education for solving D and ER problems. The web-based system will include technical tools for use by the projects, such as: identification of stakeholder groups; social network analysis (how stakeholders are connected); case study forms; best practice forms; information sheets; and 4tools that will directly support optimization of stakeholder guided solutions to D and ER problems. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
NASA NTRS2005

Knowledge Capture and Management for Space Flight Systems

The incorporation of knowledge capture and knowledge management strategies early in the development phase of an exploration program is necessary for safe and successful missions of human and robotic exploration vehicles over the life of a program. Following the transition from the development to the flight phase, loss of underlying theory and rationale governing design and requirements occur through a number of mechanisms. This degrades the quality of engineering work resulting in increased life cycle costs and risk to mission success and safety of flight. Due to budget constraints, concerned personnel in legacy programs often have to improvise methods for knowledge capture and management using existing, but often sub-optimal, information technology and archival resources. Application of advanced information technology to perform knowledge capture and management would be most effective if program wide requirements are defined at the beginning of a program.

Goodman, John L.↗
NASA NTRS2012

A Linear Programming Approach to the Development of Contrail Reduction Strategies Satisfying Operationally Feasible Constraints

A class of strategies has been proposed to reduce contrail formation in the United States airspace. A 3D grid based on weather data and the cruising altitude level of aircraft is adjusted to avoid the persistent contrail potential area with the consideration to fuel-efficiency. In this paper, the authors introduce a contrail avoidance strategy on 3D grid by considering additional operationally feasible constraints from an air traffic controller's aspect. First, shifting too many aircraft to the same cruising level will make the miles-in-trail at this level smaller than the safety separation threshold. Furthermore, the high density of aircraft at one cruising level may exceed the workload for the traffic controller. Therefore, in our new model we restrict the number of total aircraft at each level. Second, the aircraft count variation for successive intervals cannot be too drastic since the workload to manage climbing/descending aircraft is much larger than managing cruising aircraft. The contrail reduction is formulated as an integer-programming problem and the problem is shown to have the property of total unimodularity. Solving the corresponding relaxed linear programming with the simplex method provides an optimal and integral solution to the problem. Simulation results are provided to illustrate the methodology.

Wei, Peng↗