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

Generalized Regenerating Codes and Node Repair on Graphs

IEEE Transactions on Information Theory 2025年第3期71卷 1613-1630页

作者： Patra, Adway Barg, Alexander University of Maryland Department of Electrical and Computer Engineering The Institute for Systems Research College ParkMD20742 United States

We consider regenerating codes in distributed storage systems where connections between the nodes are constrained by a graph. In this problem, the failed node downloads the information stored at a subset of vertices of the graph for the purpose of recovering the lost data. Compared to the standard setting, regenerating codes on graphs address two additional features. The repair information is moved across the network, and the cost of node repair is determined by the graphical distance from the helper nodes to the failed node. Accordingly, the helpers far away from the failed node may be expected to contribute less data for repair than the nodes in the neighborhood of that node. We analyze regenerating codes with nonuniform download for repair on graphs. Moreover, in the process of repair, the information moved from the helpers to the failed node may be combined through intermediate processing, reducing the repair bandwidth. We derive lower bounds for communication complexity of node repair on graphs, including repair schemes with nonuniform download and intermediate processing, and construct codes that attain these bounds. Additionally, some of the nodes may act as adversaries, introducing errors into the data moved in the network. For repair on graphs in the presence of adversarial nodes, we construct codes that support node repair and error correction in systematic nodes. © 1963-2012 IEEE.

关键词： Maintenance engineering Codes Costs Network coding IP networks Bandwidth Symbols Encoding Vectors Standards

来源：评论

学校读者我要写书评

暂无评论

Data-driven output regulation control for constrained linear systems

引用

Science China(Information Sciences) 2025年第3期68卷 338-353页

作者： Chaoyu XIA Yi DONG Chaoli WANG Shengyuan XU Shanghai Research Institute for Intelligent Autonomous Systems Tongji University College of Electronic and Information Engineering Shanghai Research Institute for Intelligent Autonomous SystemsTongji University Department of Control Science and Engineering School of Optical-Electrical and Computer EngineeringUniversity of Shanghai for Science and Technology Department of Automation Nanjing University of Science and Technology

This study introduces a data-driven approach for state and output feedback control addressing the constrained output regulation problem in unknown linear discrete-time systems. Our method ensures effective tracking performance while satisfying the state and input constraints, even when system matrices are not available. We first establish a sufficient condition necessary for the existence of a solution pair to the regulator equation and propose a data-based approach to obtain the feedforward and feedback control gains for state feedback control using linear programming. Furthermore, we design a refined Luenberger observer to accurately estimate the system state, while keeping the estimation error within a predefined set. By combining output regulation theory, we develop an output feedback control strategy. The stability of the closed-loop system is rigorously proved to be asymptotically stable by further leveraging the concept of λ-contractive sets.

关键词： output regulation constrained system data-driven.

来源：评论

学校读者我要写书评

暂无评论

Blackout Mitigation via Physics-Guided RL

引用

IEEE Transactions on Power systems 2025年第3期40卷 2363-2375页

作者： Dwivedi, Anmol Paternain, Santiago Tajer, Ali Rensselaer Polytechnic Institute Electrical Computer and Systems Engineering Department TroyNY12180 United States

This paper considers the sequential design of remedial control actions in response to system anomalies to prevent blackouts. A physics-guided reinforcement learning (RL) framework is designed to identify effective sequences of real-time remedial look-ahead decisions accounting for the long-term impact on the system's stability. The paper considers a space of control actions involving both discrete-valued transmission line-switching decisions (line reconnections and removals) and continuous-valued generator adjustments. To identify an effective blackout mitigation policy, a physics-guided approach is designed that uses power-flow sensitivity factors associated with the power transmission network to guide the RL exploration during agent training. Comprehensive empirical evaluations using the open-source Grid2Op platform demonstrate the notable advantages of incorporating physical signals into RL decisions, establishing the gains of the proposed physics-guided approach compared to its black-box counterparts. One important observation is that strategically removing transmission lines, in conjunction with multiple real-time generator adjustments, often renders effective long-term decisions that are likely to prevent or delay blackouts. © 1969-2012 IEEE.

关键词： Electric load flow

