Search NASA⌕ Search

SEARCH · Search NASA

Results for “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 361 records · Page 20

XY vs X Mixer in Quantum Alternating Operator Ansatz for Optimization Problems with Constraints

Quantum Approximate Optimization Algorithm, further generalized as Quantum Alternating Operator Ansatz (QAOA), is a family of algorithms for combinatorial optimization problems. It is a leading candidate to run on emerging universal quantum computers to gain insight into quantum heuristics. In constrained optimization, penalties are often introduced so that the ground state of the cost Hamiltonian encodes the solution (a standard practice in quantum annealing). An alternative is to choose a mixing Hamiltonian such that the constraint corresponds to a constant of motion and the quantum evolution stays in the feasible subspace. Better performance of the algorithm is speculated due to a much smaller search space. We consider problems with a constant Hamming weight as the constraint. We also compare different methods of generating the generalized W-state, which serves as a natural initial state for the Hamming-weight constraint. Using graph-coloring as an example, we compare the performance of using XY model as a mixer that preserves the Hamming weight with the performance of adding a penalty term in the cost Hamiltonian.

quantum computing↗

Prospects for TTV Detection and Dynamical Constraints with TESS

We consider the potential for the Transiting Exoplanet Survey Satellite (TESS) to detect transit timing variations (TTVs) during both its nominal and extended mission phases. Building on previous estimates of the overall yield of planetary systems from the TESS mission, we predict that during its nominal two-year mission, TESS will observe measurable TTVs in ~30 systems, from which planet will get precise mass measurements from TTVs alone, ~5 planets will have significant constraints placed on their masses from TTVs, and over a dozen systems will be singly transiting TTV systems. We consider a number of different extended mission scenarios, and predict that in a typical scenario, an extended mission will allow TESS to increase the number of systems with measurable TTVs to a total of ~90, from which ~15 planets will have precise mass measurements, another ~15 will have significant constraints placed on their masses, and ~60 will be singly transiting TTV systems. We also describe how follow-up transit observations of multiplanet systems discovered by the TESS mission can be optimally planned to maximize TTV mass and eccentricity constraints.

planets↗

A Model Predictive Control Approach for In-Flight Acoustic Constraint Compliance

Vehicle noise remains one of the major barriers to public acceptance of Urban Air Mobility-class aircraft. This work focuses on motion planning for aircraft in noise-sensitive areas. A nonlinear Model Predictive Path Integral~(MPPI) control law is used to generate a finite-horizon trajectory that satisfies acoustic level constraints at a set of observer locations. The MPPI framework places no restrictions on the class of state-dependent cost functionals that can be employed, making it well-suited for use with sophisticated acoustic models and metrics, in addition to dynamic and mission-relevant constraints. The proposed control law is also suitable for implementation in a real-time application. A simulation example demonstrates the ability of the controller to modify the flight trajectory in order to satisfy acoustic constraints at multiple measurement locations.

Aircraft motion planning↗

A Model Predictive Control Approach for In-Flight Acoustic Constraint Compliance

Vehicle noise remains one of the major barriers to public acceptance of Urban Air Mobility class aircraft. This work focuses on motion planning for aircraft in noise-sensitive areas. A nonlinear Model Predictive Path Integral (MPPI) control law is used to generate a finite horizon trajectory that satisfies acoustic level constraints at a set of (three-dimensional) observer locations. The MPPI framework places no restrictions on the class of state-dependent cost functionals that can be employed, making it well-suited for use with sophisticated acoustic models and metrics, in addition to dynamic and mission-relevant constraints. The model predictive control architecture is also suitable for implementation in a real-time application. A simulation example demonstrates the ability of the controller to modify the flight trajectory in order to satisfy acoustic constraints at multiple measurement locations.

acoustically-aware vehicle↗

A Model Predictive Control Approach for In-Flight Acoustic Constraint Compliance

Vehicle noise remains one of the major barriers to public acceptance of Urban Air Mobility-class aircraft. This work focuses on motion planning for aircraft in noise-sensitive areas. A nonlinear Model Predictive Path Integral (MPPI) control law is used to generate a finite-horizon trajectory that satisfies acoustic level constraints at a set of (three-dimensional) observer locations. The MPPI framework places no restrictions on the class of state-dependent cost functionals that can be employed, making it well-suited for use with sophisticated acoustic models and metrics, in addition to dynamic and mission-relevant constraints. The model predictive control architecture is also suitable for implementation in a real-time application. A simulation example demonstrates the ability of the controller to modify the flight trajectory in order to satisfy acoustic constraints at multiple measurement locations.

