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

Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges

IEEE Access 2025年 13卷 84357-84379页

作者： Dechsupa, Chanon Panboonyuen, Teerapong Vatanawood, Wiwat Padungweang, Praisan So-In, Chakchai Khon Kaen University College of Computing Department of Computer Science Khon Kaen400002 Thailand Chulalongkorn University Faculty of Engineering Department of Computer Engineering Bangkok10300 Thailand

State-space graphs and automata serve as fundamental tools for modeling and analyzing the behavior of computational systems. Recurrent neural networks (RNNs) and language models are deeply intertwined, as RNNS provide the foundational architecture that enables language models to process sequential data, capture contextual dependencies, and improve natural language processing tasks. Both RNNs and state-space graphs help evaluate discrete-time systems within this formal framework. However, the basic question of their equivalence remains an open challenge regarding the models governing sentence structure in natural language and the formal model in automata theory. In this paper, we present ENGRU (Enhanced Gated Recurrent Units), a novel deep learning-based approach for formal verification. ENGRU integrates concepts of model checking techniques, Colored Petri Nets (CPNs), and sequential learning to analyze systems at a high level of abstraction. CPN models undergo state-space enumeration via a model-checking tool, generating a state-space graph and an automaton from inherent state transition patterns. These graphs are transformed into sequential representations as sub-paths, enabling ENGRU to learn the execution paths and predict system behaviors. ENGRU effectively predicts goal states within discrete-time models by the competency of gated recurrent mechanisms, encouraging early bug detection and allowing predictive state-space exploration. Experimental results demonstrate that ENGRU’s ability achieves high accuracy and efficiency in goal state predictions. © 2013 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Photovoltaic Fault Detection in Remote Areas Using Fuzzy-Based Multiple Linear Regression (FMLR)

引用

International Journal of Advanced computer science and Applications 2025年第4期16卷 243-249页

作者： Ardianto, Feby Ermatita, Ermatita Sofijan, Armin Doctoral Program in Engineering Science Universitas Sriwijaya Palembang Indonesia Faculty of Computer Science Universitas Sriwijaya Palembang Indonesia Faculty of Engineering Universitas Sriwijaya Palembang Indonesia

This research focused on developing and implementing a fault detection model for photovoltaic (PV) systems in remote areas, utilizing a Fuzzy-Based Multiple Linear Regression (FMLR) approach. The study aimed to address the challenges of monitoring PV systems in locations with limited access to conventional power grids and technical resources. The fault detection system integrated environmental parameters such as solar radiation, temperature, wind speed, and rainfall, alongside PV system parameters like panel voltage, current, battery voltage, and inverter performance. Data collection and preprocessing were conducted over a specified period to identify operational patterns under both normal and faulty conditions, ensuring data accuracy through cleaning, normalization, and categorization. The research was conducted in Pandan Arang Village, Kandis District, Ogan Ilir Regency, South Sumatera, Indonesia, contributing to the improvement of reliability and sustainability of renewable energy sources in isolated communities. The total number of data points for 276 rows with 6 attributes each was 1656 records. The MLR model was developed to predict the output power of the PV system, while fuzzy logic was employed to handle uncertainties in the data, offering a more flexible and adaptive decision-making process. The system applied fuzzy rules to determine the charging status (P3), categorizing it into Optimal Charging, Adjusted Charging, Charging Delay, or Fault Alert. The model was tested with real-time data, and its performance was validated through comparison with manual inspections. The results showed that the FMLR-based fault detection system effectively identified faults and optimized the performance of the PV system, making it suitable for remote areas in South Sumatera. © (2025), (science and Information Organization). All Rights Reserved.

关键词： Multiple linear regression

来源：评论

学校读者我要写书评

暂无评论

Fuzzy clustering for electric field characterization and its application to thunderstorm interpretability

引用

Digital Communications and Networks 2025年第2期11卷 299-307页

作者： Xu Yang Hongyan Xing Xinyuan Ji Wei Xu Witold Pedrycz School of Electronics and Information Engineering Nanjing University of Information Science and Technology Department of Electrical and Computer Engineering University of Alberta Systems Research Institute Polish Academy of Sciences Department of Computer Engineering Faculty of Engineering and Natural Sciences Istinye University

