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

5th World Conference on Mechanical engineering and Intelligent Manufacturing, WCMEIM 2022

作者： Tian, Xintong Zhang, Zhao Niu, Shuqi Zhao, Xueyan School of Computer Science and Software Engineering University of Science and Technology Liaoning Anshan China

ISBN: (纸本)9781665473699

In this paper, an adaptive controller design method is proposed for chaotic systems with unknown actuator dead-zone. First, the terminal sliding mode (TSM) manifold is proposed to ensure exponential stability as well as faster finite-time stability. In addition, a neural network (NN) is introduced to estimate the partially unknown nonlinear dynamic behavior of the object, and according to the implicit function theorem, the unknown asymmetric dead zone of the actuator is overcome by another static neural network. Furthermore, a robust terminology updated online deals with refactoring errors and external interferences of neural networks. Finally, the system can stably track any smooth target trajectory online is rigidly proved via Lyapunov analysis, and numerical simulation shows its effectiveness and feasibility. © 2022 IEEE.

关键词： Chaotic systems

来源：评论

学校读者我要写书评

暂无评论

Improving Generalization for Hyperspectral Image Classification:The Impact of Disjoint Sampling on Deep Models

引用

computers, Materials & Continua 2024年第10期81卷 503-532页

作者： Muhammad Ahmad Manuel Mazzara Salvatore Distefano Adil Mehmood Khan Hamad Ahmed Altuwaijri Department of Computer Science National University of Computer and Emerging SciencesChiniot35400Pakistan Institute of Software Development and Engineering Innopolis UniversityInnopolis420500Russia Dipartimento di Matematica e Informatica—MIFT University of MessinaMessina98121Italy School of Computer Science University of HullHullHU67RXUK Department of Geography College of Humanities and Social SciencesKing Saud UniversityRiyadh11451Saudi Arabia

Disjoint sampling is critical for rigorous and unbiased evaluation of state-of-the-art(SOTA)models e.g.,Attention Graph and Vision *** training,validation,and test sets overlap or share data,it introduces a bias that inflates performance metrics and prevents accurate assessment of a model’s true ability to generalize to new *** paper presents an innovative disjoint sampling approach for training SOTA models for the Hyperspectral Image Classification(HSIC).By separating training,validation,and test data without overlap,the proposed method facilitates a fairer evaluation of how well a model can classify pixels it was not exposed to during training or *** demonstrate the approach significantly improves a model’s generalization compared to alternatives that include training and validation data in test data(A trivial approach involves testing the model on the entire Hyperspectral dataset to generate the ground truth *** approach produces higher accuracy but ultimately results in low generalization performance).Disjoint sampling eliminates data leakage between sets and provides reliable metrics for benchmarking progress in *** sampling is critical for advancing SOTA models and their real-world application to large-scale land mapping with Hyperspectral ***,with the disjoint test set,the performance of the deep models achieves 96.36%accuracy on Indian Pines data,99.73%on Pavia University data,98.29%on University of Houston data,99.43%on Botswana data,and 99.88%on Salinas data.

关键词： Hyperspectral image classification disjoint sampling Graph CNN spatial-spectral transformer

来源：评论

学校读者我要写书评

暂无评论

Regularized forensic efficient net: a game theory based generalized approach for video deepfakes detection

引用

Multimedia Tools and Applications 2024年 1-44页

作者： Ain, Qurat Ul Javed, Ali Malik, Khalid Mahmood Irtaza, Aun Department of Computer Science University of Engineering and Technology-Taxila Punjab Taxila47050 Pakistan Department of Software Engineering University of Engineering and Technology-Taxila Punjab Taxila47050 Pakistan College of Innovation and Technology University of Michigan-Flint FlintMI48502 United States