来源：评论

学校读者我要写书评

暂无评论

A two-stage method with twin autoencoders for the degradation trajectories prediction of lithium-ion batteries

引用

Journal of Energy Chemistry 2025年第4期103卷 759-772页

作者： Lei Cai Jing Yan Haiyan Jin Jinhao Meng Jichang Peng Bin Wang Wei Liang Remus Teodorescu School of Computer Science and Engineering Xi'an University of Technology School of Electrical Engineering Xi'an Jiaotong University Smart Grid Research Institute Nanjing Institute of Technology Department of Energy Aalborg University

To predict the lithium-ion(Li-ion) battery degradation trajectory in the early phase,arranging the maintenance of battery energy storage systems is of great ***,under different operation conditions,Li-ion batteries present distinct degradation patterns,and it is challenging to capture negligible capacity fade in early *** the data-driven method showing promising performance,insufficient data is still a big issue since the ageing experiments on the batteries are too slow and *** this study,we proposed twin autoencoders integrated into a two-stage method to predict the early cycles' degradation *** two-stage method can properly predict the degradation from course to *** twin autoencoders serve as a feature extractor and a synthetic data generator,***,a learning procedure based on the long-short term memory(LSTM) network is designed to hybridize the learning process between the real and synthetic *** performance of the proposed method is verified on three datasets,and the experimental results show that the proposed method can achieve accurate predictions compared to its competitors.

关键词： Autoencoder Battery degradation trajectory Early prediction Synthetic data generation

来源：评论

学校读者我要写书评

暂无评论

Purification Of Contaminated Convolutional Neural Networks Via Robust Recovery: An Approach with Theoretical Guarantee in One-Hidden-Layer Case

引用

IEEE Journal on Selected Topics in Signal Processing 2025年第3期19卷 507-519页

作者： Lu, Hanxiao Huang, Zeyu Wang, Ren Illinois Institute of Technology Trustworthy and Intelligent Machine Learning Research Lab Department of Electrical and Computer Engineering ChicagoIL60616 United States Illinois Institute of Technology Department of Electrical and Computer Engineering ChicagoIL60616 United States

Convolutional neural networks (CNNs), one of the key architectures of deep learning models, have achieved superior performance on many machine learning tasks such as image classification, video recognition, and power systems. Despite their success, CNNs can be easily contaminated by natural noises and artificially injected noises such as backdoor attacks. In this paper, we propose a robust recovery method to remove the noise from the potentially contaminated CNNs and provide an exact recovery guarantee on one-hidden-layer non-overlapping CNNs with the rectified linear unit (ReLU) activation function. Our theoretical results show that both CNNs' weights and biases can be exactly recovered under the overparameterization setting with some mild assumptions. The experimental results demonstrate the correctness of the proofs and the effectiveness of the method in both the synthetic environment and the practical neural network setting. Our results also indicate that the proposed method can be extended to multiple-layer CNNs and potentially serve as a defense strategy against backdoor attacks. © 2025 IEEE. All rights reserved.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Embeddings Between State and Action Based Probabilistic Logics

引用

Formal Aspects of Computing 2025年第2期37卷 1-58页

作者： Das, Susmoy Sharma, Arpit Department of Electrical Engineering and Computer Science Indian Institute of Science Education and Research Bhopal Madhya Pradesh Bhopal India

This article defines embeddings between state-based and action-based probabilistic logics which can be used to support probabilistic model checking. First, we slightly modify the model embeddings proposed in the literature to allow invisible computation steps and the preservation of forward and backward bisimulation relations. Next, we propose the syntax and semantics of an action-based Probabilistic Computation Tree Logic (APCTL) and an action-based PCTL∗(APCTL∗) interpreted over action-labeled discrete-time Markov chains (ADTMCs). We show that both these logics are strictly more expressive than the probabilistic variant of Hennessy-Milner logic (prHML). We define an embedding aldl which can be used to construct APCTL∗formulae from PCTL∗formulae and an embedding sldl from APCTL∗formulae to PCTL∗formulae. Similarly, we define the embeddings and from PCTL to APCTL and APCTL to PCTL, respectively. We also define the reward-based variant of APCTL (APRCTL) interpreted over action-based Markov Reward Models (AMRM), and accordingly modify the logical embeddings and which allows us to take into account the notion of rewards. Additionally, we also show that the idea of rewards can be used to reason about the bounded until operator in PCTL and APCTL. Finally, we prove that our logical embeddings combined with the model embeddings enable one to minimize, analyze, and verify probabilistic models in one domain using state-of-the-art tools and techniques developed for the other domain. In order to validate the efficacy of our theoretical framework, we apply it to two case studies using the probabilistic symbolic model checker (PRISM). © 2025 Copyright held by the owner/author(s). Publication rights licensed to ACM.

