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

Privacy-Preserving Multi-Keyword Fuzzy Adjacency Search Strategy for Encrypted Graph in Cloud Environment

computers, Materials & Continua 2024年第3期78卷 3177-3194页

作者： Bin Wu Xianyi Chen Jinzhou Huang Caicai Zhang Jing Wang Jing Yu Zhiqiang Zhao Zhuolin Mei School of Computer and Big Data Science Jiujiang UniversityJiujiang332005China Jiujiang Key Laboratory of Network and Information Security Jiujiang332005China School of Computer and Software Nanjing University of Information Science&TechnologyNanjing210044China School of Computer Engineering Hubei University of Arts and ScienceXiangyang441053China School of Modern Information Technology Zhejiang Institute of Mechanical and Electrical EngineeringHangzhou310053China Information Center Jiangxi Changjiang Chemical Co.Ltd.Jiujiang332005China School of Mathematics and Computer Science Ningxia Normal UniversityGuyuan756099China

In a cloud environment,outsourced graph data is widely used in companies,enterprises,medical institutions,and so *** owners and users can save costs and improve efficiency by storing large amounts of graph data on cloud *** on cloud platforms usually have some subjective or objective attacks,which make the outsourced graph data in an insecure *** issue of privacy data protection has become an important obstacle to data sharing and *** to query outsourcing graph data safely and effectively has become the focus of *** query is a basic and frequently used operation in graph,and it will effectively promote the query range and query ability if multi-keyword fuzzy search can be supported at the same *** work proposes to protect the privacy information of outsourcing graph data by encryption,mainly studies the problem of multi-keyword fuzzy adjacency query,and puts forward a *** our scheme,we use the Bloom filter and encryption mechanism to build a secure index and query token,and adjacency queries are implemented through indexes and query tokens on the cloud *** proposed scheme is proved by formal analysis,and the performance and effectiveness of the scheme are illustrated by experimental *** research results of this work will provide solid theoretical and technical support for the further popularization and application of encrypted graph data processing technology.

关键词： Privacy-preserving adjacency query multi-keyword fuzzy search encrypted graph

来源：评论

学校读者我要写书评

暂无评论

ACCEL: an efflcient and privacy-preserving federated logistic regression scheme over vertically partitioned data

引用

Science China(Information Sciences) 2022年第7期65卷 98-99页

作者： Jiaqi ZHAO Hui ZHU Fengwei WANG Rongxing LU Hui LI Zhongmin ZHOU Haitao WAN State Key Laboratory of Integrated Networks Services Xidian University Faculty of Computer Science University of New Brunswick China Mobile (Suzhou) Software Technology Co. Ltd.

Dear editor,With the age of big data coming, massive data are being generated distributedly all the time and stored as the form of data islands; meanwhile, data privacy and security are strengthened with the introduction of some privacy laws, which thus bring huge challenges to traditional centralized machine learning. Consequently, federated learning(FL) [1], which can construct global machine learning models over multiple participants while keeping their data localized, gains widespread attention and shows its vast prospects in many fields [2]. At each training round of FL, the local updates are calculated locally with participants’ training data,

关键词： vertically federated learning privacy-preserving logistic regression symmetric homomorphic encryption efficiency

来源：评论

学校读者我要写书评

暂无评论

A Surrogate-Assisted Evolutionary Algorithm for Expensive Dynamic Multimodal Optimzation 13

A Surrogate-Assisted Evolutionary Algorithm for Expensive Dy...

引用

13th IEEE Congress on Evolutionary Computation, CEC 2024

作者： Wu, Xunfeng Liu, Songbai Ji, Junkai Ma, Lijia Leung, Victor C. M. Shenzhen University National Engineering Laboratory for Big Data System Computing Technology Shenzhen China College of Computer Science and Software Engineering Shenzhen University Shenzhen China The University of British Columbia Department of Electrical and Computer Engineering Vancouver Canada

ISBN: (纸本)9798350308365

Surrogate-assisted evolutionary algorithms (SAEAs) have demonstrated promising optimization performance in addressing expensive dynamic optimization problems or expensive multimodal optimization problems. However, none of existing SAEAs are designed specifically for tackling expensive dynamic multimodal optimization problems (EDMMOPs). Therefore, in this paper, a first SAEA for tackling EDMMOPs is proposed. First, a nearest density clustering is designed to divide the population into a number of subpopulations, enhancing the diversity of the population. Then, a surrogate-assisted evolutionary optimizer is developed to construct surrogate models for each subpopulation and evolve all solutions in subpopulations by means of the built surrogate models, accelerating the population's converge towards several optimal solutions rapidly. Finally, a transfer learning-based prediction is devised to generate initial samples for next environment by leveraging the stored training samples in the previous environments. To assess the performance of our proposed algorithm, a set of complex benchmark problems is adopted, and the experimental results confirm its superior performance over several competitive algorithms on most test cases. © 2024 IEEE.

关键词： Digital elevation model

来源：评论

学校读者我要写书评

暂无评论

Detection of Deepfakes: Protecting Images and Vedios Against Deepfake 21

Detection of Deepfakes: Protecting Images and Vedios Against...