Due to the advancements in cutting-edge generative AI algorithms, generating hyper realistic deepfake videos has become easier for the public. This hyperrealism consequently fails contemporary methods to reliably discriminate between original and fake videos. Therefore, to counter any threat caused by these next-generation artificially generated videos, dependable approaches are required to address this classification challenge. To achieve this objective this paper presents an interdisciplinary approach that integrates game theory with deep learning to bring a novel solution to the problem of deepfake detection and protect the detectors against anti-forensics attack. To the best of our knowledge, there does not exist any other work dedicated to video deepfake detection using the integrated approach of game theory and deep learning. The game is designed for two players to distinguish between pristine and deepfake videos. The game utilizes different strategies for the data manipulator as a player P1 and the deepfake detector as P2. Strategies used for P1 involve the formation of the subsets like open and close-set, combined subsets, imbalanced dataset, and post-processing attacks to create challenging strategies for P2. To counter the strategies of P1,we propose a novel Regularized Forensic Efficient Net (RFE Net) that employs regularization techniques, such as batch normalization, dropout, augmentation, and early stopping. Based on the P1 move, the detector chooses the regularization techniques by considering factors such as generalizability and efficiency. Regularization-based strategies improve the performance of our model when compared to contemporary methods. Computation of the Nash equilibrium with the proposed zero-sum game helps to effectively detect deepfakes and leads the game to maximum payoff. Performance of the proposed game theory-based RFE Net was measured on standard and diverse datasets of FaceForensic++, DFDC preview, CelebDF, DFFD, and the World lea

关键词： Nash equilibrium

来源：评论

学校读者我要写书评

暂无评论

Automated Analysis of Halo2 Circuits 21

Automated Analysis of Halo2 Circuits

引用

21st International Workshop on Satisfiability Modulo Theories, SMT 2023

作者： Soureshjani, Fatemeh Heidari Hall-Andersen, Mathias Jahanara, MohammadMahdi Kam, Jeffrey Gorzny, Jan Ahmadvand, Mohsen Computer Engineering and Software Engineering Department Polytechnique Montréal MontrealQC Canada Quantstamp Inc. United States Department of Computer Science Aarhus University Denmark

Zero-knowledge proof systems are becoming increasingly prevalent and being widely used to secure decentralized financial systems and protect the privacy of users. Given the sensitivity of these applications, zero-knowledge proof systems are a natural target for formal verification methods. We describe methods for checking one such proof system: Halo2. We use abstract interpretation and an SMT solver to check various properties of Halo2 circuits. Using abstract interpretation, we can detect unused gates, unconstrained cells, and unused columns. Using an SMT solver, we can detect under-constrained circuits (in the sense that for the same public input they have two efficiently computable satisfying assignments). This is the first work we are aware of that applies lightweight formal methods to PLONKish arithmetization and Halo2 circuits. © 2023 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： Timing circuits

来源：评论

学校读者我要写书评

暂无评论

Researches on Resource Allocation With Reinforcement Learning in Cell-Free Networks

Researches on Resource Allocation With Reinforcement Learnin...

引用

7th International Conference on Artificial Intelligence in Information and Communication, ICAIIC 2025

作者： Lee, Yunseong Lee, Donghyun Oh, Junsuk Song, Chihyun Noh, Wonjong Cho, Sungrae School of Computer Science and Engineering Chung-Ang University Seoul Korea Republic of School of Software Hallym University Chuncheon Korea Republic of

ISBN: (纸本)9798331507022

This paper explores reinforcement learning (RL) based on resource allocation in cell-free networks, a promising alternative to traditional cellular architectures. Cell-free networks eliminate cell boundaries by using distributed access points (APs) to collaboratively serve users, improving spectral efficiency and service uniformity. However, managing power allocation, beamforming, and AP clustering in such decentralized environments presents new challenges. We present several RL-based algorithms aimed at optimizing key network functions. Specifically, the study explores dynamic power control, advanced beamforming techniques, and multi-agent RL frameworks for clustering access points. The proposed methods leverage the adaptability of RL to optimize network performance in real-time under varying conditions. © 2025 IEEE.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Clustering-based Autoencoding for Dynamic Multiobjective Evolutionary Optimization 4

Clustering-based Autoencoding for Dynamic Multiobjective Evo...

引用

4th International Conference on Data-Driven Optimization of Complex Systems, DOCS 2022

