Search NASA⌕ Search

SEARCH · Search NASA

Results for “Global constraints”

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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2003

Dynamic Constraint Satisfaction with Reasonable Global Constraints

Previously studied theoretical frameworks for dynamic constraint satisfaction problems (DCSPs) employ a small set of primitive operators to modify a problem instance. They do not address the desire to model problems using sophisticated global constraints, and do not address efficiency questions related to incremental constraint enforcement. In this paper, we extend a DCSP framework to incorporate global constraints with flexible scope. A simple approach to incremental propagation after scope modification can be inefficient under some circumstances. We characterize the cases when this inefficiency can occur, and discuss two ways to alleviate this problem: adding rejection variables to the scope of flexible constraints, and adding new features to constraints that permit increased control over incremental propagation.

Frank, Jeremy↗
NASA NTRSDate not supplied

Quantum-accelerated Global Constraint Filtering

Motivated by recent advances in quantum algorithms and gate-model quantum computation, we introduce quantum-accelerated filtering algorithms for global constraints in constraint programming. We adapt recent work in quantum algorithms for graph problems and identify quantum subroutines that accelerate the main domain consistency algorithms for the all different constraint and the global cardinality constraint (gcc). The subroutines are based on quantum algorithms for finding maximum matchings and strongly connected components in graphs, and provide speedups over the best classical algorithms. We detail both complete and bounded-probability frameworks for quantum-accelerated global constraint filtering algorithms within backtracking search.

Quantum algorithms↗
NASA NTRS1994

Variations of a global constraint factor in cracked bodies under tension and bending loads

Elastic-plastic finite-element analyses were used to calculate stresses and displacements around a crack in finite-thickness plates for an elastic-perfectly plastic material. Middle- and edge-crack specimens were analyzed under tension and bending loads. Specimens were 1.25 to 20 mm thick with various widths and crack lengths. A global constraint factor alpha(sub g), an averaged normal-stress to flow-stress ratio over the plastic region, was defined to simulate three-dimensional (3D) effects in two-dimensional (2D) models. For crack lengths and uncracked ligament lengths greater than four times the thickness, the global constraint factor was found to be nearly a unique function of a normalized stress-intensity factor (related to plastic-zone size to thickness ratio) from small- to large-scale yielding conditions for various specimen types and thickness. For crack length-to-thickness ratios less than four, the global constraint factor was specimen type, crack length and thickness dependent. Using a 2D strip-yield model and the global constraint factors, plastic-zone sizes and crack-tip displacements agreed reasonably well with the 3D analyses. For a thin sheet aluminum alloy, the critical crack-tip-opening angle during stable tearing was found to be independent of specimen type and crack length for crack length-to-thickness ratios greater than 4.

Newman, J. C., Jr.↗
DOE OSTI2024

Enforcing global constraints for the dispersion closure problem: τ 2 -SIMPLE algorithm

Permeability and effective dispersion tensors are critical parameters to characterize flow and transport in porous media at the continuum scale. Homogenization theory defines a framework in which such effective properties are first computed from solving a closure problem in a repeating unit cell of the periodic microstructure and then used in a macroscopic formulation for efficient computation. The closure problem is formulated as a local boundary value problem subjected to global constraints, which guarantee the uniqueness of the solution and can be difficult to satisfy for complex geometries and at high flow conditions. These constraints also ensure that pore-scale pressure, velocity, and concentration fields can be accurately reconstructed from the closure variable. Building on a previous work, here we present a framework that allows to satisfy global constraints associated to both the permeability and the dispersion closure problems by introducing two artificial time scales. The algorithm, called τ 2 -SIMPLE, computes both permeability and effective dispersion given an arbitrarily complex geometry and flow condition. Furthermore, this algorithm is demonstrated to be accurate for both 2D and 3D geometries across varying flow conditions, and thus it can be used to quickly characterize effective properties from porous media images in many applications.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Global constraint on the jet transport coefficient from single-hadron, dihadron, and γ -hadron spectra in high-energy heavy-ion collisions

Modifications of large transverse momentum single-hadron, dihadron, and γ -hadron spectra in relativistic heavy-ion collisions are direct consequences of parton-medium interactions in the quark-gluon plasma (QGP). The interaction strength and underlying dynamics can be quantified by the jet transport coefficient q ̂ . We carry out the first global constraint on q ̂ using a next-to-leading order pQCD parton model with higher-twist parton energy loss and combining world experimental data on single-hadron, dihadron, and γ -hadron suppression at both RHIC and LHC energies with a wide range of centralities. The global Bayesian analysis using the information field (IF) priors provides the most stringent constraint on q ̂ ( T ) . We demonstrate in particular the progressive constraining power of the IF Bayesian analysis on the strong temperature dependence of q ̂ using data from different centralities and colliding energies. We also discuss the advantage of using both inclusive and correlation observables with different geometric biases. As a verification, the obtained q ̂ ( T ) is shown to describe data on single-hadron anisotropy at high transverse momentum well. Predictions for future jet quenching measurements in oxygen-oxygen collisions are also provided. Published by the American Physical Society 2024

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
NASA NTRS2014