引用

21st International computer Conference on Wavelet Active Media technology and Information Processing, ICCWAMTIP 2024

作者： Tian, Ying Zhou, Wang Haq, Amin Ul Sichuan Police College Intelligent Policing Key Laboratory of Sichuan Province LuZhou China School of Computer and Software Engineering Xihua University Chengdu China School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China

ISBN: (纸本)9798331519254

In recent years, with the rapid development of deep learning and computer vision technology, the forgery technology of images and videos has become increasingly mature, posing new challenges to information security and social stability. Behind the re-evolution of deepfake lies the rampant proliferation of fake content, which is used for election tampering, identity fraud, fraud, spreading fake news, and so on. To address these challenges, researchers are constantly exploring and developing image-based deepfake detection techniques, which aim to effectively identify and prevent deepfake content in images and videos. This article will introduce the current development status of deepfake detection technology, present its principles and methods in detail, and look ahead to its future development directions. © 2024 IEEE.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

On interleaving space exploration of multi-threaded programs

引用

Frontiers of computer Science 2021年第4期15卷 17-28页

作者： Dongjie CHEN Yanyan JIANG Chang XU Xiaoxing MA State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China

Exploring the interleaving space of a multithreaded program to efficiently detect concurrency bugs is important but also difficult because of the astronomically many thread *** paper presents a novel framework to decompose a thread schedule generator that explores the interleaving space into the composition of a basic generator and its extension under the“small interleaving hypothesis”.Under this framework,we in-depth analyzed research work on interleaving space exploration,illustrated how to design an effective schedule generator,and shed light on future research opportunities.

关键词： survey testing concurrency bugs interleaving space

来源：评论

学校读者我要写书评

暂无评论

Instance-adaptive Zero-shot Chain-of-Thought Prompting 38

Instance-adaptive Zero-shot Chain-of-Thought Prompting

引用

38th Conference on Neural Information Processing Systems, NeurIPS 2024

作者： Yuan, Xiaosong Shen, Chen Yan, Shaotian Zhang, Xiaofeng Xie, Liang Wang, Wenxiao Guan, Renchu Wang, Ying Ye, Jieping College of Computer Science and Technology Jilin University China Key Laboratory of Symbolic Computation and Knowledge Engineering MoE Jilin University China Alibaba Cloud Computing China Shanghai Jiao Tong University China College of Computer Science and Technology Zhejiang University of Technology China College of Software Zhejiang University China

Zero-shot Chain-of-Thought (CoT) prompting emerges as a simple and effective strategy for enhancing the performance of large language models (LLMs) in real-world reasoning tasks. Nonetheless, the efficacy of a singular, task-level prompt uniformly applied across the whole of instances is inherently limited since one prompt cannot be a good partner for all, a more appropriate approach should consider the interaction between the prompt and each instance meticulously. This work introduces an instance-adaptive prompting algorithm as an alternative zero-shot CoT reasoning scheme by adaptively differentiating good and bad prompts. Concretely, we first employ analysis on LLMs through the lens of information flow to detect the mechanism under zero-shot CoT reasoning, in which we discover that information flows from question to prompt and question to rationale jointly influence the reasoning results most. We notice that a better zero-shot CoT reasoning needs the prompt to obtain semantic information from the question, and then the rationale aggregates sufficient information from the question directly and via the prompt indirectly. On the contrary, lacking any of those would probably lead to a bad one. Stem from that, we further propose an instance-adaptive prompting strategy (IAP) for zero-shot CoT reasoning. Experiments conducted with LLaMA-2, LLaMA-3, and Qwen on math, logic, and commonsense reasoning tasks (e.g., GSM8k, MMLU, Causal Judgement) obtain consistent improvement, demonstrating that the instance-adaptive zero-shot CoT prompting performs better than other task-level methods with some curated prompts or sophisticated procedures, showing the significance of our findings in the zero-shot CoT reasoning mechanism. © 2024 Neural information processing systems foundation. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

NOFTrack: Efficient Multi-Object Tracking with a Speed Advantage

NOFTrack: Efficient Multi-Object Tracking with a Speed Advan...

引用

2024 International Symposium on Digital Home, ISDH 2024

作者： Jiang, Ming Ke, Jiehao Guo, Biao Metaverse Application Engineering Center Guilin University of Electronic Technology Guilin China School of Computer Science and Information Security Guilin University of Electronic Technology Guilin China Guilin University of Electronic Technology Guangxi Key Laboratory of Trusted Software Guilin China

ISBN: (纸本)9798331509873

In the field of multi-object tracking (MOT), accurately tracking the position and characteristics of targets is crucial. However, traditional methods often overlook detection results with low confidence, which can lead to the omission of targets and the fragmentation of trajectories. To overcome these challenges, we have introduced a novel NOF algorithm. This algorithm efficiently handles detection boxes through a tiered strategy, initially using an adaptive Kalman filter for preliminary matching, followed by a secondary screening of detection boxes with lower confidence, and a final stage for processing dubious detection results. This approach not only enhances the speed and accuracy of tracking but also performs exceptionally well when dealing with complex scenes. Moreover, it is capable of achieving high efficiency, with a rate of over 300 frames per second (FPS), ensuring the efficiency and precision of the tracking process. © 2024 IEEE.

