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

A Code Search Method Incorporating Code Annotations 19th

A Code Search Method Incorporating Code Annotations

19th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2023

作者： Li, Qi Liu, Jianxun Zhang, Xiangping School of Computer Science and Engineering Hunan University of Science and Technology Hunan Xiangtan411201 China Hunan Key Lab for Services Computing and Novel Software Technology Hunan University of Science and Technology Hunan Xiangtan411201 China

ISBN: (纸本)9783031545207

Code search is a technique for users to retrieve code snippets from the Code base using natural language, which is dedicated to retrieve the target code accurately and quickly to improve the efficiency of software development. The deep learning based code search technique greatly improves the accuracy of search by learning the relationship between code and query statements. Since it relies on the extracted code features, acquiring more code features is the key to quickly improve the search performance. However, most of the previous works have not taken code annotations into consideration. In this paper, we take code annotations as code features and apply them to code search, which is named ICA-CS (Code Search that Incorporates Code Annotations). In the method, firstly, the code features are embedded to get the corresponding vector representation. It is then processed by bidirectional LSTM (Long Short-Term Memory) network or multi-head attention respectively, followed by features fusion. And finally, the model is trained by joint embedding and using the minimised ranking loss function. As the experimental results show, on the evaluation metric MRR (mean reciprocal rank) compared to the state-of-the-art models DeepCS, SAN-CS, CARLCS-CNN and SelfAtt, the proposed model improves 48.96%, 17.11%, 41.01% and 13.07%, respectively. © ICST Institute for computer sciences, Social Informatics and Telecommunications Engineering 2024.

关键词： Long short-term memory

来源：评论

学校读者我要写书评

暂无评论

Temporal Difference Learning with Piecewise Linear Basis

引用

Chinese Journal of Electronics 2025年第1期23卷 49-54页

作者： Xingguo Chen Yang Gao Shunguo Fan State Key Laboratory for Novel Software Technology Nanjing University Nanjing China

Temporal difference (TD) learning family tries to learn a least-squares solution of an approximate Linear value function (LVF) to deal with large scale and/or continuous reinforcement learning problems. However, due to the represented ability of the features in LVF, the predictive error of the learned LVF is bounded by the residual between the optimal value function and the projected optimal value function. In this paper, Temporal difference learning with Piecewise linear basis (PLB-TD) is proposed to further decrease the error bounds. In PLB-TD, there are two steps: (1) build the piecewise linear basis for problems with different dimensions; (2) learn the parameters via some famous members from the TD learning family (linear TD, GTD, GTD2 or TDC), which complexity is $O(n)$ . The error bounds are proved to decrease to zero when the size of the piecewise basis goes into infinite. The empirical results demonstrate the effectiveness of the proposed algorithm.

关键词： Temporal difference learning Euclidean distance Aerospace electronics Extraterrestrial measurements Approximation algorithms Probability distribution Complexity theory Function approximation

来源：评论

学校读者我要写书评

暂无评论

Verifying Contextual Refinement with Ownership Transfer

引用

Journal of computer science & technology 2021年第6期36卷 1342-1366页

作者： Zhao-Hui Li Xin-Yu Feng School of Computer Science and Technology University of Science and Technology of ChinaHefei 230026China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China

Contextual refinement is a compositional approach to compositional verification of concurrent *** has been much work designing program logics to prove the contextual refinement between the object implementation and its abstract ***,these program logics for contextual refinement verification cannot support objects with resource ownership transfer,which is a common pattern in many concurrent objects,such as the memory management module in OS kernels,which transfers the allocated memory block between the object and *** this paper,we propose a new approach to give abstract and implementation independent specifications to concurrent objects with ownership *** also design a program logic to verify contextual refinement of concurrent objects *** abstract *** have successfully applied our logic to verifying an implementation of the memory management module,where the implementation is an appropriately simplified version of the original version from a real-world preemptive OS kernel.

