Model Constraints Research Articles

A multi-objective spatio-temporal pricing method for fast-charging stations oriented to transformer load balancing

To address the challenges posed by the fast-charging demand of electric vehicles, causing feeder load and voltage imbalances during operation, this paper introduces a spatio-temporal pricing strategy tailored to enhance feeder operation equilibrium. This approach facilitates the spatio-temporal guidance of fast-charging loads for electric vehicles in operation. This paper begins by formulating a spatio-temporal distribution model for electric vehicle fast-charging loads, considering owners’ preferences. It further develops a behavioral model for the travel choices of electric vehicles, illustrating the impact of spatio-temporal electricity pricing at fast-charging stations on load distribution. Next, it proposes a multi-objective spatio-temporal pricing model and its solution method specifically designed for feeder-balance-oriented fast-charging stations. This model targets the minimization of the spatio-temporal imbalance in feeder voltage and load. It takes a comprehensive approach, considering the constraints of the spatio-temporal load distribution model and optimal power flow model. The resulting spatio-temporal pricing model for fast-charging stations is effectively solved using the extended Pareto evolutionary algorithm. To validate the effectiveness of the proposed method in achieving feeder balancing, this paper analyzes two examples: a self-built 29-node road network and a 9-node distribution network, as well as a 66-node road network and a 33-node distribution network in the Xinjiang region. The results show that the proposed method can effectively guide the charging of electric vehicles and make the load distribution more balanced.

Fuel-optimal satellite formation reconfiguration method with best passive safety parameters

This paper investigates the problem of satellite formation reconfiguration from the best passive safety parameters while ensuring the minimum fuel cost and desired formation configuration. Based on the relative eccentricity and inclination vectors, a hybrid method is proposed that combines the analytical solution and the genetic algorithm optimization method. It transforms the fuel-optimal conditions into the constraints of optimization model, which theoretically ensures the optimal fuel cost. The proposed hybrid approach is applicable to satellite formation reconfiguration problems with variable relative eccentricity and inclination vectors and passive safety concerns. Compared with the optimal three-impulse strategy and the analytical method in two different reconfiguration scenarios, the proposed method is proven to be more general and has advantages in passive safety performance.

Geochronology of the Sanbagawa Belt: Younger and Faster than Before

Recent advances in geochronological studies have helped establish the Sanbagawa belt as an important site for studying metamorphism related to subduction. Application of several dating methods yield the following important results. 1) Metamorphism and deformation related to subduction started ~120 Ma and were complete by ~50 Ma. 2) Subduction to eclogite facies, followed by return to the surface, was rapid and occurred within a few million years or less (at ~89 Ma), indicating exhumation rates of at least 1–2 cm·y−1. 3) The age of the slab during the peak eclogite facies metamorphism was ~60 My. These results help redefine the geological history of SW Japan and provide important constraints for mechanical and thermal models of subduction zones in general.

Constraining dark energy cosmologies with spatial curvature using Supernovae JWST forecasting

Recent cosmological tensions, in particular, to infer the local value of the Hubble constant H 0, have developed new independent techniques to constrain cosmological parameters in several cosmologies. Moreover, even when the concordance Cosmological Constant Cold Dark Matter (ΛCDM) model has been well constrained with local observables, its physics has shown deviations from a flat background. Therefore, to explore a possible deviation from a flat ΛCDM model that could explain the H 0 value in tension with other techniques, in this paper we study new cosmological constraints in spatial curvature dark energy models. Additionally, to standard current Supernovae Type Ia (SNIa) catalogs, we extend the empirical distance ladder method through an SNIa sample using the capabilities of the James Webb Space Telescope (JWST) to forecast SNIa up to z ∼ 6, with information on the star formation rates at high redshift. Furthermore, we found that our constraints provide an improvement in the statistics associated with Ω m when combining SNIa Pantheon and SNIa Pantheon+ catalogs with JW forecasting data.

Method and Validation of Real‐Time Global Ionosphere Modeling Constraint by Multi‐Source GNSS/LEO Data

