检索结果-南通市图书馆

维普期刊数据库

Adaptive coupled-sliding-variable-based finite-time control of composite formation for multi-robot systems

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第10期67卷 244-260页

作者： Xinru MA Hengyu LI Jun LIU Yueying WANG Shaorong XIE Jun LUO school of Mechatronic Engineering and Automation Shanghai University school of Mathematics and computer application Technology Jining University school of computer Science Shanghai University College of Mechanical and Vehicle Engineering Chongqing University

This paper focuses on the finite-time control(FTC) of the composite formation consensus(CFC)problems for multi-robot systems(MRSs). The CFC problems are firstly proposed for MRSs under the complex network topology of cooperative or cooperative-competitive networks. Regarding the problems of FTC and CFC on multiple Lagrange systems(MLSs), coupled sliding variables are introduced to deal with the robustness and consistent convergence. Then, the adaptive finite-time protocols are given based on the displacement approaches. With the premised FTC, tender-tracking methods are further developed for the problems of tracking information disparity. Stability analyses of those MLSs mentioned above are clarified with Lyapunov candidates considering the coupled sliding vectors, which provide new verification for tender-tracking systems. Under the given coupled-sliding-variable-based finite-time protocols, MLSs distributively adjust the local formation error to achieve global CFC and perform uniform convergence in time-varying tracking. Finally, simulation experiments are conducted while providing practical solutions for the theoretical results.

关键词： composite formation time-vary tracking information disparity tender-tracking finite-time control nonlinear robots complex networks symmetry consensus

Neighbor Sum Distinguishing Total Choosability of Planar Graphs with Maximum Degree at Least 10

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Acta Mathematicae Applicatae Sinica 2024年第1期40卷 211-224页

作者： Dong-han Zhang You Lu Sheng-gui Zhang Li Zhang school of Mathematics and Statistics Northwestern Polytechnical UniversityXi’an710129China school of Mathematics and computer application Shangluo UniversityShangluo726000China

A neighbor sum distinguishing(NSD)total coloringφof G is a proper total coloring of G such thatΣz∈EG(u)U{u}φ(z)≠Σz∈EG(v)U{v}φ(z)for each edge uv∈E(G),where EG(u)is the set of edges incident with a vertex *** 2015,Pilśniak and Wozniak conjectured that every graph with maximum degreeΔhas an NSD total(Δ+3)-***,Yang et *** that the conjecture holds for planar graphs withΔ≥10,and Qu et *** that the list version of the conjecture also holds for planar graphs withΔ≥*** this paper,we improve their results and prove that the list version of the conjecture holds for planar graphs withΔ≥10.

关键词： planar graphs neighbor sum distinguishing total choosibility combinatorial nullstellensatz discharging method

维普期刊数据库

CAT: A Simple yet Effective Cross-Attention Transformer for One-Shot Object Detection

在线全文

学校读者我要写书评

暂无评论

Journal of computer Science & Technology 2024年第2期39卷 460-471页

作者：林蔚东邓玉岩高扬王宁刘凌峤张磊王鹏 school of computer Science Northwestern Polytechnical UniversityXi’an710000China National Engineering Laboratory for Integrated Aero-Space-Ground-Ocean Big Data application Technology Northwestern Polytechnical UniversityXi'an710000China school of computer Science The University of AdelaideAdelaideSA 0115Australia

Given a query patch from a novel class,one-shot object detection aims to detect all instances of this class in a target image through the semantic similarity ***,due to the extremely limited guidance in the novel class as well as the unseen appearance difference between the query and target instances,it is difficult to appropriately exploit their semantic similarity and generalize *** mitigate this problem,we present a universal Cross-Attention Transformer(CAT)module for accurate and efficient semantic similarity comparison in one-shot object *** proposed CAT utilizes the transformer mechanism to comprehensively capture bi-directional correspondence between any paired pixels from the query and the target image,which empowers us to sufficiently exploit their semantic characteristics for accurate similarity *** addition,the proposed CAT enables feature dimensionality compression for inference speedup without performance *** experiments on three object detection datasets MS-COCO,PASCAL VOC and FSOD under the one-shot setting demonstrate the effectiveness and efficiency of our model,e.g.,it surpasses CoAE,a major baseline in this task,by 1.0%in average precision(AP)on MS-COCO and runs nearly 2.5 times faster.

关键词： one-shot object detection Transformer attention mechanism

Real-time distance field acceleration based free-viewpoint video synthesis for large sports fields

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computational Visual Media 2024年第2期10卷 331-353页

