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

Indexing dynamic encrypted database in cloud for efficient secure k-nearest neighbor query

Frontiers of computer Science 2024年第1期18卷 187-198页

作者： Xingxin LI Youwen ZHU Rui XU Jian WANG Yushu ZHANG College of Computer Science and Technology Nanjing University of Aeronautics and AstronauticsNanjing 210016China Department of Mathematical Informatics University of TokyoTokyo 113-8654Japan Guangxi Key Laboratory of Trusted Software Guilin University of Electronic TechnologyGuilin 541004China School of Computer Science China University of GeosciencesWuhan 430074China

Secure k-Nearest Neighbor(k-NN)query aims to find k nearest data of a given query from an encrypted database in a cloud server without revealing privacy to the untrusted cloud and has wide applications in many areas,such as privacy-preservingmachine elearning gand secure biometric *** solutions have been put forward to solve this challenging ***,the existing schemes still suffer from various limitations in terms of efficiency and *** this paper,we propose a new encrypt-then-index strategy for the secure k-NN query,which can simultaneously achieve sub-linear search complexity(efficiency)and support dynamical update over the encrypted database(flexibility).Specifically,we propose a novel algorithm to transform the encrypted database and encrypted query points in the *** indexing the transformed database using spatial data structures such as the R-tree index,our strategy enables sub-linear complexity for secure k-NN queries and allows users to dynamically update the encrypted *** the best of our knowledge,the proposed strategy is the first to simultaneously provide these two *** theoretical analysis and extensive experiments,we formally prove the security and demonstrate the efficiency of our scheme.

关键词： cloud computing secure k-NN query sub-linear complexity dynamicupdate

来源：评论

学校读者我要写书评

暂无评论

DRL-Based Joint Optimization of Wireless Charging and Computation Offloading for Multi-Access Edge Computing

引用

IEEE Transactions on Services Computing 2025年第03期18卷 1352-1367页

作者： Zhu, Xinyuan Hao, Fei Ma, Lianbo Luo, Changqing Min, Geyong Yang, Laurence T. Shaanxi Normal University School of Computer Science Xi'an710119 China Northeastern University School of Software Shenyang100819 China Virginia Commonwealth University Department of Computer Science RichmondVA23084 United States University of Exeter Department of Computer Science United Kingdom Hainan University School of Computer Science and Technology China St. Francis Xavier University Department of Computer Science Canada

Wireless-powered multi-access edge computing (WP-MEC), as a promising computing paradigm with the great potential for breaking through the power limitations of wireless devices, is facing the challenges of reliable task offloading and charging power allocation. Towards this end, we formulate a joint optimization problem of wireless charging and computation offloading in socially-aware D2D-assisted WP-MEC to maximize the utility, characterized by wireless devices' residual energy and the strength of social relationship. To address this problem, we propose a deep reinforcement learning (DRL)-based approach with hybrid actor-critic networks including three actor networks and one critic network as well as with Proximal Policy Optimization (PPO) updating policy. Further, to prevent the policy collapse, we adopt the PPO-clip algorithm which limits the update steps to enhance the stability of algorithm. The experimental results show that the proposed algorithm can achieved superior convergence performance and, meanwhile, improves the average utility efficiently compared to other baseline approaches. © 2008-2012 IEEE.

关键词： Computation offloading

来源：评论

学校读者我要写书评

暂无评论

Runtime Verification of Neural-Symbolic Systems 10th

Runtime Verification of Neural-Symbolic Systems

引用

10th International Symposium on Dependable software Engineering: Theories, Tools and Applications, SETTA 2024

作者： Deng, Shaojun Liu, Wanwei Zhang, Miaomiao College of Computer Science and Technology National University of Defense Technology Changsha China School of Software Engineering Tongji Uniersity Shanghai China

ISBN: (纸本)9789819606016

