检索结果-南通市图书馆

同方期刊数据库

Building a domain-specific compiler for emerging processors with a reusable approach

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第1期67卷 20-38页

作者： Mingzhen LI Yi LIU Bangduo CHEN Hailong YANG Zhongzhi LUAN Depei QIAN State Key Laboratory of software Development Environment school of computer Science and Engineering Beihang University

High-performance computing and deep learning domains have been motivating the design of domain-specific *** these processors can provide promising computation capability,they are notorious for exotic programming *** improve programming productivity and fully exploit the performance potential of these processors,domain-specific compilers(DSCs) have been ***,building DSCs for emerging processors requires tremendous engineering efforts because the commonly used compilation stack is difficult to be *** to the advent of multilevel intermediate representation(MLIR),DSC developers can leverage reusable infrastructure to extend their customized functionalities without rebuilding the entire compilation *** this paper,we further demonstrate the effectiveness of MLIR by extending its reusable infrastructure to embrace a heterogeneous many-core processor(Sunway processor).In particular,we design a new Sunway dialect and corresponding backend for the Sunway processor,fully exploiting its architectural advantage and hiding its programming *** show the ease of building a DSC,we leverage the Sunway dialect and existing MLIR dialects to build a stencil compiler for the Sunway *** experimental results show that our stencil compiler,built with a reusable approach,can even perform better than state-of-the-art stencil compilers.

关键词： domain-specific compiler emerging processor reusable dialect performance optimization MLIR

HTDcr:a job execution framework for high-throughput computing on supercomputers

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第1期67卷 69-85页

作者： Jiazhi JIANG Dan HUANG Hu CHEN Yutong LU Xiangke LIAO school of computer Science and Engineering Sun Yat-sen University school of software Engineering South China University of Technology

High-throughput computing(HTC) is a computing paradigm that aims to accomplish jobs by easily breaking them into smaller,independent ***,it requires a large amount of computing power for a long *** existing HTC frameworks are job-oriented without support for coscheduling with hardware architecture and task-level ***,most of the frameworks reach a limited scale,and their usability needs further ***,we present HTDcr,a job execution framework for the HTC on *** study aims to improve the throughput,task dispatching,and usability of the *** detail,the throughput optimizations include a sophisticated designed task management system,a hierarchical scheduler,and the co-optimization of the task-scheduling strategy with the application and hardware *** optimizations for usability include a programable execution workflow,mechanisms for more robust and reliable service qualities,and a fine-grained resource allocation system for the colocation of multiple *** to our evaluations,HTDcr can achieve outstanding scalability and high throughput on large-scale clusters for the HTC *** evaluate HTDcr with several microbenchmarks and real-world applications on Tianhe-2 and Sunway TaihuLight to demonstrate its effects on existing design *** instance,the task scheduling for two real-world applications integrated with the application and hardware characteristics achieves 1.7× and 1.9× speedups over the basic task-scheduling strategy.

关键词： high-throughput computing supercomputer task scheduling middleware password guessing

When debugging encounters artificial intelligence: state of the art and open challenges

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第4期67卷 42-84页

作者： Yi SONG Xiaoyuan XIE Baowen XU school of computer Science Wuhan University State Key Laboratory of Novel software Technology Nanjing University

Both software debugging and artificial intelligence techniques are hot topics in the current field of software engineering. Debugging techniques, which comprise fault localization and program repair, are an important part of the software development lifecycle for ensuring the quality of software systems. As the scale and complexity of software systems grow, developers intend to improve the effectiveness and efficiency of software debugging via artificial intelligence(artificial intelligence for software debugging, AI4SD). On the other hand, many artificial intelligence models are being integrated into safety-critical areas such as autonomous driving, image recognition, and audio processing, where software debugging is highly necessary and urgent(software debugging for artificial intelligence, SD4AI). An AI-enhanced debugging technique could assist in debugging AI systems more effectively, and a more robust and reliable AI approach could further guarantee and support debugging techniques. Therefore, it is important to take AI4SD and SD4AI into consideration comprehensively. In this paper, we want to show readers the path, the trend, and the potential that these two directions interact with each other. We select and review a total of 165 papers in AI4SD and SD4AI for answering three research questions, and further analyze opportunities and challenges as well as suggest future directions of this cross-cutting area.

关键词： software debugging fault localization program repair artificial intelligence machine learning

同方期刊数据库