AbstractThis study applies the zero‐differenced integer ambiguity method, named PPP‐Fixed, to extract real‐time ionospheric data and eliminate the latencies of rapid/final Global Ionosphere Maps (GIMs). The PPP‐Fixed method is also used to derive ionospheric data for post‐processed GIM generation, named SGG Post‐GIM, combined with low earth orbit satellite data. The obtained hardware delays are applied to revise real‐time ionospheric data. Meanwhile, the estimated multi‐source ionospheric model is regarded as historical data to estimate an ionospheric prediction model for constraint using the semi‐parameter model. Then, the Kalman filter is employed to estimate the parameters to generate real‐time GIM. Finally, the accuracy of estimated real‐time GIM, named SGG RT‐GIM, and SGG Post‐GIM is assessed. During the experimental period, the mean differences of SGG Post‐GIM and SGG RT‐GIM relative to GIMs provided by the international Global Navigation Satellite System service, named IGSG, are −0.46 and −0.57 Total Electron Content Unit (TECU), respectively. The corresponding Root Mean Square (RMS) values are 1.64 and 3.08 TECU. Over the test period, the mean positioning errors of the single‐frequency precise point positioning corrected by IGSG, SGG Post‐GIM, SGG RT‐GIM, and Klobuchar model are 0.14, 0.19, 0.21, and 0.25 m in the horizontal direction, respectively, while the corresponding errors are 0.36, 0.33, 0.38, and 0.64 m in the up direction. Further, the mean biases of experimental days for the self‐consistency assessment are 0.06, −0.01, and −0.07 TECU for IGSG, SGG Post‐GIM, and SGG RT‐GIM, respectively. The corresponding RMS values are 1.19, 1.15, and 1.57 TECU.

Perceptual learning changes the amplitude not the shape of the temporal window of visual processing.

Perceptual learning (PL) can significantly improve human performance in perceptual tasks primarily through template reweighting. Previous studies have documented how PL changes perceptual template in stimulus feature space. We investigated how PL reweights visual information in time. With a dynamic external noise paradigm and the elaborated perceptual template model (ePTM) analysis, we found that training with an orientation identification task in the zero external noise condition reduced contrast thresholds in both zero and high external noise conditions, whereas training in the high external noise condition only reduced contrast thresholds in high external noise conditions. The ePTM analysis showed that training in both zero and high external noise changed the overall amplitude, but not the shape of the temporal window of the perceptual template to exclude external noise across time, and training in zero external noise additionally reduced additive internal noise. Our results provided additional constraints for models of PL. (PsycInfo Database Record (c) 2024 APA, all rights reserved).

Preventive-Security-Constrained Optimal Power Flow Model Considering IPFC Control Modes

The interline power flow controller (IPFC) is one of the most versatile integrated flexible alternating current transmission systems (FACTS) controllers and can realize power flow control for multiple transmission lines in modern power systems. However, control characteristics are ignored in conventional IPFC models, in which unreasonable assumptions about injected voltages may lead to security problems in realistic operation. Besides, preventive security constraints considering IPFC control modes are not included in optimal power flow (OPF) control of the system with IPFC, squandering IPFC control potential. To solve these problems, a preventive-security-constrained optimal power flow (PSCOPF) model considering IPFC control modes is proposed in this paper. IPFC control characteristics under different control modes are analyzed and employed as constraints of the optimization model. The iterative updates of converter output voltages for different control modes are derived respectively for power flow calculation, and the power and voltages required in the objective function and constraints of the proposed model can then be obtained. Through optimal selection of IPFC control modes and control parameters, the proposed model can better reconcile the economical and secure operation of the system. Numerical results demonstrate the efficient performance and superiority of the PSCOPF model considering IPFC control modes.

Nonlinear closed-form model for beam flexures subject to large axial loads

Closed-form models are important because they offer more design insights, require less computing time and prevent convergence problems in modeling compliant mechanisms. However, most of the available closed-form models, e.g., beam constraint models, are only appropriate for beam flexures within the intermediate deflection range. In this paper, a method for developing closed-form models based on the chained beam constraint model through the combined use of strain energy and Castigliano's first theorem is proposed. A closed-form model for beam flexures with a large prediction range is derived using this method. By modeling simple beams and compliant mechanisms using the proposed closed-form model, it is shown that the model has a significantly broader prediction range than the beam constraint model and is more efficient than the chained beam constraint model. The large prediction range and high efficiency of the proposed closed-form model make it potentially useful for optimizing compliant mechanisms.

Physical data-driven modeling of deformation mechanism constraints on earth-rock dams based on deep feature knowledge distillation and finite element method

