检索结果-内蒙古大学图书馆

II-NVM: Enhancing Map Accuracy and Consistency With Normal Vector-Assisted Mapping

IEEE robotics and Automation Letters 2025年第6期10卷 5465-5472页

作者： Zhao, Chengwei Li, Yixuan Jian, Yina Xu, Jie Wang, Linji Ma, Yongxin Jin, Xinglai Xi'an Jiaotong University Institute of Artificial Intelligence and Robotics Xi'an710049 China Hangzhou Qisheng Intelligent Techology Company Ltd Hangzhou311217 China Columbia University in the City of New York Department of Computer Science New YorkNY10027 United States Harbin Institute of Technology State Key Laboratory of Robotics and Systems Harbin150001 China Nanyang Technological University School of Electrical and Electronic Engineering 639798 Singapore School of Electrical and Electronic Engineering Nanyang Technological University 639798 Singapore

SLAM technology plays a crucial role in indoor mapping and localization. A common challenge in indoor environments is the "double-sided mapping issue", where closely positioned walls, doors, and other surfaces are mistakenly identified as a single plane, significantly hindering map accuracy and consistency. To addressing this issue this letter introduces a SLAM approach that ensures accurate mapping using normal vector consistency. We enhance the voxel map structure to store both point cloud data and normal vector information, enabling the system to evaluate consistency during nearest neighbor searches and map updates. This process distinguishes between the front and back sides of surfaces, preventing incorrect point-to-plane constraints. Moreover, we implement an adaptive radius KD-tree search method that dynamically adjusts the search radius based on the local density of the point cloud, thereby enhancing the accuracy of normal vector calculations. To further improve real-time performance and storage efficiency, we incorporate a Least Recently Used (LRU) cache strategy, which facilitates efficient incremental updates of the voxel map. The code is released as open-source and validated in both simulated environments and real indoor scenarios. Experimental results demonstrate that this approach effectively resolves the "double-sided mapping issue" and significantly improves mapping precision. Additionally, we have developed and open-sourced the first simulation and real-world dataset specifically tailored for the "double-sided mapping issue". © 2016 IEEE.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

Design and Development of a Fixed-Wing Tail-Sitter Tethered VTOL Drone with Custom Autopilot and Robust Control Techniques 16th

Design and Development of a Fixed-Wing Tail-Sitter Tether...

引用

16th APCA International Conference on Automatic Control and Soft Computing, CONTROLO 2024

作者： Safaee, Ahmad Aguiar, A. Pedro Santos, Filipe Neves Moreira, Antonio Paulo SYSTEC-ARISE Research Center for Systems and Technologies Faculty of Engineering University of Porto Porto4200-465 Portugal INESC-TEC-Institute for Systems and Computer Engineering Technology and Science CRIIS-Centre for Robotics in Industry and Intelligent Systems Porto4200-465 Portugal INESC-TEC-Institute for Systems and Computer Engineering and DEEC/FEUP - Department of Electrical and Computer Engineering Faculty of Engineering of the University of Porto Porto4200-465 Portugal

ISBN: (纸本)9783031817236

The need for aerial platforms capable of sustained operation is critical in fields such as surveillance, agricultural monitoring, disaster response, and temporary telecommunication systems. Traditional unmanned aerial vehicles (UAVs) are hampered by limited battery capacity and inefficient energy utilization. This paper introduces an autonomous vertical flight drone tethered to a ground-based platform, which overcomes these limitations. The drone is designed to optimize its position and energy usage by harnessing wind currents, functioning similarly to a kite when conditions permit. This is enabled by a custom-designed autopilot system comprising both hardware and software tailored for this application. We detail the model identification process for three vertical take-off and landing (VTOL) drone systems, employing authentic data that measures lateral positional errors from the tether. Robust mixed sensitivity controllers are developed and implemented. The effectiveness of these controllers is validated through simulations showing their capability to handle uncertainties. Furthermore, the practical application and robust performance of the system are confirmed by a real-world case study, highlighting its potential in real operational environments. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： VTOL/STOL aircraft

来源：评论

学校读者我要写书评

暂无评论

Retinal disorder diagnosis based on hybrid deep learning models

引用

Multimedia Tools and Applications 2025年 1-25页

作者： Sedik, Ahmed El-Shafai, Walid El-Hag, Noha A. El-Banby, Ghada M. Abd El-Samie, Fathi E. Smart Systems Engineering Laboratory College of Engineering Prince Sultan University Riyadh11586 Saudi Arabia Department of the Robotics and Intelligent Machines Faculty of Artificial Intelligence Kafrelsheikh University Kafr el-Sheikh Egypt Computer Science Department Prince Sultan University Riyadh11586 Saudi Arabia Department of Electronics and Electrical Communications Engineering Faculty of Electronic Engineering Menoufia University Menouf32952 Egypt The Higher Institute of Commercial Sciences Algarbia Al Mahalla Al Kubra31951 Egypt Department of Industrial Electronics and Control Engineering Faculty of Electronic Engineering Menoufia University Menouf32952 Egypt Department of Information Technology College of Computer and Information Sciences Princess Nourah Bint Abdulrahman University P.O. Box 84428 Riyadh11671 Saudi Arabia

