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

Supervisory Control of Discrete Event systems Modeled With Labeled Petri Nets for Diagnosability Enforcement

IEEE Transactions on Automation science and engineering 2025年 22卷 13855-13870页

作者： Li, Chengzong Chen, Yufeng Mostafa, Almetwally M. Khalgui, Mohamed Qinghai University School of Energy and Electrical Engineering Xining810000 China Macau University of Science and Technology Institute of Systems Engineering Taipa China King Saud University College of Computer and Information Sciences Department of Information Systems Riyadh11543 Saudi Arabia German International University Faculty of Engineering Berlin13507 Germany

This paper proposes an active fault diagnosis method to enforce the diagnosability of discrete event systems using labeled Petri nets by constructing a diagnostic supervisor. For a non-diagnosable net model, its diagnosability is viewed as a control specification and addressed by using supervisory control techniques. First, an event-based monitor and a Petri net structure, referred to as data isolation arcs, are introduced to apply control specifications for labeled Petri nets. Then, a diagnostic supervisor reachability graph is generated to estimate the current state of the diagnoser. By analyzing the diagnostic supervisor reachability graph, an integer linear programming model is formulated to design a diagnostic supervisor, which can prevent the system from entering into any indeterminate cycle only by observing the occurrence of events. Finally, by the obtained diagnostic supervisor, the resulting net model is shown to be diagnosable. Some examples are presented to demonstrate the proposed method. © 2004-2012 IEEE.

关键词： Supervisory personnel

来源：评论

学校读者我要写书评

暂无评论

Topology, Size, and Shape Optimization in Civil engineering Structures: A Review

引用

computer Modeling in engineering & sciences 2025年第2期142卷 933-971页

作者： Ahmed Manguri Hogr Hassan Najmadeen Saeed Robert Jankowski Faculty of Civil and Environmental Engineering Gdansk University of TechnologyGdansk80-223Poland Department of Computer Science ModelingElectronics and Systems EngineeringUniversity of CalabriaCosenza87036Italy Civil Engineering Department University of RaparinRania46012Iraq Civil Engineering Department Tishk International UniversityErbil44001Iraq

The optimization of civil engineering structures is critical for enhancing structural performance and material efficiency in engineering *** optimization approaches seek to determine the optimal design,by considering material performance,cost,and structural *** design approaches aim to reduce the built environment’s energy use and carbon *** comprehensive review examines optimization techniques,including size,shape,topology,and multi-objective approaches,by integrating these *** trends and advancements that contribute to developing more efficient,cost-effective,and reliable structural designs were *** review also discusses emerging technologies,such as machine learning applications with different optimization *** of truss,frame,tensegrity,reinforced concrete,origami,pantographic,and adaptive structures are covered and *** techniques are explained,including metaheuristics,genetic algorithm,particle swarm,ant-colony,harmony search algorithm,and their applications with mentioned structure *** and non-linear structures,including geometric and material nonlinearity,are *** role of optimization in active structures,structural design,seismic design,form-finding,and structural control is taken into account,and the most recent techniques and advancements are mentioned.

关键词： Structural optimization topology optimization size optimization shape optimization multi-objective optimization

来源：评论

学校读者我要写书评

暂无评论

So Far Yet So Near: Time Series Data Augmentation with Exploring non-Semantic Boundaries based on Reinforcement Learning

So Far Yet So Near: Time Series Data Augmentation with Explo...

引用

2025 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2025

作者： Li, Haoran Zhang, Zhibo Kang, Jiarong Jiang, Xun Gong, Xiaoli Zhang, Jin Sun, Zhe Cichocki, Andrzej College of Computer Science Nankai University Tianjin China School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China Faculty of Medicine Faculty of Health Data Science Juntendo University Japan Systems Research Institute Polish Academy of Science Warsaw Poland

ISBN: (纸本)9798350368741

