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

9th International Conference on Dependable Systems and Their Applications, DSA 2022

作者： Dong, Hanjie He, Yaqiong Tao, Hongwei Duan, Qianheng College of Computer and Communication Engineering Zhengzhou University of Light Industry Zhengzhou China Henan Key Laboratory of Network Cryptography Technology Zhengzhou China

ISBN: (数字)9781665488778

ISBN: (纸本)9781665488778

The smart contract technology has drawn extensive attention in recent years. However, attributing to the immutability of blockchain, a smart contract cannot be altered once deployed on chain. Even a simple flaw in a smart contract can cause huge economic loss. Formal method can provide a reliable guarantee for the security of smart contracts. In this paper, we present a framework for formal transformation and analysis of smart contract code, aiming to facilitate the task of analyzing security issues of smart contracts. In addition, the transformation efficiency is tested and evaluated with different scales of code, which proves the practicality and effectiveness of the transformation framework. © 2022 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Multimodal Multi-objective Particle Swarm Optimization Algorithm Based on Multi-directional Guidance 4

Multimodal Multi-objective Particle Swarm Optimization Algor...

引用

4th International Conference on High Performance Big Data and Intelligent Systems, HDIS 2022

作者： Li, Wei Gao, Yetong Wang, Lei School of Computer Science and Engineering Xi'an University of Technology Xi'an China Shaanxi Key Laboratory for Network Computing and Security Technology Xi'an China

ISBN: (数字)9781665491440

ISBN: (纸本)9781665491440

In multimodal multi-objective optimization, the key issue is to find as many Pareto optimal solutions as possible and select promising solutions in the environmental selection. This paper proposes a multimodal multi-objective particle swarm optimization algorithm based on multi-directional guidance (MM-PSO-MG) to solve these problems. In the proposed algorithm, multi-directional guidance strategy is introduced to avoid premature convergence and find more Pareto optimal solutions. Moreover, the rank-based special crowding distance strategy is used to select promising solutions. 11 multimodal multi-objective test problems are used to verify the performance of the proposed algorithm. The results show that the proposed algorithm is competitive. © 2022 IEEE.

关键词： Multiobjective optimization

来源：评论

学校读者我要写书评

暂无评论

An Efficient Direct Downlink Sensing Method Using 5G NR SSB Signals in Perceptive Mobile networks

引用

IEEE Internet of Things Journal 2025年第11期12卷 15360-15369页

作者： Li, Hang Xiang, Yang Guo, Qinghua Liu, Lizhe Huang, Xiaojing Cheng, Zhiqun Pang, Yashan Hangzhou Dianzi University School of Electronics and Information Hangzhou310018 China Academy of Network and Communications of CETC National Key Laboratory of Advanced Communication Networks Hebei Shijiazhuang050081 China University of Wollongong School of Electrical Computer and Telecommunications Engineering WollongongNSW2522 Australia University of Technology Sydney Global Big Data Technologies Centre UltimoNSW2007 Australia

In perceptive mobile networks (PMNs), using 5G new radio (NR) signals for direct sensing poses a significant challenge to practical implementation due to the high computational complexity involved in estimating sensing parameters. In this article, an efficient sensing method is proposed to incorporate both downlink active sensing and passive sensing to estimate multiple sensing parameters, including delays, Angle of Arrival (AoA), Angle of Departure (AoD), and Doppler. In particular, it exploits the synchronization signal blocks (SSBs) to facilitate sensing with multiple remote radio units (RRUs). To reduce the computational complexity of direct sensing, a sparse model is developed to decouple multiple sensing parameter estimation, enabling efficient sensing method design. Then, leveraging unitary approximate message passing (UAMP) and sparse Bayesian learning (SBL), we propose an efficient method to achieve parameter estimation and association with corresponding RRUs. This method is further extended to general scenarios involving multiple path components with the same delay. Extensive simulations demonstrate the effectiveness of the proposed method, showing that it outperforms the existing ones in terms of sensing accuracy and complexity. © 2014 IEEE.

关键词： 5G mobile communication systems

来源：评论

学校读者我要写书评

暂无评论

TRNet: Two-Tier Recursion network for Co-Salient Object Detection

引用

IEEE Transactions on Circuits and Systems for Video Technology 2025年第6期35卷 5844-5857页

