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

BATON: symphony of random testing and concolic testing through machine learning and taint analysis

science China(Information sciences) 2023年第3期66卷 97-117页

作者： Bihuan CHEN Yang LIU Xin PENG Yijian WU Shengchao QIN School of Computer Science Fudan University Shanghai Key Laboratory of Data Science Fudan University School of Computer Science and Engineering Nanyang Technological University School of Computing Teesside University

Random testing is scalable but often fails to hit corner program behaviors,while systematic testing （e.g.,concolic execution） is promising to cover corner program behaviors but is not scalable to explore all program *** attempts to integrate random testing with systematic testing lack targeted *** this paper,we propose a guided hybrid testing approach,named BATON,to synergize random testing with concolic *** integrates the knowledge inside test cases and their executions into a conditional execution graph,and uses such knowledge to guide test case ***,we learn classification models for some conditionals in the conditional execution graph in a demand-driven *** models are used to guide random testing to reach and cover partially-covered *** further employ targeted concolic testing to cover conditionals that cannot be fully covered by guided random *** implemented BATONfor Java and evaluated it on three *** results show that BATONimproved branch coverage and mutation score over random testing by 16.2%–29.4%and 19.0%–30.0%,over adaptive random testing by 16.8%–33.8%and 19.4%–34.2%,over concolic testing by 2.3%–29.9%and 2.9%–30.1%,and over simple hybrid testing by 1.6%–14.5%and 1.4%–18.7%.

关键词： system testing random testing concolic testing

来源：评论

学校读者我要写书评

暂无评论

MSCA-UNet: Multi-Scale Channel Adaptive Sensing Module for Medical Image Segmentation

MSCA-UNet: Multi-Scale Channel Adaptive Sensing Module for M...

引用

2024 International Conference on New Trends in Computational Intelligence, NTCI 2024

作者： Diao, Liangjin Shen, Longfeng Chen, Jiacong Ge, Fangzhen Li, Mengwen College of Computer Science and Technology Huaibei Normal University Anhui Huaibei China Institute of Artificial Intelligence Hefei Comprehensive National Science Center Hefei China Anhui University Key Laboratory of Intelligent Computing & Signal Processing Ministry of Education Anhui Hefei China

ISBN: (纸本)9798331517021

Recent advancements in CNNs for medical image segmentation have focused on the combination of CNN and Transformer architectures to capture both local and global features. However, challenges remain, such as effectively utilizing fused features at the encoder-decoder bottleneck and addressing blurred object edges in datasets. To tackle these issues, we introduce a multi-scale channel adaptive sensing module, enhancing the model's representational and perceptual capabilities by integrating multi-scale and channel-specific information. Additionally, we propose a cross-perception module and multi-scale segmentation head to improve global coordination and multi-scale information gathering. Experiments on the ACDC and Synapse datasets demonstrate our model's superiority. © 2024 IEEE.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Incentivizing Crowdsensing for DT-Enabled Metaverse 20th

Incentivizing Crowdsensing for DT-Enabled Metaverse

引用

20th IFIP WG 10.3 International Conference on Network and Parallel computing, NPC 2024

作者： Ye, Dongdong Huang, Xumin Wu, Yuan Kang, Jiawen Zhong, Weifeng Niyato, Dusit School of Automation Guangdong University of Technology Guangzhou China State Key Laboratory of Internet of Things for Smart City University of Macau Taipa China Department of Computer and Information Science University of Macau Taipa China Collge of Computing and Data Science Nanyang Technological University Singapore Singapore

ISBN: (纸本)9789819628292

Digital Twin (DT) has been proposed as a key enabling technology to produce a digital clone of the physical world and facilitate the convergence of the physical and virtual worlds for building a real-world Metaverse. For physical-virtual synchronization, crowdsensing is applied to employ Internet of Things (IoT) devices to sense physical objects and collect status information for timely updating the associated DTs. However, an incentive mechanism is necessitated to stimulate the devices to perform sensing tasks while meeting task requirements such as Age of Information (AoI) requirements. Thus, we adopt a contract theoretic approach to design an incentive mechanism for the devices that are classified into several types and the type parameters are unknown to others. The contract consists of a set of contract items with each contract item representing a device type, which specifies the required data updating frequency and monetary reward. We formulate an optimal contract design problem subject to feasible constraints including the average AoI requirement for each device type. Furthermore, we solve the problem by transforming it into a convex optimization problem that can be directly tackled by the existing methods. Finally, we provide numerical results to demonstrate the effectiveness and efficiency of our scheme. © IFIP International Federation for Information Processing 2025.