Data augmentation effectively expands feature distribution in time series classification, enhancing downstream task performance. However, existing techniques often fail to maintain semantic consistency between augmented and original time series data, causing label noise and thereby degrading downstream task performance. We argue that data augmentation should preserve time series semantic consistency and expand the non-semantic information space. In this paper, we reformulate data augmentation as a semantic path planning problem between original data and augmented data, modeled as a Markov Decision Process (MDP). We propose a reinforcement learning-based algorithm (RL) named FreqSYN, where the action space is defined by a set of learnable Gaussian kernels that perturbs the frequency domain of the original data to generate augmented samples. The confidence coefficients of augmented data in semantically relevant classification tasks are used as a reward to iteratively refine the FreqSYN. Our method is validated across four datasets, achieving state-of-the-art performance, with a 2% improvement in F1 score over the SimPSI method. The code and models are available at https://***/NKU-EmbeddedSystem/FreqSYN. © 2025 IEEE.

关键词： Data argumentation frequency domain augmentation Gaussian kernel prediction time series

来源：评论

学校读者我要写书评

暂无评论

A New Cybersecurity Approach Enhanced by xAI-Derived Rules to Improve Network Intrusion Detection and SIEM

引用

computers, Materials & Continua 2025年第5期83卷 1607-1621页

作者： Federica Uccello Marek Pawlicki Salvatore D'Antonio RafałKozik MichałChoras Centro Direzionale Department of EngineeringUniversity of Naples‘Parthenope’Isola C4Napoli80133Italy Department of Computer and Information Science Software and SystemsLinköping UniversityLinköping58183Sweden ITTI Sp.z o.o. Pozna´n61-612Poland Faculty of Telecommunications Computer Science and Electrical EngineeringBydgoszcz University of Science and TechnologyBydgoszcz85-796Poland

The growing sophistication of cyberthreats,among others the Distributed Denial of Service attacks,has exposed limitations in traditional rule-based Security Information and Event Management *** machine learning–based intrusion detection systems can capture complex network behaviours,their“black-box”nature often limits trust and actionable insight for security *** study introduces a novel approach that integrates Explainable Artificial Intelligence—xAI—with the Random Forest classifier to derive human-interpretable rules,thereby enhancing the detection of Distributed Denial of Service(DDoS)*** proposed framework combines traditional static rule formulation with advanced xAI techniques—SHapley Additive exPlanations and Scoped Rules-to extract decision criteria from a fully trained *** methodology was validated on two benchmark datasets,CICIDS2017 and *** rules were evaluated against conventional Security Information and Event Management systems rules with metrics such as precision,recall,accuracy,balanced accuracy,and Matthews Correlation *** results demonstrate that xAI-derived rules consistently outperform traditional static ***,the most refined xAI-generated rule achieved near-perfect performance with significantly improved detection of DDoS traffic while maintaining high accuracy in classifying benign traffic across both datasets.

关键词： Cybersecurity explainable artificial intelligence intrusion detection system rule-based SIEM distributed denial of service

来源：评论

学校读者我要写书评

暂无评论

Attention-Driven Emotion Recognition in EEG: A Transformer-Based Approach With Cross-Dataset Fine-Tuning

引用

IEEE Access 2025年 13卷 69369-69394页

作者： Ghous, Ghulam Najam, Shaheryar Alshehri, Mohammed Alshahrani, Abdulmonem AlQahtani, Yahya Jalal, Ahmad Liu, Hui Riphah International University Department of Electrical and Computer Engineering Islamabad44000 Pakistan Bahria University Department of Electrical Engineering Islamabad44000 Pakistan King Khalid University Department of Computer Science Abha61421 Saudi Arabia King Khalid University Department of Informatics and Computer Systems Abha61421 Saudi Arabia Air University Faculty of Computer Science and AI Islamabad44000 Pakistan Korea University College of Informatics Department of Computer Science and Engineering Seoul02841 Korea Republic of University of Bremen Cognitive Systems Laboratory Bremen28359 Germany Guodian Nanjing Automation Company Ltd. Nanjing210032 China

