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

3rd International Conference on Optics and Machine vision, ICOMV 2024

作者： Zhao, Zhuoyi Xu, Xiang School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China The Artificial Intelligence and Computer Vision Laboratory University of Electronic Science and Technology of China Zhongshan Institute Zhongshan China

ISBN: (纸本)9781510680319

Hyperspectral image (HSI) data consists of images with numerous contiguous spectral bands and promotes the extensive applications in the field of remote sensing. Recent approaches based on vision Transformer (ViT) have achieved remarkable performance in HSI classification tasks due to their ability to extract global spatial features and model long-range dependencies. However, ViT has complex network structure, training is challenging and lacks adequate consideration of local spatial and spectral receptive fields in hyperspectral data. To solve the problems above, we propose a lightweight network model known as the Groupwise Separable Convolution and vision Transformer (GSCViT). Firstly, we introduce a parameter-free attention for spectral calibration (SC). Then, we meticulously design a novel convolutional approach named Groupwise Separable Convolution (GSC), which greatly reduce the number of convolutional kernel parameters and effectively capture local spatial-spectral information in HSI data. In addition, we employ Groupwise Separable Multi-Head Self-Attention (GSSA) to replace the traditional Multi-Head Self-Attention (MSA) in ViT, thus can simultaneously attend to local and global spatial features in HSI with lower computational burden. Experiments on two benchmark HSI datasets demonstrate that our GSCViT model achieves excellent accuracy with relatively small training samples and outperforms some existing HSI classification algorithms. © 2024 SPIE.

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

Fixed-time-synchronized control: a system-dimension-categorized approach

引用

science China(Information sciences) 2023年第7期66卷 177-194页

作者： Wanyue JIANG Shuzhi Sam GE Dongyu LI Institute for Future & Shandong Key Laboratory of Industrial Control Technology School of Automation Qingdao University Department of Electrical and Computer Engineering National University of Singapore School of Cyber Science and Technology Beihang University Shanghai Institute of Satellite Engineering

This study addresses the fixed-time-synchronized control problem of perturbed multi-input multioutput(MIMO) systems. In the task of fixed-time-synchronized control, different dimensions of the output signal in MIMO systems are required to reach the desired value simultaneously within a fixed time *** MIMO system is categorized into two cases: the input-dimension-dominant and the state-dimensiondominant cases. The classification is defined according to the dimension of system signals and, more importantly, the capability of converging at the same time. For each kind of MIMO system, sufficient Lyapunov conditions for fixed-time-synchronized convergence are explored, and the corresponding robust sliding mode controllers are designed. Moreover, perturbations are compensated using the super-twisting technique. The brake control of the vertical takeoff and landing aircraft is considered to verify the proposed method for the input-dimension-dominant case, which shows the essential advantages of decreasing the energy consumption and the output trajectory length. Furthermore, comparative numerical simulations are performed to show the semi-time-synchronized property for the state-dimension-dominant case.

关键词： fixed-time-synchronized convergence sliding mode control perturbed MIMO systems

来源：评论

学校读者我要写书评

暂无评论

A Reduced State Space Generation Method for Concurrent Systems Based on CPN-PR Model

引用

IEEE Transactions on computer-Aided Design of Integrated Circuits and Systems 2024年第6期44卷 2328-2342页

作者： Zhong, Wenjie Sun, Tao Zhou, Jian-Tao Wang, Zhuowei Song, Xiaoyu Inner Mongolia Engineering Laboratory for Big Data Analysis Technology College of Computer Science Inner Mongolia University Engineering Research Center of Ecological Big Data Ministry of Education Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software Hohhot010000 China Guangdong University of Technology School of Computer Science and Technology Guangzhou China Portland State University Department of Electrical and Computer Engineering PortlandOR97207 United States

Colored Petri Nets (CPNs) provide descriptions of the concurrent behaviors for software and hardware. Model checking based on CPNs is an effective method to simulate and verify the concurrent behavior in system design. However, the model checking method traverses the full state space, which suffers from the state space explosion problem. A reduced state space generation method related to the property of concurrent systems is proposed. Specifically, we extend CPNs to define a property-related model (CPN-PR) and give a property-related analysis method whose results can be used to generate the CPN-PR model. A reduced state space generation method is developed based on enabled binding element filtering rules. The stutter trace equivalence between the state spaces of CPN and CPN-PR has been proven by showing that the reduced state space may not change the model checking result. A comparison experiment is conducted to demonstrate the effectiveness of our method. © 1982-2012 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Shorter ZK-SNARKs from square span programs over ideal lattices

引用

Cybersecurity 2025年第1期8卷 208-226页

