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

arXiv 2025年

作者： Yu, Qixian Cao, Zining Hui, Zong Zhou, Yuan College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing211106 China Ministry Key Laboratory for Safety-Critical Software Development and Verification Nanjing211106 China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing210023 China Faculty of Computer and Software Engineering Huaiyin Institute Of Technology Huaian223001 China

This paper presents a comprehensive framework for modeling and verifying multi-agent systems. The paper introduce an Epistemic Process Calculus for multi-agent systems, which formalizes the syntax and semantics to capture the essential features of agent behavior interactions and epistemic states. Building upon this calculus, we propose ATLE, an extension of Alternating-time Temporal Logic incorporating epistemic operators to express complex properties related to agent epistemic state. To verify ATLE specifications, this paper presents a model checking algorithm that systematically explores the state space of a multi-agent system and evaluates the satisfaction of the specified properties. Finally, a case study is given to demonstrate the method. © 2025, CC BY.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Prophet: SSD Failure Analysis and Prediction Guided by Flash Reliability Characteristics in Data centers

引用

IEEE Transactions on computers 2025年

作者： Song, Yunpeng Liang, Yujiong Liu, Jialin Shi, Liang East China Normal University MoE Engineering Research Center of Software/Hardware Co-Design Technology and Application Shanghai China East China Normal University School of Computer Science and Technology Shanghai China Huazhong University of Science and Technology Wuhan National Laboratory for Optoelectronics Wuhan China

Solid-state drives (SSDs) are massively deployed in various fields, especially in data centers, for their excellent cost-effectiveness. However, SSDs may fail due to their imperfect manufacturing processes, resulting in system-level failures and even downtime in data centers. This makes SSD failure prediction critical. Current studies focus on dealing with data missing, numerical normalization, and other statistical issues in using machine learning methods, but the consideration of the reliability characteristics of the underlying flash media of SSDs and the timeliness (time duration between predicted failure and real failure) of SSD failure prediction result is missing. In this work, we study the failure characteristics of over 200,000 drives from industry data centers over a 4-year period, as well as daily data. The relationship between SSD attribute values and failures is first investigated. Then, we analyzed the SSD failure characteristics from several aspects (causes, differences between failures, and timeliness of prediction results) relying on flash reliability characteristics. Based on these, a novel SSD failure prediction method (Prophet) is proposed. Specifically, Prophet contains the following two components. First, to cope with the differences between failures, a diff-state method is proposed for differential machine learning modeling of SSDs in different "States". We define the "State" of an SSD, which represents the range of values in which the SSD currently lies in terms of some key attributes. Through flash reliability characteristics, we distinguish between different failures before training the model to obtain accurate predictions of different failure behaviors. Second, a recovery period method is proposed to enhance the timeliness of SSD failure prediction result by designing the sample selection method. The enhanced timeliness can be utilized by operations personnel to handle failed SSDs, such as replacement and repair. The evaluation results of

关键词： Failure rate

来源：评论

学校读者我要写书评

暂无评论

A Survey on Anomaly Detection with Few-Shot Learning 8th

A Survey on Anomaly Detection with Few-Shot Learning

引用

8th International Conference on Cognitive Computing, ICCC 2024, Held as Part of the Services Conference Federation, SCF 2024

作者： Chen, Junyang Wang, Changbo Hong, Yifan Mi, Rui Zhang, Liang-Jie Wu, Yirui Wang, Huan Zhou, Yue College of Computer Science and Software Engineering Shenzhen University Shenzhen China Center of Health Administration and Development Studies Hubei University of Medicine Shiyan China College of Informatics Huazhong Agricultural University Wuhan China Hohai University Nanjing China Department of Obstetrics and Gynecology Tianyou Hospital Affiliated to Wuhan University of Science and Technology Wuhan China

ISBN: (纸本)9783031779534

The primary objective of anomaly detection is to identify abnormal or unusual patterns within a dataset, where the number of normal samples typically exceeds that of abnormal samples. Due to the scarcity of labeled abnormal samples, traditional methods face challenges when dealing with anomaly detection. To overcome these limitations, few-shot learning has emerged as a promising solution. By leveraging a limited number of labeled anomaly samples, few-shot learning enables the construction of models that enhance anomaly detection performance and generalization. This paper provides a comprehensive investigation of anomaly detection, covering its definition, fundamental principles, methods, and challenges. Furthermore, it introduces few-shot learning as a solution and explores its principles, applications, and technical categorization, including meta-learning, transfer learning, generative models, prototypical learning, and siamese networks. The paper explores the utilization of few-shot learning in anomaly detection across diverse data types This paper delves into significance across different domains. Additionally, it addresses the challenges faced by few-shot learning in the field of anomaly detection and proposes future directions for development. This comprehensive analysis aims to provide profound insights and guidance for prospective research and application in anomaly detection. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Zero-shot learning

