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

Security and Privacy in Solar Insecticidal Lamps Internet of Things:Requirements and Challenges

IEEE/CAA Journal of Automatica Sinica 2024年第1期11卷 58-73页

作者： Qingsong Zhao Lei Shu Kailiang Li Mohamed Amine Ferrag Ximeng Liu Yanbin Li the College of Artificial Intelligence Nanjing Agricultural UniversityNanjing 210031 the State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023 the State Key Laboratory of Cryptology Beijing 100878China IEEE the School of Engineering University of LincolnLincoln LN67TSUK the Artificial Intelligence and Digital Science Research Center Technology Innovation InstituteMasdar City 9639UAE the College of Computer and Data Science Fuzhou UniversityFuzhou 350108China

Solar insecticidal lamps(SIL) can effectively control pests and reduce the use of pesticides. Combining SIL and Internet of Things(IoT) has formed a new type of agricultural IoT,known as SIL-IoT, which can improve the effectiveness of migratory phototropic pest control. However, since the SIL is connected to the Internet, it is vulnerable to various security *** issues can lead to serious consequences, such as tampering with the parameters of SIL, illegally starting and stopping SIL,etc. In this paper, we describe the overall security requirements of SIL-IoT and present an extensive survey of security and privacy solutions for SIL-IoT. We investigate the background and logical architecture of SIL-IoT, discuss SIL-IoT security scenarios, and analyze potential attacks. Starting from the security requirements of SIL-IoT we divide them into six categories, namely privacy, authentication, confidentiality, access control, availability,and integrity. Next, we describe the SIL-IoT privacy and security solutions, as well as the blockchain-based solutions. Based on the current survey, we finally discuss the challenges and future research directions of SIL-IoT.

关键词： Challenges Internet of Things(IoT) privacy and security security requirements solar insecticidal lamps(SIL)

来源：评论

学校读者我要写书评

暂无评论

Deep Learning Based Take-Over Performance Prediction and Its Application on Intelligent Vehicles

IEEE Transactions on Intelligent Vehicles

引用

IEEE Transactions on Intelligent Vehicles 2024年 1-15页

作者： Liu, Weimin Li, Qingkun Wang, Wenjun Wang, Zhenyuan Zeng, Chao Cheng, Bo State Key Laboratory of Automotive Safety and Energy Center for Intelligent Connected Vehicles and Transportation School of Vehicle and Mobility Tsinghua University Beijing China Beijing Key Laboratory of Human-Computer Interaction Institute of Software Chinese Academy of Sciences Beijing China College of Information Science and Engineering Henan University of Technology Zhengzhou China

Take-over performance plays a significant role in evaluating drivers' state, and serves as a crucial reference for enhancing control transitions in the context of conditionally automated driving. In this study, we aim to predict minimum anticipated collision time (min ACT), an indicator of drivers' take-over performance, in expectation of promoting safer take-overs via deep learning, so that drivers' state detriment of take-over safety could be adjusted accordingly with intelligent human-machine interaction algorithms predictably. By incorporating multi-source information including drivers' state, drivers' demographics, surrounding traffic features as well as driver-vehicle interaction characteristics, network model “ACTNet” was proposed to facilitate continuous estimation. Depthwise separable convolution and non-local self-attention were utilized to prevent overfitting and establish spatial dependency over fixation heatmap, respectively. To overcome data distribution imbalance, class balanced loss was used in conjunction with regression loss to realize more accurate predictions. Driving simulator experiment was conducted with dataset collected for the subsequent verification of the proposed algorithm. Potentialities of deep learning methods were highlighted for take-over studies, contributing to the design of intelligent human-machine interaction systems in conditional automation. Our findings present a valid method of deep learning in predicting drivers' take-over performance and meanwhile have implications for the development of intelligent adaptive take-over time budget regulation and dynamic drivers' state adjustment algorithms. IEEE

关键词： Automation

来源：评论

学校读者我要写书评

暂无评论

CASKA-CRT: Chinese Remainder Theorem Empowered Certificateless Aggregate Signcryption Scheme with key Agreement in IoVs

IEEE Transactions on Intelligent Vehicles

引用

IEEE Transactions on Intelligent Vehicles 2024年 1-16页

