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

18th Conference on computer science and Intelligence Systems, FedCSIS 2023

作者： Glomb, Przemyslaw Cholewa, Michal Foszner, Pawel Bularz, Jakub Institute of Theoretical and Applied Informatics Polish Academy of Sciences Batycka 5 Gliwice44-100 Poland Department of Computer Graphics Vision and Digital Systems Faculty of Automatic Control Electronics and Computer Science Silesian University of Technology Akademicka 2A Gliwice44-100 Poland Aiut Sp. Z O.o. ul. Wyczókowskiego 113 Gliwice44-109 Poland

ISBN: (纸本)9788396744784

This paper presents an application of a mixture of Hidden Markov Models (HMMs) as a tool for verification of IoT fuel sensors. The IoT fuel sensors report the level of fuel in tanks of a petrol station, and are a key component for monitoring system reliability (billing), safety (fuel/oil leak detection) and security (theft prevention). We propose an algorithm for learning a mixture of HMMs based on a continual learning principle, i.e. it adapts the model while monitoring a sensor over time, signalling unexpected or anomalous sensor reports. We have tested the proposed approach on a real-life data of 15 fuel tanks being monitored with the FuelPrime system, where it has shown a very good performance (average area under ROC curve of 0.94) of detecting anomalies in the sensor data. Additionally we show that the proposed method can be used for trend monitoring and present qualitative analysis of the short and long term learning performance. The proposed method has promising performance score, the resulting model has a high degree of explainability, limited memory and computation requirements and can be easily generalized to other domains of sensor verification. © 2023 Polish Information Processing Society.

关键词： Hidden Markov models

来源：评论

学校读者我要写书评

暂无评论

MINER-RRT*: A Hierarchical and Fast Trajectory Planning Framework in 3D Cluttered Environments

arXiv

引用

arXiv 2024年

作者： Wang, Pengyu Tang, Jiawei Lin, Hin Wang Zhang, Fan Wang, Chaoqun Wang, Jiankun Shi, Ling Meng, Max Q.-H. Shenzhen Key Laboratory of Robotics Perception and Intelligence The Department of Electronic and Electrical Engineering Southern University of Science and Technology Shenzhen China The Department of Electronic and Computer Engineering Hong Kong University of Science and Technology Hong Kong The Department of Electronic Engineering The Chinese University of Hong Kong Hong Kong The Department of Electrical and Computer Engineering The University of Alberta Canada The School of Control Science and Engineering Shandong University Shandong China

—Trajectory planning for quadrotors in cluttered environments has been challenging in recent years. While many trajectory planning frameworks have been successful, there still exists potential for improvements, particularly in enhancing the speed of generating efficient trajectories. In this paper, we present a novel hierarchical trajectory planning framework to reduce computational time and memory usage called MINER-RRT*, which consists of two main components. First, we propose a sampling-based path planning method boosted by neural networks, where the predicted heuristic region accelerates the convergence of rapidly-exploring random trees. Second, we utilize the optimal conditions derived from the quadrotor’s differential flatness properties to construct polynomial trajectories that minimize control effort in multiple stages. Extensive simulation and real-world experimental results demonstrate that, compared to several state-of-the-art (SOTA) approaches, our method can generate high-quality trajectories with better performance in 3D cluttered environments. (Video1) Note to Practitioners—The motivation is the problem of planning trajectories for quadrotor autonomous flight in 3D cluttered and complex scenarios such as wild forest exploration and subterranean environment search-and-rescue. Sampling-based path planning methods are suitable for dealing with the complexity of the physical environment but are not convenient for computing dynamics and their differentials. Optimization-based trajectory generation methods are appropriate for handling various high-order constraints but rely on high-quality initial path solutions. Therefore, this paper combines the advantages of the two methods to propose a novel trajectory planning framework that can generate high-quality trajectories for quadrotors faster than many previous algorithms. We conduct numerous simulations and real-world experiments to verify that our method can be effectively deployed in real scenarios and empo

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

