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

12th CCF Conference on bigdata, bigdata 2024

作者： Gao, Yuanjun Zhu, Quntao Shi, Xuanhua Jin, Hai National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan430074 China

ISBN: (纸本)9789819610235

Dynamic graphs have emerged as a pivotal data structure underpinning real-world network applications. Against this backdrop, detecting anomalies in dynamic graphs has become particularly important, serving as a foundation for multiple downstream tasks. However, existing research has been limited by only considering the simplistic spatial features of the target edge and being confined to local spatial structures. This confinement imposes significant limitations on model performance. Furthermore, current models have not adequately addressed the issue of missing node attributes, relying solely on one-hot encoding to represent nodes, which restricts the expressive capacity of spatial features. In response to these challenges, we propose an end-to-end transformer-based spatio-temporal graph neural network model called TransSTGNN for detecting anomalous edges on dynamic graphs. This model innovatively integrates the graph convolution network with the transformer model to extract multi-dimensional spatial features of the target edge. Simultaneously, TransSTGNN incorporates a novel node enhancement module that reinforces the representation capability of spatial features by encoding the spatial attributes of nodes, effectively tackling the problem of missing node attributes. Extensive experiments confirm that TransSTGNN surpasses the state-of-the-art methods in anomaly detection on six benchmark datasets and effectively resolves the challenges mentioned above. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Spatio-temporal data

来源：评论

学校读者我要写书评

暂无评论

Development of a high-resolution near-surface meteorological forcing dataset for the Third Pole region

引用

Science China Earth Sciences 2025年第4期68卷 1274-1290页

作者： Yaozhi JIANG Wenjun TANG Kun YANG Jie HE Changkun SHAO Xu ZHOU Hui LU Yingying CHEN Xin LI Jiancheng SHI School of Resources and Environment University of Electronic Science and Technology of ChinaChengdu611731China Department of Earth System Science Ministry of Education Key Laboratory for Earth System ModelingInstitute for Global Change StudiesTsinghua UniversityBeijing100084China National Tibetan Plateau Data Center State Key Laboratory of Tibetan Plateau Earth SystemEnvironment and ResourcesInstitute of Tibetan Plateau ResearchChinese Academy of SciencesBeijing100101China State Key Laboratory of Hydroscience and Engineering Tsinghua UniversityBeijing100084China Tsinghua University(Department of Earth System Science)-Xi’an Institute of Surveying and Mapping Joint Research Center for Next-Generation Smart Mapping Beijing100084China National Space Science Center Chinese Academy of SciencesBeijing100190China

Recently,the Third Pole(TP)region has experienced rapid environmental *** data are essential for hydrometeorological and ecological applications but still have large uncertainties on the TP owing to the heterogeneous land surface,complex terrain,and sparse weather *** this study,a long-term(1979–2020)high-resolution(1/30°)meteorological forcing dataset for the TP(TPMFD)was developed,as a sister to the widely used China Meteorological Forcing dataset(CMFD).The TPMFD comprises seven components necessary for driving land surface *** have previously contributed precipitation and downward shortwave radiation data for the TPMFD,and this study presents the development of five other components and focuses on validations for all ***,2-meter air temperature,2-meter specific humidity,10-meter wind speed,and surface air pressure were generated by combining the fifth-generation atmospheric reanalysis for European center for Medium-Range Weather Forecasts(ERA5),a short-term high-resolution atmospheric simulation,and in situ observations,and the downward longwave radiation was calculated using semi-physical *** cross-validation and independent-validation demonstrated that most variables in the developed dataset outperformed those in widely used reanalysis datasets,including ERA5,ERA5-Land,and the Global Land data Assimilation system(GLDAS).This dataset is expected to be beneficial for climate analyses and modeling applications of land-surface processes on the TP.

关键词： Meteorological data Third Pole High-resolution data downscaling and merging

来源：评论

学校读者我要写书评

暂无评论

PSMiner: A Pattern-Aware Accelerator for High-Performance Streaming Graph Pattern Mining 23

PSMiner: A Pattern-Aware Accelerator for High-Performance St...

引用

