The problem of prescribed performance tracking control for unknown time-delay nonlinear systems subject to output constraints is dealt with in this paper. In contrast with related works, only the most fundamental requ...The problem of prescribed performance tracking control for unknown time-delay nonlinear systems subject to output constraints is dealt with in this paper. In contrast with related works, only the most fundamental requirements, i.e., boundedness and the local Lipschitz condition, are assumed for the allowable time delays. Moreover, we focus on the case where the reference is unknown beforehand, which renders the standard prescribed performance control designs under output constraints infeasible. To conquer these challenges, a novel robust prescribed performance control approach is put forward in this paper.Herein, a reverse tuning function is skillfully constructed and automatically generates a performance envelop for the tracking error. In addition, a unified performance analysis framework based on proof by contradiction and the barrier function is established to reveal the inherent robustness of the control system against the time delays. It turns out that the system output tracks the reference with a preassigned settling time and good accuracy,without constraint violations. A comparative simulation on a two-stage chemical reactor is carried out to illustrate the above theoretical findings.展开更多
Owing to the complex lithology of unconventional reservoirs,field interpreters usually need to provide a basis for interpretation using logging simulation models.Among the various detection tools that use nuclear sour...Owing to the complex lithology of unconventional reservoirs,field interpreters usually need to provide a basis for interpretation using logging simulation models.Among the various detection tools that use nuclear sources,the detector response can reflect various types of information of the medium.The Monte Carlo method is one of the primary methods used to obtain nuclear detection responses in complex environments.However,this requires a computational process with extensive random sampling,consumes considerable resources,and does not provide real-time response results.Therefore,a novel fast forward computational method(FFCM)for nuclear measurement that uses volumetric detection constraints to rapidly calculate the detector response in various complex environments is proposed.First,the data library required for the FFCM is built by collecting the detection volume,detector counts,and flux sensitivity functions through a Monte Carlo simulation.Then,based on perturbation theory and the Rytov approximation,a model for the detector response is derived using the flux sensitivity function method and a one-group diffusion model.The environmental perturbation is constrained to optimize the model according to the tool structure and the impact of the formation and borehole within the effective detection volume.Finally,the method is applied to a neutron porosity tool for verification.In various complex simulation environments,the maximum relative error between the calculated porosity results of Monte Carlo and FFCM was 6.80%,with a rootmean-square error of 0.62 p.u.In field well applications,the formation porosity model obtained using FFCM was in good agreement with the model obtained by interpreters,which demonstrates the validity and accuracy of the proposed method.展开更多
The safety and durability of lithium-ion batteries under mechanical constraints depend significantly on electrochemical,thermal,and mechanical fields in applications.Characterizing and quantifying the multi-field coup...The safety and durability of lithium-ion batteries under mechanical constraints depend significantly on electrochemical,thermal,and mechanical fields in applications.Characterizing and quantifying the multi-field coupling behaviors requires interdisciplinary efforts.Here,we design experiments under mechanical constraints and introduce an in-situ analytical framework to clarify the complex interaction mechanisms and coupling degrees among multi-physics fields.The proposed analytical framework integrates the parameterization of equivalent models,in-situ mechanical analysis,and quantitative assessment of coupling behavior.The results indicate that the significant impact of pressure on impedance at low temperatures results from the diffusion-controlled step,enhancing kinetics when external pressure,like 180 to 240 k Pa at 10℃,is applied.The diversity in control steps for the electrochemical reaction accounts for the varying impact of pressure on battery performance across different temperatures.The thermal expansion rate suggests that the swelling force varies by less than 1.60%per unit of elevated temperature during the lithiation process.By introducing a composite metric,we quantify the coupling correlation and intensity between characteristic parameters and physical fields,uncovering the highest coupling degree in electrochemical-thermal fields.These results underscore the potential of analytical approaches in revealing the mechanisms of interaction among multi-fields,with the goal of enhancing battery performance and advancing battery management.展开更多
Many deep learning-based registration methods rely on a single-stream encoder-decoder network for computing deformation fields between 3D volumes.However,these methods often lack constraint information and overlook se...Many deep learning-based registration methods rely on a single-stream encoder-decoder network for computing deformation fields between 3D volumes.However,these methods often lack constraint information and overlook semantic consistency,limiting their performance.To address these issues,we present a novel approach for medical image registration called theDual-VoxelMorph,featuring a dual-channel cross-constraint network.This innovative network utilizes both intensity and segmentation images,which share identical semantic information and feature representations.Two encoder-decoder structures calculate deformation fields for intensity and segmentation images,as generated by the dual-channel cross-constraint network.This design facilitates bidirectional communication between grayscale and segmentation information,enabling the model to better learn the corresponding grayscale and segmentation details of the same anatomical structures.To ensure semantic and directional consistency,we introduce constraints and apply the cosine similarity function to enhance semantic consistency.Evaluation on four public datasets demonstrates superior performance compared to the baselinemethod,achieving Dice scores of 79.9%,64.5%,69.9%,and 63.5%for OASIS-1,OASIS-3,LPBA40,and ADNI,respectively.展开更多
To solve the problem of data fusion for prior information such as track information and train status in train positioning,an adaptive H∞filtering algorithm with combination constraint is proposed,which fuses prior in...To solve the problem of data fusion for prior information such as track information and train status in train positioning,an adaptive H∞filtering algorithm with combination constraint is proposed,which fuses prior information with other sensor information in the form of constraints.Firstly,the train precise track constraint method of the train is proposed,and the plane position constraint and train motion state constraints are analysed.A model for combining prior information with constraints is established.Then an adaptive H∞filter with combination constraints is derived based on the adaptive adjustment method of the robustness factor.Finally,the positioning effect of the proposed algorithm is simulated and analysed under the conditions of a straight track and a curved track.The results show that the positioning accuracy of the algorithm with constrained filtering is significantly better than that of the algorithm without constrained filtering and that the algorithm with constrained filtering can achieve better performance when combined with track and condition information,which can significantly reduce the train positioning error.The effectiveness of the proposed algorithm is verified.展开更多
A theoretical model for the multi-span spinning beams with elastic constraints under an axial compressive force is proposed.The displacement and bending angle functions are represented through an improved Fourier seri...A theoretical model for the multi-span spinning beams with elastic constraints under an axial compressive force is proposed.The displacement and bending angle functions are represented through an improved Fourier series,which ensures the continuity of the derivative at the boundary and enhances the convergence.The exact characteristic equations of the multi-span spinning beams with elastic constraints under an axial compressive force are derived by the Lagrange equation.The efficiency and accuracy of the present method are validated in comparison with the finite element method(FEM)and other methods.The effects of the boundary spring stiffness,the number of spans,the spinning velocity,and the axial compressive force on the dynamic characteristics of the multi-span spinning beams are studied.The results show that the present method can freely simulate any boundary constraints without modifying the solution process.The elastic range of linear springs is larger than that of torsion springs,and it is not affected by the number of spans.With an increase in the axial compressive force,the attenuation rate of the natural frequency of a spinning beam with a large number of spans becomes larger,while the attenuation rate with an elastic boundary is lower than that under a classic simply supported boundary.展开更多
This work proposes an event-triggered adaptive control approach for a class of uncertain nonlinear systems under irregular constraints.Unlike the constraints considered in most existing papers,here the external irregu...This work proposes an event-triggered adaptive control approach for a class of uncertain nonlinear systems under irregular constraints.Unlike the constraints considered in most existing papers,here the external irregular constraints are considered and a constraints switching mechanism(CSM)is introduced to circumvent the difficulties arising from irregular output constraints.Based on the CSM,a new class of generalized barrier functions are constructed,which allows the control results to be independent of the maximum and minimum values(MMVs)of constraints and thus extends the existing results.Finally,we proposed a novel dynamic constraint-driven event-triggered strategy(DCDETS),under which the stress on signal transmission is reduced greatly and no constraints are violated by making a dynamic trade-off among system state,external constraints,and inter-execution intervals.It is proved that the system output is driven to close to the reference trajectory and the semi-global stability is guaranteed under the proposed control scheme,regardless of the external irregular output constraints.Simulation also verifies the effectiveness and benefits of the proposed method.展开更多
Constrained multi-objective optimization problems(CMOPs)generally contain multiple constraints,which not only form multiple discrete feasible regions but also reduce the size of optimal feasible regions,thus they prop...Constrained multi-objective optimization problems(CMOPs)generally contain multiple constraints,which not only form multiple discrete feasible regions but also reduce the size of optimal feasible regions,thus they propose serious challenges for solvers.Among all constraints,some constraints are highly correlated with optimal feasible regions;thus they can provide effective help to find feasible Pareto front.However,most of the existing constrained multi-objective evolutionary algorithms tackle constraints by regarding all constraints as a whole or directly ignoring all constraints,and do not consider judging the relations among constraints and do not utilize the information from promising single constraints.Therefore,this paper attempts to identify promising single constraints and utilize them to help solve CMOPs.To be specific,a CMOP is transformed into a multitasking optimization problem,where multiple auxiliary tasks are created to search for the Pareto fronts that only consider a single constraint respectively.Besides,an auxiliary task priority method is designed to identify and retain some high-related auxiliary tasks according to the information of relative positions and dominance relationships.Moreover,an improved tentative method is designed to find and transfer useful knowledge among tasks.Experimental results on three benchmark test suites and 11 realworld problems with different numbers of constraints show better or competitive performance of the proposed method when compared with eight state-of-the-art peer methods.展开更多
The hydraulic testing of pre-existing fractures(HTPF)is one of the most promising in situ stress measurement methods,particularly for three-dimensional stress tensor determination.However,the stress tensor determinati...The hydraulic testing of pre-existing fractures(HTPF)is one of the most promising in situ stress measurement methods,particularly for three-dimensional stress tensor determination.However,the stress tensor determination based on the HTPF method requires at least six tests or a minimum of 14-15 tests(under different conditions)for reliable results.In this study,we modified the HTPF method by considering the shear stress on each pre-existing fracture,which increased the number of equations for the stress tensor determination and decreased the number of tests required.Different shear stresses were attributed to different fractures by random sampling;therefore,the stress tensors were obtained by searching for the optimal solution using the least squares criterion based on the Monte Carlo method.Thereafter,we constrained the stress tensor based on the tensile strength criterion,compressive strength criterion,and vertical stress constraints.The inverted stress tensors were presented and analyzed based on the tensorial nature of the stress using the Euclidean mean stress tensor.Two stress-measurement campaigns in Weifang(Shandong Province,China)and Mercantour road tunnel(France)were implemented to highlight the validity and efficiency of the modified HTPF(M-HTPF)method.The results showed that the M-HTPF method can be applied for stress tensor inversion using only three to four tests on pre-existing fractures,neglecting the stress gradient.The inversion results were confined to relatively small distribution dispersions and were significantly reliable and stable due to the shear stresses on the fractures and the stress constraints employed.The M-HTPF method is highly feasible and efficient for complete stress tensor determination in a single borehole.展开更多
In the process of launching guided projectile under the conventional system, it is difficult to effectively obtain the precise navigation parameters of the projectile in the high dynamic environment. Aiming at this pr...In the process of launching guided projectile under the conventional system, it is difficult to effectively obtain the precise navigation parameters of the projectile in the high dynamic environment. Aiming at this problem, this paper describes a new system of guided ammunition based on tail spin reduction. After analyzing the mechanism of the ammunition's tail spin reduction, a navigation method of large scale difference tail control simple guided ammunition based on speed constraint is proposed. In this method,the corresponding navigation constraints can be carried out by combining the rotation speed state of the ammunition itself, and the optimal solution of navigation parameters during the flight of the missile can be obtained by Extended Kalman Filter(EKF). Finally, the performance of the proposed method was verified by the simulation environment, and the hardware-in-the-loop simulation test and flight test were carried out to verify the performance of the method in the real environment. The experimental results show that the proposed method can achieve the optimal estimation of navigation parameters for simple guided ammunition with large-scale difference tail control. Under the conditions of simulation test and hardware-in-loop simulation test, the position and velocity errors calculated by the method in this paper converged. Under the condition of flight test, the spatial average error calculated by the method described in this paper is 6.17 m, and the spatial error of the final landing point is 3.50 m.Through this method, the accurate acquisition of navigation parameters in the process of projectile launching is effectively realized.展开更多
In this paper,guaranteed cost attitude tracking con-trol for uncertain quadrotor unmanned aerial vehicle(QUAV)under safety constraints is studied.First,an augmented system is constructed by the tracking error system a...In this paper,guaranteed cost attitude tracking con-trol for uncertain quadrotor unmanned aerial vehicle(QUAV)under safety constraints is studied.First,an augmented system is constructed by the tracking error system and reference system.This transformation aims to convert the tracking control prob-lem into a stabilization control problem.Then,control barrier function and disturbance attenuation function are designed to characterize the violations of safety constraints and tolerance of uncertain disturbances,and they are incorporated into the reward function as penalty items.Based on the modified reward function,the problem is simplified as the optimal regulation problem of the nominal augmented system,and a new Hamilton-Jacobi-Bellman equation is developed.Finally,critic-only rein-forcement learning algorithm with a concurrent learning tech-nique is employed to solve the Hamilton-Jacobi-Bellman equa-tion and obtain the optimal controller.The proposed algorithm can not only ensure the reward function within an upper bound in the presence of uncertain disturbances,but also enforce safety constraints.The performance of the algorithm is evaluated by the numerical simulation.展开更多
The distributed flexible job shop scheduling problem(DFJSP)has attracted great attention with the growth of the global manufacturing industry.General DFJSP research only considers machine constraints and ignores worke...The distributed flexible job shop scheduling problem(DFJSP)has attracted great attention with the growth of the global manufacturing industry.General DFJSP research only considers machine constraints and ignores worker constraints.As one critical factor of production,effective utilization of worker resources can increase productivity.Meanwhile,energy consumption is a growing concern due to the increasingly serious environmental issues.Therefore,the distributed flexible job shop scheduling problem with dual resource constraints(DFJSP-DRC)for minimizing makespan and total energy consumption is studied in this paper.To solve the problem,we present a multi-objective mathematical model for DFJSP-DRC and propose a Q-learning-based multi-objective grey wolf optimizer(Q-MOGWO).In Q-MOGWO,high-quality initial solutions are generated by a hybrid initialization strategy,and an improved active decoding strategy is designed to obtain the scheduling schemes.To further enhance the local search capability and expand the solution space,two wolf predation strategies and three critical factory neighborhood structures based on Q-learning are proposed.These strategies and structures enable Q-MOGWO to explore the solution space more efficiently and thus find better Pareto solutions.The effectiveness of Q-MOGWO in addressing DFJSP-DRC is verified through comparison with four algorithms using 45 instances.The results reveal that Q-MOGWO outperforms comparison algorithms in terms of solution quality.展开更多
Interoperability constraints in health information systems pose significant challenges to the seamless exchange and utilization of health data, hindering effective healthcare delivery. This paper aims to evaluate and ...Interoperability constraints in health information systems pose significant challenges to the seamless exchange and utilization of health data, hindering effective healthcare delivery. This paper aims to evaluate and address these constraints to enhance healthcare delivery. The study examines the current state of interoperability in health information systems, identifies the key constraints, and explores their impact on healthcare outcomes. Various approaches and strategies for addressing interoperability constraints are discussed, including the adoption of standardized data formats, implementation of interoperability frameworks, and establishment of robust data governance mechanisms. Furthermore, the study highlights the importance of stakeholder collaboration, policy development, and technical advancements in achieving enhanced interoperability. The findings emphasize the need for a comprehensive evaluation of interoperability constraints and the implementation of targeted interventions to promote seamless data exchange, improve care coordination, and enhance patient outcomes in healthcare settings.展开更多
Aiming at the problem that the data-driven automatic correlation methods which are difficult to adapt to the automatic correlation of oil-bearing strata with large changes in lateral sedimentary facies and strata thic...Aiming at the problem that the data-driven automatic correlation methods which are difficult to adapt to the automatic correlation of oil-bearing strata with large changes in lateral sedimentary facies and strata thickness,an intelligent automatic correlation method of oil-bearing strata based on pattern constraints is formed.We propose to introduce knowledge-driven in automatic correlation of oil-bearing strata,constraining the correlation process by stratigraphic sedimentary patterns and improving the similarity measuring machine and conditional constraint dynamic time warping algorithm to automate the correlation of marker layers and the interfaces of each stratum.The application in Shishen 100 block in the Shinan Oilfield of the Bohai Bay Basin shows that the coincidence rate of the marker layers identified by this method is over 95.00%,and the average coincidence rate of identified oil-bearing strata reaches 90.02% compared to artificial correlation results,which is about 17 percentage points higher than that of the existing automatic correlation methods.The accuracy of the automatic correlation of oil-bearing strata has been effectively improved.展开更多
This paper presents a new dimension reduction strategy for medium and large-scale linear programming problems. The proposed method uses a subset of the original constraints and combines two algorithms: the weighted av...This paper presents a new dimension reduction strategy for medium and large-scale linear programming problems. The proposed method uses a subset of the original constraints and combines two algorithms: the weighted average and the cosine simplex algorithm. The first approach identifies binding constraints by using the weighted average of each constraint, whereas the second algorithm is based on the cosine similarity between the vector of the objective function and the constraints. These two approaches are complementary, and when used together, they locate the essential subset of initial constraints required for solving medium and large-scale linear programming problems. After reducing the dimension of the linear programming problem using the subset of the essential constraints, the solution method can be chosen from any suitable method for linear programming. The proposed approach was applied to a set of well-known benchmarks as well as more than 2000 random medium and large-scale linear programming problems. The results are promising, indicating that the new approach contributes to the reduction of both the size of the problems and the total number of iterations required. A tree-based classification model also confirmed the need for combining the two approaches. A detailed numerical example, the general numerical results, and the statistical analysis for the decision tree procedure are presented.展开更多
The joint beamforming design challenge for dual-functional radar-communication systems is addressed in this paper.The base station in these systems is tasked with simultaneously sending shared signals for both multi-u...The joint beamforming design challenge for dual-functional radar-communication systems is addressed in this paper.The base station in these systems is tasked with simultaneously sending shared signals for both multi-user communication and target sensing.The primary objective is to maximize the sum rate of multi-user communication,while also ensuring sufficient beampattern gain at particular angles that are of interest for sensing,all within the constraints of the transmit power budget.To tackle this complex non-convex problem,an effective algorithm that iteratively optimizes the joint beamformers is developed.This algorithm leverages the techniques of fractional programming and semidefinite relaxation to achieve its goals.The numerical results confirm the effectiveness of the proposed algorithm.展开更多
Homogeneous binary function products are frequently encountered in the sub-universes modeled by databases,spanning from genealogical trees and sports to education and healthcare,etc.Their properties must be discovered...Homogeneous binary function products are frequently encountered in the sub-universes modeled by databases,spanning from genealogical trees and sports to education and healthcare,etc.Their properties must be discovered and enforced by the software applications managing such data to guarantee plausibility.The(Elementary)Mathematical Data Model provides 17 types of dyadic-based homogeneous binary function product constraint categories.MatBase,an intelligent data and knowledge base management system prototype,allows database designers to simply declare them by only clicking corresponding checkboxes and automatically generates code for enforcing them.This paper describes the algorithms that MatBase uses for enforcing all 17 types of homogeneous binary function product constraint,which may also be employed by developers without access to MatBase.展开更多
Dear Editor, This letter is concerned with the attitude control of a quadrotor unmanned aerial vehicle(UAV) subject to the input constraint, attitude constraint and model uncertainty. Firstly, we construct an auxiliar...Dear Editor, This letter is concerned with the attitude control of a quadrotor unmanned aerial vehicle(UAV) subject to the input constraint, attitude constraint and model uncertainty. Firstly, we construct an auxiliary system to eliminate the adverse impact of the input saturation.Secondly, we introduce the nonlinear state-dependent function to deal with the attitude constraint directly. Thirdly, the neural network is utilized to identify the unknown terms in the system. Finally.展开更多
Sequence and intensity are two essential components of bird moult.While the moult sequences of remex tracts are highly homogenous across passerines,other tracts apparently show a high variability.Moreover,order of mou...Sequence and intensity are two essential components of bird moult.While the moult sequences of remex tracts are highly homogenous across passerines,other tracts apparently show a high variability.Moreover,order of moult activation among tracts are insufficiently known.Likewise,dynamics of moult intensity as moult progresses remains poorly known.Here,we provide detailed quantitative description of moult sequence and intensity in the House Sparrow(Passer domesticus).To understand their role,we tested two hypotheses on the:1) protection function of moult sequence,and 2) aerodynamic and physiological constraints on moult intensity.We scored percentage growth of 313 captured sparrows using the mass of the feathers of each tract(also length for remiges)to monitor moult intensity throughout the complete moult progress,which is defined as the fraction of new and growing feathers in a moulting bird relative to the total plumage.Moult sequence was highly variable both within wing coverts and among feather tracts,with moult sequence differing among all birds to some degree.We only found support for the protection function between greater coverts and both tertials and secondaries.Remex-moult intensity conformed to theoretical predictions,therefore lending support to the aerodynamic-constraint hypothesis.Furthermore,remex-moult speed plateaued during the central stages of moult progress.However,overall plumage-moult speed did not fit predictions of the physiological-constraint hypothesis,showing that the remex moult is only constrained by aerodynamics.Our results indicate that aerodynamic loss is not simply the inevitable effect of moult,but that moult is finely regulated to reduce aerodynamic loss.We propose that the moult of the House Sparrow is controlled through sequence and intensity adjustments in order to:1) avoid body and wing growth peaks;2) fulfil the protection function between some key feather tracts;3) reduce detrimental effects on flight ability;4) keep remex sequence fixed;and 5) relax remex replacement to last the whole moult duration.展开更多
This paper presents a dynamic model and performance constraint control of a line-driven soft robotic arm.The dynamics model of the soft robotic arm is established by combining the screw theory and the Cosserat theory....This paper presents a dynamic model and performance constraint control of a line-driven soft robotic arm.The dynamics model of the soft robotic arm is established by combining the screw theory and the Cosserat theory.The unmodeled dynamics of the system are considered,and an adaptive neural network controller is designed using the backstepping method and radial basis function neural network.The stability of the closed-loop system and the boundedness of the tracking error are verified using Lyapunov theory.The simulation results show that our approach is a good solution to the motion constraint problem of the line-driven soft robotic arm.展开更多
基金supported in part by the National Natural Science Foundation of China (62103093)the National Key Research and Development Program of China (2022YFB3305905)+6 种基金the Xingliao Talent Program of Liaoning Province of China (XLYC2203130)the Fundamental Research Funds for the Central Universities of China (N2108003)the Natural Science Foundation of Liaoning Province (2023-MS-087)the BNU Talent Seed Fund,UIC Start-Up Fund (R72021115)the Guangdong Key Laboratory of AI and MM Data Processing (2020KSYS007)the Guangdong Provincial Key Laboratory IRADS for Data Science (2022B1212010006)the Guangdong Higher Education Upgrading Plan 2021–2025 of “Rushing to the Top,Making Up Shortcomings and Strengthening Special Features” with UIC Research,China (R0400001-22,R0400025-21)。
文摘The problem of prescribed performance tracking control for unknown time-delay nonlinear systems subject to output constraints is dealt with in this paper. In contrast with related works, only the most fundamental requirements, i.e., boundedness and the local Lipschitz condition, are assumed for the allowable time delays. Moreover, we focus on the case where the reference is unknown beforehand, which renders the standard prescribed performance control designs under output constraints infeasible. To conquer these challenges, a novel robust prescribed performance control approach is put forward in this paper.Herein, a reverse tuning function is skillfully constructed and automatically generates a performance envelop for the tracking error. In addition, a unified performance analysis framework based on proof by contradiction and the barrier function is established to reveal the inherent robustness of the control system against the time delays. It turns out that the system output tracks the reference with a preassigned settling time and good accuracy,without constraint violations. A comparative simulation on a two-stage chemical reactor is carried out to illustrate the above theoretical findings.
基金This work is supported by National Natural Science Foundation of China(Nos.U23B20151 and 52171253).
文摘Owing to the complex lithology of unconventional reservoirs,field interpreters usually need to provide a basis for interpretation using logging simulation models.Among the various detection tools that use nuclear sources,the detector response can reflect various types of information of the medium.The Monte Carlo method is one of the primary methods used to obtain nuclear detection responses in complex environments.However,this requires a computational process with extensive random sampling,consumes considerable resources,and does not provide real-time response results.Therefore,a novel fast forward computational method(FFCM)for nuclear measurement that uses volumetric detection constraints to rapidly calculate the detector response in various complex environments is proposed.First,the data library required for the FFCM is built by collecting the detection volume,detector counts,and flux sensitivity functions through a Monte Carlo simulation.Then,based on perturbation theory and the Rytov approximation,a model for the detector response is derived using the flux sensitivity function method and a one-group diffusion model.The environmental perturbation is constrained to optimize the model according to the tool structure and the impact of the formation and borehole within the effective detection volume.Finally,the method is applied to a neutron porosity tool for verification.In various complex simulation environments,the maximum relative error between the calculated porosity results of Monte Carlo and FFCM was 6.80%,with a rootmean-square error of 0.62 p.u.In field well applications,the formation porosity model obtained using FFCM was in good agreement with the model obtained by interpreters,which demonstrates the validity and accuracy of the proposed method.
基金supported by the National Science Fund for Excellent Youth Scholars of China(52222708)the National Natural Science Foundation of China(51977007)。
文摘The safety and durability of lithium-ion batteries under mechanical constraints depend significantly on electrochemical,thermal,and mechanical fields in applications.Characterizing and quantifying the multi-field coupling behaviors requires interdisciplinary efforts.Here,we design experiments under mechanical constraints and introduce an in-situ analytical framework to clarify the complex interaction mechanisms and coupling degrees among multi-physics fields.The proposed analytical framework integrates the parameterization of equivalent models,in-situ mechanical analysis,and quantitative assessment of coupling behavior.The results indicate that the significant impact of pressure on impedance at low temperatures results from the diffusion-controlled step,enhancing kinetics when external pressure,like 180 to 240 k Pa at 10℃,is applied.The diversity in control steps for the electrochemical reaction accounts for the varying impact of pressure on battery performance across different temperatures.The thermal expansion rate suggests that the swelling force varies by less than 1.60%per unit of elevated temperature during the lithiation process.By introducing a composite metric,we quantify the coupling correlation and intensity between characteristic parameters and physical fields,uncovering the highest coupling degree in electrochemical-thermal fields.These results underscore the potential of analytical approaches in revealing the mechanisms of interaction among multi-fields,with the goal of enhancing battery performance and advancing battery management.
基金National Natural Science Foundation of China(Grant Nos.62171130,62172197,61972093)the Natural Science Foundation of Fujian Province(Grant Nos.2020J01573,2022J01131257,2022J01607)+3 种基金Fujian University Industry University Research Joint Innovation Project(No.2022H6006)in part by the Fund of Cloud Computing and BigData for SmartAgriculture(GrantNo.117-612014063)NationalNatural Science Foundation of China(Grant No.62301160)Nature Science Foundation of Fujian Province(Grant No.2022J01607).
文摘Many deep learning-based registration methods rely on a single-stream encoder-decoder network for computing deformation fields between 3D volumes.However,these methods often lack constraint information and overlook semantic consistency,limiting their performance.To address these issues,we present a novel approach for medical image registration called theDual-VoxelMorph,featuring a dual-channel cross-constraint network.This innovative network utilizes both intensity and segmentation images,which share identical semantic information and feature representations.Two encoder-decoder structures calculate deformation fields for intensity and segmentation images,as generated by the dual-channel cross-constraint network.This design facilitates bidirectional communication between grayscale and segmentation information,enabling the model to better learn the corresponding grayscale and segmentation details of the same anatomical structures.To ensure semantic and directional consistency,we introduce constraints and apply the cosine similarity function to enhance semantic consistency.Evaluation on four public datasets demonstrates superior performance compared to the baselinemethod,achieving Dice scores of 79.9%,64.5%,69.9%,and 63.5%for OASIS-1,OASIS-3,LPBA40,and ADNI,respectively.
基金the National Natural Science Fund of China(61471080)Training Plan for Young Backbone Teachers in Colleges and Universities of Henan Province(2018GGJS171).
文摘To solve the problem of data fusion for prior information such as track information and train status in train positioning,an adaptive H∞filtering algorithm with combination constraint is proposed,which fuses prior information with other sensor information in the form of constraints.Firstly,the train precise track constraint method of the train is proposed,and the plane position constraint and train motion state constraints are analysed.A model for combining prior information with constraints is established.Then an adaptive H∞filter with combination constraints is derived based on the adaptive adjustment method of the robustness factor.Finally,the positioning effect of the proposed algorithm is simulated and analysed under the conditions of a straight track and a curved track.The results show that the positioning accuracy of the algorithm with constrained filtering is significantly better than that of the algorithm without constrained filtering and that the algorithm with constrained filtering can achieve better performance when combined with track and condition information,which can significantly reduce the train positioning error.The effectiveness of the proposed algorithm is verified.
基金Project supported by the National Science Fund for Distinguished Young Scholars of China (No.11925205)the National Natural Science Foundation of China (Nos.51921003 and 12272165)。
文摘A theoretical model for the multi-span spinning beams with elastic constraints under an axial compressive force is proposed.The displacement and bending angle functions are represented through an improved Fourier series,which ensures the continuity of the derivative at the boundary and enhances the convergence.The exact characteristic equations of the multi-span spinning beams with elastic constraints under an axial compressive force are derived by the Lagrange equation.The efficiency and accuracy of the present method are validated in comparison with the finite element method(FEM)and other methods.The effects of the boundary spring stiffness,the number of spans,the spinning velocity,and the axial compressive force on the dynamic characteristics of the multi-span spinning beams are studied.The results show that the present method can freely simulate any boundary constraints without modifying the solution process.The elastic range of linear springs is larger than that of torsion springs,and it is not affected by the number of spans.With an increase in the axial compressive force,the attenuation rate of the natural frequency of a spinning beam with a large number of spans becomes larger,while the attenuation rate with an elastic boundary is lower than that under a classic simply supported boundary.
基金supported in part by the National Key Research and Development Program of China(2023YFA1011803)the National Natural Science Foundation of China(62273064,61933012,62250710167,61860206008,62203078)the Central University Project(2021CDJCGJ002,2022CDJKYJH019,2022CDJKYJH051)。
文摘This work proposes an event-triggered adaptive control approach for a class of uncertain nonlinear systems under irregular constraints.Unlike the constraints considered in most existing papers,here the external irregular constraints are considered and a constraints switching mechanism(CSM)is introduced to circumvent the difficulties arising from irregular output constraints.Based on the CSM,a new class of generalized barrier functions are constructed,which allows the control results to be independent of the maximum and minimum values(MMVs)of constraints and thus extends the existing results.Finally,we proposed a novel dynamic constraint-driven event-triggered strategy(DCDETS),under which the stress on signal transmission is reduced greatly and no constraints are violated by making a dynamic trade-off among system state,external constraints,and inter-execution intervals.It is proved that the system output is driven to close to the reference trajectory and the semi-global stability is guaranteed under the proposed control scheme,regardless of the external irregular output constraints.Simulation also verifies the effectiveness and benefits of the proposed method.
基金supported in part by the National Key Research and Development Program of China(2022YFD2001200)the National Natural Science Foundation of China(62176238,61976237,62206251,62106230)+3 种基金China Postdoctoral Science Foundation(2021T140616,2021M692920)the Natural Science Foundation of Henan Province(222300420088)the Program for Science&Technology Innovation Talents in Universities of Henan Province(23HASTIT023)the Program for Science&Technology Innovation Teams in Universities of Henan Province(23IRTSTHN010).
文摘Constrained multi-objective optimization problems(CMOPs)generally contain multiple constraints,which not only form multiple discrete feasible regions but also reduce the size of optimal feasible regions,thus they propose serious challenges for solvers.Among all constraints,some constraints are highly correlated with optimal feasible regions;thus they can provide effective help to find feasible Pareto front.However,most of the existing constrained multi-objective evolutionary algorithms tackle constraints by regarding all constraints as a whole or directly ignoring all constraints,and do not consider judging the relations among constraints and do not utilize the information from promising single constraints.Therefore,this paper attempts to identify promising single constraints and utilize them to help solve CMOPs.To be specific,a CMOP is transformed into a multitasking optimization problem,where multiple auxiliary tasks are created to search for the Pareto fronts that only consider a single constraint respectively.Besides,an auxiliary task priority method is designed to identify and retain some high-related auxiliary tasks according to the information of relative positions and dominance relationships.Moreover,an improved tentative method is designed to find and transfer useful knowledge among tasks.Experimental results on three benchmark test suites and 11 realworld problems with different numbers of constraints show better or competitive performance of the proposed method when compared with eight state-of-the-art peer methods.
基金supported by the National Natural Science Foundation of China(Grant No.42174118)a research grant(Grant No.ZDJ 2020-7)from the National Institute of Natural Hazards,Ministry of Emergency Management of China.
文摘The hydraulic testing of pre-existing fractures(HTPF)is one of the most promising in situ stress measurement methods,particularly for three-dimensional stress tensor determination.However,the stress tensor determination based on the HTPF method requires at least six tests or a minimum of 14-15 tests(under different conditions)for reliable results.In this study,we modified the HTPF method by considering the shear stress on each pre-existing fracture,which increased the number of equations for the stress tensor determination and decreased the number of tests required.Different shear stresses were attributed to different fractures by random sampling;therefore,the stress tensors were obtained by searching for the optimal solution using the least squares criterion based on the Monte Carlo method.Thereafter,we constrained the stress tensor based on the tensile strength criterion,compressive strength criterion,and vertical stress constraints.The inverted stress tensors were presented and analyzed based on the tensorial nature of the stress using the Euclidean mean stress tensor.Two stress-measurement campaigns in Weifang(Shandong Province,China)and Mercantour road tunnel(France)were implemented to highlight the validity and efficiency of the modified HTPF(M-HTPF)method.The results showed that the M-HTPF method can be applied for stress tensor inversion using only three to four tests on pre-existing fractures,neglecting the stress gradient.The inversion results were confined to relatively small distribution dispersions and were significantly reliable and stable due to the shear stresses on the fractures and the stress constraints employed.The M-HTPF method is highly feasible and efficient for complete stress tensor determination in a single borehole.
基金supported by the Natural Science Foundation of Beijing Municipality(Grant No.4212003)the Crossdisciplinary Collaboration Project of Beijing Municipal Science and Technology New Star Program(Grant No.202111)。
文摘In the process of launching guided projectile under the conventional system, it is difficult to effectively obtain the precise navigation parameters of the projectile in the high dynamic environment. Aiming at this problem, this paper describes a new system of guided ammunition based on tail spin reduction. After analyzing the mechanism of the ammunition's tail spin reduction, a navigation method of large scale difference tail control simple guided ammunition based on speed constraint is proposed. In this method,the corresponding navigation constraints can be carried out by combining the rotation speed state of the ammunition itself, and the optimal solution of navigation parameters during the flight of the missile can be obtained by Extended Kalman Filter(EKF). Finally, the performance of the proposed method was verified by the simulation environment, and the hardware-in-the-loop simulation test and flight test were carried out to verify the performance of the method in the real environment. The experimental results show that the proposed method can achieve the optimal estimation of navigation parameters for simple guided ammunition with large-scale difference tail control. Under the conditions of simulation test and hardware-in-loop simulation test, the position and velocity errors calculated by the method in this paper converged. Under the condition of flight test, the spatial average error calculated by the method described in this paper is 6.17 m, and the spatial error of the final landing point is 3.50 m.Through this method, the accurate acquisition of navigation parameters in the process of projectile launching is effectively realized.
基金supported in part by the National Science Foundation of China(62173183)。
文摘In this paper,guaranteed cost attitude tracking con-trol for uncertain quadrotor unmanned aerial vehicle(QUAV)under safety constraints is studied.First,an augmented system is constructed by the tracking error system and reference system.This transformation aims to convert the tracking control prob-lem into a stabilization control problem.Then,control barrier function and disturbance attenuation function are designed to characterize the violations of safety constraints and tolerance of uncertain disturbances,and they are incorporated into the reward function as penalty items.Based on the modified reward function,the problem is simplified as the optimal regulation problem of the nominal augmented system,and a new Hamilton-Jacobi-Bellman equation is developed.Finally,critic-only rein-forcement learning algorithm with a concurrent learning tech-nique is employed to solve the Hamilton-Jacobi-Bellman equa-tion and obtain the optimal controller.The proposed algorithm can not only ensure the reward function within an upper bound in the presence of uncertain disturbances,but also enforce safety constraints.The performance of the algorithm is evaluated by the numerical simulation.
基金supported by the Natural Science Foundation of Anhui Province(Grant Number 2208085MG181)the Science Research Project of Higher Education Institutions in Anhui Province,Philosophy and Social Sciences(Grant Number 2023AH051063)the Open Fund of Key Laboratory of Anhui Higher Education Institutes(Grant Number CS2021-ZD01).
文摘The distributed flexible job shop scheduling problem(DFJSP)has attracted great attention with the growth of the global manufacturing industry.General DFJSP research only considers machine constraints and ignores worker constraints.As one critical factor of production,effective utilization of worker resources can increase productivity.Meanwhile,energy consumption is a growing concern due to the increasingly serious environmental issues.Therefore,the distributed flexible job shop scheduling problem with dual resource constraints(DFJSP-DRC)for minimizing makespan and total energy consumption is studied in this paper.To solve the problem,we present a multi-objective mathematical model for DFJSP-DRC and propose a Q-learning-based multi-objective grey wolf optimizer(Q-MOGWO).In Q-MOGWO,high-quality initial solutions are generated by a hybrid initialization strategy,and an improved active decoding strategy is designed to obtain the scheduling schemes.To further enhance the local search capability and expand the solution space,two wolf predation strategies and three critical factory neighborhood structures based on Q-learning are proposed.These strategies and structures enable Q-MOGWO to explore the solution space more efficiently and thus find better Pareto solutions.The effectiveness of Q-MOGWO in addressing DFJSP-DRC is verified through comparison with four algorithms using 45 instances.The results reveal that Q-MOGWO outperforms comparison algorithms in terms of solution quality.
文摘Interoperability constraints in health information systems pose significant challenges to the seamless exchange and utilization of health data, hindering effective healthcare delivery. This paper aims to evaluate and address these constraints to enhance healthcare delivery. The study examines the current state of interoperability in health information systems, identifies the key constraints, and explores their impact on healthcare outcomes. Various approaches and strategies for addressing interoperability constraints are discussed, including the adoption of standardized data formats, implementation of interoperability frameworks, and establishment of robust data governance mechanisms. Furthermore, the study highlights the importance of stakeholder collaboration, policy development, and technical advancements in achieving enhanced interoperability. The findings emphasize the need for a comprehensive evaluation of interoperability constraints and the implementation of targeted interventions to promote seamless data exchange, improve care coordination, and enhance patient outcomes in healthcare settings.
基金Supported by the National Natural Science Foundation of China(42272110)CNPC-China University of Petroleum(Beijing)Strategic Cooperation Project(ZLZX2020-02).
文摘Aiming at the problem that the data-driven automatic correlation methods which are difficult to adapt to the automatic correlation of oil-bearing strata with large changes in lateral sedimentary facies and strata thickness,an intelligent automatic correlation method of oil-bearing strata based on pattern constraints is formed.We propose to introduce knowledge-driven in automatic correlation of oil-bearing strata,constraining the correlation process by stratigraphic sedimentary patterns and improving the similarity measuring machine and conditional constraint dynamic time warping algorithm to automate the correlation of marker layers and the interfaces of each stratum.The application in Shishen 100 block in the Shinan Oilfield of the Bohai Bay Basin shows that the coincidence rate of the marker layers identified by this method is over 95.00%,and the average coincidence rate of identified oil-bearing strata reaches 90.02% compared to artificial correlation results,which is about 17 percentage points higher than that of the existing automatic correlation methods.The accuracy of the automatic correlation of oil-bearing strata has been effectively improved.
文摘This paper presents a new dimension reduction strategy for medium and large-scale linear programming problems. The proposed method uses a subset of the original constraints and combines two algorithms: the weighted average and the cosine simplex algorithm. The first approach identifies binding constraints by using the weighted average of each constraint, whereas the second algorithm is based on the cosine similarity between the vector of the objective function and the constraints. These two approaches are complementary, and when used together, they locate the essential subset of initial constraints required for solving medium and large-scale linear programming problems. After reducing the dimension of the linear programming problem using the subset of the essential constraints, the solution method can be chosen from any suitable method for linear programming. The proposed approach was applied to a set of well-known benchmarks as well as more than 2000 random medium and large-scale linear programming problems. The results are promising, indicating that the new approach contributes to the reduction of both the size of the problems and the total number of iterations required. A tree-based classification model also confirmed the need for combining the two approaches. A detailed numerical example, the general numerical results, and the statistical analysis for the decision tree procedure are presented.
基金supported in part by the National Natural Science Foundation of China under Grant No.62201266in part by the Natural Science Foundation of Jiangsu Province under Grant No.BK20210335.
文摘The joint beamforming design challenge for dual-functional radar-communication systems is addressed in this paper.The base station in these systems is tasked with simultaneously sending shared signals for both multi-user communication and target sensing.The primary objective is to maximize the sum rate of multi-user communication,while also ensuring sufficient beampattern gain at particular angles that are of interest for sensing,all within the constraints of the transmit power budget.To tackle this complex non-convex problem,an effective algorithm that iteratively optimizes the joint beamformers is developed.This algorithm leverages the techniques of fractional programming and semidefinite relaxation to achieve its goals.The numerical results confirm the effectiveness of the proposed algorithm.
文摘Homogeneous binary function products are frequently encountered in the sub-universes modeled by databases,spanning from genealogical trees and sports to education and healthcare,etc.Their properties must be discovered and enforced by the software applications managing such data to guarantee plausibility.The(Elementary)Mathematical Data Model provides 17 types of dyadic-based homogeneous binary function product constraint categories.MatBase,an intelligent data and knowledge base management system prototype,allows database designers to simply declare them by only clicking corresponding checkboxes and automatically generates code for enforcing them.This paper describes the algorithms that MatBase uses for enforcing all 17 types of homogeneous binary function product constraint,which may also be employed by developers without access to MatBase.
基金supported in part by the National Natural Science Foundation of China(62025303,62203201,62173173)the Innovation Fund for Production,Education and Research in Chinese Universities(2021ZYA02004)。
文摘Dear Editor, This letter is concerned with the attitude control of a quadrotor unmanned aerial vehicle(UAV) subject to the input constraint, attitude constraint and model uncertainty. Firstly, we construct an auxiliary system to eliminate the adverse impact of the input saturation.Secondly, we introduce the nonlinear state-dependent function to deal with the attitude constraint directly. Thirdly, the neural network is utilized to identify the unknown terms in the system. Finally.
基金the Natural Sciences Museum of Barcelona(PASSERCAT-2 project)to JQ.
文摘Sequence and intensity are two essential components of bird moult.While the moult sequences of remex tracts are highly homogenous across passerines,other tracts apparently show a high variability.Moreover,order of moult activation among tracts are insufficiently known.Likewise,dynamics of moult intensity as moult progresses remains poorly known.Here,we provide detailed quantitative description of moult sequence and intensity in the House Sparrow(Passer domesticus).To understand their role,we tested two hypotheses on the:1) protection function of moult sequence,and 2) aerodynamic and physiological constraints on moult intensity.We scored percentage growth of 313 captured sparrows using the mass of the feathers of each tract(also length for remiges)to monitor moult intensity throughout the complete moult progress,which is defined as the fraction of new and growing feathers in a moulting bird relative to the total plumage.Moult sequence was highly variable both within wing coverts and among feather tracts,with moult sequence differing among all birds to some degree.We only found support for the protection function between greater coverts and both tertials and secondaries.Remex-moult intensity conformed to theoretical predictions,therefore lending support to the aerodynamic-constraint hypothesis.Furthermore,remex-moult speed plateaued during the central stages of moult progress.However,overall plumage-moult speed did not fit predictions of the physiological-constraint hypothesis,showing that the remex moult is only constrained by aerodynamics.Our results indicate that aerodynamic loss is not simply the inevitable effect of moult,but that moult is finely regulated to reduce aerodynamic loss.We propose that the moult of the House Sparrow is controlled through sequence and intensity adjustments in order to:1) avoid body and wing growth peaks;2) fulfil the protection function between some key feather tracts;3) reduce detrimental effects on flight ability;4) keep remex sequence fixed;and 5) relax remex replacement to last the whole moult duration.
基金supported by the National Natural Science Foundation of China(62103039,62073030)the Scientific and Technological Innovation Foundation of Shunde Graduate School+8 种基金University of Science and Technology Beijing(USTB)(BK21BF003)the Korea Institute of Energy Technology Evaluation and Planning through the Auspices of the Ministry of TradeIndustry and EnergyRepublic of Korea(20213030020160)the Science and Technology Planning Project of Guangzhou City(202102010398,202201010758)the Guangzhou University-Hong Kong University of Science and Technology Joint Research Collaboration Fund(YH202205)Beijing Top Discipline for Artificial Intelligent Science and EngineeringUniversity of Science and Technology Beijing。
文摘This paper presents a dynamic model and performance constraint control of a line-driven soft robotic arm.The dynamics model of the soft robotic arm is established by combining the screw theory and the Cosserat theory.The unmodeled dynamics of the system are considered,and an adaptive neural network controller is designed using the backstepping method and radial basis function neural network.The stability of the closed-loop system and the boundedness of the tracking error are verified using Lyapunov theory.The simulation results show that our approach is a good solution to the motion constraint problem of the line-driven soft robotic arm.