Neural-symbolic systems (NSSs), which are typically cyber-physical systems integrated with artificial intelligence modules, have received much attention in both academic and industrial fields. However, thorough verification (such as model checking) of such systems in general leads to prohibitively high costs due to the scale of the state space, and this makes it barely accomplishable within desired time-span. Consequently, light-weight verification techniques are introduced to deal with such cases, e.g., runtime verification (RV, for short). In this paper, we investigate an RV framework for NSSs against signal temporal logic (STL) properties. To guarantee that the on-line monitoring could be accomplished in time, we utilize Euler-prediction to sample the system under scrutiny at discrete time-steps. Our framework supports both qualitative and quantitative on-line monitoring of STL specifications, and thus it terminates whenever a property is satisfied and/or violated by a finite prefix of the trajectory, and it can also provide the bounds of the quantitative satisfaction/violation w.r.t. the remaining execution. Notably, for the so-called piece-wise linear NSSs against affine STL formulas, our approach is exact. On top of it, a prototype tool is implemented, and is experimentally evaluated. The results demonstrate the feasibility of the presented runtime verification approach. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A Credible and Fair Federated Learning Framework Based on Blockchain

IEEE Transactions on Artificial Intelligence

引用

IEEE Transactions on Artificial Intelligence 2025年第2期6卷 301-316页

作者： Chen, Leiming Zhao, Dehai Tao, Liping Wang, Kai Qiao, Sibo Zeng, Xingjie Tan, Chee Wei China University of Petroleum School of Computer Science and Technology East China Qingdao266580 China CSIRO's Data61 Sydney2015 Australia Hefei University of Technology Anhui230009 China Nanyang Technological University School of Computer Science and Engineering Singapore639798 Singapore Tiangong University School of Software Tianjin300387 China Southwest Petroleum University School of Computer Science Chengdu610500 China

Federated learning (FL) enables cooperative computation between multiple participants while protecting user privacy. Currently, FL algorithms assume that all participants are trustworthy and their systems are secure. However, the following problems arise in real-world scenarios: 1) Malicious clients disrupt FL through model poisoning and data poisoning attacks. Although some research has proposed secure aggregation methods to solve this problem, most methods have limitations. 2) The current method cannot fairly evaluate client contribution in some scenarios. Some clients exhibit free-rider behavior, seeking to cheat the reward system and manipulate global models. Evaluating client contribution and distributing rewards also present challenges. To address these challenges, we design a trustworthy federated framework to ensure secure computing throughout the federated task process. First, we propose a method of detecting malicious models to guarantee secure model aggregation. Then, we propose a fair method of assessing contribution to identify client-side free-riding behavior. Finally, we implement a computation process based on blockchain and smart contracts to guarantee the trustworthiness and fairness of federated tasks. To validate the performance of our framework, we simulate different types of client attacks and contribution evaluation scenarios on several open-source datasets. The experiments show that our framework ensures the credibility of federated tasks and achieves a fair evaluation of client contributions. © 2020 IEEE.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Ordered Momentum for Asynchronous SGD 38

Ordered Momentum for Asynchronous SGD

引用

38th Conference on Neural Information Processing Systems, NeurIPS 2024

作者： Shi, Chang-Wei Yang, Yi-Rui Li, Wu-Jun National Key Laboratory for Novel Software Technology School of Computer Science Nanjing University Nanjing China

Distributed learning is essential for training large-scale deep models. Asynchronous SGD (ASGD) and its variants are commonly used distributed learning methods, particularly in scenarios where the computing capabilities of workers in the cluster are heterogeneous. Momentum has been acknowledged for its benefits in both optimization and generalization in deep model training. However, existing works have found that naively incorporating momentum into ASGD can impede the convergence. In this paper, we propose a novel method called ordered momentum (OrMo) for ASGD. In OrMo, momentum is incorporated into ASGD by organizing the gradients in order based on their iteration indexes. We theoretically prove the convergence of OrMo with both constant and delay-adaptive learning rates for non-convex problems. To the best of our knowledge, this is the first work to establish the convergence analysis of ASGD with momentum without dependence on the maximum delay. Empirical results demonstrate that OrMo can achieve better convergence performance compared with ASGD and other asynchronous methods with momentum. © 2024 Neural information processing systems foundation. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Enhancing Security in Distributed Drone-Based Litchi Fruit Recognition and Localization Systems

引用

computers, Materials & Continua 2025年第2期82卷 1985-1999页

作者： Liang Mao Yue Li Linlin Wang Jie Li Jiajun Tan Yang Meng Cheng Xiong Guangdong-Hong Kong-Macao Greater Bay Area Artificial Intelligence Application Technology Research Institute Shenzhen Polytechnic UniversityShenzhen518055China School of Computer Science and Software Engineering University of Science and Technology LiaoningAnshan114051China

