To address the issue of instability or even imbalance in the orientation and attitude control of quadrotor unmanned aerial vehicles(QUAVs)under random disturbances,this paper proposes a distributed antidisturbance dat...To address the issue of instability or even imbalance in the orientation and attitude control of quadrotor unmanned aerial vehicles(QUAVs)under random disturbances,this paper proposes a distributed antidisturbance data-driven event-triggered fusion control method,which achieves efficient fault diagnosis while suppressing random disturbances and mitigating communication conflicts within the QUAV swarm.First,the impact of random disturbances on the UAV swarm is analyzed,and a model for orientation and attitude control of QUAVs under stochastic perturbations is established,with the disturbance gain threshold determined.Second,a fault diagnosis system based on a high-gain observer is designed,constructing a fault gain criterion by integrating orientation and attitude information from QUAVs.Subsequently,a model-free dynamic linearization-based data modeling(MFDLDM)framework is developed using model-free adaptive control,which efficiently fits the nonlinear control model of the QUAV swarm while reducing temporal constraints on control data.On this basis,this paper constructs a distributed data-driven event-triggered controller based on the staggered communication mechanism,which consists of an equivalent QUAV controller and an event-triggered controller,and is able to reduce the communication conflicts while suppressing the influence of random interference.Finally,by incorporating random disturbances into the controller,comparative experiments and physical validations are conducted on the QUAV platforms,fully demonstrating the strong adaptability and robustness of the proposed distributed event-triggered fault-tolerant control system.展开更多
The strong convergence of an explicit full-discrete scheme is investigated for the stochastic Burgers-Huxley equation driven by additive space-time white noise,which possesses both Burgers-type and cubic nonlinearitie...The strong convergence of an explicit full-discrete scheme is investigated for the stochastic Burgers-Huxley equation driven by additive space-time white noise,which possesses both Burgers-type and cubic nonlinearities.To discretize the continuous problem in space,we utilize a spectral Galerkin method.Subsequently,we introduce a nonlinear-tamed exponential integrator scheme,resulting in a fully discrete scheme.Within the framework of semigroup theory,this study provides precise estimations of the Sobolev regularity,L^(∞) regularity in space,and Hölder continuity in time for the mild solution,as well as for its semi-discrete and full-discrete approximations.Building upon these results,we establish moment boundedness for the numerical solution and obtain strong convergence rates in both spatial and temporal dimensions.A numerical example is presented to validate the theoretical findings.展开更多
This paper investigates the edge-based dynamic event-triggered inverse optimal formation control problem for multiple quadrotor unmanned aerial vehicles(QUAVs) with attitude constraints. To improve communication effic...This paper investigates the edge-based dynamic event-triggered inverse optimal formation control problem for multiple quadrotor unmanned aerial vehicles(QUAVs) with attitude constraints. To improve communication efficiency, an edge-based dynamic event-triggered mechanism is developed for the communication channels between neighboring QUAVs. However, this edge-based dynamic event-triggered communication(DETC) may cause discontinuities in the reference signals. To solve this problem, a distributed estimator is designed for each QUAV to obtain the leader's output signals. Considering the safety of QUAV formation flying, this paper designs a function transformation method that constrains the attitudes of the QUAVs to a strictly safe region. Furthermore, an inverse optimal control strategy is proposed based on the backstepping methodology. This scheme not only minimizes the cost function but also avoids the necessity of solving the Hamilton-Jacobi-Bellman equation. Finally, the stability of the QUAV systems is proven using Lyapunov theory, and the effectiveness of the proposed control method is verified through simulation.展开更多
As blockchain technology rapidly evolves,smart contracts have seen widespread adoption in financial transactions and beyond.However,the growing prevalence of malicious Ponzi scheme contracts presents serious security ...As blockchain technology rapidly evolves,smart contracts have seen widespread adoption in financial transactions and beyond.However,the growing prevalence of malicious Ponzi scheme contracts presents serious security threats to blockchain ecosystems.Although numerous detection techniques have been proposed,existing methods suffer from significant limitations,such as class imbalance and insufficient modeling of transaction-related semantic features.To address these challenges,this paper proposes an oversampling-based detection framework for Ponzi smart contracts.We enhance the Adaptive Synthetic Sampling(ADASYN)algorithm by incorporating sample proximity to decision boundaries and ensuring realistic sample distributions.This enhancement facilitates the generation of high-quality minority class samples and effectively mitigates class imbalance.In addition,we design a Contract Transaction Graph(CTG)construction algorithm to preserve key transactional semantics through feature extraction from contract code.A graph neural network(GNN)is then applied for classification.This study employs a publicly available dataset from the XBlock platform,consisting of 318 verified Ponzi contracts and 6498 benign contracts.Sourced from real Ethereum deployments,the dataset reflects diverse application scenarios and captures the varied characteristics of Ponzi schemes.Experimental results demonstrate that our approach achieves an accuracy of 96%,a recall of 92%,and an F1-score of 94%in detecting Ponzi contracts,outperforming state-of-the-art methods.展开更多
Clouds play an important role in global atmospheric energy and water vapor budgets, and the low cloud simulations suffer from large biases in many atmospheric general circulation models. In this study, cloud microphys...Clouds play an important role in global atmospheric energy and water vapor budgets, and the low cloud simulations suffer from large biases in many atmospheric general circulation models. In this study, cloud microphysical processes such as raindrop evaporation and cloud water accretion in a double-moment six-class cloud microphysics scheme were revised to enhance the simulation of low clouds using the Global-Regional Integrated Forecast System(GRIST)model. The validation of the revised scheme using a single-column version of the GRIST demonstrated a reasonable reduction in liquid water biases. The revised parameterization simulated medium-and low-level cloud fractions that were in better agreement with the observations than the original scheme. Long-term global simulations indicate the mitigation of the originally overestimated low-level cloud fraction and cloud-water mixing ratio in mid-to high-latitude regions,primarily owing to enhanced accretion processes and weakened raindrop evaporation. The reduced low clouds with the revised scheme showed better consistency with satellite observations, particularly at mid-and high-latitudes. Further improvements can be observed in the simulated cloud shortwave radiative forcing and vertical distribution of total cloud cover. Annual precipitation in mid-latitude regions has also improved, particularly over the oceans, with significantly increased large-scale and decreased convective precipitation.展开更多
In this paper,we present a finite volume trigonometric weighted essentially non-oscillatory(TWENO)scheme to solve nonlinear degenerate parabolic equations that may exhibit non-smooth solutions.The present method is de...In this paper,we present a finite volume trigonometric weighted essentially non-oscillatory(TWENO)scheme to solve nonlinear degenerate parabolic equations that may exhibit non-smooth solutions.The present method is developed using the trigonometric scheme,which is based on zero,first,and second moments,and the direct discontinuous Galerkin(DDG)flux is used to discretize the diffusion term.Moreover,the DDG method directly applies the weak form of the parabolic equation to each computational cell,which can better capture the characteristics of the solution,especially the discontinuous solution.Meanwhile,the third-order TVD-Runge-Kutta method is applied for temporal discretization.Finally,the effectiveness and stability of the method constructed in this paper are evaluated through numerical tests.展开更多
This study proposes a class of augmented subspace schemes for the weak Galerkin(WG)finite element method used to solve eigenvalue problems.The augmented subspace is built with the conforming linear finite element spac...This study proposes a class of augmented subspace schemes for the weak Galerkin(WG)finite element method used to solve eigenvalue problems.The augmented subspace is built with the conforming linear finite element space defined on the coarse mesh and the eigen-function approximations in the WG finite element space defined on the fine mesh.Based on this augmented subspace,solving the eigenvalue problem in the fine WG finite element space can be reduced to the solution of the linear boundary value problem in the same WG finite element space and a low dimensional eigenvalue problem in the augmented sub-space.The proposed augmented subspace techniques have the second order convergence rate with respect to the coarse mesh size,as demonstrated by the accompanying error esti-mates.Finally,a few numerical examples are provided to validate the proposed numerical techniques.展开更多
In this paper,we propose and analyze two second-order accurate finite difference schemes for the one-dimensional heat equation with concentrated capacity on a computa-tional domain=[a,b].We first transform the target ...In this paper,we propose and analyze two second-order accurate finite difference schemes for the one-dimensional heat equation with concentrated capacity on a computa-tional domain=[a,b].We first transform the target equation into the standard heat equation on the domain excluding the singular point equipped with an inner interface matching(IIM)condition on the singular point x=ξ∈(a,b),then adopt Taylor’s ex-pansion to approximate the IIM condition at the singular point and apply second-order finite difference method to approximate the standard heat equation at the nonsingular points.This discrete procedure allows us to choose different grid sizes to partition the two sub-domains[a,ξ]and[ξ,b],which ensures that x=ξ is a grid point,and hence the pro-posed schemes can be generalized to the heat equation with more than one concentrated capacities.We prove that the two proposed schemes are uniquely solvable.And through in-depth analysis of the local truncation errors,we rigorously prove that the two schemes are second-order accurate both in temporal and spatial directions in the maximum norm without any constraint on the grid ratio.Numerical experiments are carried out to verify our theoretical conclusions.展开更多
This paper deals with the numerical solutions of two-dimensional(2D)semi-linear reaction-diffusion equations(SLRDEs)with piecewise continuous argument(PCA)in reaction term.A high-order compact difference method called...This paper deals with the numerical solutions of two-dimensional(2D)semi-linear reaction-diffusion equations(SLRDEs)with piecewise continuous argument(PCA)in reaction term.A high-order compact difference method called Ⅰ-type basic scheme is developed for solving the equations and it is proved under the suitable conditions that this method has the computational accuracy O(τ^(2)+h_(x)^(4)+h_(y)^(4)),where τ,h_(x )and h_(y) are the calculation stepsizes of the method in t-,x-and y-direction,respectively.With the above method and Newton linearized technique,a Ⅱ-type basic scheme is also suggested.Based on the both basic schemes,the corresponding Ⅰ-and Ⅱ-type alternating direction implicit(ADI)schemes are derived.Finally,with a series of numerical experiments,the computational accuracy and efficiency of the four numerical schemes are further illustrated.展开更多
The paper proposes a novel approach for formationcontainment control based on a dynamic event-triggering mechanism for multi-agent systems.The leader-leader and follower-follower communications are reduced by utilizin...The paper proposes a novel approach for formationcontainment control based on a dynamic event-triggering mechanism for multi-agent systems.The leader-leader and follower-follower communications are reduced by utilizing the distributed dynamic event-triggered framework.We consider two separate sets of design parameters:one set comprising control and dynamic event-triggering parameters for the leaders and a second set similar to the first one with different values for the followers.The proposed algorithm includes two novel stages of codesign optimization to simultaneously compute the two sets of parameters.The design optimizations are convex and use the weighted sum approach to enable a structured trade-off between the formation-containment convergence rate and associated communications.Simulations based on non-holonomic mobile robot multi-agent systems quantify the effectiveness of the proposed approach.展开更多
Helicopter systems present numerous benefits over fixed-wing aircraft in several fields of application.Developing control schemes for improving the tracking accuracy of such systems is crucial.This paper proposes a ne...Helicopter systems present numerous benefits over fixed-wing aircraft in several fields of application.Developing control schemes for improving the tracking accuracy of such systems is crucial.This paper proposes a neural-network(NN)-based adaptive finite-time control for a two-degree-of-freedom helicopter system.In particular,a radial basis function NN is adopted to solve uncertainty in the helicopter system.Furthermore,an event-triggering mechanism(ETM)with a switching threshold is proposed to alleviate the communication burden on the system.By proposing an adaptive parameter,a bounded estimation,and a smooth function approach,the effect of network measurement errors is effectively compensated for while simultaneously avoiding the Zeno phenomenon.Additionally,the developed adaptive finite-time control technique based on an NN guarantees finitetime convergence of the tracking error,thus enhancing the control accuracy of the system.In addition,the Lyapunov direct method demonstrates that the closed-loop system is semiglobally finite-time stable.Finally,simulation and experimental results show the effectiveness of the control strategy.展开更多
We investigate the dynamic event-triggered state estimation for uncertain complex networks with hybrid delays suffering from both deception attacks and denial-of-service attacks.Firstly,the effects of time-varying del...We investigate the dynamic event-triggered state estimation for uncertain complex networks with hybrid delays suffering from both deception attacks and denial-of-service attacks.Firstly,the effects of time-varying delays and finitedistributed delays are considered during data transmission between nodes.Secondly,a dynamic event-triggered scheme(ETS)is introduced to reduce the frequency of data transmission between sensors and estimators.Thirdly,by considering the discussed plant,dynamic ETS,state estimator,and hybrid attacks into a unified framework,this framework is transferred into a novel dynamical model.Furthermore,with the help of Lyapunov stability theory and linear matrix inequality techniques,sufficient condition to ensure that the system is exponentially stable and satisfies H∞performance constraints is obtained,and the design algorithm for estimator gains is given.Finally,two numerical examples verify the effectiveness of the proposed method.展开更多
This paper is concerned with the global stabilization of state-dependent switching neural networks(SDSNNs)viadiscontinuous event-triggered control with network-induced communication delay.Aiming at decreasing triggeri...This paper is concerned with the global stabilization of state-dependent switching neural networks(SDSNNs)viadiscontinuous event-triggered control with network-induced communication delay.Aiming at decreasing triggering times,a discontinuous event-trigger scheme is utilized to determine whether the sampling information is required to be sent outor not.Meanwhile,under the effect of communication delay,the trigger condition and SDSNNs are transformed into twotractable models by designing a fictitious delay function.Then,using the Lyapunov–Krasovskii stability theory,someinequality estimation techniques,and extended reciprocally convex combination method,two sufficient criteria are established for ensuring the global stabilization of the resulting closed-loop SDSNNs,respectively.A unified framework isderived that has the ability to handle the simultaneous existence of the communication delay,the properties of discontinuousevent-trigger scheme,as well as feedback controller design.Additionally,the developed results demonstrate a quantitativerelationship among the event trigger parameter,communication delay,and triggering times.Finally,two numerical examples are presented to illustrate the usefulness of the developed stabilization scheme.展开更多
This paper addresses the consensus problem of nonlinear multi-agent systems subject to external disturbances and uncertainties under denial-ofservice(DoS)attacks.Firstly,an observer-based state feedback control method...This paper addresses the consensus problem of nonlinear multi-agent systems subject to external disturbances and uncertainties under denial-ofservice(DoS)attacks.Firstly,an observer-based state feedback control method is employed to achieve secure control by estimating the system's state in real time.Secondly,by combining a memory-based adaptive eventtriggered mechanism with neural networks,the paper aims to approximate the nonlinear terms in the networked system and efficiently conserve system resources.Finally,based on a two-degree-of-freedom model of a vehicle affected by crosswinds,this paper constructs a multi-unmanned ground vehicle(Multi-UGV)system to validate the effectiveness of the proposed method.Simulation results show that the proposed control strategy can effectively handle external disturbances such as crosswinds in practical applications,ensuring the stability and reliable operation of the Multi-UGV system.展开更多
The regenerative braking energy utilization system(RBEUS)stands as a promising technique for improving the efficiency and power quality of electrified railways.Beyond the vital aspects of energy management and control...The regenerative braking energy utilization system(RBEUS)stands as a promising technique for improving the efficiency and power quality of electrified railways.Beyond the vital aspects of energy management and control strategies,ensuring fault protection is paramount for the secure and steady operation of the traction power supply system(TPSS)integrated with RBEUS.This paper introduces an innovative protection scheme tailored to diverse RBEUS application scenarios.Firstly,fault categories are streamlined into three levels:system,equipment,and warning.Subsequently,a novel multi-port active power differential protection method,aligned with RBEUS operational principles,is crafted to serve as a comprehensive and sensitive main protection.Building upon this foundation,a hierarchical protection structure for RBEUS is established,addressing the intricacies and variations in fault types while boosting anti-disturbance capabilities under faulty conditions.Embracing the principle of railway-oriented safety,a collaborative RBEUS-TPSS protection scheme is put forth.Finally,through simulated scenarios encompassing various fault conditions,the proposed scheme’s feasibility and effectiveness are convincingly validated.展开更多
This paper is concerned with event-triggered control of discrete-time systems with or without input saturation.First,an accumulative-error-based event-triggered scheme is devised for control updates.When the accumulat...This paper is concerned with event-triggered control of discrete-time systems with or without input saturation.First,an accumulative-error-based event-triggered scheme is devised for control updates.When the accumulated error between the current state and the latest control update exceeds a certain threshold,an event is triggered.Such a scheme can ensure the event-generator works at a relatively low rate rather than falls into hibernation especially after the system steps into its steady state.Second,the looped functional method for continuous-time systems is extended to discrete-time systems.By introducing an innovative looped functional that links the event-triggered scheme,some sufficient conditions for the co-design of control gain and event-triggered parameters are obtained in terms of linear matrix inequalities with a couple of tuning parameters.Then,the proposed method is applied to discrete-time systems with input saturation.As a result,both suitable control gains and event-triggered parameters are also co-designed to ensure the system trajectories converge to the region of attraction.Finally,an unstable reactor system and an inverted pendulum system are given to show the effectiveness of the proposed method.展开更多
BACKGROUND Elderly patients undergoing laparoscopic colorectal cancer surgery are at high risk for hypothermia-related complications.This study explores the efficacy of periop-erative composite insulation intervention...BACKGROUND Elderly patients undergoing laparoscopic colorectal cancer surgery are at high risk for hypothermia-related complications.This study explores the efficacy of periop-erative composite insulation interventions in maintaining normothermia and reducing postoperative risks in this vulnerable group.AIM To evaluate the efficacy of perioperative composite insulation in older patients undergoing colorectal cancer surgery.METHODS We selected 100 older patients who underwent laparoscopic surgery for colorectal cancer at Huzhou Central Hospital from September 2023 to April 2024.Using a random number table,patients were divided into a control group and inter-vention group of 50 patients each.After returning to the regular ward,the con-ventional group received traditional insulation intervention measures,while the intervention group received composite insulation nursing intervention.We ob-served and recorded postoperative blood pressure and heart rate changes,as well as postoperative anesthesia recovery time and incidence of complications.RESULTS The statistical results showed significant differences(P<0.05)in heart rate changes and systolic blood pressure between the two groups.There was a sig-nificant change in heart rate between the groups immediately after surgery and at 15 and 30 minutes after surgery(P<0.05).The heart rate and systolic blood pressure of the intervention group were significantly lower than those of the control group at 15 and 30 minutes after surgery(P<0.05).The rewarming time of the intervention group was shorter than that of the control group,and the overall incidence of postoperative complications was significantly lower than that of the control group(P<0.05).CONCLUSION For elderly patients undergoing laparoscopic colorectal cancer surgery,a composite insulation intervention during the perioperative period can maintain body temperature,reduce postoperative stress,and significantly reduce the incidence of hypothermia and related complications.展开更多
Multiple quantum well(MQW) Ⅲ-nitride diodes that can simultaneously emit and detect light feature an overlapping region between their electroluminescence and responsivity spectra, which allows them to be simultaneous...Multiple quantum well(MQW) Ⅲ-nitride diodes that can simultaneously emit and detect light feature an overlapping region between their electroluminescence and responsivity spectra, which allows them to be simultaneously used as both a transmitter and a receiver in a wireless light communication system. Here, we demonstrate a mobile light communication system using a time-division multiplexing(TDM) scheme to achieve bidirectional data transmission via the same optical channel.Two identical blue MQW diodes are defined by software as a transmitter or a receiver. To address the light alignment issue, an image identification module integrated with a gimbal stabilizer is used to automatically detect the locations of moving targets;thus, underwater audio communication is realized via a mobile blue-light TDM communication mode. This approach not only uses a single link but also integrates mobile nodes in a practical network.展开更多
ADER-WAF methods were first introduced by researchers E.F. Toro and V.A. Titarev. The linear stability criterion for the model equation for the ADER-WAF schemes is CCFL≤1, where CCFLdenotes the Courant-Friedrichs-Lew...ADER-WAF methods were first introduced by researchers E.F. Toro and V.A. Titarev. The linear stability criterion for the model equation for the ADER-WAF schemes is CCFL≤1, where CCFLdenotes the Courant-Friedrichs-Lewy (CFL) coefficient. Toro and Titarev employed CCFL=0.95for their experiments. Nonetheless, we noted that the experiments conducted in this study with CCFL=0.95produced solutions exhibiting spurious oscillations, particularly in the high-order ADER-WAF schemes. The homogeneous one-dimensional (1D) non-linear Shallow Water Equations (SWEs) are the subject of these experiments, specifically the solution of the Riemann Problem (RP) associated with the SWEs. The investigation was conducted on four test problems to evaluate the ADER-WAF schemes of second, third, fourth, and fifth order of accuracy. Each test problem constitutes a RP characterized by different wave patterns in its solution. This research has two primary objectives. We begin by illustrating the procedure for implementing the ADER-WAF schemes for the SWEs, providing the required relations. Afterward, following comprehensive testing, we present the range for the CFL coefficient for each test that yields solutions with diminished or eliminated spurious oscillations.展开更多
基金supported in part by the National Natural Science Foundation of China,Grant/Award Number:62003267the Key Research and Development Program of Shaanxi Province,Grant/Award Number:2023-GHZD-33Open Project of the State Key Laboratory of Intelligent Game,Grant/Award Number:ZBKF-23-05。
文摘To address the issue of instability or even imbalance in the orientation and attitude control of quadrotor unmanned aerial vehicles(QUAVs)under random disturbances,this paper proposes a distributed antidisturbance data-driven event-triggered fusion control method,which achieves efficient fault diagnosis while suppressing random disturbances and mitigating communication conflicts within the QUAV swarm.First,the impact of random disturbances on the UAV swarm is analyzed,and a model for orientation and attitude control of QUAVs under stochastic perturbations is established,with the disturbance gain threshold determined.Second,a fault diagnosis system based on a high-gain observer is designed,constructing a fault gain criterion by integrating orientation and attitude information from QUAVs.Subsequently,a model-free dynamic linearization-based data modeling(MFDLDM)framework is developed using model-free adaptive control,which efficiently fits the nonlinear control model of the QUAV swarm while reducing temporal constraints on control data.On this basis,this paper constructs a distributed data-driven event-triggered controller based on the staggered communication mechanism,which consists of an equivalent QUAV controller and an event-triggered controller,and is able to reduce the communication conflicts while suppressing the influence of random interference.Finally,by incorporating random disturbances into the controller,comparative experiments and physical validations are conducted on the QUAV platforms,fully demonstrating the strong adaptability and robustness of the proposed distributed event-triggered fault-tolerant control system.
基金partially supported by the National Natural Science Foundation of China(Grant No.12071073)financial support by the Jiangsu Provincial Scientific Research Center of Applied Mathematics(Grant No.BK20233002).
文摘The strong convergence of an explicit full-discrete scheme is investigated for the stochastic Burgers-Huxley equation driven by additive space-time white noise,which possesses both Burgers-type and cubic nonlinearities.To discretize the continuous problem in space,we utilize a spectral Galerkin method.Subsequently,we introduce a nonlinear-tamed exponential integrator scheme,resulting in a fully discrete scheme.Within the framework of semigroup theory,this study provides precise estimations of the Sobolev regularity,L^(∞) regularity in space,and Hölder continuity in time for the mild solution,as well as for its semi-discrete and full-discrete approximations.Building upon these results,we establish moment boundedness for the numerical solution and obtain strong convergence rates in both spatial and temporal dimensions.A numerical example is presented to validate the theoretical findings.
基金supported by the National Natural Science Foundation of China (Grant Nos.62573134,62473100,62433018)the Guangdong Basic and Applied Basic Research Foundation(Grant Nos.2025A1515060017,2025A1515011436,2025B1515020065,2025A1515011789)the Guangzhou Basic and Applied Basic Research Project (Grant No.2025A04J3534)。
文摘This paper investigates the edge-based dynamic event-triggered inverse optimal formation control problem for multiple quadrotor unmanned aerial vehicles(QUAVs) with attitude constraints. To improve communication efficiency, an edge-based dynamic event-triggered mechanism is developed for the communication channels between neighboring QUAVs. However, this edge-based dynamic event-triggered communication(DETC) may cause discontinuities in the reference signals. To solve this problem, a distributed estimator is designed for each QUAV to obtain the leader's output signals. Considering the safety of QUAV formation flying, this paper designs a function transformation method that constrains the attitudes of the QUAVs to a strictly safe region. Furthermore, an inverse optimal control strategy is proposed based on the backstepping methodology. This scheme not only minimizes the cost function but also avoids the necessity of solving the Hamilton-Jacobi-Bellman equation. Finally, the stability of the QUAV systems is proven using Lyapunov theory, and the effectiveness of the proposed control method is verified through simulation.
基金supported by the Key Project of Joint Fund of the National Natural Science Foundation of China“Research on Key Technologies and Demonstration Applications for Trusted and Secure Data Circulation and Trading”(U24A20241)the National Natural Science Foundation of China“Research on Trusted Theories and Key Technologies of Data Security Trading Based on Blockchain”(62202118)+4 种基金the Major Scientific and Technological Special Project of Guizhou Province([2024]014)Scientific and Technological Research Projects from the Guizhou Education Department(Qian jiao ji[2023]003)the Hundred-Level Innovative Talent Project of the Guizhou Provincial Science and Technology Department(Qiankehe Platform Talent-GCC[2023]018)the Major Project of Guizhou Province“Research and Application of Key Technologies for Trusted Large Models Oriented to Public Big Data”(Qiankehe Major Project[2024]003)the Guizhou Province Computational Power Network Security Protection Science and Technology Innovation Talent Team(Qiankehe Talent CXTD[2025]029).
文摘As blockchain technology rapidly evolves,smart contracts have seen widespread adoption in financial transactions and beyond.However,the growing prevalence of malicious Ponzi scheme contracts presents serious security threats to blockchain ecosystems.Although numerous detection techniques have been proposed,existing methods suffer from significant limitations,such as class imbalance and insufficient modeling of transaction-related semantic features.To address these challenges,this paper proposes an oversampling-based detection framework for Ponzi smart contracts.We enhance the Adaptive Synthetic Sampling(ADASYN)algorithm by incorporating sample proximity to decision boundaries and ensuring realistic sample distributions.This enhancement facilitates the generation of high-quality minority class samples and effectively mitigates class imbalance.In addition,we design a Contract Transaction Graph(CTG)construction algorithm to preserve key transactional semantics through feature extraction from contract code.A graph neural network(GNN)is then applied for classification.This study employs a publicly available dataset from the XBlock platform,consisting of 318 verified Ponzi contracts and 6498 benign contracts.Sourced from real Ethereum deployments,the dataset reflects diverse application scenarios and captures the varied characteristics of Ponzi schemes.Experimental results demonstrate that our approach achieves an accuracy of 96%,a recall of 92%,and an F1-score of 94%in detecting Ponzi contracts,outperforming state-of-the-art methods.
基金National Natural Science Foundation of China(42375153,42105153,42205157)Development of Science and Technology at Chinese Academy of Meteorological Sciences(2023KJ038)。
文摘Clouds play an important role in global atmospheric energy and water vapor budgets, and the low cloud simulations suffer from large biases in many atmospheric general circulation models. In this study, cloud microphysical processes such as raindrop evaporation and cloud water accretion in a double-moment six-class cloud microphysics scheme were revised to enhance the simulation of low clouds using the Global-Regional Integrated Forecast System(GRIST)model. The validation of the revised scheme using a single-column version of the GRIST demonstrated a reasonable reduction in liquid water biases. The revised parameterization simulated medium-and low-level cloud fractions that were in better agreement with the observations than the original scheme. Long-term global simulations indicate the mitigation of the originally overestimated low-level cloud fraction and cloud-water mixing ratio in mid-to high-latitude regions,primarily owing to enhanced accretion processes and weakened raindrop evaporation. The reduced low clouds with the revised scheme showed better consistency with satellite observations, particularly at mid-and high-latitudes. Further improvements can be observed in the simulated cloud shortwave radiative forcing and vertical distribution of total cloud cover. Annual precipitation in mid-latitude regions has also improved, particularly over the oceans, with significantly increased large-scale and decreased convective precipitation.
基金The Natural Science Foundation of Xinjiang Uygur Autonomous Region of China“RBF-Hermite difference scheme for the time-fractional kdv-Burgers equation”(2024D01C43)。
文摘In this paper,we present a finite volume trigonometric weighted essentially non-oscillatory(TWENO)scheme to solve nonlinear degenerate parabolic equations that may exhibit non-smooth solutions.The present method is developed using the trigonometric scheme,which is based on zero,first,and second moments,and the direct discontinuous Galerkin(DDG)flux is used to discretize the diffusion term.Moreover,the DDG method directly applies the weak form of the parabolic equation to each computational cell,which can better capture the characteristics of the solution,especially the discontinuous solution.Meanwhile,the third-order TVD-Runge-Kutta method is applied for temporal discretization.Finally,the effectiveness and stability of the method constructed in this paper are evaluated through numerical tests.
基金partly supported by the Beijing Natural Science Foundation(Grant No.Z200003)by the National Natural Science Foundation of China(Grant Nos.12331015,12301475,12301465)+1 种基金by the National Center for Mathematics and Interdisciplinary Science,Chinese Academy of Sciencesby the Research Foundation for the Beijing University of Technology New Faculty(Grant No.006000514122516).
文摘This study proposes a class of augmented subspace schemes for the weak Galerkin(WG)finite element method used to solve eigenvalue problems.The augmented subspace is built with the conforming linear finite element space defined on the coarse mesh and the eigen-function approximations in the WG finite element space defined on the fine mesh.Based on this augmented subspace,solving the eigenvalue problem in the fine WG finite element space can be reduced to the solution of the linear boundary value problem in the same WG finite element space and a low dimensional eigenvalue problem in the augmented sub-space.The proposed augmented subspace techniques have the second order convergence rate with respect to the coarse mesh size,as demonstrated by the accompanying error esti-mates.Finally,a few numerical examples are provided to validate the proposed numerical techniques.
基金supported by the National Natural Science Foundation of China(Grant No.11571181)by the Natural Science Foundation of Jiangsu Province(Grant No.BK20171454).
文摘In this paper,we propose and analyze two second-order accurate finite difference schemes for the one-dimensional heat equation with concentrated capacity on a computa-tional domain=[a,b].We first transform the target equation into the standard heat equation on the domain excluding the singular point equipped with an inner interface matching(IIM)condition on the singular point x=ξ∈(a,b),then adopt Taylor’s ex-pansion to approximate the IIM condition at the singular point and apply second-order finite difference method to approximate the standard heat equation at the nonsingular points.This discrete procedure allows us to choose different grid sizes to partition the two sub-domains[a,ξ]and[ξ,b],which ensures that x=ξ is a grid point,and hence the pro-posed schemes can be generalized to the heat equation with more than one concentrated capacities.We prove that the two proposed schemes are uniquely solvable.And through in-depth analysis of the local truncation errors,we rigorously prove that the two schemes are second-order accurate both in temporal and spatial directions in the maximum norm without any constraint on the grid ratio.Numerical experiments are carried out to verify our theoretical conclusions.
文摘This paper deals with the numerical solutions of two-dimensional(2D)semi-linear reaction-diffusion equations(SLRDEs)with piecewise continuous argument(PCA)in reaction term.A high-order compact difference method called Ⅰ-type basic scheme is developed for solving the equations and it is proved under the suitable conditions that this method has the computational accuracy O(τ^(2)+h_(x)^(4)+h_(y)^(4)),where τ,h_(x )and h_(y) are the calculation stepsizes of the method in t-,x-and y-direction,respectively.With the above method and Newton linearized technique,a Ⅱ-type basic scheme is also suggested.Based on the both basic schemes,the corresponding Ⅰ-and Ⅱ-type alternating direction implicit(ADI)schemes are derived.Finally,with a series of numerical experiments,the computational accuracy and efficiency of the four numerical schemes are further illustrated.
基金partially supported by the Natural Sciencesand Engineering Research Council(NSERC)of Canada through the NSERC Discovery(RGPIN-2016-04988)。
文摘The paper proposes a novel approach for formationcontainment control based on a dynamic event-triggering mechanism for multi-agent systems.The leader-leader and follower-follower communications are reduced by utilizing the distributed dynamic event-triggered framework.We consider two separate sets of design parameters:one set comprising control and dynamic event-triggering parameters for the leaders and a second set similar to the first one with different values for the followers.The proposed algorithm includes two novel stages of codesign optimization to simultaneously compute the two sets of parameters.The design optimizations are convex and use the weighted sum approach to enable a structured trade-off between the formation-containment convergence rate and associated communications.Simulations based on non-holonomic mobile robot multi-agent systems quantify the effectiveness of the proposed approach.
基金supported in part by the National Natural Science Foundation of China(62273112,62061160371,61933001,51905115)the Science and Technology Planning Project of Guangzhou City(202201010758)+2 种基金the Guangzhou University-Hong Kong University of Science and Technology Joint Research Collaboration Fund(YH202205)the Open Research Fund from the Guangdong Laboratory of Artificial Intelligence and Digital Economy(Shenzhen(SZ))(GML-KF-22-27)the Korea Institute of Energy Technology Evaluation and Planning Through the Auspices of the Ministry of Trade,Industry and Energy,Republic of Korea(20213030020160)。
文摘Helicopter systems present numerous benefits over fixed-wing aircraft in several fields of application.Developing control schemes for improving the tracking accuracy of such systems is crucial.This paper proposes a neural-network(NN)-based adaptive finite-time control for a two-degree-of-freedom helicopter system.In particular,a radial basis function NN is adopted to solve uncertainty in the helicopter system.Furthermore,an event-triggering mechanism(ETM)with a switching threshold is proposed to alleviate the communication burden on the system.By proposing an adaptive parameter,a bounded estimation,and a smooth function approach,the effect of network measurement errors is effectively compensated for while simultaneously avoiding the Zeno phenomenon.Additionally,the developed adaptive finite-time control technique based on an NN guarantees finitetime convergence of the tracking error,thus enhancing the control accuracy of the system.In addition,the Lyapunov direct method demonstrates that the closed-loop system is semiglobally finite-time stable.Finally,simulation and experimental results show the effectiveness of the control strategy.
文摘We investigate the dynamic event-triggered state estimation for uncertain complex networks with hybrid delays suffering from both deception attacks and denial-of-service attacks.Firstly,the effects of time-varying delays and finitedistributed delays are considered during data transmission between nodes.Secondly,a dynamic event-triggered scheme(ETS)is introduced to reduce the frequency of data transmission between sensors and estimators.Thirdly,by considering the discussed plant,dynamic ETS,state estimator,and hybrid attacks into a unified framework,this framework is transferred into a novel dynamical model.Furthermore,with the help of Lyapunov stability theory and linear matrix inequality techniques,sufficient condition to ensure that the system is exponentially stable and satisfies H∞performance constraints is obtained,and the design algorithm for estimator gains is given.Finally,two numerical examples verify the effectiveness of the proposed method.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.62003194,61973199,61573008,and 61973200).
文摘This paper is concerned with the global stabilization of state-dependent switching neural networks(SDSNNs)viadiscontinuous event-triggered control with network-induced communication delay.Aiming at decreasing triggering times,a discontinuous event-trigger scheme is utilized to determine whether the sampling information is required to be sent outor not.Meanwhile,under the effect of communication delay,the trigger condition and SDSNNs are transformed into twotractable models by designing a fictitious delay function.Then,using the Lyapunov–Krasovskii stability theory,someinequality estimation techniques,and extended reciprocally convex combination method,two sufficient criteria are established for ensuring the global stabilization of the resulting closed-loop SDSNNs,respectively.A unified framework isderived that has the ability to handle the simultaneous existence of the communication delay,the properties of discontinuousevent-trigger scheme,as well as feedback controller design.Additionally,the developed results demonstrate a quantitativerelationship among the event trigger parameter,communication delay,and triggering times.Finally,two numerical examples are presented to illustrate the usefulness of the developed stabilization scheme.
基金The National Natural Science Foundation of China(W2431048)The Science and Technology Research Program of Chongqing Municipal Education Commission,China(KJZDK202300807)The Chongqing Natural Science Foundation,China(CSTB2024NSCQQCXMX0052).
文摘This paper addresses the consensus problem of nonlinear multi-agent systems subject to external disturbances and uncertainties under denial-ofservice(DoS)attacks.Firstly,an observer-based state feedback control method is employed to achieve secure control by estimating the system's state in real time.Secondly,by combining a memory-based adaptive eventtriggered mechanism with neural networks,the paper aims to approximate the nonlinear terms in the networked system and efficiently conserve system resources.Finally,based on a two-degree-of-freedom model of a vehicle affected by crosswinds,this paper constructs a multi-unmanned ground vehicle(Multi-UGV)system to validate the effectiveness of the proposed method.Simulation results show that the proposed control strategy can effectively handle external disturbances such as crosswinds in practical applications,ensuring the stability and reliable operation of the Multi-UGV system.
基金supported by the National Natural Science Foundation of China(Nos.52107126 and52077179)the Key Regional Innovation and Development Joint Fund Project(No.2023YFB2303901)the funding of Chengdu Guojia Electrical Engineering Co.,Ltd.(No.NEEC-2022-B11).
文摘The regenerative braking energy utilization system(RBEUS)stands as a promising technique for improving the efficiency and power quality of electrified railways.Beyond the vital aspects of energy management and control strategies,ensuring fault protection is paramount for the secure and steady operation of the traction power supply system(TPSS)integrated with RBEUS.This paper introduces an innovative protection scheme tailored to diverse RBEUS application scenarios.Firstly,fault categories are streamlined into three levels:system,equipment,and warning.Subsequently,a novel multi-port active power differential protection method,aligned with RBEUS operational principles,is crafted to serve as a comprehensive and sensitive main protection.Building upon this foundation,a hierarchical protection structure for RBEUS is established,addressing the intricacies and variations in fault types while boosting anti-disturbance capabilities under faulty conditions.Embracing the principle of railway-oriented safety,a collaborative RBEUS-TPSS protection scheme is put forth.Finally,through simulated scenarios encompassing various fault conditions,the proposed scheme’s feasibility and effectiveness are convincingly validated.
基金supported in part by the National Natural Science Foundation of China(62473221)the Natural Science Foundation of Shandong Province,China(ZR2024MF006)Qingdao Natural Science Foundation(24-4-4-zrjj-165-jch)。
文摘This paper is concerned with event-triggered control of discrete-time systems with or without input saturation.First,an accumulative-error-based event-triggered scheme is devised for control updates.When the accumulated error between the current state and the latest control update exceeds a certain threshold,an event is triggered.Such a scheme can ensure the event-generator works at a relatively low rate rather than falls into hibernation especially after the system steps into its steady state.Second,the looped functional method for continuous-time systems is extended to discrete-time systems.By introducing an innovative looped functional that links the event-triggered scheme,some sufficient conditions for the co-design of control gain and event-triggered parameters are obtained in terms of linear matrix inequalities with a couple of tuning parameters.Then,the proposed method is applied to discrete-time systems with input saturation.As a result,both suitable control gains and event-triggered parameters are also co-designed to ensure the system trajectories converge to the region of attraction.Finally,an unstable reactor system and an inverted pendulum system are given to show the effectiveness of the proposed method.
文摘BACKGROUND Elderly patients undergoing laparoscopic colorectal cancer surgery are at high risk for hypothermia-related complications.This study explores the efficacy of periop-erative composite insulation interventions in maintaining normothermia and reducing postoperative risks in this vulnerable group.AIM To evaluate the efficacy of perioperative composite insulation in older patients undergoing colorectal cancer surgery.METHODS We selected 100 older patients who underwent laparoscopic surgery for colorectal cancer at Huzhou Central Hospital from September 2023 to April 2024.Using a random number table,patients were divided into a control group and inter-vention group of 50 patients each.After returning to the regular ward,the con-ventional group received traditional insulation intervention measures,while the intervention group received composite insulation nursing intervention.We ob-served and recorded postoperative blood pressure and heart rate changes,as well as postoperative anesthesia recovery time and incidence of complications.RESULTS The statistical results showed significant differences(P<0.05)in heart rate changes and systolic blood pressure between the two groups.There was a sig-nificant change in heart rate between the groups immediately after surgery and at 15 and 30 minutes after surgery(P<0.05).The heart rate and systolic blood pressure of the intervention group were significantly lower than those of the control group at 15 and 30 minutes after surgery(P<0.05).The rewarming time of the intervention group was shorter than that of the control group,and the overall incidence of postoperative complications was significantly lower than that of the control group(P<0.05).CONCLUSION For elderly patients undergoing laparoscopic colorectal cancer surgery,a composite insulation intervention during the perioperative period can maintain body temperature,reduce postoperative stress,and significantly reduce the incidence of hypothermia and related complications.
基金jointly supported by the National Natural Science Foundation of China (U21A20495)Natural Science Foundation of Jiangsu Province (BG2024023)+1 种基金National Key Research and Development Program of China (2022YFE0112000)111 Project (D17018)。
文摘Multiple quantum well(MQW) Ⅲ-nitride diodes that can simultaneously emit and detect light feature an overlapping region between their electroluminescence and responsivity spectra, which allows them to be simultaneously used as both a transmitter and a receiver in a wireless light communication system. Here, we demonstrate a mobile light communication system using a time-division multiplexing(TDM) scheme to achieve bidirectional data transmission via the same optical channel.Two identical blue MQW diodes are defined by software as a transmitter or a receiver. To address the light alignment issue, an image identification module integrated with a gimbal stabilizer is used to automatically detect the locations of moving targets;thus, underwater audio communication is realized via a mobile blue-light TDM communication mode. This approach not only uses a single link but also integrates mobile nodes in a practical network.
文摘ADER-WAF methods were first introduced by researchers E.F. Toro and V.A. Titarev. The linear stability criterion for the model equation for the ADER-WAF schemes is CCFL≤1, where CCFLdenotes the Courant-Friedrichs-Lewy (CFL) coefficient. Toro and Titarev employed CCFL=0.95for their experiments. Nonetheless, we noted that the experiments conducted in this study with CCFL=0.95produced solutions exhibiting spurious oscillations, particularly in the high-order ADER-WAF schemes. The homogeneous one-dimensional (1D) non-linear Shallow Water Equations (SWEs) are the subject of these experiments, specifically the solution of the Riemann Problem (RP) associated with the SWEs. The investigation was conducted on four test problems to evaluate the ADER-WAF schemes of second, third, fourth, and fifth order of accuracy. Each test problem constitutes a RP characterized by different wave patterns in its solution. This research has two primary objectives. We begin by illustrating the procedure for implementing the ADER-WAF schemes for the SWEs, providing the required relations. Afterward, following comprehensive testing, we present the range for the CFL coefficient for each test that yields solutions with diminished or eliminated spurious oscillations.