Anomaly detection from medical images is badly needed for automated diagnosis. For example, medical images obtained with several modalities, such as magnetic resonance (MR) and confocal microscopy, need to be classified for anomaly detection. The MR images may contain tumors that need to be detected with anomaly detection techniques. In MR imaging, brain tumors are represented as areas composed of abnormal cells that need to be detected. On the other hand, confocal microscopy can be used for retinal imaging. Hence, there is a need to apply classification techniques for diagnosing diseases of the eye, such as Diabetic Retinopathy (DR), which leads to exudates in different regions of the retina. The detection of exudates is necessary for the diagnosis of DR. In this paper, two models are presented for the classification of MR and retinal images. Much research has been done in this area, but it did not achieve high accuracy of classification in an acceptable time. In addition, the previous models did not consider both types of image modalities considered in this paper. The suggested models are Convolutional Neural Network (CNN) and Convolutional Long Short-Term Memory (Conv-LSTM). They are used to classify normal and abnormal cases of both brain tumor and DR diseases. The CNN model is composed of six convolutional layers and six max-pooling layers. A soft-max activation function takes the classification decision. The proposed Conv-LSTM model is composed of three stages: pre-processing, feature extraction, and classification. The deep learning model performance is better than those of traditional networks. The CNN gives an accuracy of 94.26% for DR classification and 95.8% for brain tumor classification, while the Conv-LSTM gives the maximum accuracy of 96.41% for DR classification and 97.4% for brain tumor classification. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2025.

关键词： Confocal microscopy

来源：评论

学校读者我要写书评

暂无评论

Blockchain-Enabled Secure Offloading for VEC: A Multi-Agent Reinforcement Learning Approach

引用

IEEE Transactions on Dependable and Secure Computing 2025年第3期22卷 2978-2995页

作者： Lu, Xiaozhen Xiao, Liang Xiao, Yilin Xiong, Zehui Liu, Zhe Zhang, Yanyong Zhuang, Weihua Nanjing University of Aeronautics and Astronautics College of Computer Science and Technology Nanjing211106 China Xiamen University Department of Information and Communication Engineering Xiamen361005 China Shenzhen Institute of Artificial Intelligence and Robotics for Society Shenzhen518172 China Singapore University of Technology and Design Pillar of Information Systems Technology and Design 487372 Singapore Zhejiang Lab Hangzhou310027 China University of Science and Technology of China School of Computer Science and Technology Hefei230026 China University of Waterloo Department of Electrical and Computer Engineering WaterlooONN2L 3G1 Canada

Vehicular edge computing (VEC) helps improve the task computational performance of vehicles on roads but has difficulty in defending against eavesdropping and selfish attacks simultaneously. In this paper, we design a reputation-based smart contract with blockchain and propose a multi-agent reinforcement learning (RL) based secure offloading scheme for VEC against both eavesdropping and selfish attacks. This scheme has a three-level hierarchical structure for each vehicle and uses the reputations obtained from the blockchain as the basis to optimize the edge node selection, offloading ratio, and power allocation, which aims to reduce the task computational latency, the vehicle energy consumption and eavesdropping rate. By using a punishment function based on the constraints, this scheme avoids exploring dangerous policies that can cause task failure or severe data leakage. A multi-agent deep RL-based secure offloading scheme is proposed for vehicles with sufficient resources, which evaluates the long-term risk rather than the punishment function to further improve the secure offloading performance. The regret bound is analyzedand the cumulative reward upper bound is provided. Simulation results verify the effectiveness of our schemes as compared with the benchmark. © 2004-2012 IEEE.

关键词： Computation offloading

来源：评论

学校读者我要写书评

暂无评论

Recyclable thin-film soft electronics for smart packaging and e-skins

arXiv

引用

arXiv 2025年

作者： Carneiro, Manuel Reis de Almeida, Aníbal T. Tavakoli, Mahmoud Majidi, Carmel Soft Machines Lab Department of Mechanical Engineering Carnegie Mellon University PittsburghPA15213 United States Institute of Systems and Robotics Department of Electrical and Computer Engineering University of Coimbra Coimbra3030-290 Portugal

