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

IEEE European Test Symposium (ETS)

作者： Tobias Faller Nikolaos I. Deligiannis Markus Schwörer Matteo Sonza Reorda Bernd Becker Department of Computer Science University of Freiburg Freiburg Germany Department of Control and Computer Engineering (DAUIN) Politecnico di Torino Turin Italy

Software-Based Self-Tests (SBST) allow at-speed, native online-testing of processors by running software programs on the processor core, requiring no Design for Testability (DfT) infrastructure. The creation of such SBST programs often requires time-consuming manual labour that is expensive and requires in-depth knowledge of the processor’s architecture to target hard-to-test faults. In contrast, encoding the SBST generation task as a Bounded Model Checking (BMC) problem allows using sophisticated, state-of-the-art BMC solvers to automatically generate an SBST. Constraints for the BMC problem are encoded in a circuit called Validity Checker Module (VCM) and applied during SBST *** this paper, we focus on presenting a VCM architecture and a constraint set that allows building SBSTs that make minimal assumptions about the firmware, targeting hard-to-test faults in the ALU and register file of multiple scalar, in-order RISC-V processor families. The VCM architecture consists of a processor-specific mapping layer and a generic constraint set connected via a well-defined interface. The generic constraint set enforces the desired SBST behaviour, including controlling the processor’s pipeline state, memory accesses, and with that executed instructions, register state, and fault propagations. Using a generic constraint set allows for rapid SBST generation targeting new RISC-V processor families while keeping the generic constraints untouched. Lastly, we evaluate this approach on two RISC-V processor families, namely the DarkRISCV and a proprietary, industrial core showing the portability and strength of the approach, allowing for rapidly targeting new processors.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On Space-Filling Input Design for Nonlinear Dynamic Model Learning: A Gaussian Process Approach

arXiv

引用

arXiv 2025年

作者： Liu, Yuhan Kiss, Máté Tóth, Roland Schoukens, Maarten Control Systems Group Department of Electrical Engineering Eindhoven University of Technology Eindhoven5600 MB Netherlands Systems and Control Laboratory HUN-REN Institute for Computer Science and Control Budapest1111 Hungary

While optimal input design for linear systems has been well-established, no systematic approach exists for nonlinear systems, where robustness to extrapolation/interpolation errors is prioritized over minimizing estimated parameter variance. To address this issue, we develop a novel identification-oriented space-filling input design strategy for efficient covering of a well-defined region of interest. By placing a Gaussian Process (GP) prior on the joint input-state space, the proposed strategy leverages the GP posterior variance to construct a space-filling promoting input design cost function from the Bayesian point of view. This accordingly enables maximization of the coverage in the region of interest, thereby facilitating the generation of informative datasets. Furthermore, we theoretically prove that minimization of the cost function indicates the space-filling behavior. The effectiveness of the proposed strategy is demonstrated on both an academic example and a mass-spring-damper system, highlighting its potential practical impact on efficient exploration in identification scenarios for nonlinear dynamical systems. © 2025, CC BY-NC-SA.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

A Study on Impact-Aware Aerial Robots Colliding with the Environment at Non-Vanishing Speed

A Study on Impact-Aware Aerial Robots Colliding with the Env...

引用

International Conference on Unmanned Aircraft Systems (ICUAS)

作者： Gayatri Indukumar Alessandro Saccon Antonio Franchi Chiara Gabellieri Robotics and Mechatronics Department Electrical Engineering Mathematics and Computer Science (EEMCS) Faculty University of Twente Enschede The Netherlands Department of Mechanical Engineering Eindhoven University of Technology Eindhoven The Netherlands Department of Computer Control and Management Engineering Sapienza University of Rome Rome Italy

ISBN: (数字)9798331513283

ISBN: (纸本)9798331513290

Enabling aerial robots to handle dynamic contacts happening at non-vanishing speeds can enlarge the range of their applications. In this work, we propose an impactaware strategy to allow aerial multirotor robots to recover from impacts. The method leverages a reactive strategy not requiring low-level changes to the motion controller commonly implemented onboard quadrotors, which might be not viable or not desirable for most users. Extensive simulation tests show that the proposed strategy considerably increases the tolerated velocity at impact in tasks in which the robot either picks an object up or collides against an object to clear its way. Preliminary experimental results using Crazyflie UAVs are also presented.