Intelligent UAS Sense-and-Avoid Utilizing Global Constraints

Sense-and-avoid (SAA) is a critical research topic for enabling the operation of Unmanned Aircraft Systems (UAS) in civilian airspace. SAA involves two planning related problems: 1) plan-recognition to predict the future trajectory of nearby aircraft, and 2) path planning to avoid conflicts with nearby aircraft that pose a threat. We have designed and built components of a novel intelligent sense-and-avoid (iSAA) reasoning framework that takes into account information about aircraft type, transponder code, communications, local routes, airports, airspace, terrain, and weather to more accurately predict near- and medium-term trajectories of nearby aircraft. By using this additional information both the on-board control software and the ground-based UAS operator can make more informed, intelligent decisions to effectively predict and avoid conflicts and maintain separation. While this capability benefits all categories of UASs operating under both Instrument Flight Rules (IFR) and Visual Flight Rules (VFR), it is absolutely essential for allowing smaller UASs to operate VFR at low altitude in uncontrolled airspace for operations such as survey work, wildlife tracking, aerial photography, utilities inspection, crop dusting, and package delivery.

unmanned aircraft systems↗
NASA NTRS1991

Sources of volcanic aerosols: Petrologic and volcanological constraints

Global climatic effects brought about by volcanism are related to the impact of volcanic gases and their derivative aerosols on the atmosphere, rather than the effects of volcanic ash. Evidence from both historic eruptions and polar ice cores indicate that volcanic sulfur gases are the dominant aerosol-forming component, resulting in produciton of a sulfuric acid-rich stratosphere aerosol that can have profound effects on the earth radiation budget over periods of a few years. Due to highly variable sulfur content of different magma types, the climatic effects do not relate simply to total erupted mass. There is a close relationship between volcanic sulfur yield to the atmospheric and hemispheric surface temperature decrease following an eruption, with up to 1 C surface temperature decrease indicated following a major volcanic event such as the 1815 Tambora eruption. While the erupted mass of HCl and HF is equal to or greater than that of sulfur gases in some volcanic events, the halogens do not form known aerosols nor are they abundant in ice core acidity layers. The early removal of halogens from eruption columns occurs by rain flushing and adsorption onto tephra particles, but the fate of halogens in the atmosphere following very large explosive eruptions is unknown. The CO2 flux to the atmosphere from volcanic eruptions is volumetrically one of the most important of the gas species, but owing to the huge size of the atmospheric reservoir of this gas, the volcanic contribution is likely to have negligible effects.

Sigurdsson, Haraldur↗
NASA NTRS1993

Three-dimensional elastic-plastic finite-element analyses of constraint variations in cracked bodies

Three-dimensional elastic-plastic (small-strain) finite-element analyses were used to study the stresses, deformations, and constraint variations around a straight-through crack in finite-thickness plates for an elastic-perfectly plastic material under monotonic and cyclic loading. Middle-crack tension specimens were analyzed for thicknesses ranging from 1.25 to 20 mm with various crack lengths. Three local constraint parameters, related to the normal, tangential, and hydrostatic stresses, showed similar variations along the crack front for a given thickness and applied stress level. Numerical analyses indicated that cyclic stress history and crack growth reduced the local constraint parameters in the interior of a plate, especially at high applied stress levels. A global constraint factor alpha(sub g) was defined to simulate three-dimensional effects in two-dimensional crack analyses. The global constraint factor was calculated as an average through-the-thickness value over the crack-front plastic region. Values of alpha(sub g) were found to be nearly independent of crack length and were related to the stress-intensity factor for a given thickness.

Newman, J. C., Jr.↗
NASA NTRS1994

On the ellipticity of the Galactic disk

We investigate two kinds of constraints on the ellipticity of the Galactic disk: local constraints, based on the kinematics of the solar neighborhood (such as the Oort constants, the axis ratio of the velocity ellipsoid, the vertex deviation, and the radial velocity of the local standard of rest relative to the Galactic center), and global constraints (H I tangent point velocities, the velocity fields of distant carbon stars, Cepheids and H II regions, and the kinematics of distant H I). Local and global constraints independently suggest that the Sun lies near the minor axis of the potential of an elliptical Galactic disk, with equipotential axis ratio 0.9. The kinematic data are consistent with a flat rotation curve of constant ellipticity, with a mean rotation speed of 200 km/s. In this model, the present velocity of the local standard of rest is 180 km/s.