来源：评论

学校读者我要写书评

暂无评论

Time-aware Medication Recommendation via Intervention of Dynamic Treatment Regimes 34

Time-aware Medication Recommendation via Intervention of Dyn...

引用

34th ACM Web Conference, WWW 2025

作者： Li, Yishuo Zhang, Qi Lu, Wenpeng Peng, Xueping Zhang, Weiyu Si, Jiasheng Gong, Yongshun Hu, Liang Key Laboratory of Computing Power Network and Information Security Ministry of Education Shandong Computer Science Center (National Supercomputer Center in Jinan) Qilu University of Technology (Shandong Academy of Sciences) Jinan China Shandong Provincial Key Laboratory of Computing Power Internet and Service Computing Shandong Fundamental Research Center for Computer Science Jinan China Department of Computer Science and Technology Tongji University Shanghai China Australian Artificial Intelligence Institute University of Technology Sydney Sydney Australia School of Software Shandong University Jinan China

ISBN: (纸本)9798400712746

Medication recommendation aims to suggest personalized drug combinations to patients based on their longitudinal medical histories stored in electronic health record (EHR) datasets. Patients’ Dynamic Treatment Regimes (DTRs) determine how patients’ drug combinations change along with the evolution of disease treatment. DTRs are effective for comprehending disease-treatment dynamics and for recommending a timely and personalized combination of medications for patients. However, existing medication recommender systems (MRSs) overlook the multiple treatment pathways generated by the intervention of DTRs and can only recommend a single treatment paradigm, ignoring the fact that patients may be at different treatment stages and thus require different treatment regime. Such disregard leads to a significant limitation in recommending personalized medication combinations tailored to different treatment stages, yielding greatly compromised accuracy and applicability of MRSs. Moreover, existing methods often overlook the time interval information over patients’ successive visits, which is critical to indicate patients’ treatment evolution. To address these significant gaps, we propose a Time-aware Medication Recommendation Framework via Intervention of Dynamic Treatment Regimes, called MR-DTR. To explicitly illustrate the intervention processes of DTRs on similar patients, we employ a co-guided graph to connect various patient sequences. In addition, to fully utilize the time interval information, we design a time-aware guidance mechanism dedicated to the co-guided graph to efficiently learn medication representation using the patient’s guidance information. We also introduce relative time intervals in the encoder to act as positional information. Extensive experiments on two real-world datasets demonstrate that MR-DTR surpasses state-of-the-art models in terms of recommendation performance. © 2025 Copyright held by the owner/author(s).

关键词： Dynamic Treatment Regimes Electronic Health Record Medication Recommendation Recommender Systems

来源：评论

学校读者我要写书评

暂无评论

ConZone: A Zoned Flash Storage Emulator for Consumer Devices

ConZone: A Zoned Flash Storage Emulator for Consumer Devices

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Dingcui Yu Jialin Liu Yumiao Zhao Wentong Li Ziang Huang Zonghuan Yan Mengyang Ma Liang Shi MoE Engineering Research Center of Software/Hardware Co-Design Technology and Application East China Normal University Shanghai China College of Computer Science and Technology East China Normal University Shanghai China Software Engineering Institute East China Normal University Shanghai China Wuhan National Laboratory for Optoelectronics Huazhong University of Science and Technology Wuhan China

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

Considering the potential benefits to lifespan and performance, zoned flash storage is expected to be incorporated into the next generation of consumer devices. However, due to the limited volatile cache and heterogeneous flash cells of consumer-grade flash storage, adopting a zone abstraction requires additional internal hardware design to maximize its benefits. To understand and efficiently improve the hardware design on consumer-grade zoned flash storage, we present ConZone—the first emulator tailored to the characteristics of consumer-grade zoned flash storage. Users can explore the internal architecture and management strategies of consumer-grade zoned flash storage and integrate the optimization with software. We validate the accuracy of ConZone by realizing a hardware architecture for consumer-grade zoned flash storage and comparing it with the state-of-the-art. We also make a case study for read performance research with ConZone to explore the design of mapping mechanisms and cache management strategies.

关键词： Performance evaluation Accuracy Europe computer architecture Hardware software Planning Optimization Next generation networking

来源：评论

学校读者我要写书评

暂无评论

GIRP: Energy-Efficient QoS-Oriented Microservice Resource Provisioning via Multi-Objective Multi-Task Reinforcement Learning

引用

IEEE Transactions on Mobile Computing 2025年

作者： Yuan, Honggang Wang, Ting Fu, Min Shi, Yuanming East China Normal University MoE Engineering Research Center of Software/Hardware Co-design Technology and Application Shanghai Key Laboratory of Trustworthy Computing Shanghai200062 China National University of Singapore Department of Electrical and Computer Engineering 117583 Singapore ShanghaiTech University School of Information Science and Technology Shanghai201210 China