acoustically-aware vehicle↗

Improved Representation of the Global Dust Cycle Using Observational Constraints on Dust Properties and Abundance

Even though desert dust is the most abundant aerosol by mass in Earth’s atmosphere, atmospheric models 25 struggle to accurately represent its spatial and temporal distribution. These model errors are partially caused byfundamental difficulties in simulating dust emission in coarse-resolution models and in accurately representing dust microphysical properties. Here we mitigate these problems by developing a new methodology that yields an improved representation of the global dust cycle. We present an analytical framework that uses inverse modeling to integrate an ensemble of global model simulations with observational constraints on the dust size distribution, 30 extinction efficiency, and regional dust aerosol optical depth. We then compare the inverse model results against independent measurements of dust surface concentration and deposition flux and find that errors are reduced by approximately a factor of two relative to current model simulations of the Northern Hemisphere dust cycle. The inverse model results show smaller improvements in the less dusty Southern Hemisphere, most likely because both the model simulations and the observational constraints used in the inverse model are less accurate. On a global 35 basis, we find that the emission flux of dust with geometric diameter up to 20 μm (PM20) is approximately 5,000 Tg/year, which is greater than most models account for. This larger PM20 dust flux is needed to match observational constraints showing a large atmospheric loading of coarse dust. We obtain gridded data sets of dust emission, vertically integrated loading, dust aerosol optical depth, (surface) concentration, and wet and dry deposition fluxes that are resolved by season and particle size. As our results indicate that this data set is more accurate than current 40 model simulations and the MERRA-2 dust reanalysis product, it can be used to improve quantifications of dust impacts on the Earth system.

aerosols, dust↗

Improved representation of the global dust cycle using observational constraints on dust properties and abundance

Even though desert dust is the most abundant aerosol by mass in Earth's atmosphere, atmospheric models struggle to accurately represent its spatial and temporal distribution. These model errors are partially caused by fundamental difficulties in simulating dust emission in coarse-resolution models and in accurately representing dust microphysical properties. Here we mitigate these problems by developing a new methodology that yields an improved representation of the global dust cycle. We present an analytical framework that uses inverse modeling to integrate an ensemble of global model simulations with observational constraints on the dust size distribution, extinction efficiency, and regional dust aerosol optical depth. We then compare the inverse model results against independent measurements of dust surface concentration and deposition flux and find that errors are reduced by approximately a factor of 2 relative to current model simulations of the Northern Hemisphere dust cycle. The inverse model results show smaller improvements in the less dusty Southern Hemisphere, most likely because both the model simulations and the observational constraints used in the inverse model are less accurate. On a global basis, we find that the emission flux of dust with a geometric diameter up to 20 µm (PM20) is approximately 5000 Tg yr−1, which is greater than most models account for. This larger PM20 dust flux is needed to match observational constraints showing a large atmospheric loading of coarse dust. We obtain gridded datasets of dust emission, vertically integrated loading, dust aerosol optical depth, (surface) concentration, and wet and dry deposition fluxes that are resolved by season and particle size. As our results indicate that this dataset is more accurate than current model simulations and the MERRA-2 dust reanalysis product, it can be used to improve quantifications of dust impacts on the Earth system.

Dust cycle↗

ICESat-2 Constraint Analysis and Monitoring System (CAMS)