automatic Identification of Functionally Untestable Cell-Aware Faults in Microprocessors

Automatic Identification of Functionally Untestable Cell-Awa...

引用

Asian Test Symposium (ATS)

作者： Nikolaos I. Deligiannis Tobias Faller Iacopo Guglielminetti Riccardo Cantoro Bernd Becker Matteo Sonza Reorda Department of Control and Computer Engineering (DAUIN) Politecnico di Torino Turin Italy Department of Computer Science University of Freiburg Freiburg Germany STMicroelectronics Turin Italy

In-field test of microprocessors is a major topic for the industry, especially in the safety-critical domain, where the respective standards mandate high test coverage thresholds. The dominant fault models used are the transition delay and the stuck-at fault model. However, the adoption of very advanced semiconductor technologies to manufacture devices used in safety-critical applications pushes toward considering new fault models that are better suited to catch subtle and age-related defects. Among the other phenomena, latent cell-internal defects emerged as relevant causes for several failures. Hence, the necessity for the Cell-Aware Test (CAT) was born, and the inclusion of the CAT fault model in the latest safety standards. Although CAT amends the issue of the numerous test escapes, it may suffer as well from the presence of functionally untestable faults that may pollute the overall test efficiency with their presence. In this paper, we propose a solution, based on formal methods, for the automatic identification of functionally untestable faults under the Cell-Aware fault model for the case where the DUT is a fully pipelined processor. As a case study, we used the RISC-V processor RI5CY for which we applied the minimum constraints required to ensure a functional behavior to demonstrate the effectiveness and impact of the approach. With the considered constraints, a significant percentage of functionally untestable faults was located in the several modules within the processor. Furthermore, the method allows to flexibly take into account any constraint stemming from the system configuration and the application. The obtained results have been validated by resorting to commercial EDA tools.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Perimeter Defense using a Turret with Finite Range and Service Times

arXiv

引用

arXiv 2023年

作者： Bajaj, Shivam Bopardikar, Shaunak D. Moll, Alexander Von Torng, Eric Casbeer, David W. Department of Electrical and Computer Engineering Michigan State University United States Department of Computer Science and Engineering Michigan State University United States Control Science Center Air Force Research Laboratory United States

We consider a perimeter defense problem in a planar conical environment comprising a single turret that has a finite range and non-zero service time. The turret seeks to defend a concentric perimeter against N ≥ 2 intruders. Upon release, each intruder moves radially towards the perimeter with a fixed speed. To capture an intruder, the turret’s angle must be aligned with that of the intruder’s angle and must spend a specified service time at that orientation. We address offline and online versions of this optimization problem. Specifically, in the offline version, we establish that in general parameter regimes, this problem is equivalent to solving a Travelling Repairperson Problem with Time Windows (TRP-TW). We then identify specific parameter regimes in which there is a polynomial time algorithm that maximizes the number of intruders captured. In the online version, we present a competitive analysis technique in which we establish a fundamental guarantee on the existence of at best (N − 1)-competitive algorithms. We also design two online algorithms that are provably 1 and 2-competitive in specific parameter regimes. © 2023, CC BY-NC-SA.

关键词： Polynomial approximation

来源：评论

学校读者我要写书评

暂无评论

Performance Creativity Enhancement Method Based on Emotional Analysis and Concentration

Journal of Network Intelligence

引用

Journal of Network Intelligence 2023年第3期8卷 1019-1048页

作者： Liu, Chang Zhang, Longfei Huang, Tianyu Wu, Yufeng Zhang, Fuquan Lin, Qi Department of Computer Science and Technology Beijing Institute of Technology 100081 China Beijing Key Laboratory of Digital Performance and Simulation Technology 100081 China College of Computer and Control Engineering Minjiang University Fuzhou350108 China Digital Media Art Key Laboratory of Sichuan Province Sichuan Conservatory of Music Chengdu610021 China Informatics King’s College London LondonWC2R 2LS United Kingdom