Proceedings of the 60th Annual ACM/IEEE Design Automation Conference

作者： Hao Qi Yu Zhang Ligang He Kang Luo Jun Huang Haoyu Lu Jin Zhao Hai Jin National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology China National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology China and Zhejiang-HUST Joint Research Center for Graph Processing Zhejiang Lab China Department of Computer Science University of Warwick United Kingdom

ISBN: (纸本)9798350323481

Streaming Graph Pattern Mining (GPM) has been widely used in many application fields. However, the existing streaming GPM solution suffers from many unnecessary explorations and isomorphism tests, while the existing static GPM ones require many repetitive operations to compute the full graph. In this paper, we propose a pattern-aware incremental execution approach and design the first streaming GPM accelerator called PSMiner, which integrates multiple optimizations to reduce redundant computation and improve computing efficiency. We have conducted extensive experiments. The results show that compared with the state-of-the-art software and hardware solutions, PSMiner achieves the average speedups of 770.9× and 60.4×, respectively.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Impulsive Control of Nonlinear Multi-Agent systems: A Hybrid Fuzzy Adaptive and Event-Triggered Strategy

引用

IEEE Transactions on Fuzzy systems 2025年

作者： Han, Fang Jin, Hai Huazhong University of Science and Technology National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Laboratory Cluster and Grid Computing Laboratory School of Computer Science and Technology Wuhan430074 China

This paper presents a hybrid control approach that integrates an adaptive fuzzy mechanism with an event-triggered impulse strategy to address consensus control challenges in nonlinear Multi-Agent systems (MASs) with uncertain information, both in leader and leaderless scenarios. Firstly, a fuzzy logic-based adaptive control mechanism is proposed to handle system nonlinearity and uncertainty. This mechanism dynamically adjusts fuzzy control rules in real time, enabling the system to adapt to changing conditions and enhancing its robustness against nonlinear disturbances. Secondly, to alleviate communication overhead and reduce control frequency, an event-triggered impulse strategy is implemented. This strategy activates impulse control only under specific conditions, effectively minimizing control actions while maintaining system consensus. Using Lyapunov stability theory, sufficient conditions for achieving system consensus are established, demonstrating the global consensus and robustness of the MASs under certain criteria. Finally, numerical simulations and experimental evaluations validate the proposed method's effectiveness and its practical advantages. © 2025 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Efficient and Verifiable Multi-server Framework for Secure Information Classification and Storage 20th

Efficient and Verifiable Multi-server Framework for Secure...

引用

20th International Conference on Information Security and Cryptology, Inscrypt 2024

作者： Guo, Ziqing Wang, Yaohui Jin, Xuanyu Wang, Xiuhua He, Yuanyuan Dai, Yueyue Hubei Key Laboratory of Distributed System Security Hubei Engineering Research Center on Big Data Security School of Cyber Science and Engineering Huazhong University of Science and Technology Wuhan 430074 China

ISBN: (纸本)9789819647330

With the rapid development of digital technology, the complexity and diversity of data sources present significant security and privacy challenges. To address these issues, this paper proposes an efficient and verifiable Multi-Server Framework for Secure Information Classification and Storage (MSF-SCS). The framework distributes sensitive data across multiple servers, proposing an opening authority to manage classified information and a semi-honest sanitizer to ensure strong authentication while preserving user anonymity. We formalize the security model of our scheme and prove that it satisfies the no-read rule, no-write rule, and unforgeability. We instantiate the scheme and conduct comprehensive experimental evaluations, which demonstrate that MSF-SCS significantly outperforms traditional architectures in terms of scalability and efficiency, making it particularly suitable for industries with stringent data protection requirements. Future work will focus on further improving the system’s security while maintaining its high performance. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Access Control Encryption Public-Key Encryption Secure Information Classification

来源：评论

学校读者我要写书评

暂无评论

EdgeThemis: Ensuring Model Integrity for Edge Intelligence 34

EdgeThemis: Ensuring Model Integrity for Edge Intelligence

引用

34th ACM Web Conference, WWW 2025