The Ice, Cloud and land Elevation Satellite-2 was launched on 15 September 2018 with mission goals of collecting surface elevation data that can precisely measure ice sheet topography, cloud and aerosol heights, land topography, as well as vegetation height for ecosystems studies. The Constraint Analysis and Monitoring System (CAMS) was implemented as an ICESat-2 ground system element to perform Mission Planning and Spacecraft Safety Monitoring. Mission Planning requires CAMS to serve as an interface between the Project Science Office, the Instrument Support Facility and the Mission Operation Control Center. By ingesting inputs received from all three groups, the CAMS builds an optimized and deconflicted timeline of science and instrument activities. Based upon the timeline of activities, the CAMS utilizes a sophisticated set of algorithms to model and predict the location and pointing of the spacecraft instrument relative to the Earth and Sun. From the predicted position and pointing, the CAMS provides precise monitoring of instrument health, and performs space asset laser conjunction detection. Furthermore, the CAMS determines alternative plans to prevent detected health constraint violations or mitigate potential laser conjunctions. This paper provides an overview of the CAMS and presents the operational performance of planning science and instrument activities, the monitoring of instrument constraints for health and safety, and the space asset laser conjunction screening and mitigation process.

ICESat-2↗

Constraints on triple oxygen isotope kinetics

Triple oxygen isotope measurements have been used as tracers for classifying meteorites, as indicators of atmospheric chemistry and as a proxy for primary productivity among other uses. These utilities rely on the mass dependency of most chemical reactions: δ17O is proportional to δ18O by roughly a factor of 0.5. However,in detail it is known that mass-dependency factorsvary. Constraints on mass dependency are well established for equilibrium isotope effects, but similar constraints for kinetic isotope effects are lacking.Here, we provide constraints for isotope effects generated by unidirectional chemical reactions (i.e. kinetic isotope effects, KIEs). A simplified Monte Carlo model is used to estimatethe range of kinetic isotope effects. It is found that the range of KIEs exceeds the range of equilibrium isotope effects such that some mass dependent kinetic isotope effects could be mistaken for being mass-independent. For the16O-17O-18O system,Δ′17Ovariations as large 0.8‰ can be generated from a single reaction step. Two case studies from published literature, on the thermal decomposition of calcite (CaCO3) and brucite (Mg(OH)2), are used to test the extreme limits of the modeled results. Isotope fractionationsgenerated fromdensity functional theory models of the surface reaction steps are shownto match the published data. The fractionation models are strictly mass dependent thus this result suggests thermal decomposition of calcite is also mass dependent. Although oxygen is the focus here, our approach applies to any system with more than two isotopes.

J. A. Hayles↗

Constraints on the Optical Depth to Reionization from Balloon-borne Cosmic Microwave Background Measurements

We assess the uncertainty with which a balloon-borne experiment, nominally called Tau Surveyor (τS), can measure the optical depth to reionization σ(τ) with given realistic constraints of instrument noise and foreground emissions. Using a τS fiducial design with six frequency bands between 150 and 380 GHz, with white and uniform map noise of 7 μK arcmin, achievable with a single midlatitude flight, and including Planck's 30 and 44 GHz data, we assess the error σ(τ) obtained with three foreground models and as a function of sky fraction f sky between 40% and 54%. We carry out the analysis using both parametric and blind foreground separation techniques. We compare the σ(τ) values to those obtained with low-frequency and high-frequency versions of the experiment called τS-lf and τS-hf, which have only four and up to eight frequency bands with narrower and wider frequency coverage, respectively. We find that with τS, the lowest constraint is σ(τ) = 0.0034, obtained for one of the foreground models with f sky = 54%. σ(τ) is larger, in some cases by more than a factor of 2, for smaller sky fractions, with τS-lf, or as a function of foreground model. The τS-hf configuration does not lead to significantly tighter constraints. The exclusion of the 30 and 44 GHz data, which give information about synchrotron emission, leads to significant τ misestimates. Decreasing noise by an ambitious factor of 10, while keeping f sky = 40%, gives σ(τ) = 0.0031. The combination of σ(τ) = 0.0034, baryon acoustic oscillation data from DESI, and future cosmic microwave background B-mode lensing data from the CMB-S3/CMB-S4 experiments could give σ(∑m v ) = 17 meV.

cosmic microwave background radiation↗

Cosmological constraints on dark matter interactions with ordinary matter