关键词： Trajectory tracking Dynamics Lead Autonomous aerial vehicles Stability analysis Robustness computer crashes Trajectory Robots Quadrotors

来源：评论

学校读者我要写书评

暂无评论

Fusion Learning of Multimodal Neuroimaging with Weighted Graph AutoEncoder

Fusion Learning of Multimodal Neuroimaging with Weighted Gra...

引用

2022 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2022

作者： Shi, Gen Zhu, Yifan Zhang, Fuquan Liu, Wenjin Yao, Yuxiang Li, Xuesong Beijing Institute of Technology School of Computer Science and Technology Beijing China Tsinghua University Department of Computer Science and Technology Beijing China Minjiang University College of Computer and Control Engineering Fuzhou China Yangzhou University Northern Jiangsu People's Hospital Department of Nephrology Yangzhou China

ISBN: (纸本)9781665468190

Neuroimaging plays an significant role in diagnosing and pathological study of brain diseases. Considering that both functional and structural abnormalities may lead to brain dis-eases and disorders, single modal neuroimaging approach may not fully characterize brain activities and working modes. Fusion of multimodal neuroimaging data is expected to provide more comprehensive characterization of brain diseases, given that the different modalities contain more complementary information. Recently, Graph Convolutional Networks (GCNs) is shown to have powerful capacity in representation learning for graph-structure data, which is considered to integrate both graph se-mantic structure and node information. Therefore, in this paper, we propose the Weighted Graph AutoEncoder (WGAE), a GCN- driven multimodal fusion model, to learn the combinational latent node representation of fMRI and DTI neuroimaging data, which are used as node features and graph structure respectively in the graph in unsupervised manner. Experimental results on two real-world datasets show the superiority of the proposed model over other existing single-modal or multi-modal methods in learning representations for disease prediction as the downstream task. Furthermore, ablation experiments also show the collaborative contribution of multimodal neuroimaging fusion in the proposed model, and also show the feasibility of assessing the respective importance of the two modalities during the disease prediction. © 2022 IEEE.

关键词： Neuroimaging

来源：评论

学校读者我要写书评

暂无评论

HGS-Planner: Hierarchical Planning Framework for Active Scene Reconstruction Using 3D Gaussian Splatting

arXiv

引用

arXiv 2024年

作者： Xu, Zijun Jin, Rui Wu, Ke Zhao, Yi Zhang, Zhiwei Zhao, Jieru Gao, Fei Gan, Zhongxue Ding, Wenchao The Academy for Engineering & Technology Fudan University Shanghai200433 China The Institute of Cyber-Systems and Control College of Control Science and Engineering Zhejiang University Hangzhou310027 China The Department of Computer Science and Engineering Shanghai Jiao Tong University China

In complex missions such as search and rescue, robots must make intelligent decisions in unknown environments, relying on their ability to perceive and understand their surroundings. High-quality and real-time reconstruction enhances situational awareness and is crucial for intelligent robotics. Traditional methods often struggle with poor scene representation or are too slow for real-time use. Inspired by the efficacy of 3D Gaussian Splatting (3DGS), we propose a hierarchical planning framework for fast and high-fidelity active reconstruction. Our method evaluates completion and quality gain to adaptively guide reconstruction, integrating global and local planning for efficiency. Experiments in simulated and real-world environments show our approach outperforms existing real-time methods. Copyright © 2024, The Authors. All rights reserved.

关键词： 3D reconstruction

来源：评论

学校读者我要写书评

暂无评论

Bridging research gaps in breast cancer detection: An ensemble approach informed by bibliometric analysis

引用

Biomedical Signal Processing and control 2025年 109卷

作者： ZainEldin, Hanaa Bamaqa, Amna Farsi, Mohammed Badawy, Mahmoud Elhosseini, Mostafa A. Computers and Control Systems Engineering Department Mansoura University Faculty of Engineering Mansoura35516 Egypt Department of Computer Science and Information Applied College Taibah University Madinah42353 Saudi Arabia Department of Information Systems College of Computer Science and Engineering Taibah University Yanbu46421 Saudi Arabia