作者： Cong, Runmin Yang, Ning Liu, Hongyu Zhang, Dingwen Huang, Qingming Kwong, Sam Zhang, Wei Shandong University School of Control Science and Engineering Jinan250061 China Ministry of Education Key Laboratory of Machine Intelligence and System Control Jinan250061 China Beijing Jiaotong University Institute of Information Science Beijing100044 China Beijing Key Laboratory of Advanced Information Science and Network Technology Beijing100044 China Northwestern Polytechnical University Brain and Artificial Intelligence Laboratory School of Automation Xi'an710129 China University of Chinese Academy of Sciences School of Computer Science and Technology Beijing101408 China Lingnan University Hong Kong

Co-salient object detection (CoSOD) is to find the salient and recurring objects from a series of relevant images, where modeling inter-image relationships plays a crucial role. Different from the commonly used direct learning structure that inputs all the intra-image features into some well-designed modules to represent the inter-image relationship, we resort to adopting a recursive structure for inter-image modeling, and propose a two-tier recursion network (TRNet) to achieve CoSOD in this paper. The two-tier recursive structure of the proposed TRNet is embodied in two stages of inter-image extraction and distribution. On the one hand, considering the task adaptability and inter-image correlation, we design an inter-image exploration with recursive reinforcement module to learn the local and global inter-image correspondences, guaranteeing the validity and discriminativeness of the information in the step-by-step propagation. On the other hand, we design a dynamic recursion distribution module to fully exploit the role of inter-image correspondences in a recursive structure, adaptively assigning common attributes to each individual image through an improved semi-dynamic convolution. Experimental results on five prevailing CoSOD benchmarks demonstrate that our TRNet outperforms other competitors in terms of various evaluation metrics. The code and results of our method are available at https://***/rmcong/TRNetTCSVT2025. © 1991-2012 IEEE.

关键词： HTTP

来源：评论

学校读者我要写书评

暂无评论

Block-Streaming Service Loading Optimization of Android Dalvik Executable File for Cloud-End Collaboration

Block-Streaming Service Loading Optimization of Android Dalv...

引用

2022 International Conference on networking and network Applications, NaNA 2022

作者： Wang, Yichuan Feng, Yanhua Du, Yanning Hei, Xinhong Tian, Yuying Cui, Xiangjie School of Computer Science and Engineering Xi’an University of Technology Xi’an China Shaanxi Key Laboratory for Network Computing and Security Technology Xi’an China

ISBN: (数字)9781665461313

ISBN: (纸本)9781665461313

In recent years, dynamic loading technologies of Android applications have emerged in an endless stream. At present, the existing Android application loading method is to load the entire Android Dalvik Executable (DEX) file for cloud-end collaboration, and there is a problem of finer-grained loading optimization in the loading process. Based on the analysis of Android DEX file in this paper, a formal model of each class is established by using the analysis result of this file, analyzes the user's behavior, and tries to ensure that the class to be used in high probability is loaded into memory first, and a block-streaming service loading optimization model of Android DEX file is put forward. The validity of the model is verified by quantitative analysis of Android DEX file. Trying to load the whole Dalvik Executable file and the classes needed by the application separately, recording and comparing the storage space and loading time overhead. In order to avoid the uncertain factors of the network environment, the above files have been tested and recorded several times. The result shows that the time and storage space for loading the whole DEX file are far greater than the sum of the classes required by the application. With this model, the fine-grained formal analysis of Android DEX file can be performed, which is of great significance for exploring the loading method of application block flow service. © 2022 IEEE.

关键词： Android (operating system)

来源：评论

学校读者我要写书评

暂无评论

Smartphone-based colorimetric detection of formaldehyde in the air

引用

Building Simulation 2024年第11期17卷 2007-2015页

作者： Meng Yang Jin Ye Tao Yu Ying Song Hua Qian Tianyi Liu Yang Chen Junqi Wang Shi-jie Cao Cong Liu School of Energy and Environment Southeast UniversityNanjing210096China School of Energy and Power Jiangsu University of Science and TechnologyZhenjiangJiangsu212100China Wuhan Second Ship Design and Research Institute Wuhan430205China Hubei Provincial Engineering and Technology Research Center for Food Quality and Safety Test Hubei Provincial Institute for Food Supervision and TestWuhan430075China Laboratory of Image Science and Technology the School of Computer Science and EngineeringSoutheast UniversityNanjingChina Jiangsu Provincial Joint International Research Laboratory of Medical Information Processing Southeast UniversityNanjingChina School of Cyber Science and Engineering Southeast UniversityNanjingChina Key Laboratory of Computer Network and Information Integration Southeast UniversityMinistry of EducationNanjingChina School of Architecture Southeast UniversityNanjingChina Jiangsu Province Engineering Research Center of Urban Heat and Pollution Control Southeast UniversityNanjingChina Global Centre for Clean Air Research(GCARE) University of SurreyGuildfordUK

