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

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

来源：评论

学校读者我要写书评

暂无评论

Adversarial attacks and defenses for digital communication signals identification

引用

Digital Communications and Networks 2024年第3期10卷 756-764页

作者： Qiao Tian Sicheng Zhang Shiwen Mao Yun Lin College of Computer Science and Technology Harbin Engineering UniversityHarbin150001China College of Information and Communication Engineering Harbin Engineering UniversityHarbin150000China Department of Electrical and Computer Engineering Auburn UniversityAuburnAL36849USA

As modern communication technology advances apace,the digital communication signals identification plays an important role in cognitive radio networks,the communication monitoring and management *** has become a promising solution to this problem due to its powerful modeling capability,which has become a consensus in academia and ***,because of the data-dependence and inexplicability of AI models and the openness of electromagnetic space,the physical layer digital communication signals identification model is threatened by adversarial *** examples pose a common threat to AI models,where well-designed and slight perturbations added to input data can cause wrong ***,the security of AI models for the digital communication signals identification is the premise of its efficient and credible *** this paper,we first launch adversarial attacks on the end-to-end AI model for automatic modulation classifi-cation,and then we explain and present three defense mechanisms based on the adversarial *** we present more detailed adversarial indicators to evaluate attack and defense ***,a demonstration verification system is developed to show that the adversarial attack is a real threat to the digital communication signals identification model,which should be paid more attention in future research.

关键词： Digital communication signals identification AI model Adversarial attacks Adversarial defenses Adversarial indicators

来源：评论

学校读者我要写书评

暂无评论

Efficient Bit-Plane Based Medical Image Cryptosystem Using Novel and Robust Sine-Cosine Chaotic Map

引用

computers, Materials & Continua 2025年第4期83卷 917-933页

作者： Zeric Tabekoueng Njitacke Louai A.Maghrabi Musheer Ahmad Turki Althaqafi Department of Electrical and Electronic Engineering College of Technology(COT)University of BueaBueaP.O.Box 63Cameroon Department of Software Engineering College of EngineeringUniversity of Business and TechnologyJeddah22246Saudi Arabia Department of Computer Engineering Jamia Millia IslamiaNew Delhi110025India Department of Computer Science School of EngineeringComputing and DesignDar Al-Hekma UniversityJeddah22246Saudi Arabia

This paper presents a high-security medical image encryption method that leverages a novel and robust sine-cosine *** map demonstrates remarkable chaotic dynamics over a wide range of *** employ nonlinear analytical tools to thoroughly investigate the dynamics of the chaotic map,which allows us to select optimal parameter configurations for the encryption *** findings indicate that the proposed sine-cosine map is capable of generating a rich variety of chaotic attractors,an essential characteristic for effective *** encryption technique is based on bit-plane decomposition,wherein a plain image is divided into distinct bit *** planes are organized into two matrices:one containing the most significant bit planes and the other housing the least significant *** subsequent phases of chaotic confusion and diffusion utilize these matrices to enhance *** auxiliary matrix is then generated,comprising the combined bit planes that yield the final encrypted *** results demonstrate that our proposed technique achieves a commendable level of security for safeguarding sensitive patient information in medical *** a result,image quality is evaluated using the Structural Similarity Index(SSIM),yielding values close to zero for encrypted images and approaching one for decrypted ***,the entropy values of the encrypted images are near 8,with a Number of Pixel Change Rate(NPCR)and Unified Average Change Intensity(UACI)exceeding 99.50%and 33%,***,quantitative assessments of occlusion attacks,along with comparisons to leading algorithms,validate the integrity and efficacy of our medical image encryption approach.

关键词： Image cryptosystem robust chaos sine-cosine map nonlinear analysis tools medical images

来源：评论

学校读者我要写书评

暂无评论

A Game Theoretic Link Scheduler for Wireless Networks with Heterogeneous Energy Sources

引用

China Communications 2024年第12期21卷 108-125页