Intelligent performance creativity is a new research direction of the intersection of technology and art. At present, the cutting-edge technologies such as computer simulation, emotional computing and machine learning have been applied to the evaluation and enhancement of intelligent performance creativity. The application of these technologies has greatly increased the diversity of performance forms and the complexity of performance content. For the traditional stage performance, due to the lack of timely feedback from the audience, it is difficult for the director to enhance the creativity effec-tively. In order to solve this problem, this paper proposes concentration level enhancement method (CLEM). The CLEM extracts and analyzes the physiological and emotional characteristics of the audience by collecting the multimodal physiological signal data of the audience. Through the analysis of the features, the concentration information of the audience is obtained and the concentration level (CL) is defined. Based on the physiological and emotional induction mechanism, a performance creativity enhancement strategy is proposed, which enhances the performance creativity in two aspects: " Visual-based" and " Content-based". Through the concentration level enhancement method, compare the audience’s performance attention changes before and after the performance creativity enhancement, select the effective strategies to enhance the performance creativity, and provide the director with quantifiable performance creativity enhancement feedback results. The experimental results show that the CLEM proposed in this paper can effectively induce significant changes in the audience’s emotion, and the selected creative enhancement strategy can significantly improve the audience’s concentration and achieve the purpose of enhancing the creativity of the performance. © 2023, Journal of Network Intelligence.

关键词： Physiology

来源：评论

学校读者我要写书评

暂无评论

Power Allocation Strategy for Secret Key Generation Method in Wireless Communications

引用

computers, Materials & Continua 2021年第8期68卷 2179-2188页

作者： Bin Zhang Muhammad Waqas Shanshan Tu Syed Mudassir Hussain Sadaqat Ur Rehman School of Electronics and Information Engineering Hunan University of Science and EngineeringYongzhou425199China Engineering Research Center of Intelligent Perception and Autonomous Control Faculty of Information TechnologyBeijing University of TechnologyBeijing100124China Faculty of Computer Science and Engineering Ghulam Ishaq Khan(GIK)Institute of Engineering Sciences and TechnologyTopi23460Pakistan Department of Electronics Engineering FICTBalochistan University of Information TechnologyEngineering and Management SciencesQuetta87300Pakistan Department of Computer Science Namal InstituteMianwali42200Pakistan

Secret key generation(SKG)is an emerging technology to secure wireless communication from ***,the SKG at the physical layer is an alternate solution over traditional cryptographic methods due to wireless channels’***,the physical layer secret key generation(PHY-SKG)depends on two fundamental parameters,i.e.,coherence time and power *** coherence time for PHY-SKG is not applicable to secure wireless *** is because coherence time is for a certain period of ***,legitimate users generate the secret keys(SKs)with a shorter key length in ***,an attacker can quickly get information about the ***,the attacker can easily get valuable information from authentic ***,we considered the scheme of power allocation to enhance the secret key generation rate(SKGR)between legitimate ***,we propose an alternative method,i.e.,a power allocation,to improve the *** results show 72%higher SKGR in bits/sec by increasing power *** addition,the power transmission is based on two important parameters,i.e.,epsilon and power loss factor,as given in power transmission *** found out that a higher value of epsilon impacts power transmission and subsequently impacts the *** SKGR is approximately 40.7%greater at 250 from 50 mW at epsilon=*** value of SKGR is reduced to 18.5%at 250 mW when epsilonis ***,the transmission power is also measured against the different power loss factor values,i.e.,3.5,3,and 2.5,respectively,at epsilon=***,it is concluded that the value of epsilon and power loss factor impacts power transmission and,consequently,impacts the SKGR.

关键词： Secret key generation rate power allocation physical layer wireless communication

来源：评论

学校读者我要写书评

暂无评论