Dark matter interactions with electrons or protons during the early Universe leave imprints on the cosmic microwave background and the matter power spectrum, and can be probed through cosmological and astrophysical observations. These interactions lead to momentum and heat exchange between the ordinary and dark matter components, which in turn results in a transfer of pressure from the ordinary to the dark matter. We explore these interactions using a diverse suite of data: cosmic microwave background anisotropies, baryon acoustic oscillations, the Lyman-α forest, and the abundance of Milky-Way subhalos. We derive constraints using model-independent parameterizations of the dark matter–electron and dark matter–proton interaction cross sections and map these constraints onto concrete dark matter models. Our constraints are complementary to other probes of dark matter interactions with ordinary matter, such as direct detection, big bang nucleosynthesis, various astrophysical systems, and accelerator based experiments. They exclude sufficiently large cross sections for a large range of dark matter masses, which cannot be accessed by direct-detection experiments due to the overburden from the Earth’s atmosphere or crust.

Manuel A. Buen-Abad↗

Flutter and Stochastic Gust Constraint Studies of the Undeflected CRM using MPhys

Aircraft design must ultimately address gust and flutter characteristics to achieve airworthiness. As modern aircraft continue to become more lightweight and flexible, these aeroelastic phenomena are more likely to drive the design process and should thus be considered early. Designing for ride quality due to typical gust spectra is also of interest to ensure a smooth passenger experience. The present work demonstrates the new implementation of stochastic gust constraints in MPhys/OpenMDAO, in addition to flutter and static stress constraints, among others. Design studies are shown for the NASA Common Research Model, including both fuel burn minimization as well as multiobjective optimization of fuel burn and landing gross weight. Two sets of optimization problems are covered, differing mainly by the gust quantity of interest, which include tip displacement and root bending moment. Fuel burn penalties imposed by the flutter and gust constraints are also discussed.

aeroelasticity↗

Gradient-Based Optimization of the Common Research Model Wing Subject to CFD-Based Gust and Flutter Constraints

The linearized frequency-domain method was recently implemented in the stabilized finite element solver in NASA’s FUN3D code. Previous work by the authors used this method for enforcing flutter constraints during gradient-based optimizations. More recently, the solver was expanded to account for continuous (also known as stochastic) gust responses. This paper expands on recent Common Research Model wing optimization work, which demonstrated gradient-based optimization with flutter and stochastic gust constraints, among others. While that work utilized FUN3D for static aeroelastic solutions but relied on doublet lattice aerodynamics for gust and flutter responses, the present work replaces these unsteady aerodynamic analyses with those of FUN3D’s linearized frequency-domain solver. With analytic derivatives available, gradient-based optimization is performed through the use of the OpenMDAO/MPhys libraries with over 700 shape, structural, and aerodynamic design variables and over 10 nonlinear constraints. Comparisons of analysis results and optimized designs are made between doublet lattice and linearized frequency-domain solutions.

aeroelasticity↗

GRIP: Constraint-based Explanation of Missing Answers for Graph Queries

Abstract: A useful feature in graph query engines is to clarify “Why certain entities (nodes, attribute values or edges) are missing” in query answers. This task is even more challenging when the relevant data is already missing in the underlying data source. Missing data, on the other hand, can be inferred by enforcing data constraints for graphs. We demonstrate GRIP, a system that exploits data constraints to clarify missing answers for graph queries. (1) Constraint-based ex- planation. Given a desired yet missing entity in the query answer, GRIP ensures to generate finite and minimal sequences of data con- strains (an “explanation”) that should be consecutively enforced to ?? to ensure its occurrence for the same query. (2) Answering “why” and“how” questions. Users can query GRIP with both“Why”(“Why” the element is missing) and “How” questions (“How” to refine the graph to include the missing answer). GRIP engine supports run- time generation of explanations by incrementally maintaining a set of bi-directional search trees. (3) Interactive exploration. GRIP provides a user-friendly GUI to support interactive ad visual exploration of explanations, including both automated generation and step-by-step inspection of graph manipulations.

graphs↗

Damping coating with a constraint layer

A coating is applied to a base material. The coating comprises a viscoelastic layer having a surface in which cavities are formed; and a constraint layer. The viscoelastic layer is disposed on the base material, and the constraint layer is disposed on, and partially bonded, at an interface, to the viscoelastic layer over the surface in which the cavities are formed. The cavities are filled with particles configured for vibration and frictional interaction at the partially bonded interface between the partially bonded viscoelastic layer and the constraint layer. A turbine blade having an airfoil with the subject coating is also provided.

Zhang, James↗

US 2023/0182605 A1 Network constraint energy management system for electric vehicle depot charging and scheduling