Despite advances in soft, sticker-like electronics, few efforts have dealt with the challenge of electronic waste. Here, we address this by introducing an eco-friendly conductive ink for thin-film circuitry composed of silver flakes (Ag) and a water-based polyurethane (WPU) dispersion. This ink uniquely combines high electrical conductivity (1.6x105 S/m), high resolution digital printability, robust adhesion for microchip integration, mechanical resilience, and recyclability. Recycling is achieved with an ecologically-friendly processing method to decompose the circuits into constituent elements and recover the conductive ink with a decrease of only 2.4% in conductivity. Moreover, adding liquid metal enables stretchability of up to 200% strain, although this introduces the need for more complex recycling steps. Lastly, we demonstrate on-skin electrophysiological monitoring biostickers along with a recyclable smart package with integrated sensors for monitoring safe storage of perishable foods. © 2025, CC BY-NC-ND.

关键词： Electronic Waste

来源：评论

学校读者我要写书评

暂无评论

Distributed Computation of Source, Target, and Mixed Strongly Connected Components in Multi-agent systems 16th

Distributed Computation of Source, Target, and Mixed Stron...

引用

16th APCA International Conference on Automatic Control and Soft Computing, CONTROLO 2024

作者： Ramos, Guilherme Pequito, Sérgio Department of Computer Science and Engineering Instituto Superior Técnico University of Lisbon Lisbon1049-001 Portugal Instituto de Telecomunicações Lisbon1049-001 Portugal Department of Electrical and Computer Engineering Instituto Superior Técnico University of Lisbon Lisbon1049-001 Portugal Institute for Systems and Robotics Instituto Superior Técnico University of Lisbon Lisbon1049-001 Portugal

ISBN: (纸本)9783031817236

Strongly Connected Components (SCCs) play a crucial role in understanding the structural properties of directed graphs, with a plethora of applications across various domains including engineering, computer science and social sciences. In this paper, we propose a method for computing both the source SCCs and target SCCs in a distributed fashion. Our method leverages the decentralized nature of distributed systems to efficiently identify SCCs within large-scale graphs. We illustrate the proposed methods with examples. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

MCTS-Judge: Test-Time Scaling in LLM-as-a-Judge for Code Correctness Evaluation

arXiv

引用

arXiv 2025年

作者： Wang, Yutong Ji, Pengliang Yang, Chaoqun Li, Kaixin Hu, Ming Li, Jiaoyang Sartoretti, Guillaume Department of Mechanical Engineering National University of Singapore Singapore Robotics Institute Carnegie Mellon University United States School of Computing National University of Singapore Singapore Department of Electrical and Computer Systems Monash University Australia

The LLM-as-a-Judge paradigm shows promise for evaluating generative content but lacks reliability in reasoning-intensive scenarios, such as programming. Inspired by recent advances in reasoning models and shifts in scaling laws, we pioneer bringing test-time computation into LLM-as-a-Judge, proposing MCTS-Judge, a resource-efficient, System-2 thinking framework for code correctness evaluation. MCTS-Judge leverages Monte Carlo Tree Search (MCTS) to decompose problems into simpler, multi-perspective evaluations. Through a node-selection strategy that combines self-assessment based on historical actions in the current trajectory and the Upper Confidence Bound for Trees based on prior rollouts, MCTS-Judge balances global optimization and refinement of the current trajectory. We further designed a high-precision, unit-test-level reward mechanism to encourage the Large Language Model (LLM) to perform line-by-line analysis. Extensive experiments on three benchmarks and five LLMs demonstrate the effectiveness of MCTS-Judge, which improves the base model’s accuracy from 41.0% to 80.0%, surpassing the o1-series models with 3× fewer tokens. Further evaluations validate the superiority of its reasoning trajectory in logic, analytics, thoroughness, and overall quality, while revealing the test-time scaling law of the LLM-as-a-Judge paradigm. Copyright © 2025, The Authors. All rights reserved.

关键词： Scaling laws

来源：评论

学校读者我要写书评

暂无评论

Verifying Nonlinear Neural Feedback systems using Polyhedral Enclosures

arXiv

引用

arXiv 2025年

作者： Akinwande, Samuel I. Sidrane, Chelsea Kochenderfer, Mykel J. Barrett, Clark Department of Aeronautical and Astronautical Engineering Stanford University StanfordCA94305 United States Department of Computer Science Stanford University StanfordCA94305 United States Division of Robotics Perception and Learning Intelligent Systems Department School of Electrical Engineering & Computer Science KTH Royal Institute of Technology Stockholm Sweden