作者： Ye, Yulong Zhu, Qingling Li, Lingjie Chen, Jianyong Shenzhen University College of Computer Science and Software Engineering Shenzhen China

ISBN: (数字)9781665459822

ISBN: (纸本)9781665459822

Dynamic multiobjective optimization problems (DMOPs) usually contain multiple conflicting objectives that change over time, which requires the optimization algorithms to quickly track the Pareto optimal front (POF) when the environment changes. In recent years, transfer learning (TL)-based methods have been considered promising in solving DMOPs. However, most existing TL-based methods are computationally extensive and therefore time-consuming. In this paper, a clustering based autoencoding for DMOEA, called CAE-DMOEA, is proposed, which aims to generate a high-quality initial population to accelerate the evolutionary process and improve the optimization performance. In particular, by learning the mapping relationship between the regional centroids of the approximate Pareto-optimal solutions (POS) from the previous two environments, the CAE-DMOEA can effectively predict the regional centroids of the POS in the new environment, which helps to tracking the moving POS and enhance the optimization efficiency. To study the performance of the proposed method, extensive experiments have been carried out by comparing three state-of-the-art DMOEAs. The experimental results show that the overall performance of the CAE-DMOEA is superior to that of the compared algorithms. © 2022 IEEE.

关键词： Evolutionary algorithms

来源：评论

学校读者我要写书评

暂无评论

A novel image encryption algorithm based on new one-dimensional chaos and DNA coding

引用

Multimedia Tools and Applications 2024年第36期83卷 84275-84297页

作者： Feng, Sijia Zhao, Maochang Liu, Zhaobin Li, Yuanyu Tianjin public emergency early warning information release center Tianjin Meteorology Information Center Tianjin300074 China School of Information Science & amp Technology Dalian Maritime University Dalian116026 China School of Computer Science and Software Engineering University of Science and Technology Liaoning Anshan114051 China

This paper introduces a new one-dimensional chaotic system and a new image encryption algorithm. Firstly, the new chaotic system is analyzed. The bifurcation diagram and Lyapunov exponent show that the system has strong chaotic characteristics and is suitable for the field of image encryption. The chaotic sequence generated by the system is used in image encryption, scrambled according to its sequence value, and several sequences required for DNA coding operation are generated. The encrypted image is obtained by encoding, decoding, and diffusion operation according to the sequence. The initial values and parameters of system are generated by Hash algorithm based on plain image, so it has strong sensitivity and can effectively resist attacks such as selective plaintext attack. Experimental results show that the algorithm has high security and robustness, and can resist common attacks. © The Author(s), under exclusive licence to Springer science+Business Media, LLC, part of Springer Nature 2024.

关键词： Chaotic systems

来源：评论

学校读者我要写书评

暂无评论

Metamorphic Relation Patterns for Metamorphic Testing, Exploration and Robustness

Metamorphic Relation Patterns for Metamorphic Testing, Explo...

引用

作者： Ying, Zhihao Towey, Dave Bellotti, Anthony Chua, Caslon Quan Zhou, Zhi School of Computer Science University of Nottingham Ningbo China Zhejiang Ningbo China Department of Computer Science and Software Engineering Swinburne University of Technology HawthornVIC Australia School of Computing and Information Technology University of Wollongong WollongongNSW Australia

Metamorphic testing (MT) is an effective software quality assurance method;it uses metamorphic relations (MRs) to examine the inputs and outputs of multiple test cases. Metamorphic exploration (ME) and metamorphic robustness testing (MRT) are advanced additions to the MT literature: ME can enable better understanding, and thus testing, of systems;MRT can test software robustness without an oracle. Metamorphic relation patterns (MRPs) are abstractions or templates for multiple concrete MRs. The performance of MT/ME/MRT relies on the quality of MRs, but the identification of MRs is often a manual task requiring some knowledge of MRPs, creative thinking and a good understanding of the system. In other words, the effective identification of MRs remains a challenge and requires further study. In this paper, we propose formal definitions to describe the relationship between multiple MRPs in order to classify them. We also identify a series of new MRPs and propose a new MT framework that can guide the identification and application of MRPs. Based on our definitions, we present the notion of MRP family trees and further propose two trees by classifying previously published MRPs and our proposed MRPs, in order to make it easier for users to find their target MRPs for reuse, reference or inference. Finally, we report on case studies using the MRPs and our framework to guide the identification of MRs for MT/ME/MRT and successfully detect multiple violations. © 2025 John Wiley & Sons Ltd.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

