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
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↗
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↗
NASA NTRS2001

Complete ISOPHOT (C200) Maps of a Nearby Prototypical GMC: W3 (Spring) or NGC7538 (Fall)

We were originally awarded Priority 3 time (approximately 60,000 sec) with Infrared Space Observatory (ISO) to obtain a complete ISOPHOT (PHT32-C200) map of a nearby prototypical giant molecular cloud (GMC). Following the FALL launch and revised estimates for the sensitivity of the ISOPHOT detectors, our program was modified to fit within the time constraints while still carrying out the main science requirements. The revised program requested long strip maps of our FALL target (NGC7538) using sequences of PHT37/38/39 observations with LWS observations of the brightest regions. The large number of AOTs required to cover each GMC required that our observations be spread over four separate proposals (PROP-01, PROP-02, PROP-03, PROP-04) which together comprise a single observing program. Our program was executed in early 1997; nearly 50,000 sec of data were obtained, including all of our requested ISOPHOT C200 observations. None of the LWS data were taken.

Sanders, David B.↗
NASA NTRS1976

A new era of space transportation

It is pointed out that founded on the experiences of Apollo, Skylab, and the Apollo/Soyuz mission an era is entered which will be characterized by a displacement of the interface between the experimenter and his experiment from the control center on the ground to the laboratory in orbit. A new world has been opened by going into space. Economic applications are related to the achievement of an enormous efficiency in world communications at a much lower cost. However, programs of space exploration and usage are under severe economic constraints. A primary tool to lower the cost of programs is to be the Space Transportation System using the Space Shuttle. It is emphasized that the Shuttle system is an international enterprise. Attention is also given to the results of the Viking missions, the Landsat satellites, and applications of space technology for science and commerce.

Fletcher, J. C.↗
NASA NTRS1985

Human productivity program definition

The optimization of human productivity on the space station within the existing resources and operational constraints is the aim of the Human Productivity Program. The conceptual objectives of the program are as follows: (1) to identify long lead technology; (2) to identify responsibility for work elements; (3) to coordinate the development of crew facilities and activities; and (4) to lay the foundation for a cost effective approach to improving human productivity. Human productivity work elements are also described and examples are presented.

Cramer, D. B.↗
NASA NTRS1975

Preliminary mission planning using Interactive Graphics

The selection of satellite orbits, subject to mission and launch vehicle constraints, can be expedited using the IGOS (Interactive Graphics Orbit Selection) computer program. The program operates in a conversational mode displaying the constraints as shaded areas on a graphics terminal. Mission requirements evaluated include: earth observation coverage, radiation environment, orbit lifetime, and sun synchronization. Launch vehicle constraints consist of injection accuracy and payload capability and include the impact of launch site, and launch azimuth restrictions. Sample output is shown, the hardware and software configurations are described, and details of the mathematical model are summarized.

Rea, F. G.↗
NASA NTRS2012

Symbolic Execution Enhanced System Testing

We describe a testing technique that uses information computed by symbolic execution of a program unit to guide the generation of inputs to the system containing the unit, in such a way that the unit's, and hence the system's, coverage is increased. The symbolic execution computes unit constraints at run-time, along program paths obtained by system simulations. We use machine learning techniques treatment learning and function fitting to approximate the system input constraints that will lead to the satisfaction of the unit constraints. Execution of system input predictions either uncovers new code regions in the unit under analysis or provides information that can be used to improve the approximation. We have implemented the technique and we have demonstrated its effectiveness on several examples, including one from the aerospace domain.

Davies, Misty D.↗
DOE OSTI2024

The dark energy survey supernova program: investigating beyond-ΛCDM

We report constraints on a variety of non-standard cosmological models using the full 5-yr photometrically classified type Ia supernova sample from the Dark Energy Survey (DES-SN5YR). Both Akaike Information Criterion (AIC) and Suspiciousness calculations find no strong evidence for or against any of the non-standard models we explore. When combined with external probes, the AIC and Suspiciousness agree that 11 of the 15 models are moderately preferred over Flat-|$\Lambda$|CDM suggesting additional flexibility in our cosmological models may be required beyond the cosmological constant. We also provide a detailed discussion of all cosmological assumptions that appear in the DES supernova cosmology analyses, evaluate their impact, and provide guidance on using the DES Hubble diagram to test non-standard models. An approximate cosmological model, used to perform bias corrections to the data holds the biggest potential for harbouring cosmological assumptions. We show that even if the approximate cosmological model is constructed with a matter density shifted by |$\Delta \Omega _{\rm m}\sim 0.2$| from the true matter density of a simulated data set the bias that arises is subdominant to statistical uncertainties. Nevertheless, we present and validate a methodology to reduce this bias.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS1976

Computer-aided design of antenna structures and components

This paper discusses computer-aided design procedures for antenna reflector structures and related components. The primary design aid is a computer program that establishes cross sectional sizes of the structural members by an optimality criterion. Alternative types of deflection-dependent objectives can be selected for designs subject to constraints on structure weight. The computer program has a special-purpose formulation to design structures of the type frequently used for antenna construction. These structures, in common with many in other areas of application, are represented by analytical models that employ only the three translational degrees of freedom at each node. The special-purpose construction of the program, however, permits coding and data management simplifications that provide advantages in problem size and execution speed. Size and speed are essentially governed by the requirements of structural analysis and are relatively unaffected by the added requirements of design. Computation times to execute several design/analysis cycles are comparable to the times required by general-purpose programs for a single analysis cycle. Examples in the paper illustrate effective design improvement for structures with several thousand degrees of freedom and within reasonable computing times.