作者： He Tengjiao Kwanwu Chin Wang Yishun Sieteng Soh College of Information Science and Technology Jinan UniversityGuangzhouChina School of Electrical Computer and Telecommunications EngineeringUniversity of WollongongNSWAustralia School of Electrical Engineering Computing and Mathematical SciencesCurtin UniversityWAAustralia

This paper considers link scheduling in a wireless network comprising of two types of nodes:(i)hybrid access points(HAPs)that harvest solar en-ergy,and(ii)devices that harvest radio frequency(RF)energy whenever HAPs *** aim is to de-rive the shortest possible link schedule that determines the transmission time of inter-HAPs links,and uplinks from devices to *** first outline a mixed in-teger linear program(MILP),which can be run by a central node to determine the optimal schedule and transmit power of HAPs and *** then out-line a game theory based protocol called Distributed Schedule Minimization Protocol(DSMP)that is run by HAPs and ***,it does not require causal energy arrivals and channel gains *** results show that DSMP produces schedule lengths that are at most 1.99x longer than the schedule computed by MILP.

关键词： channel access finite battery mathemati-cal program renewable energy wireless power trans-fer

来源：评论

学校读者我要写书评

暂无评论

Reducing peak to average power ratio in optical NOMA based 5G system using advanced SLM method

引用

Optical and Quantum Electronics 2024年第10期56卷 1-13页

作者： Kumar, Arun Chakravarty, Sumit Nanthaamornphong, Aziz Department of Electronics and Communication Engineering New Horizon College of Engineering Bengaluru India Department of Electrical Engineering and Computer Engineering Kennesaw State University KennesawGA United States College of Computing Prince of Songkla University Phuket Thailand

One of the most critical challenges in optical fiber communication systems using non-orthogonal multiple access (NOMA) techniques is reducing the peak-to-average power ratio (PAPR). Optical NOMA often leads to high PAPR, causing non-linear distortion and limiting the system’s gain. The advanced Selected Mapping (SLM) algorithm is introduced in this work to reduce the PAPR of the O-NOMA. In conventional SLM, multiple phase sequences are applied to the input data, which requires numerous Inverse Fast Fourier Transform, increasing computational complexity. The proposed approach simplifies this by selecting a central reference phase sequence, reducing the number of candidate sequences and the number of IFFT operations required. This reduction in complexity does not significantly compromise the PAPR reduction capability, making the method more efficient. The SLM algorithm addresses this issue by applying the phase rotation factor to the transmitted signals, redistributing the power, and reducing the peak levels. This article highlights the benefits and challenges of implementing SLM in optical NOMA systems, including its compatibility with existing NOMA schemes. Matlab 2016 analyzes parameters such as bit error rate (BER), PAPR, and out-of-band radiation. A 66% PAPR reduction can be obtained using the suggested SLM with various phase variables. Furthermore, there is a −2650 reduction in spectrum leakage. The simulation outcomes of the work reveal the potential of SLM to reduce PAPR and enhance the BER and PSD performance of optical NOMA compared with the existing algorithms. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2024.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

Impact of birefringence loss on quartz-based optical waveguides in the mid-infrared spectrum

引用

Optical and Quantum Electronics 2025年第5期57卷 1-17页

作者： Hummam, Zahraa Vahed, Hamid Pourziad, Ali Faculty of Electrical and Computer Engineering University of Tabriz Tabriz Iran Department of Electrical Engineering College of Engineering Mustansiriyah University Baghdad Iraq

The research investigates the impact of birefringence loss in quartz-based mid-infrared photonic waveguides over various wavelength ranges. The analysis of three specified wavelength ranges from 1 to 12 µm assesses critical optical parameters such as effective index, loss, group index, TE polarization percentage, and effective area. Polarizing balancing results in increased losses in modes with reduced TE polarization fractions, hence significantly diminishing the scattering loss rates. By employing suitable area modifications, one can enhance mode confinement and hence mitigate loss escalation induced by the magnetic field. Field dispersion is affected by birefringence phenomena about the appropriate area size. The waveguides exhibit low dispersion and minimal pulse broadening while maintaining a nearly uniform group index across all supported modes. Quartz-based waveguides are suitable for optical communication, sensing applications, and spectroscopic solutions, operating within a wavelength range of 1.55–3 µm. The numerical simulation of optical properties is conducted to ensure precise evaluation of waveguide performance. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2025.