This paper introduces an advanced and efficient method for distributed drone-based fruit recognition and localization, tailored to satisfy the precision and security requirements of autonomous agricultural operations. Our method incorporates depth information to ensure precise localization and utilizes a streamlined detection network centered on the RepVGG module. This module replaces the traditional C2f module, enhancing detection performance while maintaining speed. To bolster the detection of small, distant fruits in complex settings, we integrate Selective Kernel Attention (SKAttention) and a specialized small-target detection layer. This adaptation allows the system to manage difficult conditions, such as variable lighting and obstructive foliage. To reinforce security, the tasks of recognition and localization are distributed among multiple drones, enhancing resilience against tampering and data manipulation. This distribution also optimizes resource allocation through collaborative processing. The model remains lightweight and is optimized for rapid and accurate detection, which is essential for real-time applications. Our proposed system, validated with a D435 depth camera, achieves a mean Average Precision (mAP) of 0.943 and a frame rate of 169 FPS, which represents a significant improvement over the baseline by 0.039 percentage points and 25 FPS, respectively. Additionally, the average localization error is reduced to 0.82 cm, highlighting the model’s high precision. These enhancements render our system highly effective for secure, autonomous fruit-picking operations, effectively addressing significant performance and cybersecurity challenges in agriculture. This approach establishes a foundation for reliable, efficient, and secure distributed fruit-picking applications, facilitating the advancement of autonomous systems in contemporary agricultural practices.

关键词： Objective detection deep learning machine learning

来源：评论

学校读者我要写书评

暂无评论

Mutual Retinex: Combining Transformer and CNN for Image Enhancement

引用

IEEE Transactions on Emerging Topics in Computational Intelligence 2024年第3期8卷 2240-2252页

作者： Jiang, Kui Wang, Qiong An, Zhaoyi Wang, Zheng Zhang, Cong Lin, Chia-Wen Harbin Institute of Technology School of Computer Science and Technology Harbin150001 China Wuhan University National Engineering Research Center for Multimedia Software School of Computer Science Wuhan430072 China Wuhan Polytechnic University School of Mathematics and Computer Science Wuhan430024 China National Tsing Hua University Department of Electrical Engineering Institute of Communications Engineering Hsinchu30013 Taiwan

Images captured in low-light or underwater environments are often accompanied by significant degradation, which can negatively impact the quality and performance of downstream tasks. While convolutional neural networks (CNNs) and Transformer architectures have made significant progress in computer vision tasks, there are few efforts to harmonize them into a more concise framework for enhancing such images. To this end, this study proposes to aggregate the individual capability of self-attention (SA) and CNNs for accurate perturbation removal while preserving background contents. Based on this, we carry forward a Retinex-based framework, dubbed as Mutual Retinex, where a two-branch structure is designed to characterize the specific knowledge of reflectance and illumination components while removing the perturbation. To maximize its potential, Mutual Retinex is equipped with a new mutual learning mechanism, involving an elaborately designed mutual representation module (MRM). In MRM, the complementary information between reflectance and illumination components are encoded and used to refine each other. Through the complementary learning via the mutual representation, the enhanced results generated by our model exhibit superior color consistency and naturalness. Extensive experiments have shown the significant superiority of our mutual learning based method over thirteen competitors on the low-light task and ten methods on the underwater image enhancement task. In particular, our proposed Mutual Retinex respectively surpasses the state-of-the-art method MIRNet-v2 by 0.90 dB and 2.46 dB in PSNR on the LOL 1000 and FIVEK datasets, while with only 19.8% model parameters. © 2017 IEEE.

关键词： Image enhancement

来源：评论

学校读者我要写书评

暂无评论

Efficient Federated Learning Using Dynamic Update and Adaptive Pruning with Momentum on Shared Server Data

引用

ACM Transactions on Intelligent Systems and technology 2024年第6期15卷 1-28页

作者： Liu, Ji Jia, Juncheng Zhang, Hong Yun, Yuhui Wang, Leye Zhou, Yang Dai, Huaiyu Dou, Dejing Hithink RoyalFlush Information Network Co. Ltd. Hangzhou China School of Computer Science and Technology Soochow University Suzhou China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing China Baidu Research Beijing China Key Lab of High Confidence Software Technologies Ministry of Education and Software Institute Peking University Beijing China Department of Computer Science and Software Engineering Auburn University AuburnAL United States Department of Electrical and Computer Engineering North Carolina State University RaleighNC United States Bedi Cloud and School of Computer Science Fudan University Beijing China

