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

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

来源：评论

学校读者我要写书评

暂无评论

Blockchain-Enabled Edge computing Techniques for Advanced Video Surveillance in Autonomous Vehicles

引用

computers, Materials & Continua 2025年第4期83卷 1239-1255页

作者： Mohammad Tabrez Quasim Khair Ul Nisa Department of Computer Science and Artificial Intelligence College of Computing and Information TechnologyUniversity of BishaBishaP.O.Box 551Saudi Arabia

The blockchain-based audiovisual transmission systems were built to create a distributed and flexible smart transport system(STS).This system lets customers,video creators,and service providers directly connect with each ***-based STS devices need a lot of computer power to change different video feed quality and forms into different versions and structures that meet the needs of different *** the other hand,existing blockchains can’t support live streaming because they take too long to process and don’t have enough computer *** amounts of video data being sent and analyzed put too much stress on networks for vehicles.A video surveillance method is suggested in this paper to improve the performance of the blockchain system’s data and lower the latency across the multiple access edge computing(MEC)*** integration of MEC and blockchain for video surveillance in autonomous vehicles(IMEC-BVS)framework has been *** deal with this problem,the joint optimization problem is shown using the actor-critical asynchronous advantage(ACAA)method and deep reinforcement training as a Markov Choice Progression(MCP).Simulation results show that the suggested method quickly converges and improves the performance of MEC and blockchain when used together for video surveillance in self-driving cars compared to other methods.

关键词： Blockchain multiple access edge computing video surveillance autonomous vehicles

来源：评论

学校读者我要写书评

暂无评论

A Novel CAPTCHA Recognition System Based on Refined Visual Attention

引用

computers, Materials & Continua 2025年第4期83卷 115-136页

作者： Zaid Derea Beiji Zou Xiaoyan Kui Monir Abdullah Alaa Thobhani Amr Abdussalam School of Computer Science and Engineering Central South UniversityChangsha410083China College of Computer Science and Information Technology Wasit UniversityWasit52001Iraq Department of Computer Science and Artificial Intelligence College of Computing and Information TechnologyUniversity of BishaBisha67714Saudi Arabia Electronic Engineering and Information Science Department University of Science and Technology of ChinaHefei230026China

Improving website security to prevent malicious online activities is crucial,and CAPTCHA(Completely Automated Public Turing test to tell computers and Humans Apart)has emerged as a key strategy for distinguishing human users from automated ***-based CAPTCHAs,designed to be easily decipherable by humans yet challenging for machines,are a common form of this ***,advancements in deep learning have facilitated the creation of models adept at recognizing these text-based CAPTCHAs with surprising *** our comprehensive investigation into CAPTCHA recognition,we have tailored the renowned UpDown image captioning model specifically for this *** approach innovatively combines an encoder to extract both global and local features,significantly boosting the model’s capability to identify complex details within CAPTCHA *** the decoding phase,we have adopted a refined attention mechanism,integrating enhanced visual attention with dual layers of Long Short-Term Memory(LSTM)networks to elevate CAPTCHA recognition *** rigorous testing across four varied datasets,including those from Weibo,BoC,Gregwar,and Captcha 0.3,demonstrates the versatility and effectiveness of our *** results not only highlight the efficiency of our approach but also offer profound insights into its applicability across different CAPTCHA types,contributing to a deeper understanding of CAPTCHA recognition technology.

关键词： Text-based CAPTCHA recognition refined visual attention web security computer vision

来源：评论

学校读者我要写书评

暂无评论

Optimal control for unreliable manufacturing and remanufacturing system under environmental subsidy and overrun penalty mechanism

引用

IEEE Transactions on Engineering Management 2025年 72卷 1983-2002页

作者： Turki, Sadok Jemmali, Mahdi Hidri, Lotfi University of Lorraine Department of Logistic and Maintenance UFR MIM at Metz Metz17 France University of Sharjah Computer Science Department College of Computing and Informatics Sharjah United Arab Emirates King Saud University Industrial Engineering Department College of Engineering Riyadh11421 Saudi Arabia