关键词： Convex optimization

来源：评论

学校读者我要写书评

暂无评论

Research on patent recommendation method based on graph neural network 26

Research on patent recommendation method based on graph neur...

引用

26th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2023

作者： Zhang, Enchao Liu, Weidong Liu, Shi Cao, Yan Institute of Scientific and Technical Information of China China College of Computer Science Inner Mongolia University China Natl. Loc. Jt. Eng. Research Center of Intelligent Information Processing Technology for Mongolian China Inner Mongolia Key Laboratory of Social Computing and Data Processing China Inner Mongolia Engineering Laboratory for Big Data Analysis Technology China

ISBN: (纸本)9798350331684

Intellectual property transactions have shown a strong growth momentum in recent years, but the patent transaction market has been plagued by the matching degree of consumers and sellers, resulting in frequent problems such as low patent transformation efficiency and poor transaction quality. This paper proposes a method of recommending patents to consumers by experts to improve the environment of patent transactions. Through the analysis of the past transaction information of the patent, the effective path information of the target is extracted. The graph neural network is used to describe the characteristics and semantics among experts, patents and consumers, and then capture the potential weight among them through the common attention mechanism, and then dynamically integrate them to predict the occurrence of recommendation behavior. The paper makes reasonable use of social information and expert information in the transaction, which significantly improves the rationality and accuracy of expert recommendation. © 2023 IEEE.

关键词： Patents and inventions

来源：评论

学校读者我要写书评

暂无评论

IF-Font: ideographic description sequence-following font generation 24

IF-Font: ideographic description sequence-following font gen...

引用

Proceedings of the 38th International Conference on Neural Information Processing Systems

作者： Xinping Chen Xiao Ke Wenzhong Guo Fujian Provincial Key Laboratory of Networking Computing and Intelligent Information Processing College of Computer and Data Science Fuzhou University Fuzhou China and Engineering Research Center of Big Data Intelligence Ministry of Education Fuzhou China

ISBN: (纸本)9798331314385

Few-shot font generation (FFG) aims to learn the target style from a limited number of reference glyphs and generate the remaining glyphs in the target font. Previous works focus on disentangling the content and style features of glyphs, combining the content features of the source glyph with the style features of the reference glyph to generate new glyphs. However, the disentanglement is challenging due to the complexity of glyphs, often resulting in glyphs that are influenced by the style of the source glyph and prone to artifacts. We propose IF-Font, a novel paradigm which incorporates Ideographic Description Sequence (IDS) instead of the source glyph to control the semantics of generated glyphs. To achieve this, we quantize the reference glyphs into tokens, and model the token distribution of target glyphs using corresponding IDS and reference tokens. The proposed method excels in synthesizing glyphs with neat and correct strokes, and enables the creation of new glyphs based on provided IDS. Extensive experiments demonstrate that our method greatly outperforms state-of-the-art methods in both one-shot and few-shot settings, particularly when the target styles differ significantly from the training font styles. The code is available at https://***/Stareven233/IF-Font.

关键词：

来源：评论

学校读者我要写书评

暂无评论

NumbOD: A Spatial-Frequency Fusion Attack Against Object Detectors 39

NumbOD: A Spatial-Frequency Fusion Attack Against Object Det...

引用

39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025

作者： Zhou, Ziqi Li, Bowen Song, Yufei Yu, Zhifei Hu, Shengshan Wan, Wei Zhang, Leo Yu Yao, Dezhong Jin, Hai National Engineering Research Center for Big Data Technology and System China Services Computing Technology and System Lab China Cluster and Grid Computing Lab China Hubei Engineering Research Center on Big Data Security China Hubei Key Laboratory of Distributed System Security China School of Computer Science and Technology Huazhong University of Science and Technology China School of Cyber Science and Engineering Huazhong University of Science and Technology China School of Information and Communication Technology Griffith University Australia

ISBN: (纸本)157735897X