Changes in the Atmospheric Electric Field Signal(AEFS) are highly correlated with weather changes, especially with thunderstorm activities. However, little attention has been paid to the ambiguous weather information implicit in AEFS changes. In this paper, a Fuzzy C-Means(FCM) clustering method is used for the first time to develop an innovative approach to characterize the weather attributes carried by AEFS. First, a time series dataset is created in the time domain using AEFS attributes. The AEFS-based weather is evaluated according to the time-series Membership Degree(MD) changes obtained by inputting this dataset into the FCM. Second, thunderstorm intensities are reflected by the change in distance from a thunderstorm cloud point charge to an AEF apparatus. Thus, a matching relationship is established between the normalized distance and the thunderstorm dominant MD in the space domain. Finally, the rationality and reliability of the proposed method are verified by combining radar charts and expert experience. The results confirm that this method accurately characterizes the weather attributes and changes in the AEFS, and a negative distance-MD correlation is obtained for the first time. The detection of thunderstorm activity by AEF from the perspective of fuzzy set technology provides a meaningful guidance for interpretable thunderstorms.

关键词： Atmospheric electric field (AEF) Thunderstorm Fuzzy C-means (FCM) Attribute

来源：评论

学校读者我要写书评

暂无评论

Mathematical Model for Delay Locked Loop Discriminator for 5G Demodulation Reference Signal

引用

IEEE Access 2025年 13卷 69513-69519页

作者： Amjad, Freeha M. Yusof, Kamaludin Mohamad Bouallegue, Belgacem Gasouma, Amir A. A. Universiti Teknologi Malaysia Faculty of Electrical Engineering School of Engineering Skudai81310 Malaysia King Khalid University College of Computer Science Department of Computer Engineering Abha61421 Saudi Arabia

The vulnerable nature of satellite-based positioning systems under certain conditions such as urban canyons and indoors has given rise to the need for alternative positioning system. Cellular signal based positioning is gaining popularity and development of an accurate cellular signal-based positioning receiver is in progress. Among the cellular signals, 5G is the most preferable due to its high carrier frequency, high bandwidth, high power, ease of access and low infrastructure cost. A review of the literature suggests that 5G based positioning receiver uses a Delay Locked Loop (DLL) to track the phase of the demodulation reference signal (DMRS) of the received 5G signal. An essential part of the DLL is the discriminator, which is used to estimate the phase difference between the received DMRS and the replica of transmitted DMRS. In order to understand the working involved in the discriminator, it is ideal to study its mathematical model. The discriminator's mathematical model includes the mathematical representation of early, prompt and late DMRS symbols, the correlations between received DMRS symbols and early, prompt and late DMRS symbols, and the S-curve. These mathematical representations, available in the literature, are analyzed in this work using the MATLAB plots. It is observed that the plots do not accurately depict the theory. Therefore, the need for an improved mathematical model arises. This work is an effort to obtain improved mathematical model for the DLL discriminator processing which is also analyzed using MATLAB plots. The plots show that the improved mathematical model accords with the theory involved in the discriminator. © 2013 IEEE.

关键词： Demodulation

来源：评论

学校读者我要写书评

暂无评论

A Review of Anonymization Algorithms and Methods in Big Data

引用

Annals of Data science 2025年第1期12卷 253-279页

作者： Shamsinejad, Elham Banirostam, Touraj Pedram, Mir Mohsen Rahmani, Amir Masoud Department of Computer Engineering Central Tehran Branch Islamic Azad University Tehran Iran Department of Electrical and Computer Engineering Faculty of Engineering Kharazmi University Tehran Iran Department of Computer Engineering Science and Research Branch Islamic Azad University Tehran Iran

In the era of big data, with the increase in volume and complexity of data, the main challenge is how to use big data while preserving the privacy of users. This study was conducted with the aim of finding a solution to this challenge. In this study, we examined various data anonymization methods, including differential privacy, advanced encryption, and strong access controls. In addition, the operation, advantages, disadvantages, and use of these methods, the challenges of adapting these methods to big data, and possible solutions for them were also examined. Our results show that traditional data anonymization methods lack scalability, leading to privacy breaches and data loss. When faced with large volumes of data, these methods may not be able to fully process the data. Also, these methods may be ineffective against re-identification attacks, linkage attacks, and inference attacks. We introduced emerging methods that are capable of providing improved privacy with minimal data loss. These methods have scalability for big data. Finally, we examined future research works and raised important questions that can help improve existing algorithms or develop new methods, better manage the complexity and scale of unstructured data. © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2024.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