Constructing an interpretable model for the long-term deformation Structural Health Monitoring (SHM) of earth-rock dams is of great significance for improving the safety state evaluation and monitoring effect. In this paper, a physics-data-driven model for the deformation SHM of earth-rock dams is proposed based on deep mechanism knowledge distillation. Firstly, the deterministic model is established based on the Finite Element Model (FEM) and outputs the hydraulic load component curve and aging component curve. Then a regression prediction model (HTSGAN) between influencing factors and deformation measurements at multiple measurement points is established based on the Graph Convolutional Network (GCN) and attention mechanism. Finally, the Teacher-Hydraulic-Time-Seepage Graph Attention Networks (T-HTSGAN) model is established based on the feature-based multi-teacher knowledge distillation using the knowledge of hydraulic loading physics and soil-rock creep physics of the FEM for mechanism constraints. The model effectively solves the problems of poor model interpretability and lack of physics knowledge constraints in previous earth-rock dam SHM models. The research results are applied to a project of a 185.5-meter-high concrete-faced rockfill dam, and the predictive performance of the model is more effective and stable through the comparison of six baseline models. The comparative analysis of the component curves proves the effectiveness of the proposed knowledge distillation method for mechanism constraints and improves the interpretability of the neural network model. Therefore, the model is more suitable for engineering applications.

Estimation of ecosystem water consumption and the suitable scale of cultivated land in the Karamay region and Muzat River basin based on the optimized SEBAL energy balance model and water resource constraint model

Food security is closely related to the development of human society, and the root of food production lies in cultivated land, with water conservancy as its lifeline. This study estimates the ecological water consumption of located in the arid region of Northwest China (the Karamay region and Muzat River basin) from 1990 to 2020 based on the optimized Land Surface Energy Balance Algorithm. The verification accuracy of SEBAL energy balance model is greatly improved after optimization. It was showed an increasing trend in the Karamay region and Muzat River basin, increasing at the rates of 2.84 mm/year and 2.86 mm/year respectively. The suitability of cultivated land was evaluated by combining four periods of 30 m spatial resolution land use/land cover data from 1990, 2000, 2010, and 2020, as well as the Hydrological Statistical Yearbook and Xinjiang Statistical Yearbook. Through the analysis of spatial optimization for cultivated land, it can be inferred that the primary limiting factors affecting cultivated land suitability in the Karamay region are irrigation guarantee rate (54.03%) and soil salinity (11.98%). Muzat River region are irrigation guarantee rate (32.19%) and soil salinity (18.62%). By comparing the scenarios of setting ecological priority and cultivated land priority, it is concluded that under the conditions of water resource constraints and 50%, 75% and 90% design irrigation assurance rates, Karamay still has cultivated land expansion potential, which can be used as the main preparatory reclamation area. In addition to the traditional agriculture irrigation area, the Muzat River basin still has development potential under the condition of ecological priority and no more than 75% irrigation design assurance rate. The study on the cultivated land suitability under the condition of water resource constraints can provide new ideas for food security.

Prestack sparse envelope seismic inversion method adopting the L0−L2-norm regularization

The high drilling costs limit the possibility of obtaining reliable low-frequency constrained models in marine environments or areas with sparse well-log data, making it difficult to constrain lateral continuity and deep data. To enhance stability and accuracy in prestack seismic inversion in these areas, an elastic parameter estimation approach using sparse envelope inversion with [Formula: see text]-norm regularization is proposed. The method combines signal sparse representation and modulation theories to derive a new formula for sparse envelope extraction at lower frequencies. By applying [Formula: see text]-norm regularization to the sparse envelope, we obtain parameter inversion results with smoothed trends, augmenting low-wavenumber information for improved model constraints. In addition, taking the envelope inversion results obtained by the [Formula: see text] norm as the model constraint, the sparsest inversion results with obvious block-like characteristics are obtained by regularizing the inversion equation with the [Formula: see text] norm. Notably, the new method effectively suppresses wavelet side lobes, resulting in stable and accurate inversions without the need for initial low-frequency models. A synthetic example is used to illustrate the feasibility and stability of proposed approach and further demonstrate its practicality in reservoir parameter estimation through a field case study of gas exploration.

Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning

SAT and propagation solvers often underperform for optimisation models whose objective sums many single-variable terms. MaxSAT solvers avoid this by detecting and exploiting cores: subsets of these terms that cannot collectively take their lower bounds. Previous work has shown manual analysis of cores can help define model reformulations likely to speed up solving for many model instances. This paper presents a method to automate this process. For each selected core the method identifies the instance constraints that caused it; infers the model constraints and parameters that explain how these instance constraints were formed; and learns the conditions that made those model constraint instances generate cores, while others did not. It then uses this information to reformulate the objective. The empirical evaluation shows this method can produce useful reformulations. Importantly, the method can be useful in many other situations that require explaining a set of constraints.

Preference-Aware Constrained Multi-Objective Bayesian Optimization (Student Abstract)