Because of environmental concerns, remanufacturing has become an integral process for many production companies. Most published papers dealing with manufacturing and remanufacturing systems (MRSs) overlook some industrial features. These include machine unreliability, the distinction between newly manufactured and remanufactured products, and uncertainty about the returned used products (RUPs). As a result, these models do not reflect the reality of industrial systems. This study aims to bridge the gap in research on MRSs by elaborating an optimal and dynamic control of manufacturing, remanufacturing, and recovery of RUPs. The goal is to develop a model based on manufacturing remanufacturing emissions hedging point control policy (MREHP) to adjust the production of new and remanufactured products, and recovery of RUPs according to economic and environmental thresholds. To reduce carbon emissions, a new method is proposed based on the environmental subsidy and overrun penalty mechanism (ESOPM), and that is combined with MREHP to control in parallel the MRS and generated emissions. A robust optimization algorithm is developed to determine the optimal economic and environmental thresholds in MREHP and ESOPM. A comparative study is provided to evaluate our proposed ESOPM in comparison with traditional reduction policies: carbon cap and trade (CCT) and carbon tax regulation (CTR). The obtained results reveal that machines' reliability, rate of RUPs, emissions subsidy, and carbon emissions limit have notable impacts on economic and environmental thresholds. Additionally, results show that the proposed ESOPM performs higher profit than CTR and CCT while reducing emissions when the carbon price is below a certain value. © 1988-2012 IEEE.

关键词： Fabrication

来源：评论

学校读者我要写书评

暂无评论

Solving Secluded Path Problem by Heuristics and Local Search

Solving Secluded Path Problem by Heuristics and Local Search

引用

2024 Cognitive Models and Artificial Intelligence Conference, AICCONF 2024

作者： Acikalin, Utku Umur Caskurlu, Bugra Abul, Osman Department of Computer Engineering TOBB University of Economics and Technology Ankara Turkey Department of Computer Science College of Computing and Informatics University of Sharjah Sharjah United Arab Emirates

ISBN: (纸本)9798400716928

Wireless Sensor Networks (WSNs) play a crucial role in various domains, from commercial to military, enabling precise monitoring of environmental and other conditions. However, the transmission of sensitive data in WSNs poses security challenges, particularly concerning eavesdropping attacks. While cryptographic methods offer protection, they often incur high energy costs, making them impractical for battery-powered WSNs. Our problem formulation, based on graph theory, reduces to the Secluded Paths problem for which no polynomial solution yet to known. Motivated by the challenge of reducing the eavesdropping risk through intelligent routing, we propose a scalable optimization approach using heuristics and local search techniques. We present a solution framework, followed by an experimental evaluation to demonstrate its efficacy. This paper contributes to the advancement of secure and efficient data transmission in WSNs. © 2024 ACM.

关键词： Sensitive data

来源：评论

学校读者我要写书评

暂无评论

A Load-Fairness Prioritization-Based Matching Technique for Cloud Task Scheduling and Resource Allocation

引用

computer Systems science & Engineering 2023年第6期45卷 2461-2481页

作者： Abdulaziz Alhubaishy Abdulmajeed Aljuhani College of Computing and Informatics Saudi Electronic UniversityRiyadh11673Saudi Arabia College of Computer Science and Engineering Taibah UniversityMedina41411Saudi Arabia

In a cloud environment,consumers search for the best service provider that accomplishes the required tasks based on a set of criteria such as completion time and *** the other hand,Cloud Service Providers(CSPs)seek to maximize their profits by attracting and serving more consumers based on their resource *** literature has discussed the problem by considering either consumers’needs or CSPs’capabilities.A problem resides in the lack of explicit models that combine preferences of consumers with the capabilities of CSPs to provide a unified process for resource allocation and task scheduling in a more efficient *** paper proposes a model that adopts a Multi-Criteria Decision Making(MCDM)method,called Analytic Hierarchy Process(AHP),to acquire the information of consumers’preferences and service providers’capabilities to prioritize both tasks and *** model also provides a matching technique to assign each task to the best resource of a CSP while preserves the fairness of scheduling more tasks for resources with higher *** experimental results prove the feasibility of the proposed model for prioritizing hundreds of tasks/services and CSPs based on a defined set of criteria,and matching each set of tasks/services to the best CSPS.

关键词： Task scheduling decision making cloud service selection matching techniques

来源：评论

学校读者我要写书评

暂无评论