Emotion recognition from EEG (electroencephalogram) signals is crucial in mental health diagnostics and human-computer interaction but is often hindered by high dimensionality, noise, and complex temporal dependencies in the data. This paper presents a novel approach that integrates transformer models, attention mechanisms, and transfer learning to enhance emotion recognition accuracy from EEG signals. The proposed methodology consists of two phases: Attention Enhanced Base Model Development (AE-BMD) and Cross-Dataset Fine Tuning Adaptation (CD-FTA). In the AE-BMD phase, the base model is developed and trained on the SEED-IV dataset (15 participants, 62 EEG channels), achieving an accuracy of 84%, with an average precision of 84.75%, recall of 84% and F1-score of 84%. This phase employs optimized feature extraction from key EEG frequency bands (Delta, Theta, Alpha, Beta, Gamma) using techniques such as MFCC, GFCC, power spectral density, and Hjorth parameters. A transformer encoder with integrated spectral and temporal attention mechanisms captures intricate patterns and long-range dependencies within the EEG signals. In the CD-FTA phase, the model undergoes fine-tuning on the SEED-V dataset (20 participants, 62 channels) leading to an improved accuracy of 90%, with an average precision of 90.6%, recall of 90.6%, and F1-score of 90.6%. The model’s generalization is further validated on the MPED dataset (23 participants, 62 channels, seven emotion classes), achieving 79%, with an average precision of 79.3%, recall of 79.3% and F1-score of 79.1% across diverse emotional states. This cross-dataset adaptation leverages transfer learning to enhance the model’s generalization across different emotional states and EEG datasets. Experimental results show that the proposed approach outperforms traditional methods, achieving superior accuracy and robustness in emotion recognition tasks. This work advances emotion recognition systems by addressing challenges in EEG signal proc

关键词： Electroencephalography

来源：评论

学校读者我要写书评

暂无评论

A decentralized and privacy-preserving framework for electronic health records using blockchain

引用

Alexandria engineering Journal 2025年 126卷 196-203页

作者： Alahmari, Saad Alshardan, Amal Al-Wesabi, Fahd N. Sorour, Shaymaa Alghushairy, Omar Alsini, Raed Khadidos, Alaa O. Duhayyim, Mesfer Al Department of Computer Science Applied College Northern Border University Arar Saudi Arabia Department of Information Systems College of Computer and Information Sciences Princess Nourah bint Abdulrahman University P.O. Box 84428 Riyadh11671 Saudi Arabia Department of Computer Science Applied College at Mahayil King Khalid University Saudi Arabia Department of Management Information Systems College of Business Administration King Faisal University Al-Ahsa31982 Saudi Arabia Department of Information Systems and Technology College of Computer Science and Engineering University of Jeddah Jeddah21589 Saudi Arabia Department of Information Systems Faculty of Computing and Information Technology King Abdulaziz University Jeddah Saudi Arabia Department of Computer Science College of Computer Engineering and Sciences Prince Sattam bin Abdulaziz University Al-Kharj16273 Saudi Arabia

As healthcare services have become increasingly digitized, Electronic Health Records (EHRs) have become widely adopted, providing seamless data exchange among providers. Conventional EHRs, however, are extremely vulnerable to cyber threats because patients' sensitive data is centralized and transmitted electronically. The paper proposes a decentralized, privacy-preserving framework for managing EHRs on blockchains in order to address these security and privacy concerns. Using cryptographic techniques, such as homomorphic encryption and zero-knowledge proofs, the proposed system enhances security and ensures data integrity. Additionally, the model facilitates scalable, efficient, and secure access to patient records through the integration of cloud-based storage and blockchain. Using smart contracts, we also ensure compliance with healthcare regulations by regulating access control and authentication. As a result of performance evaluations, the proposed approach is demonstrated to be feasible, and the advantages it offers in terms of security, privacy, and efficiency are highlighted. © 2025 The Authors

关键词： Electronic health record

来源：评论

学校读者我要写书评

暂无评论

Lightweight and Roubust Key Agreement for Securing IIoT-Driven Flexible Manufacturing systems

引用

IEEE Internet of Things Journal 2025年第11期12卷 17197-17209页