作者： Hou, Yingzhe Cao, Yue Xiong, Hu Sun, Zhili Mumtaz, Shahid Tian, Daxin School of Cyber Science and Engineering Wuhan University Wuhan China School of Information and Software Engineering University of Electronic Science and Technology of China Chengdu China Institute of Communication Systems University of Surrey Guildford U.K Department of Applied Informatics Silesian University of Technology Akademicka Gliwice Poland State Key Laboratory of Vehicle-Infrastructure Integrated ITS the State Key Laboratory of Intelligent Transportation System and the School of Transportation Science and Engineering Beihang University Beijing China

To enhance the privacy of messages in Internet of Vehicles (IoVs), it is critical to preserve the communication security between Road Side Unit (RSU) and numerous vehicles. The primitive of signcryption is introduced to guarantee the confidentiality, integrity and unforgeability of transmitted messages. Nevertheless, the existing signcryption schemes fail to achieve a balance between security and efficiency. In this paper, we construct a Chinese remainder theorem (CRT) empowered certificateless aggregate signcryption scheme with key agreement (CASKA-CRT). As the vehicle joins and leaves dynamically, the proposed scheme can ensure the dynamic security via one modulo division operation. Besides, the certificateless aggregate signcryption and key agreement mechanisms are embedded. The former idea can both address the certificate management and key escrow problems, while the latter technology can create authentication as a premise of secure communication. Based on this construction, the hash-to-group operation and bilinear pairing are avoided, to realize a faster verification with the increased number of messages. Moreover, the security of proposed scheme is proved under the random oracle model. Finally, the performance analysis demonstrates the advantage of CASKA-CRT in terms of security and reliability over related works. IEEE

关键词： Public key cryptography

来源：评论

学校读者我要写书评

暂无评论

Fix the Tests: Augmenting LLMs to Repair Test Cases with Static Collector and Neural Reranker 35

Fix the Tests: Augmenting LLMs to Repair Test Cases with Sta...

引用

35th IEEE International Symposium on software Reliability engineering, ISSRE 2024

作者： Liu, Jun Yan, Jiwei Xie, Yuanyuan Yan, Jun Zhang, Jian State Key Laboratory of Computer Science Institute of Software China Chinese Academy of Sciences Technology Center of Software Engineering Institute of Software China China UCAS School of Intelligent Science and Technology Hangzhou Institute for Advanced Study China

ISBN: (纸本)9798350353884

During software evolution, it is advocated that test code should co-evolve with production code. In real development scenarios, test updating may lag behind production code changing, which may cause compilation failure or bring other troubles. Existing techniques based on pre-trained language models can be directly adopted to repair obsolete tests caused by such unsynchronized code changes, especially syntactic-related ones. However, the lack of task-oriented contextual information affects the repair accuracy on large-scale projects. Starting from an obsolete test, the key challenging task is precisely identifying and constructing Test-Repair-Oriented Contexts (TROCtxs) from the whole repository within a limited token *** this paper, we propose Synter (SYNtactic-breaking- changes-induced TEst Repair), a novel approach based on LLMs to automatically repair obsolete test cases via precise and concise TROCtxs construction. Inspired by developers' programming practices, we design three types of TROCtx: class context, usage context, and environment context. Given an obsolete test case to repair, Synter firstly collects the related code information for each type of TROCtx through static analysis techniques automatically. Then, it generates reranking queries to identify the most relevant TROCtxs, which will be taken as the repair-required key contexts and be input to the large language model for the final test *** evaluate the effectiveness of Synter, we construct a benchmark dataset that contains a set of obsolete tests caused by syntactic breaking changes. The experimental results show that Synter outperforms baseline approaches both on textual- and intent-matching metrics. With the augmentation of constructed TROCtxs, hallucinations are reduced by 57.1%. © 2024 IEEE.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

Introduction to the Special Issue on Formal Methods and Models for System Design

引用

ACM Transactions on Embedded Computing Systems 2025年第3期24卷 1-3页

作者： Brandt, Jens Saha, Indranil Zhang, Lijun Hochschule Niederrhein Krefeld Germany Department of Computer Science and Engineering Indian Institute of Technology Kanpur Kanpur India State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China

来源：评论

学校读者我要写书评

暂无评论

QAAS:quick accurate auto-scaling for streaming processing

引用

Frontiers of Computer Science 2024年第1期18卷 5-15页