关键词： contextual refinement program logic concurrent object ownership transfer verification

来源：评论

学校读者我要写书评

暂无评论

Toward actionable testing of deep learning models

引用

science China(Information sciences) 2023年第7期66卷 300-302页

作者： Yingfei XIONG Yongqiang TIAN Yepang LIU Shing-Chi CHEUNG Key Laboratory of High Confidence Software Technologies(Peking University) Ministry of Education School of Computer Science Peking University Department of Computer Science and Engineering The Hong Kong University of Science and Technology School of Computer Science University of Waterloo Research Institute of Trustworthy Autonomous Systems Southern University of Science and Technology Department of Computer Science and Engineering Southern University of Science and Technology

Deep learning has become an important computational paradigm in our daily lives with a wide range of applications,from authentication using facial recognition to autonomous driving in smart vehicles. The quality of the deep learning models, i.e., neural architectures with parameters trained over a dataset, is crucial to our daily living and economy.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Complementary Learning System Theory-based Active Learning for Audio Classification

Complementary Learning System Theory-based Active Learning f...

引用

2025 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2025

作者： Geng, Hui Gao, Zijian Wan, Tianjiao Feng, Dawei Wang, Changjian Xu, Kele College of Computer Science and Technology National University of Defense Technology Changsha China State Key Laboratory of Complex & Critical Software Environment Changsha China

ISBN: (纸本)9798350368741

Deep learning has significantly advanced the audio classification, achieving remarkable results. However, these successes often rely on extensive manual annotation of audio, a labor-intensive and costly process. Active Learning (AL) presents a promising solution by minimizing the required amount of annotation through the iterative selection of the most informative audio samples. Current AL methods for audio classification typically depend solely on the latest model checkpoint, overlooking the dynamics of the entire training process. The Complementary Learning Systems (CLS) theory posits that the interplay between short-term and long-term memory systems can effectively measure sample uncertainty, offering a means to capture training dynamics. In this work, we introduce a novel AL framework for audio classification, termed CLS-AL, which addresses the limitations of existing methods by simultaneously maintaining both short-term and long-term memory models. This dual-memory approach allows for a more comprehensive consideration of training dynamics. The divergence in predictions between these memory models provides a new metric for evaluating the uncertainty of unlabeled samples, enhancing the effectiveness of the AL sample selection process. We demonstrate the effectiveness and generalizability of CLS-AL through extensive experiments on a diverse set of audio datasets, showing that CLS-AL obviously outperforms existing state-of-the-art methods. © 2025 IEEE.

关键词： Active Learning Audio Classification Complementary Learning System Uncertainty Estimation

来源：评论

学校读者我要写书评

暂无评论

A novel Locomotion Rule Rmbedding Long Short-Term Memory Network with Attention for Human Locomotor Intent Classification Using Multi-Sensors Signals

引用

computers, Materials & Continua 2024年第6期79卷 4349-4370页

作者： Jiajie Shen Yan Wang Dongxu Zhang Key Laboratory of Symbol Computation and Knowledge Engineering Ministry of EducationColleague of Computer Science and TechnologyJilin UniversityChangchun130012China College of Software and Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of EducationJilin UniversityChangchun130012China

Locomotor intent classification has become a research hotspot due to its importance to the development of assistive robotics and wearable *** work have achieved impressive performance in classifying steady locomotion ***,it remains challenging for these methods to attain high accuracy when facing transitions between steady locomotion *** to the similarities between the information of the transitions and their adjacent steady ***,most of these methods rely solely on data and overlook the objective laws between physical activities,resulting in lower accuracy,particularly when encountering complex locomotion modes such as *** address the existing deficiencies,we propose the locomotion rule embedding long short-term memory(LSTM)network with Attention(LREAL)for human locomotor intent classification,with a particular focus on transitions,using data from fewer sensors(two inertial measurement units and four goniometers).The LREAL network consists of two levels:One responsible for distinguishing between steady states and transitions,and the other for the accurate identification of locomotor *** classifier in these levels is composed of multiple-LSTM layers and an attention *** introduce real-world motion rules and apply constraints to the network,a prior knowledge was added to the network via a rule-modulating *** method was tested on the ENABL3S dataset,which contains continuous locomotion date for seven steady and twelve transitions *** results showed that the LREAL network could recognize locomotor intents with an average accuracy of 99.03%and 96.52%for the steady and transitions states,*** is worth noting that the LREAL network accuracy for transition-state recognition improved by 0.18%compared to other state-of-the-art network,while using data from fewer sensors.