作者： Yang, Jiyu He, Qiang Zhou, Zheyu Dai, Xiaohai Chen, Feifei Tian, Cong Yang, Yun Swinburne University of Technology Melbourne Australia Huazhong University of Science and Technology Wuhan China Deakin University Melbourne Australia Xidian University Xi’an China National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China

ISBN: (纸本)9798400712746

Machine learning (ML) models are widely deployed on edge nodes, such as mobile phones and edge servers, to power a wide range of AI applications over the web. Ensuring the integrity of these edge models is paramount, as they are subject to corruption caused by software/hardware exceptions and malicious tampering, which may undermine model performance, incur economic losses, and pose health risks. Existing data integrity mechanisms designed for files stored on disks cannot properly verify the integrity of models running in GPUs or mitigate the new integrity threats against edge models. This paper proposes EdgeThemis, a novel mechanism for verifying the integrity of edge models through sentinel verification. To enable verifiability for a model M, EdgeThemis embeds a sentinel backdoor and a verification module into M. Then, a challenger can send verification requests to the edge node hosting M to verify its integrity. Next, the sentinel activates the verification module to generate a unique integrity proof tied to the identity of the edge node for verification. Finally, the challenger can verify the integrity proof to detect model corruption. Theoretical analysis proves that EdgeThemis can properly mitigate potential integrity threats against edge models. Experiments demonstrate that EdgeThemis achieves a verification accuracy of 100.00% across various models and different types of model corruption with robustness against replay attacks, theft attacks, and replacement attacks. © 2025 Copyright held by the owner/author(s).

关键词： edge computing edge intelligence Model integrity

来源：评论

学校读者我要写书评

暂无评论

Scalable Transactional Stream Processing on Multicore Processors

引用

IEEE Transactions on Knowledge and data engineering 2025年

作者： Zhao, Jianjun Mao, Yancan Yang, Zhonghao Liu, Haikun Zhang, Shuhao Huazhong University of Science and Technology National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Wuhan5430074 China National University of Singapore 119077 Singapore Nanyang Technological University 639798 Singapore

Transactional stream processing engines (TSPEs) are central to modern stream applications handling shared mutable states. However, their full potential, particularly in adaptive scheduling, remains largely unexplored. We present MorphStream, a TSPE designed to optimize parallelism and performance for transactional stream processing on multicores. Through a unique three-stage execution paradigm (i.e., planning, scheduling, and execution), MorphStream enables adaptive scheduling under varying workload characteristics. Building on this foundation, MorphStream is further enhanced with support for non-deterministic state access, employing a stateful task precedence graph to handle undefined read/write sets at runtime while guaranteeing transaction semantics. Additionally, MorphStream incorporates a generalized framework for managing window-based operations, enabling efficient tracking and maintenance of overlapping windows using multi-versioned state management. These extensions enhance the system's ability to process dynamic and irregular workloads. Experimental results demonstrate up to 3.4 times higher throughput and 69.1% lower latency compared to state-of-the-art TSPEs, validating its scalability and adaptability in real-world streaming scenarios. © 1989-2012 IEEE.

关键词： Multicore programming

来源：评论

学校读者我要写书评

暂无评论

AccelES: Accelerating Top-K SpMV for Embedding Similarity via Low-bit Pruning

AccelES: Accelerating Top-K SpMV for Embedding Similarity vi...

引用

IEEE Symposium on High-Performance Computer Architecture

作者： Jiaqi Zhai Xuanhua Shi Kaiyi Huang Chencheng Ye Weifang Hu Bingsheng He Hai Jin National Engineering Research Center for Big Data Technology and System/Services Computing Technology and System Lab/Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China School of Computing National University of Singapore Singapore

ISBN: (数字)9798331506476

ISBN: (纸本)9798331506483