Kuijken, Konrad↗
NASA NTRS1989

Force-free magnetic fields - Is there a 'loss of equilibrium'?

This paper examines concept in solar physics that is known as loss of equilibrium in which a sequence of force-free magnetic fields, said to represent a possible quasi-static evolution of solar magnetic fields, reaches a critical configuration beyond which no acceptable solution of the prescribed form exists. This concept is used to explain eruptive phenomena ranging from solar flares to coronal mass ejections. Certain sequences of force-free configurations are discussed that exhibit a loss of equilibrium, and it is argued that the concept is devoid of physical significance since each sequence is defined a way that does not represent an acceptable thought experiment. For example, the sequence may be defined in terms of a global constraint on the boundary conditions, or the evolution of the sequence may require the creation of mgnetic flux that is not connected to the photosphere and is not present in the original configuration. The global constraints typically occur in using the so-called generating function method. An acceptance thought experiment is proposed to specify the field configuration in terms of photospheric boundary conditions comprising the normal component of the field and the field-line connectivity. Consider a magnetic-field sequence that, when described in terms of a generating function, exhibits a loss of equilibrium and show that, when one instead defines the sequence in terms of the corresponding boundary conditions, the sequence is well behaved.

Klimchuk, J. A.↗
NASA NTRS1992

Visoelastic relaxation of Venusian coronae and mountain belts: Constraints on global heat flow and tectonism

Venus differs from Earth in that water is essentially absent and its surface temperatures are about 470 K higher. The competing effects of high surface temperature and dry lithologies on the long-term history of surface topography have been studied using the finite-element method. The relaxation history of surface topographic features, such as coronae and mountain belts, is a function of thermal gradient, crustal thickness and lithology, regional stresses, and basal tractions applied to the lithosphere. In this study, we have examined the relative effects of these factors over a period of 500 Ma (presumed to be the mean age of the venusian surface).

Duncan, I.↗
NASA NTRS2006

Evaluation of Space-Based Constraints on Global Nitrogen Oxide Emissions with Regional Aircraft Measurements over and Downwind of Eastern North America

We retrieve tropospheric nitrogen dioxide (NO 2) columns for May 2004 to April 2005 from the SCIAMACHY satellite instrument to derive top-down emissions of nitrogen oxides (NO(x) = NO + NO2) via inverse modeling with a global chemical transport model (GEOS-Chem). Simulated NO 2 vertical profiles used in the retrieval are evaluated with airborne measurements over and downwind of North America (ICARTT); a northern midlatitude lightning source of 1.6 Tg N/yr minimizes bias in the retrieval. Retrieved NO2 columns are validated (r2 = 0.60, slope = 0.82) with coincident airborne in situ measurements. The top-down emissions are combined with a priori information from a bottom-up emission inventory with error weighting to achieve an improved a posteriori estimate of the global distribution of surface NOx emissions. Our a posteriori NOx emission inventory for land surface NOx emissions (46.1 Tg N/yr) is 22% larger than the GEIA-based a priori bottom-up inventory for 1998, a difference that reflects rising anthropogenic emissions, especially from East Asia A posteriori NOx emissions for East Asia (9.8 Tg N/yr) exceed those from other continents. The a posteriori inventory improves the GEOS-Chem simulation of NOx, peroxyacetylnitrate, and nitric acid with respect to airborne in situ measurements over and downwind of New York City. The a posteriori is 7% larger than the EDGAR 3.2FT2000 global inventory, 3% larger than the NEI99 inventory for the United States, and 68% larger than a regional inventory for 2000 for eastern Asia. SCIAMACHY NO2 columns over the North Atlantic show a weak plume from lightning NO(x).

Martin, Randall V.↗
NASA NTRS2021

Improved Constraints on Global Methane Emissions and Sinks Using δ13C-CH4

We study the drivers behind the global atmospheric methane (CH4) increase observed after 2006. Candidate emission and sink scenarios are constructed based on proposed hypotheses in the literature. These scenarios are simulated in the TM5 tracer transport model for 1984–2016 to produce three-dimensional fields of CH4 and δ13C-CH4, which are compared with observations to test the competing hypotheses in the literature in one common model framework. We find that the fossil fuel (FF) CH4 emission trend from the Emissions Database for Global Atmospheric Research 4.3.2 inventory does not agree with observed δ13C-CH4. Increased FF CH4 emissions are unlikely to be the dominant driver for the post-2006 global CH4 increase despite the possibility for a small FF emission increase. We also find that a significant decrease in the abundance of hydroxyl radicals (OH) cannot explain the post-2006 global CH4 increase since it does not track the observed decrease in global mean δ13C-CH4. Different CH4 sinks have different fractionation factors for δ13C-CH4, thus we can investigate the uncertainty introduced by the reaction of CH4 with tropospheric chlorine (Cl), a CH4 sink whose abundance, spatial distribution, and temporal changes remain uncertain. Our results show that including or excluding tropospheric Cl as a 13 Tg/year CH4 sink in our model changes the magnitude of estimated fossil emissions by ∼20%. We also found that by using different wetland emissions based on a static versus a dynamic wetland area map, the partitioning between FF and microbial sources differs by 20 Tg/year, ∼12% of estimated fossil emissions.