关键词： Lower-limb prosthetics deep neural networks motion classification

来源：评论

学校读者我要写书评

暂无评论

A novel Quantization and Model Compression Approach for Hardware Accelerators in Edge Computing

引用

computers, Materials & Continua 2024年第8期80卷 3021-3045页

作者： Fangzhou He Ke Ding DingjiangYan Jie Li Jiajun Wang Mingzhe Chen State Key Laboratory of Intelligent Vehicle Safety Technology Chongqing401133China Foresight Technology Institute Chongqing Changan Automobile Co.Ltd.Chongqing400023China School of Computer Science and Engineering Chongqing University of Science and TechnologyChongqing401331China

Massive computational complexity and memory requirement of artificial intelligence models impede their deploy-ability on edge computing devices of the Internet of Things(IoT).While Power-of-Two(PoT)quantization is pro-posed to improve the efficiency for edge inference of Deep Neural Networks(DNNs),existing PoT schemes require a huge amount of bit-wise manipulation and have large memory overhead,and their efficiency is bounded by the bottleneck of computation latency and memory *** tackle this challenge,we present an efficient inference approach on the basis of PoT quantization and model *** integer-only scalar PoT quantization(IOS-PoT)is designed jointly with a distribution loss regularizer,wherein the regularizer minimizes quantization errors and training ***,two-stage model compression is developed to effectively reduce memory requirement,and alleviate bandwidth usage in communications of networked heterogenous learning *** product look-up table(P-LUT)inference scheme is leveraged to replace bit-shifting with only indexing and addition operations for achieving low-latency computation and implementing efficient edge ***,comprehensive experiments on Residual Networks(ResNets)and efficient architectures with Canadian Institute for Advanced Research(CIFAR),ImageNet,and Real-world Affective Faces Database(RAF-DB)datasets,indicate that our approach achieves 2×∼10×improvement in the reduction of both weight size and computation cost in comparison to state-of-the-art methods.A P-LUT accelerator prototype is implemented on the Xilinx KV260 Field Programmable Gate Array(FPGA)platform for accelerating convolution operations,with performance results showing that P-LUT reduces memory footprint by 1.45×,achieves more than 3×power efficiency and 2×resource efficiency,compared to the conventional bit-shifting scheme.

关键词： Edge computing model compression hardware accelerator power-of-two quantization

来源：评论

学校读者我要写书评

暂无评论

A novel Divide and Conquer Solution for Long-term Video Salient Object Detection

引用

Machine Intelligence Research 2024年第4期21卷 684-703页

作者： Yun-Xiao Li Cheng-Li-Zhao Chen Shuai Li Ai-Min Hao Hong Qin State Key Laboratory of Virtual Reality Technology and Systems Beihang UniversityBeijing 100191China College of Computer Science and Technology China University of Petroleum(East China)Qingdao 266580China Department of Computer Science Stony Brook UniversityNew York 11794USA