关键词： Fiber to the x

来源：评论

学校读者我要写书评

暂无评论

Parameter-efficient fine-tuning of pre-trained code models for just-in-time defect prediction

引用

Neural computing and Applications 2024年第27期36卷 16911-16940页

作者： Abu Talib, Manar Bou Nassif, Ali Azzeh, Mohammad Alesh, Yaser Afadar, Yaman Department of Computer Science College of Computing and Informatics University of Sharjah Sharjah United Arab Emirates Department of Computer Engineering College of Computing and Informatics Sharjah United Arab Emirates King Hussein School for Computing Sciences Princess Sumaya University for Technology Amman Jordan

Software engineering workflows use version control systems to track changes and handle merge cases from multiple contributors. This has introduced challenges to testing because it is impractical to test whole codebases to ensure each change is defect-free, and it is not enough to test changed files alone. Just-in-time software defect prediction (JIT-SDP) systems have been proposed to solve this by predicting the likelihood that a code change is defective. Numerous techniques have been studied to build such JIT software defect prediction models, but the power of pre-trained code transformer language models in this task has been underexplored. These models have achieved human-level performance in code understanding and software engineering tasks. Inspired by that, we modeled the problem of change defect prediction as a text classification task utilizing these pre-trained models. We have investigated this idea on a recently published dataset, ApacheJIT, consisting of 44k commits. We concatenated the changed lines in each commit as one string and augmented it with the commit message and static code metrics. Parameter-efficient fine-tuning was performed for 4 chosen pre-trained models, JavaBERT, CodeBERT, CodeT5, and CodeReviewer, with either partially frozen layers or low-rank adaptation (LoRA). Additionally, experiments with the Local, Sparse, and Global (LSG) attention variants were conducted to handle long commits efficiently, which reduces memory consumption. As far as the authors are aware, this is the first investigation into the abilities of pre-trained code models to detect defective changes in the ApacheJIT dataset. Our results show that proper fine-tuning improves the defect prediction performance of the chosen models in the F1 scores. CodeBERT and CodeReviewer achieved a 10% and 12% increase in the F1 score over the best baseline models, JITGNN and JITLine, when commit messages and code metrics are included. Our approach sheds more light on the abilities of l

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

Hybrid Deep Learning Approach for Automating App Review Classification:Advancing Usability Metrics Classification with an Aspect-Based Sentiment Analysis Framework

引用

computers, Materials & Continua 2025年第1期82卷 949-976页

作者： Nahed Alsaleh Reem Alnanih Nahed Alowidi Department of Computer Science Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddah21589Saudi Arabia Department of Computer Science College of Computer Science and EngineeringUniversity of HailHail81451Saudi Arabia

App reviews are crucial in influencing user decisions and providing essential feedback for developers to improve their *** the analysis of these reviews is vital for efficient review *** traditional machine learning(ML)models rely on basic word-based feature extraction,deep learning(DL)methods,enhanced with advanced word embeddings,have shown superior *** research introduces a novel aspectbased sentiment analysis(ABSA)framework to classify app reviews based on key non-functional requirements,focusing on usability factors:effectiveness,efficiency,and *** propose a hybrid DL model,combining BERT(Bidirectional Encoder Representations from Transformers)with BiLSTM(Bidirectional Long Short-Term Memory)and CNN(Convolutional Neural Networks)layers,to enhance classification *** analysis against state-of-the-art models demonstrates that our BERT-BiLSTM-CNN model achieves exceptional performance,with precision,recall,F1-score,and accuracy of 96%,87%,91%,and 94%,*** contributions of this work include a refined ABSA-based relabeling framework,the development of a highperformance classifier,and the comprehensive relabeling of the Instagram App Reviews *** advancements provide valuable insights for software developers to enhance usability and drive user-centric application development.