Isoform Function Prediction Based on Heterogeneous Graph Attention Networks

Isoform Function Prediction Based on Heterogeneous Graph Att...

引用

2023 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023

作者： Guo, Kuo Li, Yifan Chen, Hao Shen, Hong-Bin Yang, Yang Shanghai Jiao Tong University Key Lab. of Shanghai Education Commission for Intelligent Interaction and Cognitive Engineering Department of Computer Science and Engineering Shanghai200240 China Shanghai Jiao Tong University Key Laboratory of System Control and Information Processing Ministry of Education of China Institute of Image Processing and Pattern Recognition Shanghai200240 China Carnegie Mellon University School of Computer Science Computational Biology Department PittsburghPA15213 United States

ISBN: (纸本)9798350337488

Isoforms refer to different mRNA molecules transcribed from the same gene, which can be translated into proteins with varying structures and functions. Predicting the functions of isoforms is an essential topic in bioinformatics as it can provide valuable insights into the intricate mechanisms of gene regulation and biological processes. Conventionally, gene function labels are standardized in Gene Ontology (GO) terms. However, traditional methods for predicting isoform function are largely limited by the absence of isoform-specific labels, sparse annotations, and the vast number of GO terms. To address these issues, we propose HANIso, a deep learning-based method for isoform function prediction. HANIso leverages a pretrained protein language model to extract features from protein sequences. It also integrates heterogeneous information, such as isoform sequence features, GO annotations, and isoform interaction data, using a Heterogeneous Graph Attention Network (HAN). This allows the model to learn the importance of different sources of information and their semantic relationships through the attention mechanism. Our method can predict function labels at both the gene level and isoform level. We conduct experiments on two species datasets, and the results demonstrate that our method outperforms existing methods on both AUROC and AUPRC. HANIso has the potential to overcome the limitations of traditional methods and provide a more accurate and comprehensive understanding of isoform function. © 2023 IEEE.

关键词： alternative splicing gene ontology heterogeneous graph attention network isoform function prediction protein language model

来源：评论

学校读者我要写书评

暂无评论

PredictiveSLAM - Robust Visual SLAM Through Trajectory-Aware Object Masking

PredictiveSLAM - Robust Visual SLAM Through Trajectory-Aware...

引用

International Conference on Unmanned Aircraft Systems (ICUAS)

作者： Micha Heiß Jakob Grimm Hansen Dengyun Li Michał Kozłowski Erdal Kayacan Department of Electrical and Computer Engineering Artificial Intelligence in Robotics Laboratory (AiR Lab) Aarhus University Aarhus C Denmark Department of Electrical Engineering and Information Technology Automatic Control Group Paderborn University Paderborn Germany

This paper proposes PredictiveSLAM, a novel extension to ORB-SLAM2, which extracts features from specific regions of interest (ROI). The proposed method was designed with the risk posed both to humans and robotic systems in large-scale industrial sites in mind. The ROI are determined through an object detection network trained to detect moving human beings. The method detects and removes humans from feature extraction, predicting their potential future trajectory. This is done by omitting a specific ROI from extraction, deemed to be occluded in consecutive time steps. Two masking methods -static object and moving object trajectories - are proposed. This approach improves tracking accuracy and the performance of SLAM by removing the dynamic features from the reference for tracking and loop closures. The method is tested on data collected in a laboratory environment and compared against a state-of-the-art ground truth system. The validation data was collected from real-time experiments which aimed at simulating the typical human worker behaviours in industrial environments using an unmanned aerial vehicle (UAV). This study illustrates the advantages of the proposed method over earlier approaches, even with a highly dynamic camera setup on a UAV working in challenging environments.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Reference-Based Iterative Interaction With P2-Matching for Stereo Image Super-Resolution

引用

IEEE transactions on image processing : a publication of the IEEE Signal Processing Society 2025年 34卷 3779-3789页