Rethinking the Design of Backdoor Triggers and Adversarial Perturbations: A Color Space Perspective

引用

IEEE Transactions on Dependable and Secure Computing 2025年第3期22卷 2823-2840页

作者： Jiang, Wenbo Li, Hongwei Xu, Guowen Ren, Hao Yang, Haomiao Zhang, Tianwei Yu, Shui University of Electronic Science and Technology of China School of Computer Science and Engineering Chengdu611731 China Sichuan University School of Cyber Science and Engineering Chengdu610017 China Nanyang Technological University School of Computer Science and Engineering 639798 Singapore University of Technology Sydney School of Computer Science in the Faculty of Engineering and Information Technology SydneyNSW2007 Australia

Deep neural networks (DNNs) are known to be susceptible to various malicious attacks, such as adversarial and backdoor attacks. However, most of these attacks utilize additive adversarial perturbations (or backdoor triggers) within an Lp -norm constraint. They can be easily defeated by image preprocessing strategies, such as image compression and image super-resolution. To address this limitation, instead of using additive adversarial perturbations (or backdoor triggers) in the pixel space, this work revisits the design of adversarial perturbations (or backdoor triggers) from the perspective of color space and conducts a comprehensive analysis. Specifically, we propose a color space backdoor attack and a color space adversarial attack where the color space shift is used as the trigger and perturbation. To find the optimal trigger or perturbation in the black-box scenario, we perform an iterative optimization process with the Particle Swarm Optimization algorithm. Experimental results confirm the robustness of the proposed color space attacks against image preprocessing defenses as well as other mainstream defense methods. In addition, we also design adaptive defense strategies and evaluate their effectiveness against color space attacks. Our work emphasizes the importance of the color space when developing malicious attacks against DNN and urges more research in this area. © 2004-2012 IEEE.

关键词： Image Color Analysis Perturbation Methods Image Preprocessing Robustness Training Image Coding Predictive Models Optimization Loss Measurement Iterative Algorithms Backdoor Attack Adversarial Attack Defense Mechanisms Image Color Space Color Components Adversarial Perturbations Backdoor Trigger Deep Neural Network Optimization Algorithm Super Resolution Particle Swarm Particle Swarm Optimization Defense Strategy Image Preprocessing Malicious Attacks Image Compression Adversarial Attacks Norm Constraint Adaptive Defense Objective Function Baseline Values Alternative Models Results In Table Data Augmentation Benign Samples Attack Success Rate Color Images Adversarial Examples Projected Gradient Descent Physical World Penalty Term Peak Signal To Noise Ratio Attack Performance Neural Architecture Search

来源：评论

学校读者我要写书评

暂无评论

Representing a Model for the Anonymization of Big Data Stream Using In-Memory Processing

引用

Annals of Data science 2025年第1期12卷 223-252页

In light of the escalating privacy risks in the big data era, this paper introduces an innovative model for the anonymization of big data streams, leveraging in-memory processing within the Spark framework. The approach is founded on the principle of K-anonymity and propels the field forward by critically evaluating various anonymization methods and algorithms, benchmarking their performance with respect to time and space complexities. A distinctive formula for optimized cluster determination in the K-means algorithm is presented, along with a novel tuple expiration time strategy for the efficient purging of clusters. The integration of these components into Spark’s RDD and MLlib modules results in a significant decrease in execution time and data loss rates, even with increasing data volumes. The paper’s notable contributions are its methodological advancements that offer a robust, scalable solution for data anonymization, safeguarding user privacy without sacrificing data utility or processing efficiency. © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2024.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

Optimizing Stand-Alone PV Systems:A Metaheuristic-Enhanced Fuzzy Approach for Adaptive MPPT

引用

China Communications 2025年第1期22卷 61-74页

作者： Tina Samavat Mostafa Nazari Lin Fuhong Lei Yang Department of Computer Science and Engineering University of NevadaRenoNVUSA Faculty of Mechanical Engineering Shahrood University of TechnologyShahroodIran School of Computer and Communication Engineering University of Science and Technology BeijingBeijing 100083China