Microservice architecture has revolutionized web service development by facilitating loosely coupled and independently developable components distributed as containers or virtual machines. While existing studies emphasize end-to-end latency, this paper investigates energy-efficient quality-of-service (QoS)-oriented microservice provisioning, focusing on both QoS satisfaction and power consumption (PC) conservation. We propose the Green and Intelligent Resource Provision (GIRP) architecture, integrating a data-driven energy-latency-aware resource allocation and scheduling manager to balance latency and PC. To reconcile the trade-offs involved, a dual-objective optimization problem is formulated to minimize latency and energy use by selecting proper servers, allocating CPU cores, and determining service replicas. To address challenges with discrete variables, dual objectives, and implicit mappings, we leverage a model-free deep deterministic policy gradient-based reinforcement learning algorithm. Specifically, we develop a multi-task agent via the Multi-gate Mixture-of-Experts model to simultaneously make two separate actions regarding CPU core numbers and service replica numbers, followed by a single-task agent to determine service scheduling. Extensive experiments on the DeathStarBenchmark testbed validate GIRP's effectiveness, demonstrating approximately 52% resource savings and a 43% reduction in PC compared to leading methods like Sinan, Firm, and heuristic-based algorithms. These results highlight GIRP's capability to optimize microservice orchestration by balancing end-to-end latency and power efficiency. © 2025 IEEE. All rights reserved.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

PVBF: A Framework for Mitigating Parameter Variation Imbalance in Online Continual Learning

arXiv

引用

arXiv 2025年

作者： Tao, Zelin Deng, Hao Liu, Mingqing Zhang, Lijun Zhao, Shengjie School of Computer Science and Technology Tongji University Shanghai201804 China College of Electronic and Information Engineering Tongji University Shanghai201804 China National Key Laboratory for Novel Software Technology Nanjing University Nanjing210023 China Engineering Research Center of Key Software Technologies for Smart City Perception and Planning Ministry of Education Shanghai201804 China

Online continual learning (OCL), which enables AI systems to adaptively learn from non-stationary data streams, is commonly achieved using experience replay (ER)-based methods that retain knowledge by replaying stored past during training. However, these methods face challenges of prediction bias, stemming from deviations in parameter update directions during task transitions. This paper identifies parameter variation imbalance as a critical factor contributing to prediction bias in ER-based OCL. Specifically, using the proposed parameter variation evaluation method, we highlight two types of imbalance: correlation-induced imbalance, where certain parameters are disproportionately updated across tasks, and layer-wise imbalance, where output layer parameters update faster than those in preceding layers. To mitigate the above imbalances, we propose the Parameter Variation Balancing Framework (PVBF), which incorporates: 1) a novel method to compute parameter correlations with previous tasks based on parameter variations, 2) an encourage-and-consolidate (E&C) method utilizing parameter correlations to perform gradient adjustments across all parameters during training, 3) a dual-layer copy weights with reinit (D-CWR) strategy to slowly update output layer parameters for frequently occuring sample categories. Experiments on short and long task sequences demonstrate that PVBF significantly reduces prediction bias and improves OCL performance, achieving up to 47% higher accuracy compared to existing ER-based methods. Copyright © 2025, The Authors. All rights reserved.

关键词： Contrastive Learning

来源：评论

学校读者我要写书评

暂无评论

Low-shot Video Object Segmentation

引用

IEEE Transactions on Pattern Analysis and Machine Intelligence 2025年 PP卷 PP页

作者： Yan, Kun Wei, Fangyun Dai, Shuyu Wu, Minghui Wang, Ping Xu, Chang Peking University School of Computer Science Beijing100871 China University of Sydney School of Computer Science DarlingtonNSW2008 Australia Peking University School of Software and Microelectronics Beijing100871 China Shanghai Artificial Intelligence Laboratory and Mininglamp Technology China Peking University National Engineering Research Center for Software Engineering Beijing100871 China Peking University School of Software and Microelectronics China China

Prior research in video object segmentation (VOS) predominantly relies on videos with dense annotations. However, obtaining pixel-level annotations is both costly and time-intensive. In this work, we highlight the potential of effectively training a VOS model using remarkably sparse video annotations - specifically, as few as one or two labeled frames per training video, yet maintaining near equivalent performance levels. We introduce this innovative training methodology as low-shot video object segmentation, abbreviated as low-shot VOS. Central to this method is the generation of reliable pseudo labels for unlabeled frames during the training phase, which are then used in tandem with labeled frames to optimize the model. Notably, our strategy is extremely simple and can be incorporated into the vast majority of current VOS models. For the first time, we propose a universal method for training VOS models on one-shot and two-shot VOS datasets. In the two-shot configuration, utilizing just 7.3% and 2.9% of labeled data from the YouTube-VOS and DAVIS benchmarks respectively, our model delivers results on par with those trained on completely labeled datasets. It is also worth noting that in the one-shot setting, a minor performance decrement is observed in comparison to models trained on fully annotated datasets. Code and models are available at https://***/yk-pku/Low-shot-VOS. © 1979-2012 IEEE.