With the advancement of deep learning, object detectors (ODs) with various architectures have achieved significant success in complex scenarios like autonomous driving. Previous adversarial attacks against ODs have been focused on designing customized attacks targeting their specific structures (e.g., NMS and RPN), yielding some results but simultaneously constraining their scalability. Moreover, most efforts against ODs stem from image-level attacks originally designed for classification tasks, resulting in redundant computations and disturbances in object-irrelevant areas (e.g., background). Consequently, how to design a model-agnostic efficient attack to comprehensively evaluate the vulnerabilities of ODs remains challenging and unresolved. In this paper, we propose NumbOD, a brand-new spatial-frequency fusion attack against various ODs, aimed at disrupting object detection within images. We directly leverage the features output by the OD without relying on its internal structures to craft adversarial examples. Specifically, we first design a dual-track attack target selection strategy to select high-quality bounding boxes from OD outputs for targeting. Subsequently, we employ directional perturbations to shift and compress predicted boxes and change classification results to deceive ODs. Additionally, we focus on manipulating the high-frequency components of images to confuse ODs’ attention on critical objects, thereby enhancing the attack efficiency. Our extensive experiments on nine ODs and two datasets show that NumbOD achieves powerful attack performance and high stealthiness. © 2025, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Deep learning

来源：评论

学校读者我要写书评

暂无评论

SRv6-INT Enabled Network Monitoring and Measurement: Toward High-Yield Network Observability for Digital Twin 3rd

SRv6-INT Enabled Network Monitoring and Measurement: Toward...

引用

3rd International Conference on Machine Learning, Cloud computing and intelligent Mining, MLCCIM 2024

作者： Zhang, Xu Feng, Chuan Han, Pengchao Liu, Wei Gong, Xiaoxue Zhang, Qiupei Guo, Lei School of Communications and Information Engineering Chongqing University of Posts and Telecommunications Chongqing400065 China Institute of Intelligent Communication and Network Security Chongqing University of Posts and Telecommunications Chongqing400065 China Key Laboratory of Big Data Intelligent Computing Chongqing University of Posts and Telecommunications Chongqing400065 China School of Information Engineering Guangdong University of Technology Guangzhou510006 China

ISBN: (纸本)9789819616978

Network monitoring and measurement is an important part of realizing the network digital twin. However, it introduces the problem of high cost when obtaining the status data of physical networks. Therefore, to efficiently achieve network observability, we first introduce potential techniques and network scenarios for implementing network measurements. Then, a High-Yield Segment Routing over IPv6 based In-band Network Telemetry (HY-SRv6-INT) system is proposed in this paper. In particular, we design the HY-SRv6-INT system architecture. It consists of IPv6 switches implemented by the P4 language and a Software-Defined Networking (SDN) controller containing the HY-SRv6-INT application. Next, we experimentally demonstrate a packet-level path-associated network measurement process. In addition, the performance of the HY-SRv6-INT system is also quantitatively evaluated to verify its advantages. Finally, we discuss some research challenges and open issues for future network telemetry. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Internet protocols

来源：评论

学校读者我要写书评

暂无评论

Towards Stricter Black-box Integrity Verification of Deep Neural Network Models 24

Towards Stricter Black-box Integrity Verification of Deep Ne...

引用

32nd ACM International Conference on Multimedia, MM 2024

作者： He, Chaoxiang Bai, Xiaofan Ma, Xiaojing Zhu, Bin B. Hu, Pingyi Fu, Jiayun Jin, Hai Zhang, Dongmei Huazhong University of Science and Technology Hubei Wuhan China Shanghai Jiao Tong University Shanghai China Microsoft Corporation Beijing China National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Hubei Engineering Research Center on Big Data Security Hubei Key Laboratory of Distributed System Security School of Cyber Science and Engineering Huazhong University of Science and Technology China National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology China

ISBN: (纸本)9798400706868

Cloud-based machine learning services offer significant advantages but also introduce the risk of tampering with cloud-deployed deep neural network (DNN) models. Black-box integrity verification (BIV) allows model owners and end-users to determine if a cloud-deployed DNN model has been tampered with by examining only the top-1 label responses. Fingerprinting generates fingerprint samples to query the model, achieving BIV with no impact on the model's accuracy. In this paper, we present BIVBench, the first comprehensive benchmark for BIV of DNN models. BIVBench covers 16 types of model modifications, providing extensive coverage of practical modification scenarios. Our analysis reveals that existing fingerprinting methods, which are typically focused on significant tampering, lack the sensitivity needed to effectively detect subtle yet common and potentially severe modifications. To address this limitation, we propose MiSentry (Model Integrity Sentry), a novel fingerprinting method that leverages meta-learning. MiSentry strategically incorporates a few subtly modified models into the meta-learning model zoo and maximizes the divergence of output predictions between the target model and the modified models in the model zoo to generate highly sensitive, generalizable, and effective fingerprint samples. Extensive evaluations using BIVBench demonstrate that MiSentry outperforms existing state-of-the-art methods overall and significantly surpasses them in detecting subtle modifications. The BIVBench and supplementary materials are available at: https://***/CGCL-codes/BIVBench. © 2024 ACM.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