作者： Hammad, Muhammad Badshah, Akhtar Almeer, Mohammed A. Waqas, Muhammad Song, Houbing Chen, Sheng Han, Zhu GIK Institute of Engineering Sciences and Technology Faculty of Mechanical Engineering Topi23640 Pakistan University of Malakand Department of Software Engineering Dir Lower18800 Pakistan University of Bahrain Computer Engineering Department College of Information Technology 32038 Bahrain University of Greenwich Faculty of Engineering and Science Centre for Sustainable Cybersecurity United Kingdom Edith Cowan University School of Engineering PerthWA6027 Australia Department of Information Systems BaltimoreMD United States University of Southampton School of Electronics and Computer Science SouthamptonSO17 1BJ United Kingdom University of Houston Department of Electrical and Computer Engineering HoustonTX77004 United States Kyung Hee University Department of Computer Science and Engineering Seoul446-701 Korea Republic of

The ever-evolving Internet of Things (IoT) has ushered in a new era of intelligent manufacturing across multiple industries. However, the security and privacy of real-time data transmitted over the public channel of the industrial IoT (IIoT) remain formidable challenges. Existing lightweight protocols often omit one or more critical security features, such as anonymity and untraceability, and are susceptible to threats like desynchronization attacks. Additionally, they struggle to achieve an optimal balance between robust security and performance efficiency. To bridge these gaps, we introduce a new lightweight key agreement security scheme that guarantees secure access to the IIoT-enabled flexible manufacturing system (FMS). The strength of our scheme lies in its utilization of the authenticated encryption with associative data (AEAD) primitive, AEGIS, along with hash functions and physical unclonable functions, which secure the IIoT ecosystem. Additionally, our scheme offers flexibility in the form of the addition of new machines, password updates, and revocation in cases of theft or loss. A comprehensive security analysis demonstrates the efficacy of the proposed scheme in thwarting various attacks. The formal analysis, based on the Real-Or-Random (RoR) model, ensures session key indistinguishability, while the informal analysis highlights its resilience against known attacks. The comparative assessment demonstrate that the proposed scheme consistently outperforms the benchmark schemes across multiple dimensions, including security and functionality features, computational and communication overheads, and runtime efficiency. Specifically, the proposed scheme achieves peak performance enhancements of 77.55%, 44.73%, and 69.6% in computational overhead, runtime overhead, and communication overhead, respectively, underscoring its substantial performance advantages. © 2025 IEEE.

关键词： Flexible manufacturing systems

来源：评论

学校读者我要写书评

暂无评论

Interpretable Arabic Hate Speech Detection using Large Language Model 2

Interpretable Arabic Hate Speech Detection using Large Langu...

引用

2nd International Conference on Advanced Innovations in Smart Cities, ICAISC 2025

作者： Alwateer, Majed Gad, Ibrahim Elmarhomy, Mahmoud Elmarhomy, Ghada Hashim, Hasan Almaliki, Malik Atlam, El-Sayed College of Computer Science and Engineering Taibah University Department of Computer Science Saudi Arabia Tanta University Faculty of Science Computer Science Department Tanta31527 Egypt College of Applied Taibah University Computer Science and Information Saudi Arabia College of Computer Science and Engineering Taibah University Department of Information Systems Saudi Arabia

ISBN: (纸本)9798331506995

Social media platforms serve as significant spaces for users to have conversations, discussions and express their opinions. However, anonymity provided to users on these platforms allows the spread of hate speech and other offensive material. Due to the wide-ranging nature of these platforms, there is a critical need to automatically detect and report occurrences of hate speech. There are various detection methods, but many of them operate as black boxes, lacking interpretability and explainability by design. To address the lack of interpretability, this study explores the development of an interpretable framework to detect hate speech in Arabic using large language models (LLMs). The proposed approach combines advanced natural language processing techniques with interpretable machine learning methods to enhance understanding of model decisions. The experimental results demonstrate that the model achieves high accuracy while maintaining interpretability, enabling users to understand the reasoning behind the detections. The proposed method achieves an accuracy of 0.846%, with a precision of 0.843% and a recall of 0.846%, outperforming existing Arabic hate speech detection models. These results show the effectiveness of combining LLM with interpretability for this critical task, providing a reliable and transparent solution for automated moderation of harmful content. © 2025 IEEE.

关键词： Arabic Hate Speech Detection Large Language Mode XAI

来源：评论

学校读者我要写书评

暂无评论

Cost-Optimized Task Offloading for Dependent Applications in Collaborative Edge and Cloud Computing

引用