作者： Xi Lin Heyang Cao Feng‑Hao Liu Zhedong Wang Mingsheng Wang Key Laboratory of Cyberspace Security Defense Institute of Information EngineeringChinese Academy of SciencesBeijingChina School of Cyber Security University of Chinese Academy of SciencesBeijingChina School of Electrical Engineering&Computer Science Washington State UniversityPullmanWAUSA School of Cyber Science and Engineering Shanghai Jiaotong UniversityShanghaiChina

Zero-knowledge succinct non-interactive arguments of knowledge(zk-SNARKs)are cryptographic protocols that ofer efcient and privacy-preserving means of verifying NP language relations and have drawn considerable atten‑tion for their appealing applications,e.g.,verifable computation and anonymous payment *** with the pre-quantum case,the practicability of this primitive in the post-quantum setting is still unsatisfactory,espe‑cially for the space *** tackle this issue,this work seeks to enhance the efciency and compactness of lat‑tice-based zk-SNARKs,including proof length and common reference string(CRS)*** this paper,we develop the framework of square span program-based SNARKs and design new zk-SNARKs over cyclotomic *** with previous works,our construction is without parallel repetition and achieves shorter proof and CRS lengths than previous lattice-based zk-SNARK ***,the proof length of our scheme is around 23.3%smaller than the recent shortest lattice-based zk-SNARKs by Ishai et al.(in:Proceedings of the 2021 ACM SIGSAC conference on computer and communications security,pp 212-234,2021),and the CRS length is 3.6×*** constructions follow the framework of Gennaro et al.(in:Proceedings of the 2018 ACM SIGSAC conference on computer and com‑munications security,pp 556-573,2018),and adapt it to the ring setting by slightly modifying the knowledge *** develop concretely small constructions by using module-switching and key-switching procedures in a novel way.

关键词： Zk-SNARKs Post-quantum Succinct argument

来源：评论

学校读者我要写书评

暂无评论

Interference Suppression and Jitter Elimination Ability-Based Adaption Tracking Guidance for Robotic Fishes

引用

IEEE/CAA Journal of Automatica Sinica 2025年第1期12卷 126-137页

作者： Dongfang Li Jie Huang Rob Law Xin Xu Limin Zhu Edmond Q.Wu IEEE the School of Electrical Engineering and Automation Fuzhou University the Key Laboratory of System Control and Information Processing Ministry of Education the School of Electrical Engineering and Automation Fuzhou University 5G+Industrial Internet Institute Fuzhou University the University of Macau the College of Mechatronics and Automation National University of Defense Technology the School of Mechanical Engineering Shanghai Jiao Tong University the Department of Computer Science and Engineering Shanghai Jiao Tong University

This work presents an adaptive tracking guidance method for robotic fishes. The scheme enables robots to suppress external interference and eliminate motion jitter. An adaptive integral surge line-of-sight guidance rule is designed to eliminate dynamics interference and sideslip issues. Limited-time yaw and surge speed observers are reported to fit disturbance variables in the model. The approximation values can compensate for the system's control input and improve the robots' tracking ***, this work develops a terminal sliding mode controller and third-order differential processor to determine the rotational torque and reduce the robots' run jitter. Then, Lyapunov's theory proves the uniform ultimate boundedness of the proposed method. Simulation and physical experiments confirm that the technology improves the tracking error convergence speed and stability of robotic fishes.

关键词： Adaptive integral surge line-of-sight approximation robotic fish speed observer

来源：评论

学校读者我要写书评

暂无评论

Learning to Communicate Among Agents for Large-Scale Dynamic Path Planning With Genetic Programming Hyperheuristic

IEEE Transactions on Artificial Intelligence

引用

IEEE Transactions on Artificial Intelligence 2025年第5期6卷 1269-1283页

作者： Liao, Xiao-Cheng Hu, Xiao-Min Chen, Xiang-Ling Mei, Yi Jia, Ya-Hui Chen, Wei-Neng Victoria University of Wellington Centre for Data Science and Artificial Intelligence School of Engineering and Computer Science Wellington6140 New Zealand Guangdong University of Technology School of Computer Science and Technology Guangzhou510006 China Hanyang University Department of Electrical and Electronic Engineering Ansan15588 Korea Republic of South China University of Technology School of Future Technology Guangzhou510006 China Pazhou Lab Guangzhou510005 China South China University of Technology School of Computer Science and Engineering State Key Laboratory of Subtropical Building and Urban Science Guangzhou510006 China