TRS Scheduling for Improved QoS Performance in Cloud System

引用

computers, Materials & Continua 2023年第4期75卷 1547-1559页

作者： G.John Samuel Babu M.Baskar Department of Computer Science and Engineering School of ComputingCollege of Engineering and TechnologySRM Institute of Science and TechnologyKattankulathurChengalpattuTamilnadu603203India Department of Computing Technologies School of ComputingCollege of Engineering andTechnologySRM Institute of Science and TechnologyKattankulathurChengalpattuTamilnadu603203India

Numerous methods are analysed in detail to improve task schedulingand data security performance in the cloud environment. The methodsinvolve scheduling according to the factors like makespan, waiting time,cost, deadline, and popularity. However, the methods are inappropriate forachieving higher scheduling performance. Regarding data security, existingmethods use various encryption schemes but introduce significant serviceinterruption. This article sketches a practical Real-time Application CentricTRS (Throughput-Resource utilization–Success) Scheduling with Data Security(RATRSDS) model by considering all these issues in task scheduling anddata security. The method identifies the required resource and their claim timeby receiving the service requests. Further, for the list of resources as services,the method computes throughput support (Thrs) according to the number ofstatements executed and the complete statements of the service. Similarly, themethod computes Resource utilization support (Ruts) according to the idletime on any duty cycle and total servicing time. Also, the method computesthe value of Success support (Sus) according to the number of completions forthe number of allocations. The method estimates the TRS score (ThroughputResource utilization Success) for different resources using all these supportmeasures. According to the value of the TRS score, the services are rankedand scheduled. On the other side, based on the requirement of service requests,the method computes Requirement Support (RS). The selection of service isperformed and allocated. Similarly, choosing the route according to the RouteSupport Measure (RSM) enforced route security. Finally, data security hasgets implemented with a service-based encryption technique. The RATRSDSscheme has claimed higher performance in data security and scheduling.

关键词： Cloud task scheduling TRS quality of service RSM route security data security SDE RATRSDS

来源：评论

学校读者我要写书评

暂无评论

An effective object detection and tracking using automated image annotation with inception based faster R-CNN model

引用

International Journal of Cognitive computing in Engineering 2024年第1期5卷 343-356页

作者： Vijiyakumar, K. Govindasamy, V. Akila, V. Department of Computing Technologies School of computing SRM institute of Science and Technology Kattankulathur campus Tamilnadu Chengalpattu district India Department of Information Technology Pondicherry Engineering College Pondicherry India Department of Computer Science and Engineering Pondicherry Engineering College Pondicherry India

The present study advances object detection and tracking techniques by proposing a novel model combining Automated Image Annotation with Inception v2-based Faster RCNN (AIA-IFRCNN). The research methodology utilizes the DCF-CSRT model for image annotation, Faster RCNN for object detection, and the inception v2 model for feature extraction, followed by a softmax layer for image classification. The proposed AIA-IFRCNN model is evaluated on three benchmark datasets: Bird (Dataset 1), UCSDped2 (Dataset 2), and Under Water (Dataset 3), to determine prediction accuracy, annotation time, Center Location Error (CLE), and Overlap Rate (OR). The experimental results indicate that the AIA-IFRCNN model outperformed existing models regarding detection accuracy and tracking performance. Notably, it achieved a maximum detection accuracy of 95.62 % on Dataset 1, outperforming other models. Additionally, it achieved minimum average CLE values of 4.16, 5.78, and 3.54, and higher overlap rates of 0.92, 0.90, and 0.94 on the respective datasets (1, 2 and 3). Hence, this research work on object detection and tracking using the AIA-IFRCNN model is essential for improving system efficiency and fostering innovation in the field of computer vision and object tracking. © 2024

关键词： Image annotation

来源：评论

学校读者我要写书评

暂无评论

Identification of Software Bugs by Analyzing Natural Language-Based Requirements Using Optimized Deep Learning Features

引用

computers, Materials & Continua 2024年第3期78卷 4379-4397页