作者： Yanran Dai Jing Li Yuqi Jiang Haidong Qin Bang Liang Shikuan Hong Haozhe Pan Tao Yang school of Telecommunications Engineering Xidian UniversityXi’an 710071China National Engineering Laboratory for Integrated AeroSpace-Ground-Ocean Big Data application Technology SAIIPthe School of Computer ScienceNorthwestern Polytechnical UniversityXi’an 710129China

Free-viewpoint video allows the user to view objects from any virtual perspective,creating an immersive visual *** technology enhances the interactivity and freedom of multimedia ***,many free-viewpoint video synthesis methods hardly satisfy the requirement to work in real time with high precision,particularly for sports fields having large areas and numerous moving *** address these issues,we propose a freeviewpoint video synthesis method based on distance field *** central idea is to fuse multiview distance field information and use it to adjust the search step size *** step size search is used in two ways:for fast estimation of multiobject three-dimensional surfaces,and synthetic view rendering based on global occlusion *** have implemented our ideas using parallel computing for interactive display,using CUDA and OpenGL frameworks,and have used real-world and simulated experimental datasets for *** results show that the proposed method can render free-viewpoint videos with multiple objects on large sports fields at 25 ***,the visual quality of our synthetic novel viewpoint images exceeds that of state-of-the-art neural-rendering-based methods.

关键词： free-viewpoint video view synthesis camera array distance field sports video

Understanding and improving fairness in cognitive diagnosis

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第5期67卷 99-114页

作者： Zheng ZHANG Le WU Qi LIU Jiayu LIU Zhenya HUANG Yu YIN Yan ZHUANG Weibo GAO Enhong CHEN Anhui Province Key Laboratory of Big Data Analysis and application School of Computer Science and Technology& School of Data Science University of Science and Technology of China State Key Laboratory of Cognitive Intelligence school of computer Science and Information Engineering Hefei University of Technology

Intelligent education is a significant application of artificial intelligence. One of the key research topics in intelligence education is cognitive diagnosis, which aims to gauge the level of proficiency among students on specific knowledge concepts(e.g., Geometry). To the best of our knowledge, most of the existing cognitive models primarily focus on improving diagnostic accuracy while rarely considering fairness issues; for instance, the diagnosis of students may be affected by various sensitive attributes(e.g., region). In this paper,we aim to explore fairness in cognitive diagnosis and answer two questions:(1) Are the results of existing cognitive diagnosis models affected by sensitive attributes?(2) If yes, how can we mitigate the impact of sensitive attributes to ensure fair diagnosis results? To this end, we first empirically reveal that several wellknown cognitive diagnosis methods usually lead to unfair performances, and the trend of unfairness varies among different cognitive diagnosis models. Then, we make a theoretical analysis to explain the reasons behind this phenomenon. To resolve the unfairness problem in existing cognitive diagnosis models, we propose a general fairness-aware cognitive diagnosis framework, FairCD. Our fundamental principle involves eliminating the effect of sensitive attributes on student proficiency. To achieve this, we divide student proficiency in existing cognitive diagnosis models into two components: bias proficiency and fair *** design two orthogonal tasks for each of them to ensure that fairness in proficiency remains independent of sensitive attributes and take it as the final diagnosed result. Extensive experiments on the Program for International Student Assessment(PISA) dataset clearly show the effectiveness of our framework.

关键词： fairness intelligent education cognitive diagnosis psychometrics adversarial learning

Improving Network Availability through Optimized Multipath Routing and Incremental Deployment Strategies

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

computers, Materials & Continua 2024年第7期80卷 427-448页

作者： Wei Zhang Haijun Geng computer application Teaching and Research Section China University of Labor RelationsBeijing100048China school of Automation and Software Engineering Shanxi UniversityTaiyuan030006China