关键词： Probabilistic Markov chain equivalence bisimulation logic embeddings rewards model checking

来源：评论

学校读者我要写书评

暂无评论

Chattering-Free Fault-Tolerant Cluster Control and Fault Direction Identification for HIL UAV Swarm With Pre-Specified Performance

引用

IEEE/CAA Journal of Automatica Sinica 2025年第1期12卷 183-197页

作者： Pei-Ming Liu Xiang-Gui Guo Jian-Liang Wang Daniel Coutinho Lihua Xie the Beijing Engineering Research Center of Industrial Spectrum Imaging School of Automation and Electrical Engineering University of Science and Technology Beijing the Shunde Graduate School of University of Science and Technology Beijing IEEE Autonomous Intelligent Systems Department Hangzhou Innovation Institute of Beihang University the Department of Automation and Systems Universidade Federal de Santa Catarina the School of Electrical and Electronic Engineering Nanyang Technological University

In this paper, the problem of pre-specified performance fault-tolerant cluster consensus control and fault direction identification is solved for the human-in-the-loop(HIL) swarm unmanned aerial vehicles(UAVs) in the presence of possible nonidentical and unknown direction faults(NUDFs) in the yaw *** control strategy begins with the design of a pre-specified performance event-triggered observer for each individual *** observers estimate the outputs of the human controlled UAVs, and simultaneously achieve the distributed design of actual control signals as well as cluster consensus of the observer *** is worth mentioning that these observers require neither the high-order derivatives of the human controlled UAVs' output nor a priori knowledge of the initial conditions. The fault-tolerant controller realizes the pre-specified performance output regulation through error transformation and the Nussbaum function. It should be pointed out that there are no chattering caused by the jump of the Nussbaum function when a reverse fault occurs. In addition, to provide a basis for further solving the problem of physical malfunctions, a fault direction identification algorithm is proposed to accurately identify whether a reverse fault has occurred. Simulation results verify the effectiveness of the proposed control and fault direction identification strategies when the reverse faults occur.

关键词： Chattering-free cluster consensus fault direction identification human-in-the-loop (HIL) nonidentical and unknown direction faults (NUDFs) pre-specified performance swarm unmanned aerial vehicles (UAVs)

来源：评论

学校读者我要写书评

暂无评论

Automatic emotion recognition using deep neural network

引用

Multimedia Tools and Applications 2025年 1-30页

作者： Sujatha, R. Chatterjee, Jyotir Moy Pathy, Baibhav Hu, Yu-Chen School of Computer Science Engineering and Information Systems Vellore Institute of Technology Vellore India Department of CSE Graphic Era University Dehradun India School of Electrical Engineering Vellore Institute of Technology Vellore India Department of Computer Science Tunghai University Taichung City Taiwan