IEEE Internet of Things Journal 2025年第9期12卷 12975-12988页

作者： Yuan, Haitao Hu, Qinglong Wang, Shen Bi, Jing Buyya, Rajkumar Lu, Jinhu Yang, Jinhong Zhang, Jia Zhou, MengChu Beihang University School of Automation Science and Electrical Engineering Beijing100191 China City University of Hong Kong Department of Computer Science Kowloon Tong Hong Kong Beijing University of Technology School of Software Engineering Faculty of Information Technology Beijing100124 China Laboratory School of Computing and Information Systems MelbourneVIC3010 Australia CSSC Systems Engineering Research Institute Beijing100036 China Southern Methodist University Lyle School of Engineering Department of Computer Science DallasTX75205 United States New Jersey Institute of Technology Department of Electrical and Computer Engineering NewarkNJ07102 United States

A collaborative system that includes mobile devices (MDs), edge nodes (ENs), and the cloud is needed where ENs at the network edge can run offloaded tasks of MDs with limited resources and energy for timely processing for latency-sensitive applications. Unlike existing studies, we formulate a total cost minimization problem for the system for applications, which can be divided into several interdependent subtasks. Each subtask can be executed in MDs, ENs, and the cloud. This work formulates a mixed-integer nonlinear program to minimize the total system cost. To address it, a novel meta-heuristic optimization algorithm called Genetic Simulated-annealing-based Particle swarm optimization with Auto-Encoder (GSPAE) is proposed, which innovatively combines feature extraction of deep learning and global search of meta-heuristic optimization. Genetic operations provide diverse solutions, the Metropolis acceptance of annealing offers a robust global search, and autoencoders (AEs) extract distribution characteristics of particles toward high-quality regions for fast convergence. Thus, GSPAE optimizes the associations between ENs and MDs and the scheduling of subtasks among MDs, ENs, and the cloud. Experiments with large-scale Google cluster datasets show that compared to state-of-the-art benchmark methods, GSPAE reduces the total cost by at least 17% while strictly meeting limits of application latency, available energy, computing, and communication resources of ENs and MDs. © 2014 IEEE.

关键词： Mobile edge computing

来源：评论

学校读者我要写书评

暂无评论

An integrated strategy of AEF attribute evaluation for reliable thunderstorm detection

引用

Digital Communications and Networks 2025年第1期11卷 234-245页

作者： Xu Yang Hongyan Xing Xinyuan Ji Xin Su Witold Pedrycz School of Electronics and Information Engineering Nanjing University of Information Science and TechnologyNanjing 210044China Department of Electrical and Computer Engineering University of AlbertaEdmonton AB T6G 2R3Canada College of Internet of Things Engineering Hohai UniversityChangzhou 213022China Systems Research Institute Polish Academy of Sciences00-901 WarsawPoland Department of Computer Engineering Faculty of Engineering and Natural SciencesIstinye UniversitySariyer/IstanbulTurkey

Thunderstorm detection based on the Atmospheric Electric Field(AEF)has evolved from time-domain models to space-domain *** is especially important to evaluate and determine the particularly Weather Attribute(WA),which is directly related to the detection reliability and *** this paper,a strategy is proposed to integrate three currently competitive WA's evaluation ***,a conventional evaluation method based on AEF statistical indicators is *** evaluation approaches include competing AEF-based predicted value intervals,and AEF classification based on fuzzy *** AEF attributes contribute to a more accurate AEF classification to different *** resulting dynamic weighting applied to these attributes improves the classification *** evaluation method is applied to evaluate the WA of a particular AEF,to obtain the corresponding evaluation *** integration in the proposed strategy takes the form of a score *** cumulative score levels correspond to different final WA *** imaging is performed to visualize thunderstorm activities using those AEFs already evaluated to exhibit thunderstorm *** results confirm that the proposed strategy effectively and reliably images thunderstorms,with a 100%accuracy of WA *** is the first study to design an integrated thunderstorm detection strategy from a new perspective of WA evaluation,which provides promising solutions for a more reliable and flexible thunderstorm detection.

关键词： Atmospheric electric field(AEF) Thunderstorm Attribute Fuzzy c-means Imaging

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：