Recently,a new research trend in our video salient object detection(VSOD)research community has focused on enhancing the detection results via model self-fine-tuning using sparsely mined high-quality keyframes from the given *** such a learning scheme is generally effective,it has a critical limitation,i.e.,the model learned on sparse frames only possesses weak generalization *** situation could become worse on“long”videos since they tend to have intensive scene ***,in such videos,the keyframe information from a longer time span is less relevant to the previous,which could also cause learning conflict and deteriorate the model ***,the learning scheme is usually incapable of handling complex pattern *** solve this problem,we propose a divide-and-conquer framework,which can convert a complex problem domain into multiple simple ***,we devise a novel background consistency analysis(BCA)which effectively divides the mined frames into disjoint *** for each group,we assign an individual deep model on it to capture its key attribute during the fine-tuning *** the testing phase,we design a model-matching strategy,which could dynamically select the best-matched model from those fine-tuned ones to handle the given testing *** experiments show that our method can adapt severe background appearance variation coupling with object movement and obtain robust saliency detection compared with the previous scheme and the state-of-the-art methods.

关键词： Video salient object detection background consistency analysis weakly supervised learning long-term information background shift.

来源：评论

学校读者我要写书评

暂无评论

Artificial Intelligence for Edge Service Optimization in Internet of Vehicles:A Survey

引用

Tsinghua science and technology 2022年第2期27卷 270-287页

作者： Xiaolong Xu Haoyuan Li Weijie Xu Zhongjian Liu Liang Yao Fei Dai the School of Computer and Software Nanjing University of Information Science and TechnologyNanjing 210044China the Jiangsu Collaborative Innovation Center of Atmospheric Environment and Equipment Technology(CICAEET) Nanjing University of Information Science and Technology and EngineeringNanjing 210044China the State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China the School of Big Data and Intelligence Engineering Southwest Forestry UniversityKunming 650233China

The Internet of Vehicles(IoV)plays a crucial role in providing diversified services because of its powerful capability of collecting real-time ***,collected information is transmitted to a centralized resourceintensive cloud platform for service *** Computing(EC)that deploys physical resources near road-side units is involved in IoV to support real-time services for vehicular ***,many measures are adopted to optimize the performance of EC-enabled IoV,but they hardly help make dynamic decisions according to real-time *** Intelligence(AI)is capable of enhancing the learning capacity of edge devices and thus assists in allocating resources *** extensive research has employed AI to optimize EC performance,summaries with relative concepts or prospects are quite *** address this gap,we conduct an exhaustive survey about utilizing AI in edge service optimization in ***,we establish the general condition and relative concepts about IoV,EC,and ***,we review the edge service frameworks for IoV and explore the use of AI in edge server placement and service ***,we discuss a number of open issues in optimizing edge services with AI.

关键词： edge service internet of vehicles artificial intel igence

来源：评论

学校读者我要写书评

暂无评论

Real-Time DAG Task Allocation Strategy for Multiprocessor by Optimistic Parallelism 24

Real-Time DAG Task Allocation Strategy for Multiprocessor by...

引用

24th IEEE International Conference on Communication technology, ICCT 2024

作者： Chen, Yumeng Liu, Songlin Zhou, Jianhong Ling, Xiang University of Electronic Science and Technology of China National Key Laboratory of Science and Technology on Communications China Xihua University School of Computer and Software Engineering China

ISBN: (纸本)9798350363760

In modern real-time operating systems, complex task loads are often modeled as directed acyclic graphs (DAG) and executed in parallel on multiprocessor systems. The topological constraints present in DAG tasks prevent the DAG task allocation strategy from fully leveraging the parallel advantage of multiprocessor platforms. We analyze the parallelism of DAG tasks and propose a method to limit the number of processors that can be executed by DAG tasks. This method provides more idle processors and processor time for high parallelism DAG tasks by limiting the number of processors that can be executed by low parallelism DAG tasks. In addition, we develope optimistic parallelism scheduling algorithm (OPSA) based on the remaining utilization with low complexity. The experimental results show that our DAG task allocation strategy fully utilizes processor resources, reduces interference between DAG tasks, and achieves better worst case response time (WCRT) analysis results and shorter actual task's WCRT on real-time multiprocessor system. © 2024 IEEE.

关键词： Directed graphs

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：