Genetic programming hyperheuristic (GPHH) has recently become a promising methodology for large-scale dynamic path planning (LDPP) since it can produce reusable heuristics rather than disposable solutions. However, in this methodology, the extracted local and decentralized heuristic for agents that lack a global systemic view sometimes may be problematic. Therefore, a new challenge is to strike a balance between conciseness to improve generalization ability and incorporation of more global information to obtain better performance. In this work, we target the LDPP problem and propose a communication learning mechanism (ComLGP) for GPHH to address the above difficulties. In ComLGP, a communication function is introduced to serve as a communication protocol and exist in the form of an extra terminal in GPHH. Compared to the classic terminals which are fixed in genetic programing, this communication function undergoes optimization along with the evolutionary process of GPHH. In this way, the communication function can be learned which enables agents to communicate without a predefined communication protocol. Then, a caching and lazy updating mechanism for ComLGP is presented to accelerate the calculation of communication content. Last, we verified our method on 22 scenarios including two real world road networks. The experimental results demonstrate that the proposed ComLGP can successfully learn to communicate. Although in the absence of any manually designed communication features, ComLGP is capable of achieving performance competitive to the state-of-the-art method that employs a predefined communication protocol and outperforms the remaining compared methods in most scenarios. © 2020 IEEE.

关键词： Genetic programming

来源：评论

学校读者我要写书评

暂无评论

Prescribed-Time Nash Equilibrium Seeking for Pursuit-Evasion Game

引用

IEEE/CAA Journal of Automatica Sinica 2024年第6期11卷 1518-1520页

作者： Lei Xue Jianfeng Ye Yongbao Wu Jian Liu D.C.Wunsch Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of EducationNanjing 210096 School of Automation Southeast UniversityNanjing 210096China Department of Electrical and Computer Engineering Missouri University of Science and TechnologyRollaMO 65409 USA IEEE

Dear Editor,This letter is concerned with prescribed-time Nash equilibrium(PTNE)seeking problem in a pursuit-evasion game(PEG)involving agents with second-order *** order to achieve the prior-given and user-defined convergence time for the PEG,a PTNE seeking algorithm has been developed to facilitate collaboration among multiple pursuers for capturing the evader without the need for any global ***,it is theoretically proved that the prescribedtime convergence of the designed algorithm for achieving Nash equilibrium of ***,the effectiveness of the PTNE method was validated by numerical simulation results.A PEG consists of two groups of agents:evaders and *** pursuers aim to capture the evaders through cooperative efforts,while the evaders strive to evade *** is a classic noncooperative *** has attracted plenty of attention due to its wide application scenarios,such as smart grids[1],formation control[2],[3],and spacecraft rendezvous[4].It is noteworthy that most previous research on seeking the Nash equilibrium of the game,where no agent has an incentive to change its actions,has focused on asymptotic and exponential convergence[5]-[7].

关键词： seeking prescribed convergence

来源：评论

学校读者我要写书评

暂无评论

Less Traces Are All It Takes: Efficient Side-Channel Analysis on AES

引用

IEEE Transactions on computer-Aided Design of Integrated Circuits and Systems 2024年第6期44卷 2080-2092页

作者： Xiao, Zhiyuan Wang, Chen Shen, Jian Wu, Q. M. Jonathan He, Debiao Zhejiang Sci-Tech University School of Information Science and Engineering School of Cyber Science and Technology the Zhejiang Provincial Key Laboratory of Digital Fashion and Data Governance Zhejiang Provincial International Cooperation Base for Science and Technology on Cloud Computing Security and Data Aggregation Hangzhou310018 China University of Windsor Department of Electrical and Computer Engineering WindsorON Canada Wuhan University State Key Laboratory of Software Engineering Computer School Wuhan430072 China

In cryptography, side-channel analysis (SCA) is a technique used to recover cryptographic keys by examining the physical leakages that occur during the operation of cryptographic devices. Recent advancements in Deep Learning (DL) have greatly enhanced the extraction of crucial information from intricate leakage patterns. A considerable amount of research is dedicated to studying the SubByte (SB) operations of the advanced encryption standard (AES). This is because the SB process, which generates numerous transitions between 0s and 1s during encryption, results in significant energy leakage. However, traditional analysis models primarily focus on the initial round of SB operations in AES, which are less effective on mobile terminals where it is difficult to collect enough signals. These models often neglect additional operations and subsequent rounds, thus providing limited insights from small datasets. Consequently, this limitation has a direct impact on the accuracy and efficiency of key recovery. Our study uses ρ-test analysis to show that significant leakage occurs not only during the S-box operation but also during the AddRoundKey (AR) phase of AES. To address these challenges, we propose a new SCA method that is optimized for small sample sizes. This method includes a new comprehensive round trace labeling algorithm, which simultaneously analyzes the SB and AR stages of each AES round. Additionally, we introduce the peak precise localization algorithm to accurately identify the points of energy leakage during each encryption round. Our experiments, conducted with power and Electromagnetic (EM) datasets from the STM32F303 microcontroller, demonstrate that our method can reliably recover keys with as few as 20 traces. These results highlight the enhanced capability of our method in handling the complexities of small sample datasets in cryptographic analysis. © 2024 IEEE.