GACP:graph neural networks with ARMA flters and a parallel CNN for hyperspectral image classification

引用

International Journal of Digital Earth 2023年第1期16卷 1770-1800页

作者： Jing Yang Jie Sun Yaping Ren Shaobo Li Shujie Ding Jianjun Hu School of Mechanical Engineering Guizhou UniversityGuiyangPeople’s Republic of China State Key Laboratory of Public Big Data Guizhou UniversityGuiyangPeople’s Republic of China School of Intelligent Systems Science and Engineering Jinan UniversityZhuhaiPeople’s Republic of China Department of Computer Science and Engineering University of South CarolinaColumbiaSCUSA

In recent years,the use of convolutional neural networks(CNNs)and graph neural networks(GNNs)to identify hyperspectral images(HSIs)has achieved excellent results,and such methods are widely used in agricultural remote sensing,geological exploration,and marine remote *** many generalization classification algorithms are designed for the purpose of learning a small number of samples,there is often a problem of a low utilization rate of position information in the empty spectral *** on this,a GNN with an autoregressive moving average(ARMA)-based smoothingfilter samples the node information in the null spectral domain and then captures the spatial information at the pixel level via spatial feature convolution;then,the null spectral domain position information lost by the CNN is located by a coordinate attention(CA)***,autoregressive,spatial convolution,and CA mechanisms are combined into multiscale features to enhance the learning capacity of the network for tiny *** conducted on the widely used Indian Pines(IP)dataset,the Botswana(BS)dataset,Houton 2013(H2013),and the WHU-Hi-HongHu(WHU)benchmark HSI dataset demonstrate that the proposed GACP technique can perform classification work with good accuracy even with a small number of training examples.

关键词： Graph neural networks word convolutional neural networks hyperspectral image classification attention mechanisms

来源：评论

学校读者我要写书评

暂无评论

FedLMT: Tackling System Heterogeneity of Federated Learning via Low-Rank Model Training with Theoretical Guarantees 41

FedLMT: Tackling System Heterogeneity of Federated Learning ...

引用

41st International Conference on Machine Learning, ICML 2024

作者： Liu, Jiahao Zhou, Yipeng Wu, Di Hu, Miao Guizani, Mohsen Sheng, Quan Z. School of Computer Science and Engineering Sun Yat-sen University Guangzhou China Guangdong Key Laboratory of Big Data Analysis and Processing Guangzhou China School of Computing Faculty of Science and Engineering Macquarie University Sydney Australia Abu Dhabi United Arab Emirates

Federated learning (FL) is an emerging machine learning paradigm for preserving data privacy. However, diverse client hardware often has varying computation resources. Such system heterogeneity limits the participation of resource-constrained clients in FL, and hence degrades the global model accuracy. To enable heterogeneous clients to participate in and contribute to FL training, previous works tackle this problem by assigning customized sub-models to individual clients with model pruning, distillation, or low-rank based techniques. Unfortunately, the global model trained by these methods still encounters performance degradation due to heterogeneous sub-model aggregation. Besides, most methods are heuristic-based and lack convergence analysis. In this work, we propose the FedLMT framework to bridge the performance gap, by assigning clients with a homogeneous pre-factorized low-rank model to substantially reduce resource consumption without conducting heterogeneous aggregation. We theoretically prove that the convergence of the low-rank model can guarantee the convergence of the original full model. To further meet clients' personalized resource needs, we extend FedLMT to pFedLMT, by separating model parameters into common and custom ones. Finally, extensive experiments are conducted to verify our theoretical analysis and show that FedLMT and pFedLMT outperform other baselines with much less communication and computation costs. Copyright 2024 by the author(s)

关键词： Federated learning

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：