A Deep Deterministic Policy Gradient-Based Method for Enforcing Service Fault-Tolerance in MEC

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2024年第4期33卷 899-909页

作者： Tingyan LONG Peng CHEN Yunni XIA Yong MA Xiaoning SUN Jiale ZHAO Yifei LYU College of computer Science Chongqing University school of computer and software Engineering Xihua University school of computer and Information Engineering Jiangxi Normal University school of computer and Information Science Chongqing Normal University

Mobile edge computing(MEC) provides edge services to users in a distributed and on-demand *** to the heterogeneity of edge applications, deploying latency and resource-intensive applications on resourceconstrained devices is a key challenge for service providers. This is especially true when underlying edge infrastructures are fault and error-prone. In this paper, we propose a fault tolerance approach named DFGP, for enforcing mobile service fault-tolerance in MEC. It synthesizes a generative optimization network(GON) model for predicting resource failure and a deep deterministic policy gradient(DDPG) model for yielding preemptive migration *** show through extensive simulation experiments that DFGP is more effective in fault detection and guaranteeing quality of service, in terms of fault detection accuracy, migration efficiency, task migration time, task scheduling time,and energy consumption than other existing methods.

关键词： Fault tolerance Multi-access edge computing Processor scheduling Fault detection Image edge detection Fault tolerant systems Quality of service

Perception field based imitation learning for unlabeled multi-agent pathfinding

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第5期67卷 115-135页

作者： Wenjie CHU Ailun YU Wei ZHANG Haiyan ZHAO Zhi JIN school of computer Science Peking University Key Laboratory of High-Confidence software Technologies (Peking University) Ministry of Education

This paper proposes an imitation learning method to learn a universal agent policy for unlabeled multi-agent pathfinding(unlabeled MAPF) in grid environments. The method transforms the unlabeled MAPF problem into a series of temporal-independent homogeneous classification problems for each *** on this transformation, a neural network is designed to imitate a distance-optimal expert *** neural network consists of two successive modules: perception field learner and field integrating *** former refines and encodes the current system state into a perception field for each agent by combining a set of learnable field-generating functions. The latter takes an agent's perception field as input and decides the agent's next action based on a triplet cross-attention mechanism. We evaluate our method on a diverse set of unlabeled MAPF tasks. Compared with state-of-the-art counterparts, the experimental results manifest the superiority of the proposed method in both generalization ability and scalability.

关键词： unlabeled multi-agent pathfinding perception field triplet cross-attention multi-agent imitation learning learning-based planning

Incremental Data Stream Classification with Adaptive Multi-Task Multi-View Learning

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Big Data Mining and Analytics 2024年第1期7卷 87-106页

作者： Jun Wang Maiwang Shi Xiao Zhang Yan Li Yunsheng Yuan Chengei Yang Dongxiao Yu school of computer Science and Technology Shandong UniversityQingdao 266237China school of software Shandong UniversityJinan 250101China

With the enhancement of data collection capabilities,massive streaming data have been accumulated in numerous application ***,the issue of classifying data streams based on mobile sensors can be formalized as a multi-task multi-view learning problem with a specific task comprising multiple views with shared features collected from multiple *** incremental learning methods are often single-task single-view,which cannot learn shared representations between relevant tasks and *** adaptive multi-task multi-view incremental learning framework for data stream classification called MTMVIS is proposed to address the above challenges,utilizing the idea of multi-task multi-view ***,the attention mechanism is first used to align different sensor data of different *** addition,MTMVIS uses adaptive Fisher regularization from the perspective of multi-task multi-view learning to overcome catastrophic forgetting in incremental *** reveal that the proposed framework outperforms state-of-the-art methods based on the experiments on two different datasets with other baselines.

关键词： data stream classification mobile sensors multi-task multi-view learning incremental learning

Improved Twin Support Vector Machine Algorithm and Applications in Classification Problems

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

China Communications 2024年第5期21卷 261-279页

作者： Sun Yi Wang Zhouyang Beijing University of Posts and Telecommunications School of Computer Science(National Pilot Software Engineering School) Beijing University of Posts and Telecommunications International School