Currently,distributed routing protocols are constrained by offering a single path between any pair of nodes,thereby limiting the potential throughput and overall network *** approach not only restricts the flow of data but also makes the network susceptible to failures in case the primary path is *** contrast,routing protocols that leverage multiple paths within the network offer a more resilient and efficient *** routing,as a fundamental concept,surpasses the limitations of traditional shortest path first *** not only redirects traffic to unused resources,effectively mitigating network congestion,but also ensures load balancing across the *** optimization significantly improves network utilization and boosts the overall performance,making it a widely recognized efficient method for enhancing network *** further strengthen network resilience against failures,we introduce a routing scheme known as Multiple Nodes with at least Two Choices(MNTC).This innovative approach aims to significantly enhance network availability by providing each node with at least two routing *** doing so,it not only reduces the dependency on a single path but also creates redundant paths that can be utilized in case of failures,thereby enhancing the overall resilience of the *** ensure the optimal placement of nodes,we propose three incremental deployment *** algorithms carefully select the most suitable set of nodes for deployment,taking into account various factors such as node connectivity,traffic patterns,and network *** deployingMNTCon a carefully chosen set of nodes,we can significantly enhance network reliability without the need for a complete overhaul of the existing *** have conducted extensive evaluations of MNTC in diverse topological spaces,demonstrating its effectiveness in maintaining high network availability with minimal path *** results are impressive,sh

关键词： Multipath routing network availability incremental deployment schemes genetic algorithm

Unveiling factuality and injecting knowledge for LLMs via reinforcement learning and data proportion

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第10期67卷 389-390页

作者： Wenjun KE Ziyu SHANG Zhizhao LUO Peng WANG Yikai GUO Qi LIU Yuxuan CHEN school of computer Science and Engineering Southeast University Key Laboratory of New Generation Artificial Intelligence Technology and Its Interdisciplinary applications(Southeast University) Beijing Institute of Technology Zhuhai Beijing Institute of computer Technology and application

Large language models(LLMs) have demonstrated remarkable effectiveness across various natural language processing(NLP) tasks, as evidenced by recent studies [1, 2]. However, these models often produce responses that conflict with reality due to the unreliable distribution of facts within their training data, which is particularly critical for applications requiring high credibility and accuracy [3].

关键词：

同方期刊数据库

Multispectral point cloud superpoint segmentation

在线全文

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 2024年第4期67卷 1270-1281页

作者： WANG QingWang WANG MingYe ZHANG ZiFeng SONG Jian ZENG Kai SHEN Tao GU YanFeng Faculty of Information Engineering and Automation Kunming University of Science and TechnologyKunming 650500China Yunnan Key Laboratory of computer Technologies application Kunming 650500China school of Electronics and Information Engineering Harbin Institute of TechnologyHarbin 150001China

The multitude of airborne point clouds limits the point cloud processing *** are grouped based on similar points,which can effectively alleviate the demand for computing resources and improve processing ***,existing superpoint segmentation methods focus only on local geometric structures,resulting in inconsistent spectral features of points within a *** feature inconsistencies degrade the performance of subsequent ***,this study proposes a novel Superpoint Segmentation method that jointly utilizes spatial Geometric and Spectral Information for multispectral point cloud superpoint segmentation(GSI-SS).Specifically,a similarity metric that combines spatial geometry and spectral information is proposed to facilitate the consistency of geometric structures and object attributes within segmented *** the formation of the primary superpoints,an intersuperpoint pointexchange mechanism that maximizes feature consistency within the final superpoints is *** are conducted on two real multispectral point cloud datasets,and the proposed method achieved higher recall,precision,F score,and lower global consistency and feature classification *** experimental results demonstrate the superiority of the proposed GSI-SS over several state-of-the-art methods.

关键词： multispectral point cloud superpoint segmentation over-segmentation spatial-spectral joint metric

维普期刊数据库

Formal Verification of Data Modifications in Cloud Block Storage Based on Separation Logic

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第1期33卷 112-127页

作者： Bowen ZHANG Zhao JIN Hanpin WANG Yongzhi CAO Key Laboratory of High Confidence Software Technologies (MOE) School of Computer Science Peking University school of computer and Artificial Intelligence Zhengzhou University school of computer Science and Cyber Engineering Guangzhou University

Cloud storage is now widely used, but its reliability has always been a major concern. Cloud block storage(CBS) is a famous type of cloud storage. It has the closest architecture to the underlying storage and can provide interfaces for other types. Data modifications in CBS have potential risks such as null reference or data *** verification of these operations can improve the reliability of CBS to some extent. Although separation logic is a mainstream approach to verifying program correctness, the complex architecture of CBS creates some challenges for verifications. This paper develops a proof system based on separation logic for verifying the CBS data modifications. The proof system can represent the CBS architecture, describe the properties of the CBS system state, and specify the behavior of CBS data modifications. Using the interactive verification approach from Coq, the proof system is implemented as a verification tool. With this tool, the paper builds machine-checked proofs for the functional correctness of CBS data modifications. This work can thus analyze the reliability of cloud storage from a formal perspective.

关键词： Cloud computing Behavioral sciences Reliability Formal verification