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

10th International Symposium on Dependable software engineering: Theories, Tools and Applications, SETTA 2024

作者： Deng, Shaojun Liu, Wanwei Zhang, Miaomiao College of Computer Science and Technology National University of Defense Technology Changsha China School of Software Engineering Tongji Uniersity Shanghai China

ISBN: (纸本)9789819606016

Neural-symbolic systems (NSSs), which are typically cyber-physical systems integrated with artificial intelligence modules, have received much attention in both academic and industrial fields. However, thorough verification (such as model checking) of such systems in general leads to prohibitively high costs due to the scale of the state space, and this makes it barely accomplishable within desired time-span. Consequently, light-weight verification techniques are introduced to deal with such cases, e.g., runtime verification (RV, for short). In this paper, we investigate an RV framework for NSSs against signal temporal logic (STL) properties. To guarantee that the on-line monitoring could be accomplished in time, we utilize Euler-prediction to sample the system under scrutiny at discrete time-steps. Our framework supports both qualitative and quantitative on-line monitoring of STL specifications, and thus it terminates whenever a property is satisfied and/or violated by a finite prefix of the trajectory, and it can also provide the bounds of the quantitative satisfaction/violation w.r.t. the remaining execution. Notably, for the so-called piece-wise linear NSSs against affine STL formulas, our approach is exact. On top of it, a prototype tool is implemented, and is experimentally evaluated. The results demonstrate the feasibility of the presented runtime verification approach. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

VisualRWKV: Exploring Recurrent Neural Networks for Visual Language Models 31

VisualRWKV: Exploring Recurrent Neural Networks for Visual L...

引用

31st International Conference on Computational Linguistics, COLING 2025

作者： Hou, Haowen Zeng, Peigen Ma, Fei Yu, Fei Richard Shenzhen China College of Computer Science and Software Engineering Shenzhen University Shenzhen China Shool of Information Technology Carleton University Canada

ISBN: (纸本)9798891761964

Visual Language Models (VLMs) have rapidly progressed with the recent success of large language models. However, there have been few attempts to incorporate efficient linear Recurrent Neural Networks (RNNs) architectures into VLMs. In this study, we introduce VisualRWKV, the first application of a linear RNN model to multimodal learning tasks, leveraging the pre-trained RWKV language model. We propose a data-dependent recurrence and sandwich prompts to enhance our modeling capabilities, along with a 2D image scanning mechanism to enrich the processing of visual sequences. Extensive experiments demonstrate that VisualRWKV achieves competitive performance compared to Transformer-based models like LLaVA-1.5 on various benchmarks. Compared to LLaVA-1.5, VisualRWKV has a speed advantage of 3.98 times and can save 54% of GPU memory when reaching an inference length of 24K tokens. To facilitate further research and analysis, we have made the checkpoints and the associated code publicly accessible at the following GitHub repository: https://***/howard-hou/VisualRWKV. © 2025 Association for Computational Linguistics.

关键词： Recurrent neural networks

来源：评论

学校读者我要写书评

暂无评论

An Enhanced Multiview Transformer for Population Density Estimation Using Cellular Mobility Data in Smart City

引用

computers, Materials & Continua 2024年第4期79卷 161-182页

作者： Yu Zhou Bosong Lin Siqi Hu Dandan Yu College of Computer Science and Software Engineering Shenzhen UniversityShenzhen518060China College of Management Shenzhen UniversityShenzhen518060China Information Center The First Affiliated Hospital of Dalian Medical UniversityDalian116011China

This paper addresses the problem of predicting population density leveraging cellular station *** wireless communication devices are commonly used,cellular station data has become integral for estimating population figures and studying their movement,thereby implying significant contributions to urban ***,existing research grapples with issues pertinent to preprocessing base station data and the modeling of population *** address this,we propose methodologies for preprocessing cellular station data to eliminate any irregular or redundant *** preprocessing reveals a distinct cyclical characteristic and high-frequency variation in population ***,we devise a multi-view enhancement model grounded on the Transformer(MVformer),targeting the improvement of the accuracy of extended time-series population *** experiments,conducted on the above-mentioned population dataset using four alternate Transformer-based models,indicate that our proposedMVformer model enhances prediction accuracy by approximately 30%for both univariate and multivariate time-series prediction *** performance of this model in tasks pertaining to population prediction exhibits commendable results.

关键词： Population density estimation smart city transformer multiview learning

来源：评论

学校读者我要写书评

暂无评论

TunSLR-25: A New Static Tunisian Sign Language Recognition System 41st

TunSLR-25: A New Static Tunisian Sign Language Recognition S...

引用

41st computer Graphics International Conference, CGI 2024

作者： Aloui, Sarra Wang, Yu Fan-fan, Zhou College of Computer Science and Software Engineering Hohai University Nanjing China First Affiliated Hospital of Kunming Medical University Kunming China

ISBN: (纸本)9783031818059