We consider the problem of constrained multi-objective optimization over black-box objectives, with user-defined preferences, with a largely infeasible input space. Our goal is to approximate the optimal Pareto set from the small fraction of feasible inputs. The main challenges include huge design space, multiple objectives, numerous constraints, and rare feasible inputs identified only through expensive experiments. We present PAC-MOO, a novel preference-aware multi-objective Bayesian optimization algorithm to solve this problem. It leverages surrogate models for objectives and constraints to intelligently select the sequence of inputs for evaluation to achieve the target goal.

Building Variable-Sized Models via Learngene Pool

Recently, Stitchable Neural Networks (SN-Net) is proposed to stitch some pre-trained networks for quickly building numerous networks with different complexity and performance trade-offs. In this way, the burdens of designing or training the variable-sized networks, which can be used in application scenarios with diverse resource constraints, are alleviated. However, SN-Net still faces a few challenges. 1) Stitching from multiple independently pre-trained anchors introduces high storage resource consumption. 2) SN-Net faces challenges to build smaller models for low resource constraints. 3). SN-Net uses an unlearned initialization method for stitch layers, limiting the final performance. To overcome these challenges, motivated by the recently proposed Learngene framework, we propose a novel method called Learngene Pool. Briefly, Learngene distills the critical knowledge from a large pre-trained model into a small part (termed as learngene) and then expands this small part into a few variable-sized models. In our proposed method, we distill one pre-trained large model into multiple small models whose network blocks are used as learngene instances to construct the learngene pool. Since only one large model is used, we do not need to store more large models as SN-Net and after distilling, smaller learngene instances can be created to build small models to satisfy low resource constraints. We also insert learnable transformation matrices between the instances to stitch them into variable-sized models to improve the performance of these models. Exhaustive experiments have been implemented and the results validate the effectiveness of the proposed Learngene Pool compared with SN-Net.

Decision-Making for Land Conservation: A Derivative-Free Optimization Framework with Nonlinear Inputs

Protected areas (PAs) are designated spaces where human activities are restricted to preserve critical habitats. Decision-makers are challenged with balancing a trade-off of financial feasibility with ecological benefit when establishing PAs. Given the long-term ramifications of these decisions and the constantly shifting environment, it is crucial that PAs are carefully selected with long-term viability in mind. Using AI tools like simulation and optimization is common for designating PAs, but current decision models are primarily linear. In this paper, we propose a derivative-free optimization framework paired with a nonlinear component, population viability analysis (PVA). Formulated as a mixed integer nonlinear programming (MINLP) problem, our model allows for linear and nonlinear inputs. Connectivity, competition, crowding, and other similar concerns are handled by the PVA software, rather than expressed as constraints of the optimization model. In addition, we present numerical results that serve as a proof of concept, showing our models yield PAs with similar expected risk to that of preserving every parcel in a habitat, but at a significantly lower cost. The overall goal is to promote interdisciplinary work by providing a new mathematical programming tool for conservationists that allows for nonlinear inputs and can be paired with existing ecological software. The code and data are available at https://github.com/cassiebuhler/conservation-dfo.

Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths

People want to rely on optimization algorithms for complex decisions but verifying the optimality of the solutions can then become a valid concern, particularly for critical decisions taken by non-experts in optimization. One example is the shortest-path problem on a network, occurring in many contexts from transportation to logistics to telecommunications. While the standard shortest-path problem is both solvable in polynomial time and certifiable by duality, introducing side constraints makes solving and certifying the solutions much harder. We propose a proof system for constrained shortest-path problems, which gives a set of logical rules to derive new facts about feasible solutions. The key trait of the proposed proof system is that it specifically includes high-level graph concepts within its reasoning steps (such as connectivity or path structure), in contrast to, e.g., using linear combinations of model constraints. Thus, using our proof system, we can provide a step-by-step, human-auditable explanation showing that the path given by an external solver cannot be improved. Additionally, to maximize the advantages of this setup, we propose a proof search procedure that specifically aims to find small proofs of this form using a procedure similar to A* search. We evaluate our proof system on constrained shortest path instances generated from real-world road networks and experimentally show that we may indeed derive more interpretable proofs compared to an integer programming approach, in some cases leading to much smaller proofs.

Interactions between atmospheric composition and climate change – progress in understanding and future opportunities from AerChemMIP, PDRMIP, and RFMIP