TTAG+R: A Dataset of Google Play Store's Top Trending Android Games and User Reviews 22

TTAG+R: A Dataset of Google Play Store's Top Trending Androi...

引用

22nd IEEE International Conference on software Quality, Reliability and Security Companion, QRS-C 2022

作者： Chand, Raheela Rehman Khan, Saif Ur Hussain, Shahid Wang, Wenli Department of Computer Science Islamabad Pakistan School of Engineering Penn State University Department of Computer Science and Software Engineering United States

ISBN: (纸本)9798350319910

Context: Android games are gaining wide attention from users in recent years. However, the existing literature reports alarming statistics about banning popular and top-trending Android apps. The popular gaming apps have been removed from Google Play Store due to various user concerns. Objectives: The goal of this work is twofold: (i) to assist the researchers and practitioners in identifying the state-of-the-art challenges, constraints, and compliments about Android apps for future Android-specific studies, and (ii) to encourage active users' perspectives on the Android development process because usability remains a core deciding factor about the success or failure of Android apps. Method: To accomplish this, we introduce a novel open-source dataset, Top Trending Android apps with their user Reviews (TTAG+R) in GitHub. Results and Contributions: Briefly, TTAG+R presents information about 245 top trending Android Free Games, 97 top trending Android Grossing Games, and 52 top trending Android Paid Games with a total of 8,423 user reviews in 12 different. csv files. The main contributions of this paper are: (i) provides one-place comprehensive data on Android Apps, (ii) describes various features of Android apps and their user reviews, (iii) reports the updated and latest knowledge about Android apps, and (iv) provides the data in an unfiltered form so that researchers may not find difficulty in using this dataset in their data-driven experimentation. From a research implication viewpoint, the dataset supports: (i) understanding the usability characteristics of Android apps, (ii) discovering current trends and pitfalls in Android apps, and (iii) analyzing the Android financial market. Conclusion and Future Work: Thus, TTAG+R is freely available to the research community, and useful for future enhancements in the Android domain. In the future, we plan to keep the data up-to-date with the most recent information for the continued usage of the dataset. © 2022 IEEE.

关键词： Android (operating system)

来源：评论

学校读者我要写书评

暂无评论

Occluded Person Re-Identification using Region-based Convolutional Neural Networks 23

Occluded Person Re-Identification using Region-based Convolu...

引用

3rd International Conference on Human Machine Interaction, ICHMI 2023

作者： Islam, Atiqul Tsun, Mark Tee Kit Bee Theng, Lau Chua, Caslon Faculty of Engineering Computing & Science Swinburne University of Technology Sarawak Campus Kuching Malaysia Department of Computer Science and Software Engineering Swinburne University of Technology Melbourne Australia

ISBN: (纸本)9798400700088

The ability to continuously follow a target person in a dynamically changing environment remains a major challenge that indoor companion robots confront. Ongoing human following is complicated by close similarity matching and target occlusions. Person Re-Identification (re-ID) is a computer vision task that can help with the problem of intentional or unintentional occlusion of the subject or person of interest. Numerous research has been conducted on re-ID where the basic assumption is that the gallery set will only have non-occluded person images. This paper examines the problem from a human detection perspective and surveys the state-of-the-art of person re-ID, their achievement and shortcomings. A region-based convolutional neural network (R-CNN) Re-ID is proposed in this research. The findings from the prototyping and evaluation demonstrate that the proposed person Re-ID model is reliable for indoor re-ID situations. Thus, future works in this direction include investigating other factors, such as the number of persons in a scene and varying viewing angles of the probed target person, which can impact the performance of the proposed re-ID model. © 2023 ACM.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：