The distribution of data has a significant impact on the results of *** the distribution of one class is insignificant compared to the distribution of another class,data imbalance *** will result in rising outlier values and ***,the speed and performance of classification could be greatly *** the above problems,this paper starts with the motivation and mathematical representing of classification,puts forward a new classification method based on the relationship between different classification *** with the vector characteristics of the actual problem and the choice of matrix characteristics,we firstly analyze the orderly regression to introduce slack variables to solve the constraint problem of the lone *** we introduce the fuzzy factors to solve the problem of the gap between the isolated points on the basis of the support vector *** introduce the cost control to solve the problem of sample ***,based on the bi-boundary support vector machine,a twostep weight setting twin classifier is *** can help to identify multitasks with feature-selected patterns without the need for additional optimizers,which solves the problem of large-scale classification that can’t deal effectively with the very low category distribution gap.

关键词： fuzzy ordered regression(OR) relaxing variables twin support vector machine

维普期刊数据库

Practical cloud storage auditing using serverless computing

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第3期67卷 33-47页

作者： Fei CHEN Jianquan CAI Tao XIANG Xiaofeng LIAO College of computer Science and software Engineering Shenzhen University College of computer Science Chongqing University

Cloud storage auditing research is dedicated to solving the data integrity problem of outsourced storage on the cloud. In recent years, researchers have proposed various cloud storage auditing schemes using different techniques. While these studies are elegant in theory, they assume an ideal cloud storage model;that is, they assume that the cloud provides the storage and compute interfaces as required by the proposed schemes. However, this does not hold for mainstream cloud storage systems because these systems only provide read and write interfaces but not the compute interface. To bridge this gap, this work proposes a serverless computing-based cloud storage auditing system for existing mainstream cloud object storage. The proposed system leverages existing cloud storage auditing schemes as a basic building block and makes two adaptations. One is that we use the read interface of cloud object storage to support block data requests in a traditional cloud storage auditing scheme. Another is that we employ the serverless computing paradigm to support block data computation as traditionally required. Leveraging the characteristics of serverless computing, the proposed system realizes economical, pay-as-you-go cloud storage auditing. The proposed system also supports mainstream cloud storage upper layer applications(e.g., file preview) by not modifying the data formats when embedding authentication tags for later auditing. We prototyped and open-sourced the proposed system to a mainstream cloud service, i.e., Tencent Cloud. Experimental results show that the proposed system is efficient and promising for practical use. For 40 GB of data, auditing takes approximately 98 s using serverless computation. The economic cost is 120.48 CNY per year, of which serverless computing only accounts for 46%. In contrast, no existing studies reported cloud storage auditing results for real-world cloud services.

关键词： cloud storage auditing serverless computing object storage usability

同方期刊数据库

A probabilistic generative model for tracking multi-knowledge concept mastery probability

在线全文

学校读者我要写书评

暂无评论

Frontiers of computer Science 2024年第3期18卷 155-170页

作者： Hengyu LIU Tiancheng ZHANG Fan LI Minghe YU Ge YU school of computer Science and Engineering Northeastern UniversityShenyang 110169China software College Northeastern UniversityShenyang 110169China

Knowledge tracing aims to track students’knowledge status over time to predict students’future performance *** a real environment,teachers expect knowledge tracing models to provide the interpretable result of knowledge *** chain-based knowledge tracing(MCKT)models,such as Bayesian Knowledge Tracing,can track knowledge concept mastery probability over ***,as the number of tracked knowledge concepts increases,the time complexity of MCKT predicting student performance increases exponentially(also called explaining away problem).When the number of tracked knowledge concepts is large,we cannot utilize MCKT to track knowledge concept mastery probability over *** addition,the existing MCKT models only consider the relationship between students’knowledge status and problems when modeling students’responses but ignore the relationship between knowledge concepts in the same *** address these challenges,we propose an inTerpretable pRobAbilistiC gEnerative moDel(TRACED),which can track students’numerous knowledge concepts mastery probabilities over *** solve explain away problem,we design long and short-term memory(LSTM)-based networks to approximate the posterior distribution,predict students’future performance,and propose a heuristic algorithm to train LSTMs and probabilistic graphical model *** better model students’exercise responses,we proposed a logarithmic linear model with three interactive strategies,which models students’exercise responses by considering the relationship among students’knowledge status,knowledge concept,and *** conduct experiments with four real-world datasets in three knowledge-driven *** experimental results show that TRACED outperforms existing knowledge tracing methods in predicting students’future performance and can learn the relationship among students,knowledge concepts,and problems from students’exercise *** also conduct several case *** case studies show that

关键词： probabilistic graphical model deep learning knowledge tracing learner modeling