A nowhere-zero k-flow on a graph G=(V(G),E(G))is a pair(D,f),where D is an orientation on E(G)and f:E(G)→{±1,±2,,±(k-1)}is a function such that the total outflow equals to the total inflow at each vert...A nowhere-zero k-flow on a graph G=(V(G),E(G))is a pair(D,f),where D is an orientation on E(G)and f:E(G)→{±1,±2,,±(k-1)}is a function such that the total outflow equals to the total inflow at each vertex.This concept was introduced by Tutte as an extension of face colorings,and Tutte in 1954 conjectured that every bridgeless graph admits a nowhere-zero 5-flow,known as the 5-Flow Conjecture.This conjecture is verified for some graph classes and remains unresolved as of today.In this paper,we show that every bridgeless graph of Euler genus at most 20 admits a nowhere-zero 5-flow,which improves several known results.展开更多
Delay aware routing is now widely used to provide efficient network transmission. However, for newly developing or developed mobile communication networks(MCN), only limited delay data can be obtained. In such a netwo...Delay aware routing is now widely used to provide efficient network transmission. However, for newly developing or developed mobile communication networks(MCN), only limited delay data can be obtained. In such a network, the delay is with epistemic uncertainty, which makes the traditional routing scheme based on deterministic theory or probability theory not applicable. Motivated by this problem, the MCN with epistemic uncertainty is first summarized as a dynamic uncertain network based on uncertainty theory, which is widely applied to model epistemic uncertainties. Then by modeling the uncertain end-toend delay, a new delay bounded routing scheme is proposed to find the path with the maximum belief degree that satisfies the delay threshold for the dynamic uncertain network. Finally, a lowEarth-orbit satellite communication network(LEO-SCN) is used as a case to verify the effectiveness of our routing scheme. It is first modeled as a dynamic uncertain network, and then the delay bounded paths with the maximum belief degree are computed and compared under different delay thresholds.展开更多
A robust controller for bank to turn(BTT) missiles with aerodynamic fins and reaction jet control system(RCS) is developed based on nonlinear control dynamic models comprising couplings and aerodynamic uncertainties. ...A robust controller for bank to turn(BTT) missiles with aerodynamic fins and reaction jet control system(RCS) is developed based on nonlinear control dynamic models comprising couplings and aerodynamic uncertainties. The fixed time convergence theory is incorporated with the sliding mode control technique to ensure that the system tracks the desired command within uniform bounded time under different initial conditions. Unlike previous terminal sliding mode approaches, the bound of settling time is independent of the initial state, which means performance metrics like convergence rate can be predicted beforehand. To reduce the burden of control design in terms of robustness, extended state observer(ESO) is introduced for uncertainty estimation with the output substituted into the controller as feedforward compensation. Cascade control structure is employed with the proposed control law and therein the compound control signal is obtained.Afterwards, control inputs for two kinds of actuators are allocated on the basis of their inherent characteristics. Finally, a number of simulations are carried out and demonstrate the effectiveness of the designed controller.展开更多
The robust bounded flight control scheme is developed for the uncertain longitudinal flight dynamics of the fighter with control input saturation invoking the backstepping technique. To enhance the disturbance rejecti...The robust bounded flight control scheme is developed for the uncertain longitudinal flight dynamics of the fighter with control input saturation invoking the backstepping technique. To enhance the disturbance rejection ability of the robust flight control for fighters, the sliding mode disturbance observer is designed to estimate the compounded disturbance including the unknown external disturbance and the effect of the control input saturation. Based on the backstepping technique and the compounded disturbance estimated output, the robust bounded flight control scheme is proposed for the fighter with the unknown external disturbance and the control input saturation. The closed-loop system stability under the developed robust bounded flight control scheme is rigorously proved using the Lyapunov method and the uniformly asymptotical convergences of all closed-loop signals are guaranteed. Finally, simulation results are presented to show the effectiveness of the proposed robust bounded flight control scheme for the uncertain longitudinal flight dynamics of the fighter.展开更多
In the study of oriented bounding boxes(OBB)object detection in high-resolution remote sensing images,the problem of missed and wrong detection of small targets occurs because the targets are too small and have differ...In the study of oriented bounding boxes(OBB)object detection in high-resolution remote sensing images,the problem of missed and wrong detection of small targets occurs because the targets are too small and have different orientations.Existing OBB object detection for remote sensing images,although making good progress,mainly focuses on directional modeling,while less consideration is given to the size of the object as well as the problem of missed detection.In this study,a method based on improved YOLOv8 was proposed for detecting oriented objects in remote sensing images,which can improve the detection precision of oriented objects in remote sensing images.Firstly,the ResCBAMG module was innovatively designed,which could better extract channel and spatial correlation information.Secondly,the innovative top-down feature fusion layer network structure was proposed in conjunction with the Efficient Channel Attention(ECA)attention module,which helped to capture inter-local cross-channel interaction information appropriately.Finally,we introduced an innovative ResCBAMG module between the different C2f modules and detection heads of the bottom-up feature fusion layer.This innovative structure helped the model to better focus on the target area.The precision and robustness of oriented target detection were also improved.Experimental results on the DOTA-v1.5 dataset showed that the detection Precision,mAP@0.5,and mAP@0.5:0.95 metrics of the improved model are better compared to the original model.This improvement is effective in detecting small targets and complex scenes.展开更多
Let X=Σ_(i=1)^(n)a_(i)ξ_(i)be a Rademacher sum with Var(X)=1 and Z be a standard normal random variable.This paper concerns the upper bound of|P(X≤x)−P(Z≤x)|for any x∈R.Using the symmetric properties and R softwa...Let X=Σ_(i=1)^(n)a_(i)ξ_(i)be a Rademacher sum with Var(X)=1 and Z be a standard normal random variable.This paper concerns the upper bound of|P(X≤x)−P(Z≤x)|for any x∈R.Using the symmetric properties and R software,this paper gets the following improved Berry-Esseen type bound under some conditions,|P(X≤x)−P(Z≤x)|≤P(Z∈(0,a1)),∀x∈R,which is one of the modified conjecture proposed by Nathan K.and Ohad K.展开更多
文摘A nowhere-zero k-flow on a graph G=(V(G),E(G))is a pair(D,f),where D is an orientation on E(G)and f:E(G)→{±1,±2,,±(k-1)}is a function such that the total outflow equals to the total inflow at each vertex.This concept was introduced by Tutte as an extension of face colorings,and Tutte in 1954 conjectured that every bridgeless graph admits a nowhere-zero 5-flow,known as the 5-Flow Conjecture.This conjecture is verified for some graph classes and remains unresolved as of today.In this paper,we show that every bridgeless graph of Euler genus at most 20 admits a nowhere-zero 5-flow,which improves several known results.
基金National Natural Science Foundation of China (61773044,62073009)National key Laboratory of Science and Technology on Reliability and Environmental Engineering(WDZC2019601A301)。
文摘Delay aware routing is now widely used to provide efficient network transmission. However, for newly developing or developed mobile communication networks(MCN), only limited delay data can be obtained. In such a network, the delay is with epistemic uncertainty, which makes the traditional routing scheme based on deterministic theory or probability theory not applicable. Motivated by this problem, the MCN with epistemic uncertainty is first summarized as a dynamic uncertain network based on uncertainty theory, which is widely applied to model epistemic uncertainties. Then by modeling the uncertain end-toend delay, a new delay bounded routing scheme is proposed to find the path with the maximum belief degree that satisfies the delay threshold for the dynamic uncertain network. Finally, a lowEarth-orbit satellite communication network(LEO-SCN) is used as a case to verify the effectiveness of our routing scheme. It is first modeled as a dynamic uncertain network, and then the delay bounded paths with the maximum belief degree are computed and compared under different delay thresholds.
基金supported by the National Natural Science Foundation of China(11572036)
文摘A robust controller for bank to turn(BTT) missiles with aerodynamic fins and reaction jet control system(RCS) is developed based on nonlinear control dynamic models comprising couplings and aerodynamic uncertainties. The fixed time convergence theory is incorporated with the sliding mode control technique to ensure that the system tracks the desired command within uniform bounded time under different initial conditions. Unlike previous terminal sliding mode approaches, the bound of settling time is independent of the initial state, which means performance metrics like convergence rate can be predicted beforehand. To reduce the burden of control design in terms of robustness, extended state observer(ESO) is introduced for uncertainty estimation with the output substituted into the controller as feedforward compensation. Cascade control structure is employed with the proposed control law and therein the compound control signal is obtained.Afterwards, control inputs for two kinds of actuators are allocated on the basis of their inherent characteristics. Finally, a number of simulations are carried out and demonstrate the effectiveness of the designed controller.
基金supported by the National Natural Science Foundation of China(61174102)the Jiangsu Natural Science Foundation of China(SBK20130033)+1 种基金the NUAA Fundamental Research Funds(NS2013028)the Specialized Research Fund for the Doctoral Program of Higher Education(20133218110013)
文摘The robust bounded flight control scheme is developed for the uncertain longitudinal flight dynamics of the fighter with control input saturation invoking the backstepping technique. To enhance the disturbance rejection ability of the robust flight control for fighters, the sliding mode disturbance observer is designed to estimate the compounded disturbance including the unknown external disturbance and the effect of the control input saturation. Based on the backstepping technique and the compounded disturbance estimated output, the robust bounded flight control scheme is proposed for the fighter with the unknown external disturbance and the control input saturation. The closed-loop system stability under the developed robust bounded flight control scheme is rigorously proved using the Lyapunov method and the uniformly asymptotical convergences of all closed-loop signals are guaranteed. Finally, simulation results are presented to show the effectiveness of the proposed robust bounded flight control scheme for the uncertain longitudinal flight dynamics of the fighter.
文摘In the study of oriented bounding boxes(OBB)object detection in high-resolution remote sensing images,the problem of missed and wrong detection of small targets occurs because the targets are too small and have different orientations.Existing OBB object detection for remote sensing images,although making good progress,mainly focuses on directional modeling,while less consideration is given to the size of the object as well as the problem of missed detection.In this study,a method based on improved YOLOv8 was proposed for detecting oriented objects in remote sensing images,which can improve the detection precision of oriented objects in remote sensing images.Firstly,the ResCBAMG module was innovatively designed,which could better extract channel and spatial correlation information.Secondly,the innovative top-down feature fusion layer network structure was proposed in conjunction with the Efficient Channel Attention(ECA)attention module,which helped to capture inter-local cross-channel interaction information appropriately.Finally,we introduced an innovative ResCBAMG module between the different C2f modules and detection heads of the bottom-up feature fusion layer.This innovative structure helped the model to better focus on the target area.The precision and robustness of oriented target detection were also improved.Experimental results on the DOTA-v1.5 dataset showed that the detection Precision,mAP@0.5,and mAP@0.5:0.95 metrics of the improved model are better compared to the original model.This improvement is effective in detecting small targets and complex scenes.
基金supported by the National Natural Science Foundation of China(Grant No.11861029)the Hainan Provincial Natural Science Foundation of China(Grants Nos.122MS056,124MS056).
文摘Let X=Σ_(i=1)^(n)a_(i)ξ_(i)be a Rademacher sum with Var(X)=1 and Z be a standard normal random variable.This paper concerns the upper bound of|P(X≤x)−P(Z≤x)|for any x∈R.Using the symmetric properties and R software,this paper gets the following improved Berry-Esseen type bound under some conditions,|P(X≤x)−P(Z≤x)|≤P(Z∈(0,a1)),∀x∈R,which is one of the modified conjecture proposed by Nathan K.and Ohad K.