In the realm of recommendation systems, achieving real-time performance in embedding similarity tasks is often hindered by the limitations of traditional Top-K sparse matrix-vector multiplication (SpMV) methods, which suffer from high latency due to inefficient memory access patterns. This paper identifies these critical gaps and introduces AccelES, a novel approach that significantly enhances the efficiency of Top-K SpMV. Our method employs a two-stage calculation scheme: the first stage utilizes a compact, low-bit dataset to quickly identify the most relevant entries, while the second stage performs full-precision calculations solely on this pruned subset, thereby minimizing computational overhead. Furthermore, AccelES incorporates innovative matrix representations, Ultra-CSR and Random-CSR, which optimize memory bandwidth utilization. Experimental results demonstrate that AccelES accelerates performance, surpassing state-of-the-art FPGA, GPU, and CPU solutions by factors of 3.4×, 2.5×, and 153.3×, respectively, under controlled conditions. These advancements not only enhance processing speed but also significantly improve real-time performance in recommendation systems, establishing AccelES as a pivotal contribution to the field of Top-K sparse matrix-vector multiplication.

关键词： Quantization (signal) High dimensional data Memory management Graphics processing units Bandwidth Real-time systems Sparse matrices Recommender systems Field programmable gate arrays Optimization

来源：评论

学校读者我要写书评

暂无评论

UICopilot: Automating UI Synthesis via Hierarchical Code Generation from Webpage Designs 34

UICopilot: Automating UI Synthesis via Hierarchical Code Gen...

引用

34th ACM Web Conference, WWW 2025

作者： Gui, Yi Wan, Yao Li, Zhen Zhang, Zhongyi Chen, Dongping Zhang, Hongyu Su, Yi Chen, Bohua Zhou, Xing Jiang, Wenbin Zhang, Xiangliang Huazhong University of Science and Technology Wuhan China Chongqing University Chongqing China Hubei University of Automotive Technology Shiyan China Rabbitpre AI Shenzhen China University of Notre Dame Notre Dame United States National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster Grid Computing Lab School of Computer Science and Technology China

ISBN: (纸本)9798400712746

Automating the synthesis of User Interfaces (UIs) plays a crucial role in enhancing productivity and accelerating the development lifecycle, reducing both development time and manual effort. Recently, the rapid development of Multimodal Large Language Models (MLLMs) has made it possible to generate front-end Hypertext Markup Language (HTML) code directly from webpage designs. However, real-world webpages encompass not only a diverse array of HTML tags but also complex stylesheets, resulting in significantly lengthy code. The lengthy code poses challenges for the performance and efficiency of MLLMs, especially in capturing the structural information of UI designs. To address these challenges, this paper proposes UICopilot, a novel approach to automating UI synthesis via hierarchical code generation from webpage designs. The core idea of UICopilot is to decompose the generation process into two stages: first, generating the coarse-grained HTML hierarchical structure, followed by the generation of fine-grained code. To validate the effectiveness of UICopilot, we conduct experiments on a real-world dataset, i.e., WebCode2M. Experimental results demonstrate that UICopilot significantly outperforms existing baselines in both automatic evaluation metrics and human evaluations. Specifically, statistical analysis reveals that the majority of human annotators prefer the webpages generated by UICopilot over those produced by GPT-4V. © 2025 Copyright held by the owner/author(s).

关键词： Code Generation Design to Code UI Automation

来源：评论

学校读者我要写书评

暂无评论

ACGraph: Accelerating Streaming Graph Processing via Dependence Hierarchy 23

ACGraph: Accelerating Streaming Graph Processing via Depende...

引用

Proceedings of the 60th Annual ACM/IEEE Design Automation Conference

作者： Zihan Jiang Fubing Mao Yapu Guo Xu Liu Haikun Liu Xiaofei Liao Hai Jin Wei Zhang National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China Department of Electronic and Computer Engineering HKUST Hong Kong

ISBN: (纸本)9798350323481

Streaming graph processing needs to timely evaluate continuous queries. Prior systems suffer from massive redundant computations due to the irregular order of processing vertices influenced by updates. To address this issue, we propose ACGraph, a novel streaming graph processing approach for monotonic graph algorithms. It maintains dependence trees during runtime, and makes affected vertices processed in a top-to-bottom order in the hierarchy of the dependence trees, thus normalizing the state propagation order and coalescing of multiple propagation to the same vertices. Experimental results show that ACGraph reduces the number of updates by 50% on average, and achieves the speedup of 1.75~7.43× over state-of-the-art systems.

关键词： graph processing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：