As dynamical systems equipped with neural network controllers (neural feedback systems) become increasingly prevalent, it is critical to develop methods to ensure their safe operation. Verifying safety requires extending control theoretic analysis methods to these systems. Although existing techniques can efficiently handle linear neural feedback systems, relatively few scalable methods address the nonlinear case. We propose a novel algorithm for forward reachability analysis of nonlinear neural feedback systems. The approach leverages the structure of the nonlinear transition functions of the systems to compute tight polyhedral enclosures (i.e., abstractions). These enclosures, combined with the neural controller, are then encoded as a mixed-integer linear program (MILP). Optimizing this MILP yields a sound over-approximation of the forward-reachable set. We evaluate our algorithm on representative benchmarks and demonstrate an order of magnitude improvement over the current state of the art. Copyright © 2025, The Authors. All rights reserved.

关键词： Mixed-integer linear programming

来源：评论

学校读者我要写书评

暂无评论

QTER: QoS-Aware Three-Dimensional Efficient and Reliable Routing for LEO Satellite Networks

引用

IEEE Internet of Things Journal 2025年

作者： Zheng, Jinkai Luan, Tom H. Li, Guanjie Zhang, Yanfeng Yuan, Mingfeng Pan, Jianping Dongguan University of Technology School of Electrical Engineering and Intelligentization China Xi’an Jiaotong University China Xidian University School of Cyber Engineering China Singapore University of Technology and Design Information Systems Technology and Design Pillar Singapore University of Toronto Institute for Aerospace Studies University of Toronto Robotics Institute Canada University of Victoria Department of Computer Science Canada

Low Earth Orbit (LEO) satellite networks offer a promising approach for achieving global coverage and high-speed Internet access. However, the existing communication frameworks within these networks may result in low robustness and reliability. This paper introduces QTER, a novel and lightweight routing framework specifically designed for LEO networks, aimed at addressing these challenges. Our contributions are threefold. First, QTER establishes a cost-effective and reliable routing framework that accommodates a variety of applications with distinct Quality of Service (QoS) requirements. By enabling multi-path routing, the framework minimizes costs while ensuring end-to-end reliability, thus enhancing adaptability to diverse service demands. Second, we leverage the unique structural characteristics of LEO satellite networks by modeling the satellite constellation as a three-dimensional network, wherein higher-shell satellites serve as management satellite nodes (MSNs) to coordinate routing strategies among lower-shell satellites. This architecture significantly improves system efficiency and adaptability. Third, we propose a failure recovery mechanism that allows MSNs to relay packets when lower-orbit satellites are rendered unavailable due to environmental factors, thereby enhancing system robustness. Extensive simulations demonstrate that QTER exhibits resilience to node failures and dynamic network conditions, achieving reductions in average cost and delay by 59.4% and 38.9%, respectively, compared to baselines. © 2014 IEEE.

关键词： Resource allocation

来源：评论

学校读者我要写书评

暂无评论

Methodology for optimizing electrical grounding grids in stratified soils using advanced calculation techniques and evolutionary algorithms

引用

Swarm and Evolutionary Computation 2025年 95卷

作者： Silva, Carlos Leandro Borges da Pires, Thyago Gumeratto Silva Filho, Antonio Marcelino Bulhões, Junio Santos Belo, Orlando M. Oliveira Rodrigues, Clóves Gonçalves Coimbra, Antonio Paulo Calixto, Wesley Pacheco Electrical Mechanical & Computer Engineering School Federal University of Goias Goiania Goias PC 74.605-220 Brazil Institute of Systems and Robotics Coimbra University CoimbraPC 3030-290 Portugal Department of Informatics School of Engineering University of Minho BragaPC 4710-057 Portugal Electrical Power Systems Study Group Federal Institute of Tocantins Palmas TocantinsPC 77.021-090 Brazil Graduate Program in Production and Systems Engineering Pontifical Catholic University of Goias Goiania Goias PC 74605-010 Brazil Mato Grosso Brazil Technology Research and Development Center Federal Institute of Goias Goiania Goias PC 74.055-110 Brazil

This paper presents a practical methodology for optimizing the geometry of electrical grounding grids at industrial frequencies of 50Hz and 60Hz, integrating advanced calculation techniques and evolutionary algorithms to improve the safety and operational performance of electrical grounding systems. The proposed approach is particularly beneficial for industrial automation and control systems, where effective grounding is necessary to maintain system reliability and prevent downtime. This methodology employs mathematical modeling and computational tools to optimize grid parameters, ensuring compliance with safety standards while reducing operational costs, thus contributing to the overall efficiency of automated systems in industrial environments. The study reports a reduction of up to 66% in the number of vertical rods and 40% in horizontal conductors compared to traditional methods. These results indicate that the proposed methodology can significantly reduce material usage and costs while maintaining electrical safety in accordance with regulatory standards, making it applicable to a wide range of industrial settings, including substations and automated facilities. © 2025 The Authors

关键词： Electric grounding

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：