X. Lan↗
NASA NTRS1992

Reformulating Constraints for Compilability and Efficiency

KBSDE is a knowledge compiler that uses a classification-based approach to map solution constraints in a task specification onto particular search algorithm components that will be responsible for satisfying those constraints (e.g., local constraints are incorporated in generators; global constraints are incorporated in either testers or hillclimbing patchers). Associated with each type of search algorithm component is a subcompiler that specializes in mapping constraints into components of that type. Each of these subcompilers in turn uses a classification-based approach, matching a constraint passed to it against one of several schemas, and applying a compilation technique associated with that schema. While much progress has occurred in our research since we first laid out our classification-based approach [Ton91], we focus in this paper on our reformulation research. Two important reformulation issues that arise out of the choice of a schema-based approach are: (1) compilability-- Can a constraint that does not directly match any of a particular subcompiler's schemas be reformulated into one that does? and (2) Efficiency-- If the efficiency of the compiled search algorithm depends on the compiler's performance, and the compiler's performance depends on the form in which the constraint was expressed, can we find forms for constraints which compile better, or reformulate constraints whose forms can be recognized as ones that compile poorly? In this paper, we describe a set of techniques we are developing for partially addressing these issues.

Tong, Chris↗
NASA NTRS2011

Entanglement in Quantum-Classical Hybrid

It is noted that the phenomenon of entanglement is not a prerogative of quantum systems, but also occurs in other, non-classical systems such as quantum-classical hybrids, and covers the concept of entanglement as a special type of global constraint imposed upon a broad class of dynamical systems. Application of hybrid systems for physics of life, as well as for quantum-inspired computing, has been outlined. In representing the Schroedinger equation in the Madelung form, there is feedback from the Liouville equation to the Hamilton-Jacobi equation in the form of the quantum potential. Preserving the same topology, the innovators replaced the quantum potential with other types of feedback, and investigated the property of these hybrid systems. A function of probability density has been introduced. Non-locality associated with a global geometrical constraint that leads to an entanglement effect was demonstrated. Despite such a quantum like characteristic, the hybrid can be of classical scale and all the measurements can be performed classically. This new emergence of entanglement sheds light on the concept of non-locality in physics.

Zak, Michail↗
DOE OSTI2025

Harnessing the power of gradient-based simulations for multi-objective optimization in particle accelerators

Abstract Particle accelerator operation requires simultaneous optimization of multiple objectives. Multi-objective optimization (MOO) is particularly challenging due to trade-offs between the objectives. Evolutionary algorithms, such as genetic algorithms (GAs), have been leveraged for many optimization problems, however, they do not apply to complex control problems by design. This paper demonstrates the power of differentiability for solving MOO problems in particle accelerators using a deep differentiable reinforcement learning (DDRL) algorithm. We compare the DDRL algorithm with model-free reinforcement learning (MFRL), GA, and Bayesian optimization (BO) for simultaneous optimization of heat load and trip rates in the continuous electron beam accelerator facility. The underlying problem enforces strict constraints on both individual states and actions as well as cumulative (global) constraints on energy requirements of the beam. Using historical accelerator data, we develop a physics-based surrogate model which is differentiable and allows for back-propagation of gradients. The results are evaluated in the form of a Pareto-front with two objectives. We show that the DDRL outperforms MFRL, BO, and GA on high dimensional problems.

43 PARTICLE ACCELERATORS↗
NASA NTRS2004

Strategies for Global Optimization of Temporal Preferences

A temporal reasoning problem can often be naturally characterized as a collection of constraints with associated local preferences for times that make up the admissible values for those constraints. Globally preferred solutions to such problems emerge as a result of well-defined operations that compose and order temporal assignments. The overall objective of this work is a characterization of different notions of global preference, and to identify tractable sub-classes of temporal reasoning problems incorporating these notions. This paper extends previous results by refining the class of useful notions of global temporal preference that are associated with problems that admit of tractable solution techniques. This paper also answers the hitherto open question of whether problems that seek solutions that are globally preferred from a Utilitarian criterion for global preference can be found tractably.

Morris, Paul↗