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

AI Enabled Automatic Mobile Robot intelligent Navigation in Construction with Obstacle Awareness

IEEE Transactions on Automation Science and Engineering 2025年

作者： Zhang, Yinlong Liu, Yuanhao Cui, Yunge Zeng, Ziming Liang, Wei Chinese Academy of Sciences State Key Laboratory of Robotics Shenyang Institute of Automation Shenyang110016 China Chinese Academy of Sciences Key Laboratory of Networked Control Systems Shenyang110016 China University of Chinese Academy of Sciences Beijing101408 China Zeekr Group Zeekr Intelligent Driving Department Shanghai110078 China Shenzhen Polytechnic University School of Automotive and Transportation Engineering Shenzhen518055 China

In the construction industry, the integration of artificial intelligence (AI) and robotics has led to significant advancements in automating various tasks. One critical aspect is the intelligent navigation of automatic mobile robot (AMR) within construction sites, where dynamic environments pose challenges such as inaccurate robot state estimation, irregular and textureless obstacle detection. To solve these issues, this paper designs an AI enabled obstacle-aware AMR intelligent navigation approach while ensuring robot safety and efficiency. Specifically, the robot is equipped with the complementary RGB camera, inertial measurement unit (IMU) and wheel encoder to estimate the states (i.e., positions, orientations and velocities), which have been tightly fused in the optimization framework. Furthermore, the RGB-Depth images are jointly fed into the AI model. It combines of Mask-RCNN and multi-scale attention network, to detect and segment the obstacles, and estimate the corresponding relative depth. It should be noted that the system incorporates obstacle awareness mechanisms to dynamically switch the robot's velocities in response to obstacles in the environment, ensuring smooth and collision-free movement. Experimental results demonstrate the effectiveness and robustness of the proposed AI-enabled navigation system in real-world construction scenarios, showcasing its potential to enhance productivity and safety in construction automation. © 2004-2012 IEEE.

关键词： Construction industry

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

T3: Multi-modal Tailless Triple-Flapping-Wing Robot for Efficient Aerial and Terrestrial Locomotion

arXiv

引用

arXiv 2025年

作者： Xu, Xiangyu Zheng, Zhi Wang, Jin Chen, Yikai Huang, Jingyang Wu, Ruixin Yu, Huan Lu, Guodong The State Key Laboratory of Fluid Power and Mechatronic Systems School of Mechanical Engineering Zhejiang University Hangzhou310058 China Zhejiang Key Laboratory of Industrial Big Data and Robot Intelligent Systems Zhejiang University Hangzhou310058 China Robotics Research Center of Yuyao City Ningbo315400 China College of Control Science and Engineering Zhejiang University Hangzhou310027 China

Flapping-wing robots offer great versatility;however, achieving efficient multi-modal locomotion remains challenging. This paper presents the design, modeling, and experimentation of T3, a novel tailless flapping-wing robot with three pairs of independently actuated wings. Inspired by juvenile water striders, T3 incorporates bio-inspired elastic passive legs that effectively transmit vibrations generated during wing flapping, enabling ground movement without additional motors. This novel mechanism facilitates efficient multi-modal locomotion while minimizing actuator usage, reducing complexity, and enhancing performance. An SE(3)-based controller ensures precise trajectory tracking and seamless mode transition. To validate T3’s effectiveness, we developed a fully functional prototype and conducted targeted modeling, real-world experiments, and benchmark comparisons. The results demonstrate the robot’s and controller’s outstanding performance, underscoring the potential of multi-modal flapping-wing technologies for future aerial-ground robotic applications. Copyright © 2025, The Authors. All rights reserved.

关键词： Antenna grounds

来源：评论

学校读者我要写书评

暂无评论

A novel matrix approach for the stability and stabilization analysis of colored Petri nets

引用

Science China(Information Sciences) 2019年第9期62卷 102-115页