One of the leading causes of cancer-related death for women is still breast cancer, which highlights the importance of early and precise diagnosis techniques. Despite medical imaging and deep learning advances, current models fail to combine innovative object identification and classification methods, limiting their diagnostic performance. A bibliometric study of 1145 research articles identified key gaps, including the lack of integration between advanced object detection models like YOLOv9 and YOLOv10 with high-performance classification architectures such as EfficientNet B7, as well as the limited utilization of diverse imaging modalities. This study proposes a novel ensemble model for Breast Cancer Classification and Detection by combining YOLOv9, YOLOv10, and EfficientNet B7 (BC2D-Y/EN) to address these gaps. The proposed model combines the advanced object detection capabilities of YOLOv9 and YOLOv10 with the high-performance classification power of EfficientNet B7. This method aims to improve detection accuracy and computational efficiency in breast cancer identification. The proposed approach is validated using four publicly available datasets: CBIS-DDSM, CBIS-DDSM RGB breast cancer dataset, The Breast1 MRI dataset, and the Breast Ultrasound Tumor Object Detection dataset, all containing expert-annotated cases of benign and malignant tumors. The experimental findings indicate that the suggested model surpasses other models, achieving precision rates of 98.56% with EfficientNet B7, 98.3% with YOLOv9, and 100% with YOLOv9. These findings highlight the advantages of advanced models and diverse imaging methodologies to enhance diagnostic accuracy and effectiveness in breast cancer detection. © 2025 Elsevier Ltd

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

RISense: 6G-Enhanced Human Activity Recognition System with RIS and Deep LDA 25

RISense: 6G-Enhanced Human Activity Recognition System with ...

引用

25th IEEE International Conference on Mobile Data Management, MDM 2024

作者： Rizk, Hamada Hashima, Sherief Osaka University Graduate School of Information Science and Technology Suita565-0871 Japan Tanta University Computer and Control Engineering Department Tanta31733 Egypt RIKEN-AIP Computational Learning Theory Team Fukuoka819-0395 Japan Egyptian Atomic Energy Authority Engineering Dept Cairo13759 Egypt

ISBN: (纸本)9798350374551

Human Activity Recognition (HAR) systems hold great potential in aiding disabled and elderly individuals to live independently. Various approaches have been suggested for identifying human activities, including sensors, cameras, wearables, and contactless microwave sensing. This latter method is gaining significant attention due to its ability to address privacy concerns arising from cameras and alleviate discomfort caused by wearables. However, current microwave sensing techniques have a key limitation, requiring controlled and ideal conditions to achieve accurate activity detection. In this paper, we propose RISense, a deep learning-aided system for HAR using Re-configurable Intelligent Surface (RIS). RISense introduces novel modules designed to generate a human activity representational space that ensures separability between activity classes, even in the presence of noisy and distorted Channel State Information (CSI) measurements. These representations are then fed into a Recurrent Neural Network (RNN), which learns the sequential changes in features to accurately estimate the user activity. The evaluation of RISense across two realistic settings, encompassing both non-line-of-sight and multi-floor scenarios, showcases its efficacy. Specifically, RISense achieves an activity recognition accuracy of 98.7%. This performance overcomes the accuracy of state-of-the-art systems by over 15%. These findings highlight the superior efficacy of the proposed methodologies, including integrating RIS and advanced learning techniques. © 2024 IEEE.

关键词： Channel state information

来源：评论

学校读者我要写书评

暂无评论

A Simultaneous Wireless Information and Power Transfer-based Multi-hop Clustering Routing Protocol for RF Energy Harvesting-Cognitive Radio Sensor Networks

Journal of Network Intelligence

引用

Journal of Network Intelligence 2023年第3期8卷 991-1007页

作者： Wang, Ji-Hong Su, Xi-Tong Ge, Yi-Yang Chen, Yeh-Cheng Key Laboratory of Modern Power System Simulation and Control & Renewable Energy Technology Ministry of Education Northeast Electric Power University China School of Electrical Engineering Northeast Electric Power University 169 Changchun Road Jilin132012 China Department of Computer Science University of California DavisCA001313 United States