关键词： Requirements engineering(RE) app review analysis usabilitymetrics hybrid deep learning BERT-BiLSTM-CNN

来源：评论

学校读者我要写书评

暂无评论

Tightening QC Relaxations of AC Optimal Power Flow Through Improved Linear Convex Envelopes

引用

IEEE Transactions on Power Systems 2025年第2期40卷 1465-1480页

作者： Narimani, Mohammad Rasoul Molzahn, Daniel K. Davis, Katherine R. Crow, Mariesa L. Department of Electrical and Computer Engineering NorthridgeCA91330 United States Georgia Institute of Technology School of Electrical and Computer Engineering AtlantaGA30332 United States Texas A&M University Electrical and Computer Engineering Department College StationTX77840 United States Missouri University of Science and Technology Electrical and Computer Engineering Department RollaMO65409 United States

AC optimal power flow (AC OPF) is a fundamental problem in power system operations. Accurately modeling the network physics via the AC power flow equations makes AC OPF a challenging nonconvex problem. To search for global optima, recent research has developed various convex relaxations that bound the optimal objective values of AC OPF problems. The QC relaxation convexifies the AC OPF problem by enclosing the non-convex terms within convex envelopes. The QC relaxation's accuracy strongly depends on the tightness of these envelopes. This paper proposes two improvements for tightening QC relaxations of OPF problems. We first consider a particular nonlinear function whose projections are the nonlinear expressions appearing in the polar representation of the power flow equations. We construct a polytope-shaped convex envelope around this nonlinear function and derive convex expressions for the nonlinear terms using its projections. Second, we use sine and cosine expression properties, along with changes in their curvature, to tighten this convex envelope. We also propose a coordinate transformation to tighten the envelope by rotating power flow equations based on individual bus-specific angles. We compare these enhancements to a state-of-the-art QC relaxation method using PGLib-OPF test cases, revealing improved optimality gaps in 68% of the cases. © 1969-2012 IEEE.

关键词： Load flow optimization

来源：评论

学校读者我要写书评

暂无评论

CNN Accelerator Using Proposed Diagonal Cyclic Array for Minimizing Memory Accesses

引用

computers, Materials & Continua 2023年第8期76卷 1665-1687页

作者： Hyun-Wook Son Ali AAl-Hamid Yong-Seok Na Dong-Yeong Lee Hyung-Won Kim Department of Electronics College of Electrical and Computer EngineeringChungbuk National UniversityCheongju28644Korea Department of Electrical Engineering College of EngineeringAl-Azhar UniversityCairo11651Egypt

This paper presents the architecture of a Convolution Neural Network(CNN)accelerator based on a newprocessing element(PE)array called a diagonal cyclic array(DCA).As demonstrated,it can significantly reduce the burden of repeated memory accesses for feature data and weight parameters of the CNN models,which maximizes the data reuse rate and improve the computation ***,an integrated computation architecture has been implemented for the activation function,max-pooling,and activation function after convolution calculation,reducing the hardware *** evaluate the effectiveness of the proposed architecture,a CNN accelerator has been implemented for You Only Look Once version 2(YOLOv2)-Tiny consisting of 9 ***,the methodology to optimize the local buffer size with little sacrifice of inference speed is presented in this *** implemented the proposed CNN accelerator using a Xilinx Zynq ZCU102 Ultrascale+Field Programmable Gate Array(FPGA)and ISE Design *** FPGA implementation uses 34,336 Look Up Tables(LUTs),576 Digital Signal Processing(DSP)blocks,and an on-chip memory of only 58 KB,and it could achieve accuracies of 57.92% and 56.42% mean Average Precession@0.5 thresholds for intersection over union(mAP@0.5)using quantized 16-bit and 8-bit full integer data manipulation with only 0.68% as a loss for 8-bit version and computation time of 137.9 and 69 ms for each input image respectively using a clock speed of 200 *** speeds are expected to be doubled five times using a clock speed of 1GHz if implemented in a silicon System on Chip(SoC)using a sub-micron process.

关键词： CNN accelerator systolic array memory optimization YOLOv2-tiny mAP@0.5

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：