作者： Jiantao ZHAO Zengqiang CHEN Zhongxin LIU College of Computer and Control Engineering Nankai University Key Laboratory of Intelligent Robotics of Tianjin Nankai University

In this study, the stability and stabilization problem of a colored Petri net based on the semitensor product of matrices is investigated. First, the marking evolution equation of the colored Petri net in a Boolean algebra framework is established, and the necessary and sufficient condition for the stability of the equilibrium point of the colored Petri net is given. Then, the concept of the pre-k steps reachability set is defined and is used to study the problem of marking feedback stabilization. Some properties of the pre-k steps reachability set are developed. The condition of the stabilization of the colored Petri net is given. The algorithm of the optimal marking feedback controller is designed. The proposed method in this paper could judge the stability and stabilization of the colored Petri net by matrix approach. The obtained results are simple and easy to implement by computer. An example is provided to illustrate the effectiveness of the proposed method.

关键词： discrete event system colored Petri net semi-tensor product of matrices stability equilibrium point stabilization

来源：评论

学校读者我要写书评

暂无评论

Polytope Volume Monitoring Problem: Formulation and Solution via Parametric Linear Program Based control Barrier Function

arXiv

引用

arXiv 2025年

作者： Wu, Shizhen Dong, Jinyang Fang, Xu Sun, Ning Fang, Yongchun Institute of Robotics and Automatic Information System College of Artificial Intelligence Nankai University Tianjin300353 China The Institute of Intelligence Technology and Robotic Systems Shenzhen Research Institute of Nankai University Shenzhen518083 China Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education Dalian University of Technology Dalian116024 China

Motivated by the latest research on feasible space monitoring of multiple control barrier functions (CBFs) as well as polytopic collision avoidance, this paper studies the Polytope Volume Monitoring (PVM) problem, whose goal is to design a control law for inputs of nonlinear systems to prevent the volume of some state-dependent polytope from decreasing to zero. Recent studies have explored the idea of applying Chebyshev ball method in optimization theory to solve the case study of PVM;however, the underlying difficulties caused by nonsmoothness have not been addressed. This paper continues the study on this topic, where our main contribution is to establish the relationship between nonsmooth CBF and parametric optimization theory through directional derivatives for the first time, so as to solve PVM problems more conveniently. In detail, inspired by Chebyshev ball approach, a parametric linear program (PLP) based nonsmooth barrier function candidate is established for PVM, and then, sufficient conditions for it to be a nonsmooth CBF are proposed, based on which a quadratic program (QP) based safety filter with guaranteed feasibility is proposed to address PVM problems. Finally, a numerical simulation example is given to show the efficiency of the proposed safety filter. © 2025, CC BY.

关键词： Chebyshev filters

来源：评论

学校读者我要写书评

暂无评论

Environment-Driven Online LiDAR-Camera Extrinsic Calibration

arXiv

引用

arXiv 2025年

作者： Huang, Zhiwei Li, Jiaqi Zhong, Ping Fan, Rui The Department of Control Science & Engineering The College of Electronics & Information Engineering Tongji University Shanghai201804 China The School of Computer Science and Engineering Central South University Hunan Changsha410083 China The National Key Laboratory of Science and Technology on Automatic Target Recognition National University of Defense Technology Hunan Changsha410073 China The Department of Control Science & Engineering The College of Electronics & Information Engineering Shanghai Research Institute for Intelligent Autonomous Systems The State Key Laboratory of Intelligent Autonomous Systems Frontiers Science Center for Intelligent Autonomous Systems Tongji University Shanghai201804 China The National Key Laboratory of Human-Machine Hybrid Augmented Intelligence Institute of Artificial Intelligence and Robotics Xi’an Jiaotong University Shaanxi Xi’an710049 China