Adverse impacts of exposure to formaldehyde on human health significantly increases attention in monitoring formaldehyde concentrations in the *** formaldehyde detection methods typically rely on large and costly instruments and requires high skills of expertise,preventing it from being widely accessible to *** study introduced a novel approach utilizing smartphone-based colorimetric *** of green channel signals of digital images by a smartphone successfully capture variation of purple color of 4-amino-3-hydrazino-5-mercapto-1,2,4-triazol solution,which is proportional to formaldehyde *** is because that green and purple are complimentary color pairs.A calibration curve was established between green channel signals and formaldehyde concentrations,with a correlation coefficient of *** limit of the smartphone-based method is 0.008 mg/m^(3).Measurement errors decrease as formaldehyde concentrations increase,with median relative errors of 34%,17%,and 6%for concentration ranges of 0–0.06 mg/m^(3),0.06–0.12 mg/m^(3),and 0.12–0.35 mg/m^(3),*** method replaced scientific instrumentation with ordinary items,greatly reducing cost and operation *** would provide an opportunity to realize onsite measurements for formaldehyde by occupants themselves and increase awareness of air quality for better health protection.

关键词： indoor air quality VOC RGB color identification machine vision

来源：评论

学校读者我要写书评

暂无评论

Research on active defense decision-making method for cloud boundary networks based on reinforcement learning of intelligent agent

引用

High-Confidence Computing 2024年第2期4卷 50-61页

作者： Huan Wang Yunlong Tang Yan Wang Ning Wei Junyi Deng Zhiyan Bin Weilong Li School of Computer Science and Technology Guangxi University of Science and TechnologyLiuzhou 545000China Liuzhou Key Laboratory of Big Data Intelligent Processing and Security Liuzhou 545000China Guangxi Education System Network Security Monitoring Center Liuzhou 545000China Center of Graphics and Information Guangxi ECO-Engineering Vocational&Technical CollegeLiuzhou 545004China

The cloud boundary network environment is characterized by a passive defense strategy,discrete defense actions,and delayed defense feedback in the face of network attacks,ignoring the influence of the external environment on defense decisions,thus resulting in poor defense ***,this paper proposes a cloud boundary network active defense model and decision method based on the reinforcement learning of intelligent agent,designs the network structure of the intelligent agent attack and defense game,and depicts the attack and defense game process of cloud boundary network;constructs the observation space and action space of reinforcement learning of intelligent agent in the non-complete information environment,and portrays the interaction process between intelligent agent and environment;establishes the reward mechanism based on the attack and defense gain,and encourage intelligent agents to learn more effective defense *** designed active defense decision intelligent agent based on deep reinforcement learning can solve the problems of border dynamics,interaction lag,and control dispersion in the defense decision process of cloud boundary networks,and improve the autonomy and continuity of defense decisions.

关键词： Active defense decision-making Cloud boundary network security Intelligent agent reinforcement learning Offensive and defensive game

来源：评论

学校读者我要写书评

暂无评论

A Two-Stage Chinese Medical Video Retrieval Framework with LLM 12th

A Two-Stage Chinese Medical Video Retrieval Framework with ...

引用

12th National CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2023

作者： Lei, Ningjie Cai, Jinxiang Qian, Yixin Zheng, Zhilong Han, Chao Liu, Zhiyue Huang, Qingbao School of Electrical Engineering Guangxi University Guangxi Nanning China School of Computer Electronics and Information Guangxi University Guangxi Nanning China Guangxi Key Laboratory of Multimedia Communications and Network Technology Nanning China

ISBN: (纸本)9783031446986