关键词： Video analysis

来源：评论

学校读者我要写书评

暂无评论

Global Feature Enhancing and Fusion Framework for Strain Gauge Status Recognition 25

Global Feature Enhancing and Fusion Framework for Strain Gau...

引用

Companion Proceedings of the ACM on Web Conference 2025

作者： Xu Zhang Peng Wang Chen Wang Zhe Xu Xiaohua Nie Wei Wang Shanghai Key Laboratory of Data Science School of Computer Science and Technology Fudan University Shang Hai China Shanghai Key Laboratory of Data Science School of Computer Science and Technology Fudan University Shanghai China National Engineering Research Center for Big Data Software Tsinghua University Beijing China School of Software Tsinghua University Beijing China National Key Laboratory of Strength and Structural Integrity Aircraft Strength Research Institute of China Xi'an Shaanxi China

ISBN: (纸本)9798400713316

Strain Gauge Status (SGS) recognition is crucial in the field of intelligent manufacturing based on the Internet of Things, as accurate identification helps timely detection of failed mechanical components, avoiding accidents. The loading and unloading sequences generated by strain gauges can be identified through time series classification (TSC) algorithms. Recently, deep learning models, e.g., convolutional neural networks (CNNs) have shown remarkable success in the TSC task, as they can extract discriminative local features from the subsequences to identify the time series. However, we observe only the local features may not be sufficient for expressing the time series, especially when the local sub-sequences between different time series are very similar, e.g., SGS data of aircraft wings in static strength experiments. Nevertheless, CNNs suffer from the limitation in extracting global features due to the nature of convolution operations. For extracting global features to more comprehensively represent the SGS time series, we propose two insights: (i) Constructing global features through feature engineering. (ii) Learning high-order relationships between local features to capture global features. To realize and utilize them, we propose a hypergraph-based global feature learning and fusion framework, which learns and fuses global features for semantic consistency to enhance the representation of SGS time series, thereby improving recognition accuracy. Our method designs are validated on industrial SGS and public UCR datasets, showing better generalization for unseen data in SGS recognition.

关键词： deep learning models

来源：评论

学校读者我要写书评

暂无评论

DeepSeek: Paradigm Shifts and Technical Evolution in Large AI Models

引用

IEEE/CAA Journal of Automatica Sinica 2025年第5期12卷 841-858页

作者： Xiong, Luolin Wang, Haofen Chen, Xi Sheng, Lu Xiong, Yun Liu, Jingping Xiao, Yanghua Chen, Huajun Han, Qing-Long Tang, Yang Ministry of Education Engineering Research Center of Process System Engineering East China University of Science and Technology Key Laboratory of Smart Manufacturing in Energy Chemical Process Shanghai 200237 China College of Design and Innovation Tongji University Shanghai 200092 China School of Computer Science Fudan University Shanghai Key Laboratory of Data Science Shanghai 200433 China School of Software Beihang University Beijing 100191 China School of Information Science and Engineering East China University of Science and Technology Shanghai 200237 China College of Computer Science and Technology Zhejiang University AZFT Joint Laboratory for Knowledge Engine Hangzhou Innovation Center Hangzhou 310058 China School of Science Computing and Engineering Technologies Swinburne University of Technology Melbourne 3122 VIC Australia

DeepSeek, a Chinese artificial intelligence (AI) startup, has released their V3 and R1 series models, which attracted global attention due to their low cost, high performance, and open-source advantages. This paper begins by reviewing the evolution of large AI models focusing on paradigm shifts, the mainstream large language model (LLM) paradigm, and the DeepSeek paradigm. Subsequently, the paper highlights novel algorithms introduced by DeepSeek, including multi-head latent attention (MLA), mixture-of-experts (MoE), multi-token prediction (MTP), and group relative policy optimization (GRPO). The paper then explores DeepSeek's engineering breakthroughs in LLM scaling, training, inference, and system-level optimization architecture. Moreover, the impact of DeepSeek models on the competitive AI landscape is analyzed, comparing them to mainstream LLMs across various fields. Finally, the paper reflects on the insights gained from DeepSeek's innovations and discusses future trends in the technical and engineering development of large AI models, particularly in data, training, and reasoning. © 2014 Chinese Association of Automation.

关键词： DeepSeek large AI models reasoning capability reinforcement learning test-time scaling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：