LiDAR-camera extrinsic calibration (LCEC) is the core for data fusion in computer vision. Existing methods typically rely on customized calibration targets or fixed scene types, lacking the flexibility to handle variations in sensor data and environmental contexts. This paper introduces EdO-LCEC, the first environment-driven, online calibration approach that achieves human-like adaptability. Inspired by the human perceptual system, EdO-LCEC incorporates a generalizable scene discriminator to actively interpret environmental conditions, creating multiple virtual cameras that capture detailed spatial and textural information. To overcome cross-modal feature matching challenges between LiDAR and camera, we propose dual-path correspondence matching (DPCM), which leverages both structural and textural consistency to achieve reliable 3D-2D correspondences. Our approach formulates the calibration process as a spatial-temporal joint optimization problem, utilizing global constraints from multiple views and scenes to improve accuracy, particularly in sparse or partially overlapping sensor views. Extensive experiments on real-world datasets demonstrate that EdO-LCEC achieves state-of-the-art performance, providing reliable and precise calibration across diverse, challenging environments. Copyright © 2025, The Authors. All rights reserved.

关键词： Spatio-temporal data

来源：评论

学校读者我要写书评

暂无评论

Minimizing Data Collection Latency for Coexisting Time-Critical Wireless Networks with Tree Topologies

引用

IEEE Transactions on Network and Service Management 2025年

作者： Zhang, Jialin Liang, Wei Yang, Bo Shi, Huaguang Liang, Ying-Chang Chinese Academy of Sciences State Key Laboratory of Robotics Shenyang Institute of Automation Shenyang110016 China Chinese Academy of Sciences Key Laboratory of Networked Control System Shenyang Institute of Automation Shenyang110016 China Northwest A and F University College of Information Engineering Yangling712100 China Henan University School of Artificial Intelligence Zhengzhou450046 China University of Electronic Science and Technology of China Center for Intelligent Networking and Communications Chengdu611731 China

Time-Critical Wireless Network (TCWN) is a promising communication technology that can satisfy the low latency, high reliability, and deterministic requirements of mission-critical applications. Multiple TCWNs required by various applications inevitably coexist with each other. Most existing works aim to achieve acceptable latency or consider the simplest topology (i.e., line topology). As latency requirements become more stringent, exploring the minimum data collection latency becomes an interesting problem. In this paper, the coexisting system consists of multiple tree-topology-based TCWNs. We first establish a conversion framework to convert an arbitrary tree topology into multiple analogous line topologies to reduce the analysis complexity. We then propose a Time-Critical wireless network Scheduling (TCS) algorithm to minimize the data collection latency of coexisting TCWNs. The TCS algorithm consists of two phases. In the internetwork scheduling phase, we strictly derive a general expression to characterize the practical network requirements. In the intranetwork scheduling phase, we design two levels of priority assignment algorithms to accurately characterize the critical states and resource requirements of different nodes. We conduct extensive simulations to verify the effectiveness of the TCS algorithm. The evaluation results show that the TCS algorithm can achieve minimum data collection latency in more than 99.956% cases, and the maximum difference compared to the optimal value is one time slot. © 2004-2012 IEEE.

关键词： Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

Salient Object Detection in Traffic Scene through the TSOD10K Dataset

arXiv

引用

arXiv 2025年

作者： Qiu, Yu Sun, Yuhang Mei, Jie Xiao, Lin Xu, Jing College of Information Science and Engineering Hunan Normal University Changsha410081 China National Key Laboratory of Intelligent Tracking and Forecasting for Infectious Diseases College of Artificial Intelligence Nankai University Tianjin300350 China National Engineering Research Center of Robot Visual Perception and Control Technology School of Robotics Hunan University Changsha410082 China