There are 466 M deaf across the world according to World Health Organisation. They are deprived of their basic human right which is communicating with others. Many solutions have been developed to help hard-of-hearing people overcome communication barriers. The existing sign language recognition research focuses on sign languages other than Tunisian Sign Language. Consequently, a Tunisian Sign Language dataset, TunSL-D, was developed for this research. The dataset contains static images that are more complex and can generalize the classification tasks. The images represent the most used words and alphabets in Tunisian Sign language. This paper proposes a novel model TunSLR-25 that recognizes and classifies static Tunisian sign language. The model is first trained on the words data, achieving an accuracy of 95.49%, then trained on both words and alphabets, achieving an accuracy of 88%, with a low parameter number of 1,098,901. The TunSL-D has been trained on SLRNet-8 CNN, a 4-layer CNN model, pre-trained models Resnet50, Resnet101, and InceptionV3. The paper compares the performance of these CNN models and the proposed CNN model TunSLR-25. The system will be integrated into a web application designed to be accessible and user-friendly for this community. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Classification SLR Tunisian Sign Language

来源：评论

学校读者我要写书评

暂无评论

Do Bad Smells Lead to Defects? 13

Do Bad Smells Lead to Defects?

引用

13th International Conference on software Technology and engineering, ICSTE 2023

作者： Topuz, Fatma Neda Umphress, David A. Osmaniye Korkut Ata University Computer Engineering Osmaniye Turkey Auburn University Computer Science and Software Engineering AuburnAL United States

ISBN: (纸本)9798350371475

Code that disregards fundamental sound design practices is said to 'smell.' While a code smell is not normally a bug, conventional wisdom suggests that it could lead to bugs when the software is later modified. This makes logical sense, but is there empirical evidence that supports this argument? If code smells can be shown to metastasize over time, are there some code smells that more virulent than others? We set out to address these questions by examining five popular Python open-source software projects to determine if recorded defects traced back to segments of code containing a smell. Our study focused on eight code smells: Large Class, Long Parameter List, Feature Envy, Parallel Inheritance Hierarchy, Data Class, Lazy Class, Refused Bequest, and Long Method. We analyzed GitHub change and defect logs for defects, then identified how the code as repaired. A smell was assumed to be the cause of the defect if changes resulted in removal of the smell. We counted the number of code smells in the project and used the ratio of the count of smells to the count of defects to quantify the influence of smells on defects. Our results indicate that the Long Parameter List code smell has the highest positive correlation, the Long Method and Large Class smells have a moderate correlation, and the Parallel Inheritance Hierarchy, Data Class, Lazy Class, Feature Envy and Refused Bequest smells have no significant correlation on the presence of defects. © 2023 IEEE.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Research on Visual Slam Technology for UAV Positioning and Navigation 21

Research on Visual Slam Technology for UAV Positioning and N...

引用

21st International computer Conference on Wavelet Active Media Technology and Information Processing, ICCWAMTIP 2024

作者： Wang, Zhou Zhihao, Liu Ying, Tian Yujun, Yang School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China School of Computer and Software Engineering Xihua University Chengdu China Sichuan Police College Intelligent Policing Key Laboratory of Sichuan Province LuZhou China College of Computer and Artificial Intelligence Software College Huaihua University Huaihua China

ISBN: (纸本)9798331519254

UAV (Unmanned Aerial Vehicle) navigation can be considered as the process of robots that determine how to successfully and quickly reach the target location. Specifically, in order to complete the scheduled task successfully, the UAV must accurately understand its status, such as position, navigation speed, heading, as well as the starting point and target position. Moreover, it mainly depends on the current environment and location. This article generally focuses on the research on visual SLAM (Simultaneous localization and mapping) for UAV positioning and navigation. © 2024 IEEE.

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

BiKD-Yolo: A Small Object Detection Algorithm from UAV Perspective Based on BiFormer Attention and Knowledge Distillation 20

BiKD-Yolo: A Small Object Detection Algorithm from UAV Persp...

引用

20th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery, ICNC-FSKD 2024

作者： Hua, Xiang Cai, Zeju Zhu, Xiangyuan Aijia, Ouyang School of Software Engineering Sun Yat-sen University Guangdong China School of Computer Science and Software Zhaoqing University Guangdong China School of Information Engineering Zunyi Normal University Guizhou China

ISBN: (纸本)9798350356328

Object detection is crucial for the real-time operations of Unmanned Aerial Vehicles (UAVs), particularly in identifying small objects within UAV imagery. While existing computer vision techniques have shown success in UAV applications, detecting small objects remains challenging due to limited information, small size, and low resolution. This study presents the BiKD-YOLO approach, which combines BiFormer attention and knowledge distillation to enhance both the precision and efficiency of small object detection. We employ SAHI (Slice-Assisted Hyper-Inference) cropping to enlarge small objects in images, followed by knowledge distillation for model compression, facilitating knowledge transfer from larger to smaller models for streamlined operation. Through the incorporation of the BiFormer attention mechanism, the detection process is further refined by focusing on critical regions of interest, thereby improving overall accuracy. Experimental Results from tests on the VisDrone dataset show that BiKD-Yolo greatly surpasses the baseline, delivering superior performance in detection accuracy, mAP, and AP metrics. In summary, the BiKD-Yolo method presents a novel and effective solution for improving small object detection in UAV images, offering enhanced accuracy and speed. © 2024 IEEE.

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