Despite achieving remarkable performance, Federated Learning (FL) encounters two important problems, i.e., low training efficiency and limited computational resources. In this article, we propose a new FL framework, i.e., FedDUMAP, with three original contributions, to leverage the shared insensitive data on the server in addition to the distributed data in edge devices so as to efficiently train a global model. First, we propose a simple dynamic server update algorithm, which takes advantage of the shared insensitive data on the server while dynamically adjusting the update steps on the server in order to speed up the convergence and improve the accuracy. Second, we propose an adaptive optimization method with the dynamic server update algorithm to exploit the global momentum on the server and each local device for superior accuracy. Third, we develop a layer-adaptive model pruning method to carry out specific pruning operations, which is adapted to the diverse features of each layer so as to attain an excellent tradeoff between effectiveness and efficiency. Our proposed FL model, FedDUMAP, combines the three original techniques and has a significantly better performance compared with baseline approaches in terms of efficiency (up to 16.9 times faster), accuracy (up to 20.4% higher), and computational cost (up to 62.6% smaller). © 2024 Copyright held by the owner/author(s). Publication rights licensed to ACM.

关键词： Federated learning

来源：评论

学校读者我要写书评

暂无评论

Blockchain-enabled IoT access control model for sharing electronic healthcare data

引用

Multimedia Tools and Applications 2025年第10期84卷 8127-8148页

作者： Ilyas, Benkhaddra Kumar, Abhishek Ali, Setitra Mohamed Lei, Hang School of Information and Software Engineering University of Electronic Science and Technology of China Chengdu610054 China Chandigarh University Gharuan Mohali Punjab140413 India School of Computer Science and Engineering University of Electronic Science and Technology of China Sichuan Chengdu611731 China

Deploying the Internet of Things (IoT) in the transfer of enormous medical data often promotes challenges with the security, confidentiality, and privacy of the user’s sensitive data. In addition, the access control for prohibiting unauthorized access has been facing challenges with single-point-of-failure, collusion, and other security issues. To address these challenges associated with IoT access control, this research proposes a Blockchain-enabled IoT access control for sharing Electronic health records (EHR). The proposed authentic access control scheme transfers the data to the authenticated user without discrepancies. The proposed technique utilizes the hyperledger composer fabric blockchain that improves the transparency and traceability of the network, and the intelligent contract keeps track of the information, which reduces the possibility of unauthorized access. The proposed access control scheme validates the request effectively and transmits the data efficiently. The effectiveness of the proposed access control scheme is evaluated by analyzing the blocks in terms of metrics such as responsiveness of 185.47 secs, 95% Genuine User Detection (GUD), 96.50% Privacy, and 3.50% Information loss, for 100 blocks and proposed access control scheme works more efficiently in transmitting the data. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2024.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Survey and Tutorial on Hybrid Human-Artificial Intelligence

引用

Tsinghua Science and technology 2023年第3期28卷 486-499页

作者： Feifei Shi Fang Zhou Hong Liu Liming Chen Huansheng Ning School of Computer and Communication Engineering University of Science and Technology BeijingBeijing 100083China School of Computer Science and Software Engineering East China Normal UniversityShanghai 200062China Faculty of Computing Ulster UniversityNewtownabbey BT370QBUK

The growing computing power,easy acquisition of large-scale data,and constantly improved algorithms have led to a new wave of artificial intelligence(AI)applications,which change the ways we live,manufacture,and do *** with this development,a rising concern is the relationship between AI and human intelligence,namely,whether AI systems may one day overtake,manipulate,or replace *** this paper,we introduce a novel concept named hybrid human-artificial intelligence(H-AI),which fuses human abilities and AI capabilities into a unified *** presents a challenging yet promising research direction that prompts secure and trusted AI innovations while keeping humans in the loop for effective *** scientifically define the concept of H-AI and propose an evolution road map for the development of AI toward *** then examine the key underpinning techniques of H-AI,such as user profile modeling,cognitive computing,and human-in-the-loop machine ***,we discuss H-AI’s potential applications in the area of smart homes,intelligent medicine,smart transportation,and smart ***,we conduct a critical analysis of current challenges and open gaps in H-AI,upon which we elaborate on future research issues and directions.

关键词： hybrid human-artificial intelligence(H-AI) Internet of Things(IoT) artificial intelligence(AI)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：