Network constraint energy management system for electric vehicle (EV) depot charging and scheduling. In an embodiment, a power schedule is received from an economic dispatch application for a charging depot comprising EV charging station(s) and distributed energy resource(s). The power schedule may be simulated on a distribution network model of the charging depot, according to load flow analysis, to determine whether any grid-code violations occur. In response to the detection of violation(s), a constraint may be generated for each violating node, and the economic dispatch application may be re-executed with the constraint(s) to produce a new power schedule, until no violations are detected. When not all load demand can be satisfied by the power schedule, a charging schedule may be adjusted to ensure that critical energy requirements are satisfied. The final power and charging schedules may be used to schedule and control power generation and charging in the charging depot.

Hafiz, Faeza↗

Dark Energy Survey Year 6 Results: Cosmological Constraints from Cosmic Shear

We present legacy cosmic shear measurements and cosmological constraints using six years of Dark Energy Survey imaging data. From these data, we study ~140 million galaxies (8.29 galaxies/arcmin$^2$) that are 50% complete at i=24.0 and extend beyond z=1.2. We divide the galaxies into four redshift bins, and obtain cosmic shear measurement with a signal-to-noise of 83, a factor of 2 higher than the Year 3 analysis. We model the uncertainties due to shear and redshift calibrations, and discard measurements on small angular scales to mitigate baryon feedback and other small-scale uncertainties. We consider two fiducial models to account for the intrinsic alignment (IA) of the galaxies. We conduct a blind analysis in the context of the $Λ$CDM model and find $S_8 \equiv σ_8(Ω_m/0.3)^{0.5}=0.798^{+0.014}_{-0.015}$ (marginalized mean with 68% CL) when using the non-linear alignment model (NLA) and $S_{8} = 0.783^{+0.019}_{-0.015}$ with the tidal alignment and tidal torque model (TATT), providing 1.8% and 2.5% uncertainty on $S_8$. Compared to constraints from the cosmic microwave background from Planck 2018, ACT DR6 and SPT-3G DR1, we find consistency in the full parameter space at 1.1$σ$ (1.7$σ$) and in $S_8$ at 2.0$σ$ (2.3$σ$) for NLA (TATT). The result using the NLA model is preferred according to the Bayesian evidence. We find that the model choice for IA and baryon feedback can impact the value of our $S_8$ constraint up to $1σ$. For our fiducial model choices, the resultant uncertainties in $S_8$ are primarily degraded by the removal of scales, as well as the marginalization over the IA parameters. We demonstrate that our result is internally consistent and robust to different choices in calibrating the data, owing to methodological improvements in shear and redshift measurement, laying the foundation for next-generation cosmic shear programs.

Abbott, T. M.C. [Cerro-Tololo InterAmerican Obs.]↗

Nonnegative canonical tensor decomposition with linear constraints: nnCANDELINC

Abstract There is an emerging interest for tensor factorization applications in big‐data analytics and machine learning. To speed up the factorization of extra‐large datasets, organized in multidimensional arrays (also known as tensors), easy to compute compression‐based tensor representations, such as, Tucker and tensor train formats, are used to approximate the initial large‐tensor. Further, tensor factorization is used to extract latent features that can facilitate discoveries of new mechanisms and signatures hidden in the data, where the explainability of the latent features is of principal importance. Nonnegative tensor factorization extracts latent features that are naturally sparse and parts of the data, which makes them easily interpretable. However, to take into account available domain knowledge and subject matter expertise, often additional constraints need to be imposed, which lead us to canonical decomposition with linear constraints (CANDELINC), a canonical polyadic decomposition with rank deficient factors. In CANDELINC, Tucker compression is used as a preprocessing step, which lead to a larger residual error but to more explainable latent features. Here, we propose a nonnegative CANDELINC (nnCANDELINC) accomplished via a specific nonnegative Tucker decomposition; we refer to as minimal or canonical nonnegative Tucker. We derive several results required to understand the specificity of nnCANDELINC, focusing on the difficulties of preserving the nonnegative rank of a tensor to its Tucker core and comparing the real valued to nonnegative case. Finally, we demonstrate nnCANDELINC performance on synthetic and real‐world examples.

97 MATHEMATICS AND COMPUTING↗