关键词： Information leakage

来源：评论

学校读者我要写书评

暂无评论

Dependency-aware Task Offloading and Resource Pricing in Vehicular Edge Computing: A Stackelberg Game Approach 22

Dependency-aware Task Offloading and Resource Pricing in Veh...

引用

22nd IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2024

作者： Zhao, Liang Huang, Shuai Cao, Yuxiang Zhou, Huan Leung, Victor C. M. China Three Gorges University Hubei Key Laboratory of Intelligent Vision Based Monitoring for Hydroelectric Engineering College of Computer and Information Technology Yichang China Northwestern Polytechnical University School of Computer Science Xi'an China The University of British Columbia Department of Electrical and Computer Engineering Vancouver Canada

ISBN: (纸本)9798331509712

Vehicular Edge Computing (VEC) allows vehicles to offload their delay-sensitive tasks to nearby Road Side Units (RSUs) for processing, which improves network quality of service (QoS). However, the self-interested SDN controller is unwilling to ask RSUs to provide free computing resources for vehicles. At the same time, complicated dependencies between vehicular subtasks may cause non-ideal task delay and energy consumption. In order to solve these problems, this paper proposes a Stackelberg game-based Dependency-aware task Offloading and resource Pricing framework (SDOP). Specifically, we first model a vehicular edge network that partially offloads dependency-aware tasks. Then, we depict the interaction between the SDN controller and vehicles as a Stackelberg game, with the goal of maximizing the utility of both parties. Next, we present a Gradient Ascent Plus Genetic algorithm (GAPG) to solve the problem. Finally, numerous simulations are performed, and the results show that compared with other baseline schemes, the proposed GAPG can significantly improve the utility of both the SDN controller and vehicles under various scenarios. © 2024 IEEE.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

Flexible pressure sensors with ultrahigh stress tolerance enabled by periodic microslits

引用

Microsystems & Nanoengineering 2024年第1期10卷 301-311页

作者： Song Wang Chenying Wang Yifan Zhao Yujing Zhang Yaxin Zhang Xiangyue Xu Qijing Lin Kai Yao Yuheng Wang Feng Han Yu Sun Zhuangde Jiang State Key Laboratory for Manufacturing Systems Engineering International Joint Laboratory for Micro/Nano Manufacturing and Measurement TechnologiesSchool of Mechanical EngineeringXi’an Jiaotong UniversityXi’anChina State Key Laboratory for Manufacturing Systems Engineering International Joint Laboratory for Micro/Nano Manufacturing and Measurement TechnologiesSchool of Instrument Science and TechnologyXi’an Jiaotong UniversityXi’anChina The Faculty of Electrical Engineering and Computer Science Ningbo UniversityNingboChina Department of Mechanical and Industrial Engineering University of TorontoTorontoCanada

Stress tolerance plays a vital role in ensuring the effectiveness of piezoresistive sensing films used in flexible pressure ***,existing methods for enhancing stress tolerance employ dome-shaped,wrinkle-shaped,and pyramidal-shaped microstructures in intricate molding and demolding processes,which introduce significant fabrication challenges and limit the sensing *** address these shortcomings,this paper presents periodic microslits in a sensing film made of multiwalled carbon nanotubes and polydimethylsiloxane to realize ultrahigh stress tolerance with a theoretical maximum of 2.477 MPa and a sensitivity of 18.092 kPa−*** periodic microslits permit extensive deformation under high pressure(e.g.,400 kPa)to widen the detection ***,the periodic microslits also enhance the sensitivity based on simultaneously exhibiting multiple synapses within the sensing interface and between the periodic sensing *** proposed solution is verified by experiments using sensors based on the microslit strategy for wind direction detection,robot movement sensing,and human health *** these experiments,vehicle load detection is achieved for ultrahigh pressure sensing under an ultrahigh pressure of over 400 kPa and a ratio of the contact area to the total area of 32.74%.The results indicate that the proposed microslit strategy can achieve ultrahigh stress tolerance while simplifying the fabrication complexity of preparing microstructure sensing films.

关键词： robot shaped stress

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：