作者： Qazi Mazhar ul Haq Fahim Arif Khursheed Aurangzeb Noor ul Ain Javed Ali Khan Saddaf Rubab Muhammad Shahid Anwar Department of Computer Science and Engineering and International Bachelor’s Program in Informatics Yuan Ze UniversityZhongliTaoyuan320315Taiwan Department of Computer Science National University of PakistanRawalpindiPunjab46000Pakistan Department of Computer Software Engineering MCSNational University of Sciences and TechnologyIslamabad44000Pakistan Department of Computer Engineering College of Computer and Information SciencesKing Saud UniversityP.O.Box 51178Riyadh11543Saudi Arabia Department of Computer Science School of PhysicsEngineering and Computer ScienceUniversity of HertfordshireHatfieldAL109ABUK Department of Computer Engineering College of Computing and InformaticsUniversity of SharjahSharjah27272United Arab Emirates Department of AI and Software Gachon UniversitySeongnam-SI13120South Korea

Software project outcomes heavily depend on natural language requirements,often causing diverse interpretations and issues like ambiguities and incomplete or faulty *** are exploring machine learning to predict software bugs,but a more precise and general approach is *** bug prediction is crucial for software evolution and user training,prompting an investigation into deep and ensemble learning ***,these studies are not generalized and efficient when extended to other ***,this paper proposed a hybrid approach combining multiple techniques to explore their effectiveness on bug identification *** methods involved feature selection,which is used to reduce the dimensionality and redundancy of features and select only the relevant ones;transfer learning is used to train and test the model on different datasets to analyze how much of the learning is passed to other datasets,and ensemble method is utilized to explore the increase in performance upon combining multiple classifiers in a *** National Aeronautics and Space Administration(NASA)and four Promise datasets are used in the study,showing an increase in the model’s performance by providing better Area Under the Receiver Operating Characteristic Curve(AUC-ROC)values when different classifiers were *** reveals that using an amalgam of techniques such as those used in this study,feature selection,transfer learning,and ensemble methods prove helpful in optimizing the software bug prediction models and providing high-performing,useful end mode.

关键词： Natural language processing software bug prediction transfer learning ensemble learning feature selection

来源：评论

学校读者我要写书评

暂无评论

An approach for measuring spatial similarity among COVID-19 epicenters

引用

Geo-Spatial Information science 2023年第3期26卷 496-513页

作者： Neda Kaffash Charandabi Abolghasem Sadeghi-Niaraki Soo-Mi Choi Tamer Abuhmed Geomatic Department Marand Technical FacultyUniversity of TabrizTabrizIran Department of Computer Science and Engineering and Convergence Engineering for Intelligent Drone Sejong UniversitySeoulSouth Korea College of Computing and Informatics Sungkyunkwan UniversitySuwonSouth Korea

Most countries and territories worldwide are affected by coronavirus disease 2019(COVID-19),and some cities have become known as epicenters owing to high *** of the changeable and unknown nature of the virus,managers of different cities could learn from the experiences of cities that have been successful in controlling COVID-19 instead of wasting time exploring different *** would be even more beneficial if they analyzed the experiences of similar *** similarity of such cities could be examined within a geographic information system based on various *** study investigated the similarities among eight cities-Wuhan,Tehran,Bergamo,Madrid,Paris,Daegu,New York,and Berlin-in terms of the COVID-19 situation(target)in these locations based on proximity factors,weather,and demographic ***,the factor and target layers were prepared,and then similar cities were identified using a similarity model and different distance *** results were aggregated using the Copeland method because of the different outcomes for each *** most similar city was identified for each selected city,and its similarity level was determined based on these *** results suggested the following pairs of similar cities:Wuhan-Berlin,Tehran-Berlin,Daegu-Wuhan,Bergamo-Madrid,Paris-Madrid,and New York-Paris based on COVID-19 related data up to 15 April 2020(target T1),and Daegu-Wuhan,Tehran-Madrid,Bergamo-Paris,Berlin-Paris,and New York-Madrid up to 8 December 2021(target T2)with a minimum and maximum similarity rate of 82.85%and 92.36%,*** similar cities,the most similar factors among the proximity criteria are the distance from bus and metro stations;among weather,the criteria are humidity and pressure;and among demographics,the criteria are male and female population ratios,literacy ratio,and death ratio from asthma and cancer,with a minimum and maximum difference of 0%and 64.94%,*** addition,according to the rando

关键词： COVID-19 GIS spatial similarity environmental factors demographic factors

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：