This paper introduces a simple yet effective approach for developing fuzzy logic controllers(FLCs)to identify the maximum power point(MPP)and optimize the photovoltaic(PV)system to extract the maximum power in different environmental *** propose a robust FLC with low computational complexity by reducing the number of membership functions and *** optimize the performance of the FLC,metaheuristic algorithms are employed to determine the parameters of the *** evaluate the proposed FLC in various panel configurations under different environmental *** results indicate that the proposed FLC can easily adapt to various panel configurations and perform better than other benchmarks in terms of enhanced stability,responsiveness,and power transfer under various scenarios.

关键词： genetic algorithm imperialist competitive algorithm invasive weed algorithm maximum power point tracking

来源：评论

学校读者我要写书评

暂无评论

Robust security risk estimation for android apps using nearest neighbor approach and hamming distance

引用

Soft Computing 2025年第2期29卷 593-611页

作者： Deypir, Mahmood Zoughi, Toktam Faculty of Computer Engineering Shahid Sattari Aeronautical University of Science and Technology Tehran Iran Tehran Iran

Nowadays, Android-based devices such as smart phones, tablets, smart watches, and virtual reality headsets have found increasing use in our daily lives. Along with the development of various applications for these devices, new malicious apps are released by intruders, which are more difficult to identify and deal with because they exploit more sophisticated techniques. Although methods have been provided to calculate the security risk and identify malicious apps in Android operating system, but with the expansion of the level and depth of the threats, the need for more effective methods in this context is still required. In this paper, we have devised a new algorithm to calculate the security risk of Android apps, which can be used to identify malicious apps from benign ones. In this algorithm, to estimate the security risk of an unknown input app, its nearest neighbors to malicious apps and its nearest neighbors to normal apps are computed separately using Hamming distance. Then, the security risk of the input app can be computed using a simple formulation. After implementing this algorithm, its parameter for the number of neighbors using various real datasets is adjusted. The extensive experiments conducted on these data show the superiority of the proposed method over the previously proposed ones in terms of detection rate. Our additional experimentations show the robustness of the proposed algorithm in adversarial situations. © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2025.

关键词： Android malware

来源：评论

学校读者我要写书评

暂无评论

Optimizing Image Retrieval in Cloud Servers with TN-AGW: A Secure and Efficient Approach

引用

Journal of The Institution of Engineers (India): Series B 2025年第2期106卷 459-473页

作者： Ponnuviji, N.P. Nirmala, G. Kokila, M. L. Sworna Priyadharshini, S. Indra Department of Computer Science and Engineering RMK College of Engineering and Technology Puduvoyal Thiruvallur India Department of Computer Science and Engineering RMD Engineering College Chennai India Department of Computing Technologies School of Computing Faculty of Engineering and Technology SRM Institute of Science and Technology Tamil Nādu Kattankulathur Chennai India School of Computer Science and Engineering Vellore Institute of Technology Chennai India

The increasing use of cloud-based image storage and retrieval systems has made ensuring security and efficiency crucial. The security enhancement of image retrieval and image archival in cloud computing has received considerable attention in transmitting data and ensuring data confidentiality among cloud servers and users. Various traditional image retrieval techniques regarding security have developed in recent years but they do not apply to large-scale environments. This paper introduces a new approach called Triple network-based adaptive grey wolf (TN-AGW) to address these challenges. The TN-AGW framework combines the adaptability of the Grey Wolf Optimization (GWO) algorithm with the resilience of Triple Network (TN) to enhance image retrieval in cloud servers while maintaining robust security measures. By using adaptive mechanisms, TN-AGW dynamically adjusts its parameters to improve the efficiency of image retrieval processes, reducing latency and utilization of resources. However, the image retrieval process is efficiently performed by a triple network and the parameters employed in the network are optimized by Adaptive Grey Wolf (AGW) optimization. Imputation of missing values, Min–Max normalization, and Z-score standardization processes are used to preprocess the images. The image extraction process is undertaken by a modified convolutional neural network (MCNN) approach. Moreover, input images are taken from datasets such as the Landsat 8 dataset and the Moderate Resolution Imaging Spectroradiometer (MODIS) dataset is employed for image retrieval. Further, the performance such as accuracy, precision, recall, specificity, F1-score, and false alarm rate (FAR) is evaluated, the value of accuracy reaches 98.1%, the precision of 97.2%, recall of 96.1%, and specificity of 917.2% respectively. Also, the convergence speed is enhanced in this TN-AGW approach. Therefore, the proposed TN-AGW approach achieves greater efficiency in image retrieving than other existing

关键词： Extraction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：