Emotions are a vital semantic part of human correspondence. Emotions are significant for human correspondence as well as basic for human–computer cooperation. Viable correspondence between people is possibly achieved when both the importance and the emotion of the correspondence are perceived by all groups included. Understanding the significance of language has generally been concentrated on in natural language processing (NLP) as a semantic examination. In NLP, the text can be handled appropriately for classification. Emotion detection from facial emotion is the subfield of social signal processing applied in a wide assortment of regions, explicitly for human and PC collaboration. Many researchers have proposed various approaches, generally utilizing machine learning concepts. Automatic emotion recognition (AER) is significant for working with consistent intuitiveness between a person and a smart device toward fully acknowledging an intelligent society. Many researchers examined cross-lingual and multilingual speech emotion as a stage toward language-free emotion acknowledgment in natural speech. In the present work, we are proposing a deep learning-based AER system using four openly accessible datasets, namely Basic Arabic Vocal Emotions Dataset (BAVED), Acted Emotional Speech Dynamic Database (AESDD), Urdu written in Latin/Roman Script (URDU), and Toronto Emotional Speech Set (TESS), by utilizing the Jupyter notebook and a Python library for music and audio synthesis named Librosa. The experimental results exhibited that the proposed approach achieves better than the existing approaches, i.e., the accuracy of the proposed system with the URDU dataset is 96.24%, the TESS dataset is 99.10%, the AESDD dataset is 65.97%, and the BAVED dataset is 73.12%. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2025.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Generalized Critical Observability of Labeled Petri Nets Under Nondeterministic Observations

引用

IEEE Transactions on Automation Science and engineering 2025年 22卷 14633-14645页

作者： Zhang, Yuling Hadjicostis, Christoforos N. Li, Zhiwu Xidian University School of Electro-Mechanical Engineering Xi’an710071 China University of Cyprus Department of Electrical and Computer Engineering Nicosia1678 Cyprus Macau University of Science and Technology Institute of Systems Engineering China

This paper addresses the property of critical observability in labeled Petri nets. A system is deemed critically observable if its state estimate (formed by observing the system output) can be determined to belong to a set of either critical markings or non-critical markings. More generally, for a critically observable system, there may be multiple types of critical markings and the operator may desire to know the type to which the current state estimate belongs. We propose a generalized version of critical observability, namely generalized critical observability, and provide two necessary and sufficient conditions to check it based on basis markings and integer linear programs, effectively circumventing the need for an exhaustive enumeration of all reachable markings of the net. In addition, we investigate (generalized) critical observability of Petri nets under nondeterministic observations, which may arise due to the loss of transmission signals or due to interference with sensor measurement outputs. To handle this, an augmented system is constructed from the original Petri net by adding new transitions that capture the effect of transitions associated with nondeterministic labels. Thus, we transform the verification of (generalized) critical observability of a Petri net under nondeterministic observations to that of the augmented model. Two real-world examples illustrate the applicability of the presented notion and methodology. © 2004-2012 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Hybrid Power-Frequency Multiple Access With SIC-Free for Holographic Reconfigurable Intelligent Surface-Based systems

引用

IEEE Wireless Communications Letters 2025年第5期14卷 1566-1570页

作者： Le, Anh-Tu Vu, Thai-Hoc Da Costa, Daniel Benevides Voznak, Miroslav VSB-Technical University of Ostrava Faculty of Electrical Engineering and Computer Science Ostrava708 00 Czech Republic University of Ulsan Department of Electrical Electronic and Computer Engineering Ulsan44610 Korea Republic of King Fahd University of Petroleum and Minerals Interdisciplinary Research Center for Communication Systems and Sensing Department of Electrical Engineering Dhahran31261 Saudi Arabia

This paper proposes a hybrid power-frequency multiple access (HPMA) strategy to enhance the reliability, energy, and capacity of wireless communication systems. HPMA, a technique that reconciles all mutual benefits of orthogonal multiple access (OMA) and non-OMA (NOMA), removes the need for successive interference cancellation (SIC) and bypasses the user pairing inherent to NOMA. Focusing on holographic reconfigurable intelligent surfaces-aided systems servicing two users under imperfect channel estimation conditions, we establish theoretical frameworks for outage probability (OP) and ergodic capacity (EC), where both metrics are quantified with exact closed-form expressions and asymptotic analyses for scenarios with high signal-to-noise ratio (SNR) as well as for low-rate region cases. The former scenario provides insights into system diversity, modulation, and coding gains, and the ergodic slope;whereas the latter scenario elucidates trade-offs between energy and reliability and the method for maximizing energy-spectral efficiency. Numerical results demonstrate that HPMA outperforms conventional OMA and NOMA, improving OP in most SNR ranges in addition to enhancing EC and energy efficiency at low to moderate SNRs. © 2012 IEEE.

关键词： Hybrid power

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：