In the realm of Multi-Label Text Classification(MLTC),the dual challenges of extracting rich semantic features from text and discerning inter-label relationships have spurred innovative approaches.Many studies in sema...In the realm of Multi-Label Text Classification(MLTC),the dual challenges of extracting rich semantic features from text and discerning inter-label relationships have spurred innovative approaches.Many studies in semantic feature extraction have turned to external knowledge to augment the model’s grasp of textual content,often overlooking intrinsic textual cues such as label statistical features.In contrast,these endogenous insights naturally align with the classification task.In our paper,to complement this focus on intrinsic knowledge,we introduce a novel Gate-Attention mechanism.This mechanism adeptly integrates statistical features from the text itself into the semantic fabric,enhancing the model’s capacity to understand and represent the data.Additionally,to address the intricate task of mining label correlations,we propose a Dual-end enhancement mechanism.This mechanism effectively mitigates the challenges of information loss and erroneous transmission inherent in traditional long short term memory propagation.We conducted an extensive battery of experiments on the AAPD and RCV1-2 datasets.These experiments serve the dual purpose of confirming the efficacy of both the Gate-Attention mechanism and the Dual-end enhancement mechanism.Our final model unequivocally outperforms the baseline model,attesting to its robustness.These findings emphatically underscore the imperativeness of taking into account not just external knowledge but also the inherent intricacies of textual data when crafting potent MLTC models.展开更多
Four-color theorem has only been proved by computer since it was proposed, many people have proposed their mathematical proof of four-color theorem, but their proof is disputed then, what lead to a situation that the ...Four-color theorem has only been proved by computer since it was proposed, many people have proposed their mathematical proof of four-color theorem, but their proof is disputed then, what lead to a situation that the mathematical proof of four-color theorem has been lacking to this day. In this article, we have summarized some laws based on previous researches, and proposed a mathematical proof of four-color theorem by using these laws trough a recursive method.展开更多
Self-localization and orientation estimation are the essential capabilities for mobile robot navigation.In this article,a robust and real-time visual-inertial-GNSS(Global Navigation Satellite System)tightly coupled po...Self-localization and orientation estimation are the essential capabilities for mobile robot navigation.In this article,a robust and real-time visual-inertial-GNSS(Global Navigation Satellite System)tightly coupled pose estimation(RRVPE)method for aerial robot navigation is presented.The aerial robot carries a front-facing stereo camera for self-localization and an RGB-D camera to generate 3D voxel map.Ulteriorly,a GNSS receiver is used to continuously provide pseudorange,Doppler frequency shift and universal time coordinated(UTC)pulse signals to the pose estimator.The proposed system leverages the Kanade Lucas algorithm to track Shi-Tomasi features in each video frame,and the local factor graph solution process is bounded in a circumscribed container,which can immensely abandon the computational complexity in nonlinear optimization procedure.The proposed robot pose estimator can achieve camera-rate(30 Hz)performance on the aerial robot companion computer.We thoroughly experimented the RRVPE system in both simulated and practical circumstances,and the results demonstrate dramatic advantages over the state-of-the-art robot pose estimators.展开更多
基金supported by National Natural Science Foundation of China(NSFC)(Grant Nos.62162022,62162024)the Key Research and Development Program of Hainan Province(Grant Nos.ZDYF2020040,ZDYF2021GXJS003)+2 种基金the Major Science and Technology Project of Hainan Province(Grant No.ZDKJ2020012)Hainan Provincial Natural Science Foundation of China(Grant Nos.620MS021,621QN211)Science and Technology Development Center of the Ministry of Education Industry-University-Research Innovation Fund(2021JQR017).
文摘In the realm of Multi-Label Text Classification(MLTC),the dual challenges of extracting rich semantic features from text and discerning inter-label relationships have spurred innovative approaches.Many studies in semantic feature extraction have turned to external knowledge to augment the model’s grasp of textual content,often overlooking intrinsic textual cues such as label statistical features.In contrast,these endogenous insights naturally align with the classification task.In our paper,to complement this focus on intrinsic knowledge,we introduce a novel Gate-Attention mechanism.This mechanism adeptly integrates statistical features from the text itself into the semantic fabric,enhancing the model’s capacity to understand and represent the data.Additionally,to address the intricate task of mining label correlations,we propose a Dual-end enhancement mechanism.This mechanism effectively mitigates the challenges of information loss and erroneous transmission inherent in traditional long short term memory propagation.We conducted an extensive battery of experiments on the AAPD and RCV1-2 datasets.These experiments serve the dual purpose of confirming the efficacy of both the Gate-Attention mechanism and the Dual-end enhancement mechanism.Our final model unequivocally outperforms the baseline model,attesting to its robustness.These findings emphatically underscore the imperativeness of taking into account not just external knowledge but also the inherent intricacies of textual data when crafting potent MLTC models.
文摘Four-color theorem has only been proved by computer since it was proposed, many people have proposed their mathematical proof of four-color theorem, but their proof is disputed then, what lead to a situation that the mathematical proof of four-color theorem has been lacking to this day. In this article, we have summarized some laws based on previous researches, and proposed a mathematical proof of four-color theorem by using these laws trough a recursive method.
基金Supported by the Guizhou Provincial Science and Technology Projects([2020]2Y044)the Science and Technology Projects of China Southern Power Grid Co.Ltd.(066600KK52170074)the National Natural Science Foundation of China(61473144)。
文摘Self-localization and orientation estimation are the essential capabilities for mobile robot navigation.In this article,a robust and real-time visual-inertial-GNSS(Global Navigation Satellite System)tightly coupled pose estimation(RRVPE)method for aerial robot navigation is presented.The aerial robot carries a front-facing stereo camera for self-localization and an RGB-D camera to generate 3D voxel map.Ulteriorly,a GNSS receiver is used to continuously provide pseudorange,Doppler frequency shift and universal time coordinated(UTC)pulse signals to the pose estimator.The proposed system leverages the Kanade Lucas algorithm to track Shi-Tomasi features in each video frame,and the local factor graph solution process is bounded in a circumscribed container,which can immensely abandon the computational complexity in nonlinear optimization procedure.The proposed robot pose estimator can achieve camera-rate(30 Hz)performance on the aerial robot companion computer.We thoroughly experimented the RRVPE system in both simulated and practical circumstances,and the results demonstrate dramatic advantages over the state-of-the-art robot pose estimators.