作者： Shiyuan LIU Yunchun LI Hailong YANG Ming DUN Chen CHEN Huaitao ZHANG Wei LI State Key Laboratory of Software Development Environment Beijing 100191China School of Computer Science and Engineering Beihang UniversityBeijing 100191China School of Cyber Science and Technology Beihang UniversityBeijing 100191China School of Computer Science and Technology Xi’an Jiaotong UniversityXi’an 710049China

In recent years,the demand for real-time data processing has been increasing,and various stream processing systems have *** the amount of data input to the stream processing system fluctuates,the computing resources required by the stream processing job will also *** resources used by stream processing jobs need to be adjusted according to load changes,avoiding the waste of computing *** present,existing works adjust stream processing jobs based on the assumption that there is a linear relationship between the operator parallelism and operator resource consumption(e.g.,throughput),which makes a significant deviation when the operator parallelism *** paper proposes a nonlinear model to represent operator *** divide the operator performance into three stages,the Non-competition stage,the Non-full competition stage,and the Full competition *** our proposed performance model,given the parallelism of the operator,we can accurately predict the CPU utilization and operator *** with actual experiments,the prediction error of our model is below 5%.We also propose a quick accurate auto-scaling(QAAS)method that uses the operator performance model to implement the auto-scaling of the operator parallelism of the Flink *** to previous work,QAAS is able to maintain stable job performance under load changes,minimizing the number of job adjustments and reducing data backlogs by 50%.

关键词： stream processing performance model auto-scaling

来源：评论

学校读者我要写书评

暂无评论

Minimizing the cost of periodically replicated systems via model and quantitative analysis

引用

Frontiers of Computer Science 2024年第5期18卷 11-24页

作者： Chenhao ZHANG Liang WANG Limin XIAO Shixuan JIANG Meng HAN Jinquan WANG Bing WEI Guangjun QIN State Key Laboratory of Software Development Environment Beihang UniversityBeijing 100191China School of Computer Science and Engineering Beihang UniversityBeijing 100191China School of Cyberspace Security Hainan UniversityHaikou 570228China Smart City College Beijing Union UniversityBeijing 100101China

Geographically replicating objects across multiple data centers improves the performance and reliability of cloud storage *** consistent replicas comes with high synchronization costs,as it faces more expensive WAN transport prices and increased *** replication is the widely used technique to reduce the synchronization *** replication strategies in existing cloud storage systems are too static to handle traffic changes,which indicates that they are inflexible in the face of unforeseen loads,resulting in additional synchronization *** propose quantitative analysis models to quantify consistency and synchronization cost for periodically replicated systems,and derive the optimal synchronization period to achieve the best tradeoff between consistency and synchronization *** on this,we propose a dynamic periodic synchronization method,Sync-Opt,which allows systems to set the optimal synchronization period according to the variable load in clouds to minimize the synchronization *** results demonstrate the effectiveness of our *** with the policies widely used in modern cloud storage systems,the Sync-Opt strategy significantly reduces the synchronization cost.

关键词： periodic replication consistency maintenance synchronization cost synchronization strategy

来源：评论

学校读者我要写书评

暂无评论

Fast target-aware learning for few-shot video object segmentation

引用

Science China(Information Sciences) 2022年第8期65卷 71-86页

作者： Yadang CHEN Chuanyan HAO Zhi-Xin YANG Enhua WU Engineering Research Center of Digital Forensics Ministry of EducationSchool of Computer and SoftwareNanjing University of Information Science and Technology School of Education Science and Technology Nanjing University of Posts and Telecommunications State Key Laboratory of Internet of Things for Smart City Department of Electromechanical EngineeringUniversity of Macau State Key Laboratory of Computer Science Institute of SoftwareUniversity of Chinese Academy of Sciences Faculty of Science and Technology University of Macau

Few-shot video object segmentation(FSVOS) aims to segment a specific object throughout a video sequence when only the first-frame annotation is given. In this study, we develop a fast target-aware learning approach for FSVOS, where the proposed approach adapts to new video sequences from its firstframe annotation through a lightweight procedure. The proposed network comprises two models. First, the meta knowledge model learns the general semantic features for the input video image and up-samples the coarse predicted mask to the original image size. Second, the target model adapts quickly from the limited support set. Concretely, during the online inference for testing the video, we first employ fast optimization techniques to train a powerful target model by minimizing the segmentation error in the first frame and then use it to predict the subsequent frames. During the offline training, we use a bilevel-optimization strategy to mimic the full testing procedure to train the meta knowledge model across multiple video *** proposed method is trained only on an individual public video object segmentation(VOS) benchmark without additional training sets and compared favorably with state-of-the-art methods on DAVIS-2017, with a J &F overall score of 71.6%, and on YouT ubeVOS-2018, with a J &F overall score of 75.4%. Meanwhile,a high inference speed of approximately 0.13 s per frame is maintained.