关键词： Target tracking

来源：评论

学校读者我要写书评

暂无评论

ACbot:an IIoT platform for industrial robots

引用

Frontiers of computer Science 2025年第4期19卷 13-27页

作者： Rui WANG Xudong MOU Tianyu WO Mingyang ZHANG Yuxin LIU Tiejun WANG Pin LIU Jihong YAN Xudong LIU School of Computer Science and Engineering Beihang UniversityBeijing 100191China Zhongguancun Laboratory Beijing 100194China School of Software Beihang UniversityBeijing 100191China School of Mechatronics Engineering Harbin Institute of TechnologyHarbin 150001China Hangzhou Innovation Institute Beihang UniversityHangzhou 310051China School of Information Engineering China University of GeosciencesBeijing 100083China

As the application of Industrial Robots(IRs)scales and related participants increase,the demands for intelligent Operation and Maintenance(O&M)and multi-tenant collaboration *** methods could no longer cover the requirements,while the Industrial Internet of Things(IIoT)has been considered a promising ***,there’s a lack of IIoT platforms dedicated to IR O&M,including IR maintenance,process optimization,and knowledge *** this context,this paper puts forward the multi-tenant-oriented ACbot platform,which attempts to provide the first holistic IIoT-based solution for O&M of *** on an information model designed for the IR field,ACbot has implemented an application architecture with resource and microservice management across the cloud and multiple *** this basis,we develop four vital applications including real-time monitoring,health management,process optimization,and knowledge *** have deployed the ACbot platform in real-world scenarios that contain various participants,types of IRs,and *** date,ACbot has been accessed by 10 organizations and managed 60 industrial robots,demonstrating that the platform fulfills our ***,the application results also showcase its robustness,versatility,and adaptability for developing and hosting intelligent robot applications.

关键词： IIoT platform industrial robots cloud-edge collaboration intelligent applications

来源：评论

学校读者我要写书评

暂无评论

An accident prediction architecture based on spatio-clock stochastic and hybrid model for autonomous driving safety

An accident prediction architecture based on spatio-clock st...

引用

作者： Wang, Jinyong Huang, Zhiqiu Huang, Xiaowei Wang, Tiexin Shen, Guohua Xie, Jian College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China Key Laboratory of Safety-Critical Software Ministry of Industry and Information Technology Nanjing China Department of Computer Science University of Liverpool Liverpool United Kingdom

Collaborative and autonomous driving vehicles combine hardware and software complex processes, also are heavily dependent on and influenced by the world of physical and cyber interactions. They have enabled many new features and advanced functionalities, such as stochastic and hybrid natures, mobile spatial topologies, and time-critical dependability. However, the existing modeling and verification techniques have not established faith in proving correctness and safety. Spatial and time collision avoidance remains crucial obstacles on the path to becoming ubiquitous and dependable. In order to ensure safety, we first design an accident prediction architecture in system design-time and run-time stages. We apply it on collaborative and autonomous overtaking systems involving spatial- and time-critical accident predictions. Then, we develop a novel and dedicated spatio-clock stochastic specification language (SCSSL) to describe safety invariants and guards in domain-specific autonomous driving systems. Next, we create the spatio-clock stochastic and hybrid automata models based on SCSSL in order to model inherently stochastic and hybrid behaviors. To illustrate the effectiveness of spatio-clock consistency stochastic specification and verification, we adopt statistical model checking natively to provide reliable predictions for the incoming collision instants and positions. Finally, we present an illustrative overtaking case study to verify spatio-clock stochastic and hybrid related properties and ensure correct modeling, and demonstrate the significance of our proposed approach. © 2021 John Wiley & Sons Ltd.

关键词： Clocks

来源：评论

学校读者我要写书评

暂无评论

CCMOP: A Runtime Verification Tool for C/C++ Programs 23rd

CCMOP: A Runtime Verification Tool for C/C++ Programs

引用

23rd International Conference on Runtime Verification, RV 2023

作者： Xing, Yongchao Chen, Zhenbang Xu, Shibo Zhang, Yufeng College of Computer National University of Defense Technology Changsha China Key Laboratory of Software Engineering for Complex Systems National University of Defense Technology Changsha China College of Computer Science and Electronic Engineering Hunan University Changsha China

ISBN: (纸本)9783031442667

Runtime verification (RV) is an effective lightweight formal method for improving software’s reliability at runtime. There exist no RV tools specially designed for C++ programs. This paper introduces the first one, i.e., CCMOP, which implements an AOP-based RV approach and supports the RV of general properties for C/C++ program. CCMOP provides an AOP language specially designed for C++ program to define the events in RV. The instrumentation of RV monitor is done at AST-level, which improves the efficiency of compilation and the accuracy of RV. CCMOP is implemented based on JavaMOP and an industrial-strength compiler. The results of extensive experiments on 100 real-world C/C++ programs (5584.3K LOCs in total) indicate that CCMOP is robust and supports the RV of real-world C/C++ programs. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：