Ensemble Graph and Device Clustering Method based on Attention Mechanism for Decomposing Monolithic to Microservices 22

Ensemble Graph and Device Clustering Method based on Attenti...

引用

22nd IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2024

作者： Deng, Qingyong Li, Qiuming Zuo, Qinghua Tian, Shujuan Long, Saiqin Guangxi Normal University School of Computer Science and Engineering The School of Software Guilin China Xiangtan University School of Computer Science Xiangtan China Jinan University College of Information Science and Technology Guangzhou China

ISBN: (纸本)9798331509712

Existing methods for decomposing monolithic applications into microservices in cloud environments primarily rely on the call relationships within itself. However, these methods are difficult to apply directly in resource-constrained and distributed edge network scenarios without considering the heterogeneity of the device. Therefore, this paper proposes a clustering method that ensembles graph structures and device features based on attention mechanism, which utilizes attention encoders to learn node embeddings and employs a spectral clustering algorithm to obtain decomposition results, optimizing the affinity and matching degree between microservices and devices. Experimental results demonstrate that the proposed method exhibits excellent performance in terms of functional independence, modularity, and adaptability of microservices. © 2024 IEEE.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

MSEs Credit Risk Assessment Model Based on Federated Learning and Feature Selection

引用

computers, Materials & Continua 2023年第6期75卷 5573-5595页

作者： Zhanyang Xu Jianchun Cheng Luofei Cheng Xiaolong Xu Muhammad Bilal School of Computer and Software Nanjing University of Information Science&TechnologyNanjing210044China State Key Laboratory Novel Software Technology Nanjing UniversityNanjing210023China Department of Computer and Electronics Systems Engineering Hankuk University of Foreign StudiesYongin-siGyeonggi-do17035Korea

Federated learning has been used extensively in business inno-vation scenarios in various *** research adopts the federated learning approach for the first time to address the issue of bank-enterprise information asymmetry in the credit assessment ***,this research designs a credit risk assessment model based on federated learning and feature selection for micro and small enterprises(MSEs)using multi-dimensional enterprise data and multi-perspective enterprise *** proposed model includes four main processes:namely encrypted entity alignment,hybrid feature selection,secure multi-party computation,and global model ***,a two-step feature selection algorithm based on wrapper and filter is designed to construct the optimal feature set in multi-source heterogeneous data,which can provide excellent accuracy and *** addition,a local update screening strategy is proposed to select trustworthy model parameters for aggregation each time to ensure the quality of the global *** results of the study show that the model error rate is reduced by 6.22%and the recall rate is improved by 11.03%compared to the algorithms commonly used in credit risk research,significantly improving the ability to identify ***,the business operations of commercial banks are used to confirm the potential of the proposed model for real-world implementation.

关键词： Federated learning feature selection credit risk assessment MSEs

来源：评论

学校读者我要写书评

暂无评论

Multi-Agent Deep Q-Networks for Efficient Edge Federated Learning Communications in software-Defined IoT

引用

computers, Materials & Continua 2022年第5期71卷 3319-3335页

作者： Prohim Tam Sa Math Ahyoung Lee Seokhoon Kim Department of Software Convergence Soonchunhyang UniversityAsan31538Korea Department of Computer Science Kennesaw State UniversityMariettaGA 30060USA Department of Computer Software Engineering Soonchunhyang UniversityAsan31538Korea

Federated learning(FL)activates distributed on-device computation techniques to model a better algorithm performance with the interaction of local model updates and global model distributions in aggregation averaging ***,in large-scale heterogeneous Internet of Things(IoT)cellular networks,massive multi-dimensional model update iterations and resource-constrained computation are challenging aspects to be tackled *** paper introduces the system model of converging softwaredefined networking(SDN)and network functions virtualization(NFV)to enable device/resource abstractions and provide NFV-enabled edge FL(eFL)aggregation servers for advancing automation and ***-agent deep Q-networks(MADQNs)target to enforce a self-learning softwarization,optimize resource allocation policies,and advocate computation offloading *** gathered network conditions and resource states,the proposed agent aims to explore various actions for estimating expected longterm rewards in a particular state *** exploration phase,optimal actions for joint resource allocation and offloading decisions in different possible states are obtained by maximum Q-value ***-based virtual network functions(VNF)forwarding graph(VNFFG)is orchestrated to map VNFs towards eFL aggregation server with sufficient communication and computation resources in NFV infrastructure(NFVI).The proposed scheme indicates deficient allocation actions,modifies the VNF backup instances,and reallocates the virtual resource for exploitation *** neural network(DNN)is used as a value function approximator,and epsilongreedy algorithm balances exploration and *** scheme primarily considers the criticalities of FL model services and congestion states to optimize long-term *** results presented the outperformance of the proposed scheme over reference schemes in terms of Quality of Service(QoS)performance metrics,including packet

关键词： Deep Q-networks federated learning network functions virtualization quality of service software-defined networking

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：