作者： Runmin Cong Rongxin Liao Feng Li Ronghui Sheng Huihui Bai Renjie Wan Sam Kwong Wei Zhang School of Control Science and Engineering Shandong University Jinan China Key Laboratory of Knowledge Engineering with Big Data Ministry of Education of China Hefei China School of Computer Science and Engineering Hefei University of Technology Hefei China Beijing Key Laboratory of Advanced Information Science and Network Technology Beijing China Institute of Information Science Beijing Jiaotong University Beijing China Department of Computer Science Hong Kong Baptist University Hong Kong China School of Data Science Lingnan University Hong Kong China Key Laboratory of Machine Intelligence and System Control Ministry of Education Jinan China

Stereo Image Super-Resolution (SSR) holds great promise in improving the quality of stereo images by exploiting the complementary information between left and right views. Most SSR methods primarily focus on the inter-view correspondences in low-resolution (LR) space. The potential of referencing a high-quality SR image of one view benefits the SR for the other is often overlooked, while those with abundant textures contribute to accurate correspondences. Therefore, we propose Reference-based Iterative Interaction (RIISSR), which utilizes reference-based iterative pixel-wise and patch-wise matching, dubbed $P^{2}$ -Matching, to establish cross-view and cross-resolution correspondences for SSR. Specifically, we first design the information perception block (IPB) cascaded in parallel to extract hierarchical contextualized features for different views. Pixel-wise matching is embedded between two parallel IPBs to exploit cross-view interaction in LR space. Iterative patch-wise matching is then executed by utilizing the SR stereo pair as another mutual reference, capitalizing on the cross-scale patch recurrence property to learn high-resolution (HR) correspondences for SSR performance. Moreover, we introduce the supervised side-out modulator (SSOM) to re-weight local intra-view features and produce intermediate SR images, which seamlessly bridge two matching mechanisms. Experimental results demonstrate the superiority of RIISSR against existing state-of-the-art methods.

关键词： Feature extraction Iterative methods Superresolution Electronic mail Image resolution Image reconstruction Modulation Estimation Data mining Merging

来源：评论

学校读者我要写书评

暂无评论

Rethinking guidance information to utilize unlabeled samples: a label encoding perspective 24

Rethinking guidance information to utilize unlabeled samples...

引用

Proceedings of the 41st International Conference on Machine Learning

作者： Yulong Zhang Yuan Yao Shuhao Chen Pengrong Jin Yu Zhang Jian Jin Jiangang Lu Department of Computer Science and Engineering Southern University of Science and Technology Shenzhen China and College of Control Science and Engineering Zhejiang University Hangzhou China Beijing Teleinfo Technology Company Ltd. China Academy of Information and Communications Technology Beijing China Department of Computer Science and Engineering Southern University of Science and Technology Shenzhen China Research Institute of Industrial Internet of Things China Academy of Information and Communications Technology Beijing China College of Control Science and Engineering Zhejiang University Hangzhou China

Empirical Risk Minimization (ERM) is fragile in scenarios with insufficient labeled samples. A vanilla extension of ERM to unlabeled samples is Entropy Minimization (EntMin), which employs the soft-labels of unlabeled samples to guide their learning. However, EntMin emphasizes prediction discriminability while neglecting prediction diversity. To alleviate this issue, in this paper, we rethink the guidance information to utilize unlabeled samples. By analyzing the learning objective of ERM, we find that the guidance information for labeled samples in a specific category is the corresponding label encoding. Inspired by this finding, we propose a Label-Encoding Risk Minimization (LERM). It first estimates the label encodings through prediction means of unlabeled samples and then aligns them with their corresponding ground-truth label encodings. As a result, the LERM ensures both prediction discriminability and diversity, and it can be integrated into existing methods as a plugin. Theoretically, we analyze the relationships between LERM and ERM as well as EntMin. Empirically, we verify the superiority of the LERM under several label insufficient scenarios. The codes are available at https://***/zhangyl660/LERM.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：