With the increasing popularity of online videos, research on video corpus retrieval (VCR) has made significant progress. However, existing VCR models have not performed well in the medical field due to the unique characteristics of medical VCR task. Specifically, the open-ended queries used in medical VCR are more challenging compared to image-caption style queries, and the long duration of medical videos poses a great burden on model retrieval efficiency. To address these challenges, we propose a two-stage framework based on GPT-3.5 and cross-modal contrastive global-span (CCGS) for medical video VCR (termed GPT-CMR). In the first stage, we leverage the powerful natural language processing capabilities of the large language model (LLM) GPT-3.5 to improve retrieval efficiency. In the second stage, we use CCGS model to further enhance retrieval accuracy. Additionally, we developed a CCGS-VCR Analyzer to leverage the characteristics of the CCGS model’s output without additional training costs. According to the official result, our method achieve first place in Track 2 of the NLPCC 2023 Task 5 competition. Experiments show that our method has retrieval efficiency and accuracy far exceeding the official baseline. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

Visible Light Positioning Method for Indoor Line-of-Sight Scene Based on Time Series Coding 9

Visible Light Positioning Method for Indoor Line-of-Sight Sc...

引用

9th IEEE International Conference on Data Science in Cyberspace, DSC 2024

作者： Yu, Yonghao Guo, Yongde Zhao, Dawei Fu, Kexue Tang, Yongwei Wang, Qinyuan City University of Macau Faculty of Data Science China Qilu University of Technology Shandong Academy of Sciences Key Laboratory of Computing Power Network and Information Security Ministry of Education Shandong Computer Science Center National Supercomputer Center in Jinan Jinan China Shandong Provincial Key Laboratory of Computer Networks Shandong Fundamental Research Center for Computer Science Jinan China Shandong University School of Mechanical Engineering Key Laboratory of High Efficiency and Clean Mechanical Manufacture Ministry of Education Jinan China

ISBN: (纸本)9798350391367

Existing indoor visible light positioning methods, such as those based on fingerprint database algorithms, are complex to construct and consume significant resources. In response to this issue, the text proposes an end-to-end indoor visible light positioning method that samples continuous signals at a small number of random coordinate positions in indoor environments. Through a deep learning method based on attention mechanism, a nonlinear mapping between the received signal and spatial position coordinates is constructed, and the time series properties in the received signal are encoded as a feature in the data. The method is further improved by combining residual networks to improve accuracy. Through simulation experiments, it has been verified that the deep learning based localization method described in this article can achieve sub meter level accuracy on small sample datasets, and it has been proven that time series features have a significant impact on localization accuracy in indoor visible light positioning algorithms based on deep learning. © 2024 IEEE.

关键词： Time series

来源：评论

学校读者我要写书评

暂无评论

Holistic WCRT Analysis for Global Fixed-Priority Preemptive Multiprocessor Scheduling 23

Holistic WCRT Analysis for Global Fixed-Priority Preemptive ...

引用

Proceedings of the 60th Annual ACM/IEEE Design Automation Conference

作者： Guoqi Xie Chenglai Xiong Wei Wu Renfa Li Wanli Chang Key Laboratory for Embedded and Network Computing of Hunan Province College of Computer Science and Electronic Engineering Hunan University China.

ISBN: (纸本)9798350323481

Many embedded applications demand both resource efficiency and timing guarantee. However, resource sharing naturally complicates the analysis that extracts the worst-case scenario out of contention. Global Fixed-Priority (GFP) preemptive multiprocessor scheduling is one of the mainstream strategies to resolve contention on computational resources. It allows jobs of the same task to be executed on different processors, hence potentially enabling better parallelism and more efficient resource utilization. Unfortunately, its worst-case response time (WCRT) analysis is challenging. Existing approaches divide a high-priority task into three workloads, namely, carry-in workload, body workload, and carry-out workload, trying to optimize them individually. In this work, we propose a holistic WCRT analysis for GFP preemptive multiprocessor scheduling, where a task is no longer divided. Specifically, (i) we establish the tight interference scenario for the task being analyzed to find the most interfering high-priority jobs in any time interval; (ii) we obtain the starting released instant of each high-priority task's first job to determine the maximum interference from high-priority tasks' first jobs to the task being analyzed; (iii) we build the worst-case tight interference scenario for the task being analyzed by combining the tight interference scenario and the starting released instants; (iv) we prove that the WCRT of the task being analyzed can be decided by the worst-case tight interference scenario. Evaluation on schedulability shows that our proposed analysis achieves 4.2%-8.6% higher acceptance ratio in randomly generated data sets than the state-of-the-art workload division approaches.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：