Abstract. The climate science community aims to improve our understanding of climate change due to anthropogenic influences on atmospheric composition and the Earth's surface. Yet not all climate interactions are fully understood, and uncertainty in climate model results persists, as assessed in the latest Intergovernmental Panel on Climate Change (IPCC) assessment report. We synthesize current challenges and emphasize opportunities for advancing our understanding of the interactions between atmospheric composition, air quality, and climate change, as well as for quantifying model diversity. Our perspective is based on expert views from three multi-model intercomparison projects (MIPs) – the Precipitation Driver Response MIP (PDRMIP), the Aerosol Chemistry MIP (AerChemMIP), and the Radiative Forcing MIP (RFMIP). While there are many shared interests and specializations across the MIPs, they have their own scientific foci and specific approaches. The partial overlap between the MIPs proved useful for advancing the understanding of the perturbation–response paradigm through multi-model ensembles of Earth system models of varying complexity. We discuss the challenges of gaining insights from Earth system models that face computational and process representation limits and provide guidance from our lessons learned. Promising ideas to overcome some long-standing challenges in the near future are kilometer-scale experiments to better simulate circulation-dependent processes where it is possible and machine learning approaches where they are needed, e.g., for faster and better subgrid-scale parameterizations and pattern recognition in big data. New model constraints can arise from augmented observational products that leverage multiple datasets with machine learning approaches. Future MIPs can develop smart experiment protocols that strive towards an optimal trade-off between the resolution, complexity, and number of simulations and their length and, thereby, help to advance the understanding of climate change and its impacts.

Research on joint dispatch of wind, solar, hydro, and thermal power based on pumped storage power stations

In the context of energy conservation and emission reduction, the integration and consumption of large-scale wind and solar resources is an inevitable trend in future energy development. However, with the increase of wind and solar grid-connected capacity, the power system also requires more flexible resources to ensure safe operation. To enhance the economic efficiency of the complementary operation of wind, solar, hydro, and thermal sources, considering the peak regulation characteristics of different types of power sources, the study of the joint dispatch model of complementary utilization of various generation methods like wind, solar, hydro, thermal, and storage is of great significance for the economic dispatch of the power system. Existing studies mainly focus on traditional thermal power units or hydropower units, with few studies investigating the impact of pumped-storage power stations on the absorption of renewable energy. Firstly, this paper introduces the composition and function of each unit under the research framework and establishes a joint dispatch model for wind, solar, hydro, and thermal power. Secondly, the paper elaborates on the objective function within the model, mainly covering the operating costs of thermal power units, hydropower units, pumped storage, wind and solar units, the cost of discarding new energy, and the cost of load shedding. Subsequently, the paper presents the constraints of the system model, mainly the feasible boundaries for the operation of each unit within the system. Finally, The results of the calculations show that the proposed model reduces the total operating cost by 12% and the power abandonment rate by 82% compared to the conventional model. It is shown that the proposed model can not only significantly improve the economic efficiency of the system operation but also reduce the level of energy waste and load shedding, effectively enhancing the degree of energy utilization within the system.

A novel model for tight radiality constraints incorporating dynamic parent–child selection and single commodity flow: An application of microgrid formation

Maintaining radiality within distribution systems is crucial for reasons of control ease and financial efficiency. However, the extraction of a radial network from existing meshes poses significant challenges. Consequently, various approaches have been proposed by scholars to address the issue of maintaining radiality in distribution systems. Nevertheless, the practical application of these methods is limited due to their high tightness or compactness, leading to substantial computational burdens when dealing with real networks. In this paper, we present a novel model for radiality constraints that strikes a balance between tightness and compactness, aiming to enhance scalability and tractability. Furthermore, main feeders are discriminated from laterals in the proposed radiality model to further improve compactness. This idea significantly reduces the computational burden associated with real networks. Moreover, a microgrid (MG) formation problem is developed in which controllable and uncontrollable loads are considered. To evaluate the effectiveness of the proposed radiality constraints, they are tested in the developed MG formation problem. Meanwhile, the results are compared against other existing models. The comparisons demonstrate the superior performance and efficiency of the proposed radiality constraints and MG formation problem.

Optimal control for continuous-time Markov jump singularly perturbed systems : A hybrid reinforcement learning scheme

This article discusses the adaptive optimal control problem for continuous-time Markov jump singularly perturbed systems with unknown system dynamics. First, the subsystems transformation technique is introduced to reconstruct the system with stochastic jump characteristics, yielding a set of parallel subsystems. Next, under the framework of reinforcement learning, an offline model-based hybrid iteration algorithm is developed to approximate the solution of the full-order coupled algebraic Riccati equations. Following this, to escape from the system model constraints, an online model-free hybrid iteration algorithm is introduced and relevant convergence proof is given. Compared to traditional value iteration and policy iteration algorithms, the hybrid iteration algorithm has ideal convergence rate and eliminates the requirement of initial stabilizing control policy. At the end, the availability of the online algorithm is demonstrated by means of an operational amplifier circuit model as a simulation example.