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

Neuron Circuit Design and Signal Integrity Analysis of a Large-scale Memristor-based Crossbar Array

IEEE Transactions on Components, Packaging and Manufacturing technology 2025年

作者： Li, Yan Fang, Lidan Li, Da Zhang, Ling Zhou, Haomiao Wang, Jiawei Liu, En-Xiao Li, Er-Ping China Jiliang University Key Laboratory of Electro-magnetic Wave Information Technology and Metrology of Zhejiang Province College of Information Engineering Hangzhou310018 China China Jiliang University Modern Science and Technology College Yiwu322000 China Zhejiang University Key Laboratory of Advanced Micro/Nano Electronic Devices and Smart System Hangzhou310027 China Urbana–Champaign Institute Zhejiang University Zhejiang University–the University of Illinois Haining314400 China A*STAR Institute of High Performance Computing 1 Fusionpolis Way Singapore Singapore

This paper addresses the limitations of standard chips in processing large-scale datasets by leveraging neuromorphic architectures, particularly spiking neural networks (SNNs), to simulate the pulsed signals of biological brains for enhanced power efficiency and performance. Initially, we developed a CMOS circuit based on the Integrate-and-Fire (IF) neuron model, which generates spike signals with the spatiotemporal dynamics typical of neurons. This approach provides a novel perspective for neuromorphic chip design. Next, we introduce the Partial Element Equivalent Circuit (PEEC) method to establish a unit circuit model for the memristor crossbar array, accounting for all resistance-inductance-capacitance (RLC) parasitic couplings. This model enables precise signal integrity (SI) analysis, offering deeper insights into the signal transmission mechanisms within memristor crossbar arrays and serving as a foundation for optimizing neuromorphic chip performance. Building upon this model, we designed a 24×24 crossbar array hardware prototype, experimentally validating the reliability and feasibility of the circuit. Finally, we perform SI analysis to demonstrate that the performance of the memristor crossbar array can be enhanced by optimizing the rise time, adjusting the memristor’s resistance state, and adding inductance at the output. These findings provide both a theoretical foundation and a technical pathway for improving the performance of neuromorphic chips in practical applications. © 2025 IEEE. All rights reserved.

关键词： Memristors

来源：评论

学校读者我要写书评

暂无评论

Detecting Data-flow Errors Based on Petri Nets With Data Operations

引用

IEEE/CAA Journal of Automatica Sinica 2018年第1期5卷 251-260页

作者： Dongming Xiang Guanjun Liu Chungang Yan Changjun Jiang Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China IEEE

In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.

关键词： Business process modeling data-flow errors Petri nets reachability graph

来源：评论

学校读者我要写书评

暂无评论

Compromising Rechargeable Sensor Networks in Marine Environment

引用

IEEE Transactions on Mobile computing 2025年

作者： Wang, Qiwei Lin, Chi Dai, Haipeng Obaidat, Mohammad S. Hsiao, Kuei-Fang Fan, Xin Dalian University of Technology School of Software Technology & DUT-RU International School of Information Science and Engineering China Key Laboratory for Ubiquitous Network and Service Software of Liaoning Province Dalian116620 China Nanjing University State Key Laboratory for Novel Software Technology Nanjing210023 China University of Science and Technology Beijing School of Computer and Communication Engineering Beijing100083 China SRM University Department of Computational Intelligence School of Computing SRM Nagar TN Kattankulathur603203 India The Amity University School of Engineering UP Noida201301 India The King Abdullah II School of Information Technology The University of Jordan Amman11942 Jordan

Marine Wireless Rechargeable Sensor Networks (MWRSNs), enhanced by recent Wireless Power Transfer (WPT) technology, present a significant advancement in extending network life. Traditional methods improve network performance through algorithm optimization, but neglect charging security, exposing networks to potential attacks. This paper addresses this problem from an adversarial view and develops a novel attack for MWRSN through Denying of Charge (DoC) to maximize network destructiveness. We start by establishing a generalized on-demand charging model, essential for developing DoC tactics. Subsequently, we unveil the Collaborative DoC (CoDoC) algorithm, capable of manipulating and falsifying charging requests. Central to CoDoC is the Request Prediction Method (RPM), which forecasts the initiation of charging requests and facilitates rapid request surges to enhance the attack's efficacy. CoDoC is able to disguise the presence of the attack, which is able to escape from being detected by the base station. Theoretical analyses are provided to explore the features of the proposed scheme. To demonstrate the outperformed features of the proposed schemes, extensive simulations and test-bed experiments are conducted. Our analysis and extensive simulations demonstrate that CoDoC increases sensor node failures by 20% to 142% compared to traditional methods, highlighting its effectiveness in marine environments. © 2002-2012 IEEE.

关键词： Charging stations

来源：评论

学校读者我要写书评

暂无评论

STAR-RIS Enabled ISAC systems With RSMA: Joint Rate Splitting and Beamforming Optimization