Radio frequency energy harvesting (RF EH) and clustering are promising solutions to solve the energy constraint problem faced by cognitive radio sensor networks (CRSNs). However, study on clustering routing protocol design for RF EH-CRSNs is still in the initial stage, and there lacks of solutions for inter-cluster routing problem, which restricts the network scalability. In addition, unbalanced harvested energy and energy consumption may result in premature death of nodes in key position, which will significantly reduce the network performance. In this paper, a simultaneous wireless information and power transfer (SWIPT)-based multi-hop clustering routing protocol (SMCRP) is proposed for RF EH-CRSNs to well balance the residual energy distribution among nodes and postpone node death. Apart from the RF energy harvested from dedicated or ambi-ent energy sources, the energy obtained through intra-cluster and inter-cluster SWIPT is also considered to facilitate high-quality cluster heads selection, cluster formation and inter-cluster route establishment. Power splitting ratio is derived based on the residual energy of CRSNs nodes and their energy consumption to enable effective implementation of SWIPT in CRSNs. Simulation results show that SMCRP is effective in balancing the residual energy distribution among nodes and improving node sustainability. To be specific, compared with current clustering protocols, the network lifetime is extended by 64.07% while intra-cluster energy balance degree and network energy balance degree are improved by 15.1% and 7.82%, respectively. © 2023 ISSN 2414-8105 (Online).

关键词： Cognitive radio

来源：评论

学校读者我要写书评

暂无评论

Out-of-distribution Object Detection through Bayesian Uncertainty Estimation

Out-of-distribution Object Detection through Bayesian Uncert...

引用

International Conference on Information Fusion

作者： Tianhao Zhang Shenglin Wang Nidhal Bouaynaya Radu Calinescu Lyudmila Mihaylova Automatic Control and Systems Engineering The University of Sheffield UK Department of Electrical and Computer Engineering Rowan University USA Department of Computer Science University of York UK

The superior performance of object detectors is often established under the condition that the test samples are in the same distribution as the training data. However, in many practical applications, out-of-distribution (OOD) instances are inevitable and usually lead to uncertainty in the results. In this paper, we propose a novel, intuitive, and scalable probabilistic object detection method for OOD detection. Unlike other uncertainty-modeling methods that either require huge computational costs to infer the weight distributions or rely on model training through synthetic outlier data, our method is able to distinguish between in-distribution (ID) data and OOD data via weight parameter sampling from proposed Gaussian distributions based on pre-trained networks. We demonstrate that our Bayesian object detector can achieve satisfactory OOD identification performance by reducing the FPR95 score by up to 8.19% and increasing the AUROC score by up to 13.94% when trained on BDD100k and VOC datasets as the ID datasets and evaluated on COCO2017 dataset as the OOD dataset.

关键词：

来源：评论

学校读者我要写书评

暂无评论

WARA-PS:a research arena for public safety demonstrations and autonomous collaborative rescue robotics experimentation

引用

Autonomous Intelligent Systems 2021年第1期1卷 104-134页

作者： Olov Andersson Patrick Doherty Mårten Lager Jens-Olof Lindh Linnea Persson Elin A.Topp Jesper Tordenlid Bo Wahlberg Department of Computer and Information Science Linköping UniversityLinköpingSweden Saab Kockums MalmöSweden Division of Decision and Control Systems School of Electrical Engineering and Computer ScienceKTH Royal Institute of TechnologyStockholmSweden Department of Computer Science Lund UniversityLundSweden Saab Combitech AB LinköpingSweden Division of Automatic Control Department of Electrical EngineeringLinköping UniversityLinköpingSweden

A research arena(WARA-PS)for sensing,data fusion,user interaction,planning and control of collaborative autonomous aerial and surface vehicles in public safety applications is *** objective is to demonstrate scientific discoveries and to generate new directions for future research on autonomous systems for societal *** enabler is a computational infrastructure with a core system architecture for industrial and academic *** includes a control and command system together with a framework for planning and executing tasks for unmanned surface vehicles and aerial *** motivating application for the demonstration is marine search and rescue operations.A state-of-art delegation framework for the mission planning together with three specific applications is also *** first one concerns model predictive control for cooperative rendezvous of autonomous unmanned aerial and surface *** second project is about learning to make safe real-time decisions under uncertainty for autonomous vehicles,and the third one is on robust terrain-aided navigation through sensor fusion and virtual reality tele-operation to support a GPS-free positioning system in marine *** research results have been experimentally evaluated and demonstrated to industry and public sector audiences at a marine test *** would be most difficult to do experiments on this large scale without the WARA-PS research ***,these demonstrator activities have resulted in effective research dissemination with high public visibility,business impact and new research collaborations between academia and industry.

关键词： Autonomous systems Intelligent system architectures Research demonstration arena Autonomous drones Autonomous marine vessels Public safety and security Collaborative robotics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：