Levy, R.↗
NASA NTRS1983

Generation and evoluation of near-optimum vertical flight profiles

The overall objectives of this research effort have been to develop and evaluate algorithms and flight management concepts for minimization of fuel or direct operating costs. These concepts are to be used for flight planning or for on-board computation and steering of turbojet transport aircraft in the vertical path. Within this research context, a computer program, called OPTIM, has been developed to use these algorithms to generate near-optimum vertical reference profiles. OPTIM contains control options to examine effects of various flight constraints on cost performance. A companion program, called TRAGEN, was developed to simulate an aircraft flying along a given vertical reference profile. TRAGEN is used to verify OPTIM's output , to examine the effects of parameter value uncertainty (such as prevailing wind), and to compare cost performance of profiles generated by different techniques. This paper describes OPTIM and TRAGEN and presents examples of the programs utility.

Sorensen, J. A.↗
NASA NTRS1985

Onsite 40-kilowatt fuel cell power plant manufacturing and field test program

A joint Gas Research Institute and U.S. Department of Energy Program was initiated in 1982 to evaluate the use of fuel cell power systems for on-site energy service. Forty-six 40 kW fuel cell power plants were manufactured at the United Technologies Corporation facility in South Windsor, Connecticut, and are being delivered to host utilities and other program participants in the United States and Japan for field testing. The construction of the 46 fully-integrated power plants was completed in January 1985 within the constraints of the contract plan. The program has provided significant experience in the manufacture, acceptance testing, deployment, and support of on-site fuel cell systems. Initial field test results also show that these experimental power plants meet the performance and environmental requirements of a commercial specification. This Interim Report encompasses the design and manufacturing phases of the 40 kW Power Plant Manufacturing and Field Test program. The contract between UTC and NASA also provides UTC field engineering support to the host utilities, training programs and associated manuals for utility operating and maintenance personnel, spare parts support for a defined test period, and testing at UTC of a power plant made available from a preceding program phase. These activities are ongoing and will be reported subsequently.

Source record↗
NASA NTRS1993

Airport surface operations requirements analysis

This report documents the results of the Airport Surface Operations Requirements Analysis (ASORA) study. This study was conducted in response to task 24 of NASA Contract NAS1-18027. This study is part of NASA LaRC's Low Visibility Surface Operations program, which is designed to eliminate the constraints on all-weather arrival/departure operations due to the airport/aircraft ground system. The goal of this program is to provide the capability for safe and efficient aircraft operations on the airport surface during low visibility conditions down to zero. The ASORA study objectives were to (1) develop requirements for operation on the airport surface in visibilities down to zero; (2) survey and evaluate likely technologies; (3) develop candidate concepts to meet the requirements; and (4) select the most suitable concept based on cost/benefit factors.

Groce, John L.↗
DOE OSTI2025

Perspectives on Systematic Cloud Microphysics Scheme Development With Machine Learning

Cloud microphysics—the collection of processes that govern the small‐scale formation, evolution, and interactions of liquid droplets and ice crystals in clouds and precipitation—remains a major source of uncertainty in weather and climate models. Although too small in scale to be explicitly resolved in any large‐eddy simulation, weather, or climate model, the representation of cloud microphysical processes has significant impact at the climate scale. Current microphysical schemes are limited by both parametric uncertainty, linked to uncertainty in physical parameter values, and structural uncertainty, arising from incomplete physical understanding of the processes at play or approximations made for computational efficiency. Recent advances in the application of machine learning (ML) to the physical sciences show significant potential for minimizing these limitations by leveraging high‐fidelity simulations and observations. Here we outline the challenges that must be addressed to apply ML toward cloud microphysics scheme development. This perspectives paper synthesizes recent progress in using data‐driven methods, including ML, to improve cloud microphysics parameterizations and highlights opportunities to address key uncertainties. We discuss the roles of aleatoric (irreducible, or statistical) and epistemic (reducible, or systematic) errors in contributing to microphysics parameterization uncertainty. ML can leverage observations to improve microphysical schemes via bottom‐up and top‐down constraints. Methods such as differentiable programming and ML‐enhanced sampling strategies and the creation of large scale benchmark data sets promise to bridge the gap between observations and models and to improve the consistency of cloud microphysical representation across temporal and spatial scales.

Lamb, Kara D. [Columbia Univ., New York, NY (Unite↗
NASA NTRS1972

Shuttle/Agena study. Annex A: Ascent agena configuration

Details are presented on the Agena rocket vehicle description, vehicle interfaces, environmental constraints and test requirements, software programs, and ground support equipment. The basic design concept for the Ascent Agena is identified as optimization of reliability, flexibility, performance capabilities, and economy through the use of tested and flight-proven hardware. The development history of the Agenas A, B, and D is outlined and space applications are described.

Source record↗