引用

IEEE Transactions on Cognitive Communications and Networking 2025年

作者： Liu, Yuan Zhang, Ruichen Jiang, Ruihong Zhu, Yongdong Hu, Huimin Ni, Qiang Fei, Zesong Niyato, Dusit Zhejiang Laboratory Research Center for Space Computing System Hangzhou311100 China Nanyang Technological University College of Computing and Data Science Singapore 639798 Singapore Beijing University of Posts and Telecommunications State Key Laboratory of Networking and Switching Technology Beijing100876 China Cambridge Mechatronics Ltd CambridgeCB1 2PH United Kingdom Xi’an University of Posts and Telecommunications School of Communications and Information Engineering School of Artificial Intelligence Xi’an710121 China Lancaster University School of Computing and Communications LancasterLA1 4WA United Kingdom Beijing Institute of Technology School of Information and Electronics Beijing100081 China

This paper delves into an integrated sensing and communication (ISAC) system bolstered by a simultaneously transmitting and reflecting reconfigurable intelligent surface (STAR-RIS). Within this system, a base station (BS) is equipped with communication and radar capabilities, enabling it to communicate with ground terminals (GTs) and concurrently probe for echo signals from a target of interest. Moreover, to manage interference and improve communication quality, the rate splitting multiple access (RSMA) scheme is incorporated into the system. The signal-to-interference-plus-noise ratio (SINR) of the received sensing echo signals is a measure of sensing performance. We formulate a joint optimization problem of common rates, transmit beamforming at the BS, and passive beamforming vectors of the STAR-RIS. The objective is to maximize sensing SINR while guaranteeing the communication rate requirements for each GT. We present an iterative algorithm to address the non-convex problem by invoking Dinkelbach’s transform, semidefinite relaxation (SDR), majorization-minimization, and sequential rank-one constraint relaxation (SROCR) theories. Simulation results manifest that the performance of the studied ISAC network enhanced by the STAR-RIS and RSMA surpasses other benchmarks considerably. The results evidently indicate the superior performance improvement of the ISAC system with the proposed RSMA-based transmission strategy design and the dynamic optimization of both transmission and reflection beamforming at STAR-RIS. © 2015 IEEE.

关键词： Signal to noise ratio

来源：评论

学校读者我要写书评

暂无评论

Circular Formation Control for Networked Dynamic Autonomous Underwater Vehicles: Estimator-Based Approaches

引用

IEEE Transactions on Control of Network systems 2025年

作者： Xie, Jingjing Lan, Weiyao Tong, Feng Yu, Xiao Xiamen University Department of Automation China Xiamen University College of Ocean and Earth Sciences The National and Local Joint Engineering Research Center for Navigation and Location Service Technology Xiamen361005 China Xiamen University Key Laboratory of Multimedia Trusted Perception and Efficient Computing Ministry of Education of China The Institute of Artificial Intelligence Xiamen361005 China

This paper investigates the circular formation control problem of networked dynamic autonomous underwater vehicles (AUVs) in a directed network. The objective is to make dynamic AUVs encircle a given target with specific radius and velocity. The network topology among all AUVs is modeled by a directed graph containing a spanning tree, and the target is only known to one AUV. Estimator-based approaches with the backstepping technique are proposed for cases with or without communication. First, in communication-based networks, AUVs are allowed to transmit information via communication devices. A dynamic control law consisting of a distributed estimator is proposed. By analyzing with perturbed system method, the multi-vehicle system achieves global exponential stability instead of asymptotic stability. Second, in communication-denied networks, AUVs depend only on the relative measurements from the onboard sensors. A dynamic control law consisting of a decentralized estimator is proposed. By small-gain analysis, the global asymptotic stability for the multi-vehicle system is established. To demonstrate effectiveness, simulation results are presented. © 2014 IEEE.

关键词： Directed graphs

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Merging Clinical Knowledge into Large Language Models for Medical Research and Applications: A Survey

arXiv

引用

arXiv 2025年

作者： Li, Qiyuan Liu, Haijiang Guo, Caicai Chen, Deyu Wang, Meng Gao, Feng Gu, Jinguang College of Computer Science and Technology Wuhan University of Science and Technology Hubei Wuhan430065 China Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System Hubei Wuhan430065 China The Key Laboratory of Rich-Media Knowledge Organization Service of Digital Publishing Content Institute of Scientific and Technical Information of China Beijing100038 China School of Computer Science and Technology Huazhong University of Science and Technology Hubei Wuhan430074 China School of Cyber Science and Engineering Wuhan University Hubei Wuhan430072 China