Traffic Salient Object Detection (TSOD) aims to segment the objects critical to driving safety by combining semantic (e.g., collision risks) and visual saliency. Unlike SOD in natural scene images (NSI-SOD), which prioritizes visually distinctive regions, TSOD emphasizes the objects that demand immediate driver attention due to their semantic impact, even with low visual contrast. This dual criterion, i.e., bridging perception and contextual risk, re-defines saliency for autonomous and assisted driving systems. To address the lack of task-specific benchmarks, we collect the first large-scale TSOD dataset with pixel-wise saliency annotations, named TSOD10K. TSOD10K covers the diverse object categories in various real-world traffic scenes under various challenging weather/illumination variations (e.g., fog, snowstorms, low-contrast, and low-light). Methodologically, we propose a Mamba-based TSOD model, termed Tramba. Considering the challenge of distinguishing inconspicuous visual information from complex traffic backgrounds, Tramba introduces a novel Dual-Frequency Visual State Space module equipped with shifted window partitioning and dilated scanning to enhance the perception of fine details and global structure by hierarchically decomposing high/low-frequency components. To emphasize critical regions in traffic scenes, we propose a traffic-oriented Helix 2D-Selective-Scan (Helix-SS2D) mechanism that injects driving attention priors while effectively capturing global multi-direction spatial dependencies. We establish a comprehensive benchmark by evaluating Tramba and 22 existing NSI-SOD models on TSOD10K, demonstrating Tramba’s superiority. Our research establishes the first foundation for safety-aware saliency analysis in intelligent transportation systems. Copyright © 2025, The Authors. All rights reserved.

关键词： Risk perception

来源：评论

学校读者我要写书评

暂无评论

Compatible-invariant subset analysis of deterministic finite automata via semi-tensor product of matrices approach

引用

The Journal of China Universities of Posts and Telecommunications 2018年第5期25卷 75-82页

作者： Zhang Zhipeng Chen Zengqiang Liu Zhongxin College of Computer and Control Engineering Nankai University Tianjin Key Laboratory of Intelligent Robotics Nankai University

The compatible-invariant subset of deterministic finite automata（ DFA） is investigated to solve the problem of subset stabilization under the frameworks of semi-tensor product（ STP） of matrices. The concepts of compatibleinvariant subset and largest compatible-invariant subset are introduced inductively for Moore-type DFA,and a necessary condition for the existence of largest compatible-invariant subset is given. Meanwhile,by using the STP of matrices,a compatible feasible event matrix is defined with respect to the largest compatible-invariant *** on the concept of compatible feasible event matrix,an algorithm to calculate the largest compatible-invariant subset contained in a given subset is proposed. Finally,an illustrative example is given to validate the results.

关键词： discrete event dynamical systems （DEDSs） finite automata compatible iuvariant semi-tensor product （STP） compatible feasible eventmatrix

来源：评论

学校读者我要写书评

暂无评论

Solving type-2 fuzzy relation equations via semi-tensor product of matrices

引用

control Theory and Technology 2014年第2期12卷 173-186页

作者： Yongyi YAN Zengqiang CHEN Zhongxin LIU College of Computer and Control Engineering Nankai University Tianjin Key Laboratory of Intelligent Robotics Nankai University

The problem of solving type-2 fuzzy relation equations is investigated. In order to apply semi-tensor product of matrices, a new matrix analysis method and tool, to solve type-2 fuzzy relation equations, a type-2 fuzzy relation is decomposed into two parts as principal sub-matrices and secondary sub-matrices; an r-ary symmetrical-valued type-2 fuzzy relation model and its corresponding symmetrical-valued type-2 fuzzy relation equation model are established. Then, two algorithms are developed for solving type-2 fuzzy relation equations, one of which gives a theoretical description for general type-2 fuzzy relation equations; the other one can find all the solutions to the symmetrical-valued ones. The results can improve designing type-2 fuzzy controllers, because it provides knowledge to search the optimal solutions or to find the reason if there is no solution. Finally some numerical examples verify the correctness of the results/algorithms.

关键词： Fuzzy control system Type-2 fuzzy logic system Type-2 fuzzy relation Type-2 fuzzy relation equation Semi- tensor product of matrices

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：