关键词： video object segmentation few-shot target-aware meta knowledge bilevel-optimization

来源：评论

学校读者我要写书评

暂无评论

Symplectic solutions for orthotropic micropolar plane stress problem

引用

Acta Mechanica Sinica 2025年第1期41卷 106-127页

作者： Long Chen Zhaofei Tang Qiong Wu Qiang Gao State Key Laboratory of Structural Analysis Optimization and CAE Software for Industrial EquipmentDepartment of Engineering MechanicsFaculty of Vehicle Engineering and MechanicsDalian University of TechnologyDalian 116024China

The symplectic approach was utilized to derive solutions to the orthotropic micropolar plane stress *** Hamiltonian canonical equation was first obtained by applying Legendre’s transformation and the Hamiltonian mixed energy variational ***,by using the method of separation of variables,the eigenproblem of the corresponding homogeneous Hamiltonian canonical equation was ***,the corresponding eigensolutions for three kinds of homogeneous boundary conditions were *** to the adjoint symplectic orthogonality of the eigensolutions and expansion theorems,the solutions to this plane stress problem were expressed as a series expansion of these *** numerical results for the orthotropic micropolar plane stress problem under various boundary conditions were presented and validated using the finite element method,which confirmed the convergence and accuracy of the proposed *** also investigated the relationship between the size-dependent behaviour and material parameters using the proposed ***,this approach was applied to analyze lattice structures under an equivalent micropolar continuum approximation.

关键词： Symplectic approach Micropolar Orthotropic materials Size effect Analytical solution

来源：评论

学校读者我要写书评

暂无评论

Semantic-Aware Pseudo-Labeling for Unsupervised Meta-Learning

引用

IEEE Transactions on Pattern Analysis and Machine Intelligence 2025年第7期47卷 5475-5488页

作者： Ouyang, Tianran Dong, Xingping Ye, Mang Du, Bo Shao, Ling Shen, Jianbing Wuhan University School of Computer Science National Engineering Research Center for Multimedia Software Institute of Artificial Intelligence Hubei Key Laboratory of Multimedia and Network Communication Engineering Wuhan430072 China University of Chinese Academy of Sciences UCAS-Terminus AI Lab Beijing101408 China University of Macau State Key Laboratory of Internet of Things for Smart City Department of Computer and Information Science 314100 China

In unsupervised meta-learning, the clustering-based pseudo-labeling approach is an attractive framework, since it is model-agnostic, allowing it to synergize with supervised algorithms to learn from unlabeled data. However, the pseudo-labels suffer from clustering noise and semantic chaos problems, further impacting the effectiveness of meta-learning. In this paper, we analyze and optimize the pseudo-labeling process, including encoding and clustering, aiming to generate semantic-like pseudo-labels to narrow the gap between unsupervised and supervised meta-learning. First, during the encoding, we observe that the embedding space of existing methods lacks clustering-friendly properties, which is the primary reason for clustering noise. To address this issue, we minimize the inter-to-intra-class similarity ratio to generate clustering-friendly embedding features and validate our approach through comprehensive experiments. Then, during the clustering, we find that the semantic quality of pseudo-labels is not adequately controlled, resulting in semantic chaos of pseudo-labels. We propose a semantic-stability index to measure the semantic quality of pseudo-labels quantitatively. Based on this index, we propose the Semantic-aware Pseudo-label Reassignment mechanism to generate semantic-like pseudo-labels for all samples. Our approach is model-agnostic and can easily be integrated into existing supervised methods. To demonstrate its generalization ability, we integrate it into two representative algorithms: MAML and EP. The results on three main few-shot benchmarks clearly show that the proposed method achieves significant improvement compared to state-of-the-art models. Notably, our approach also outperforms the corresponding supervised method in three tasks. © 1979-2012 IEEE.

关键词： Latent semantic analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：