Clinical knowledge is the collection of information learned from studies on the causes, prognosis, diagnosis, and treatment of diseases. This type of knowledge can improve curing performances, and promote physical health. With the emergence of large language models (LLMs), medical artificial intelligence (medical AI), which aims to apply academic medical AI systems to real-world medical scenarios, has entered a new age of development, resulting in excellent works such as DoctorGPT and Pangu-Drug from academic and industrial researches. However, the field lacks a comprehensive compendium and comparison of building medical AI systems from academia and industry. Therefore, this survey focuses on the building paradigms of medical AI systems including the use of clinical databases, datasets, training pipelines, integrating medical knowledge graphs, system applications, and evaluation systems. We hope that this survey can help relevant practical researchers understand the current performance of academic models in various fields of healthcare, as well as the potential problems and future directions for implementing these scientific achievements. Copyright © 2025, The Authors. All rights reserved.

关键词： Clinical research

来源：评论

学校读者我要写书评

暂无评论

Several classes of linear codes with few weights derived from Weil sums

arXiv

引用

arXiv 2025年

作者： Hu, Zhao Qiu, Mingxiu Li, Nian Tang, Xiaohu Wu, Liwei Key Laboratory of Intelligent Sensing System and Security Hubei University Ministry of Education Hubei Provincial Engineering Research Center of Intelligent Connected Vehicle Network Security School of Cyber Science and Technology Hubei University Wuhan430062 China State Key Laboratory of Integrated Service Networks Xi’an710071 China Hubei Key Laboratory of Applied Mathematics Faculty of Mathematics and Statistics Hubei University Wuhan430062 China Southwest Jiaotong University Chengdu610031 China Wuhan Maritime Communication Research Institute China

Linear codes with few weights have applications in secret sharing, authentication codes, association schemes and strongly regular graphs. In this paper, several classes of t-weight linear codes over Fq are presented with the defining sets given by the intersection, difference and union of two certain sets, where t = 3, 4, 5, 6 and q is an odd prime power. By using Weil sums and Gauss sums, the parameters and weight distributions of these codes are determined completely. Moreover, three classes of optimal codes meeting the Griesmer bound are obtained, and computer experiments show that many (almost) optimal codes can be derived from our constructions. Copyright © 2025, The Authors. All rights reserved.

关键词： Weibull distribution

来源：评论

学校读者我要写书评

暂无评论

Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets

引用

Science China(Information Sciences) 2015年第7期58卷 128-143页

作者： LIU GuanJun JIANG ChangJun Department of Computer Science Tongji University Key Laboratory of the Ministry of Education for Embedded System and Service Computing Tongji University

Inter-organizational workflow nets(IWF-nets) can well model the interactions among multiple processes by sending/receiving messages. Compatibility and weak compatibility are crucial properties for *** latter guarantees that a system is deadlock-free and livelock-free while the former also guarantees that it has no dead tasks. Our previous work proved that the(weak) compatibility problem is PSPACE-complete for safe IWF-nets. This paper defines a class of IWF-nets in which some simple circuits are allowed. Necessary and sufficient conditions are presented to decide compatibility and weak compatibility for this class, and they are dependent on the net structures only. Algorithms are developed based on these conditions. In addition, we show that the traditional net structures like siphon cannot be easily used to decide the(weak) compatibility of IWF-nets.

关键词： formal method workflow nets compatibility business process model web services composition

来源：评论

学校读者我要写书评

暂无评论

EagerLog: Active Learning Enhanced Retrieval Augmented Generation for Log-based Anomaly Detection

EagerLog: Active Learning Enhanced Retrieval Augmented Gener...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Chiming Duan Tong Jia Yong Yang Guiyang Liu Jinbu Liu Huxing Zhang Qi Zhou Ying Li Gang Huang School of Software and Microelectronics Peking University Beijing China Institute for Artificial Intelligence Peking University Beijing China National Key Laboratory of Data Space Technology and System Beijing China National Engineering Research Center for Software Engineering Peking University Beijing China Alibaba Cloud Computing Company Hangzhou China

ISBN: (数字)9798350368741

ISBN: (纸本)9798350368758

Logs record essential information about system operations and serve as a critical source for anomaly detection, which has generated growing research interest. Utilizing large language models (LLMs) within a retrieval-augmented generation (RAG) framework for log-based anomaly detection is an effective approach due to its strong generalization capabilities and efficient few-shot performance. However, the effectiveness of this method hinges on the quality of the knowledge source, which can be impacted by noise and changes within the software systems. Facing these problems, in this paper, we propose a novel log-based anomaly detection method named EagerLog, employing active learning to choose the logs for humans to label, thereby adding them to the knowledge source, thus enhancing the knowledge source and maintaining its quality. Our experiments on three open datasets (BGL, Thunderbird, Zookeeper) and one industrial dataset demonstrate that EagerLog can achieve 93.65% F1 score with approximately 10 labeled log sequences, surpassing existing methods by 15.32%.

关键词： Training Industries systems operation Large language models Retrieval augmented generation Active learning Noise Software systems Speech processing Anomaly detection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：