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

Listen With Seeing: Cross-Modal Contrastive Learning for Audio-Visual Event Localization

IEEE Transactions on Multimedia 2025年 27卷 2650-2665页

作者： Sun, Chao Chen, Min Zhu, Chuanbo Zhang, Sheng Lu, Ping Chen, Jincai Huazhong University of Science and Technology Wuhan National Laboratory for Optoelectronics Key Laboratory of Information Storage System Engineering Research Center of Data Storage Systems and Technology Ministry of Education of China School of Computer Science and Technology Wuhan430074 China South China University of Technology School of Computer Science and Engineering Guangzhou510640 China Pazhou Laboratory Guangzhou510640 China

In real-world physiological and psychological scenarios, there often exists a robust complementary correlation between audio and visual signals. Audio-Visual Event Localization (AVEL) aims to identify segments with Audio-Visual Events (AVEs) that contain both audio and visual tracks in unconstrained videos. Prior studies have predominantly focused on audio-visual cross-modal fusion methods, overlooking the fine-grained exploration of the cross-modal information fusion mechanism. Moreover, due to the inherent heterogeneity of multi-modal data, inevitable new noise is introduced during the audio-visual fusion process. To address these challenges, we propose a novel Cross-modal Contrastive Learning Network (CCLN) for AVEL, comprising a backbone network and a branch network. In the backbone network, drawing inspiration from physiological theories of sensory integration, we elucidate the process of audio-visual information fusion, interaction, and integration from an information-flow perspective. Notably, the Self-constrained Bi-modal Interaction (SBI) module is a bi-modal attention structure integrated with audio-visual fusion information, and through gated processing of the audio-visual correlation matrix, it effectively captures inter-modal correlation. The Foreground Event Enhancement (FEE) module emphasizes the significance of event-level boundaries by elongating the distance between scene events during training through adaptive weights. Furthermore, we introduce weak video-level labels to constrain the cross-modal semantic alignment of audio-visual events and design a weakly supervised cross-modal contrastive learning loss (WCCL Loss) function, which enhances the quality of fusion representation in the dual-branch contrastive learning framework. Extensive experiments conducted on the AVE dataset for both fully supervised and weakly supervised event localization, as well as Cross-Modal Localization (CML) tasks, demonstrate the superior performance of our model compa

关键词： information fusion

来源：评论

学校读者我要写书评

暂无评论

Assessment of Multilevel Intransitive Noninterference by Nonblocking Analysis

引用

IEEE Transactions on Automatic Control 2025年第5期70卷 2902-2917页

作者： Zhong, Wenjing Zhao, Jinjing Hu, Hesuan Xidian University School of Electro-Mechanical Engineering Xi'an710071 China National Key Laboratory of Science and Technology on Information System Security Beijing100101 China Nanyang Technological University School of Computer Science and Engineering College of Engineering 639798 Singapore Xi'an Jiaotong University State Key Laboratory for Manufacturing Systems Engineering Xi'an710054 China

Security of system behavior is a kind of information flow security, which is achieved by confusing the intruders via the indistinguishability of system behaviors. Noninterference is a typical notion to describe information flow security, for which multilevel intransitive noninterference (MINI) is an advanced variant. Since there is a lack of rigorous approach to assessing MINI, this article achieves so via observability theory. For systems modeled by labeled Petri nets (LPNs), two MINI properties, i.e., positive MINI (PMINI) and bipolar MINI (BMINI), are considered. First, a necessary and sufficient condition for their assessment is established via language equivalence. Language equivalence analyses for PMINI and BMINI are based on the existing trace equivalence and the proposed INI bisimulation, respectively. INI bisimulation is more comprehensive to describe negative noninterference than bisimulation. Second, another necessary and sufficient condition is established after the transformation of MINI assessment problem to nonblocking analysis problem. The core of such a problem transformation is the stepwise construction of nonblocking analyzer. This stepwise construction allows MINI assessment to proceed online before terminating at an appropriate time. In addition, this stepwise construction fully employs the concurrency of LPNs so that MINI can be assessed in a multithreaded way. Both online and multithreaded MINI assessments can improve assessment efficiency. © 1963-2012 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Enhancing Classification Algorithm Recommendation in Automated Machine Learning: A Meta-Learning Approach Using Multivariate Sparse Group Lasso

引用

computer Modeling in engineering & Sciences 2025年第2期142卷 1611-1636页

作者： Irfan Khan Xianchao Zhang Ramesh Kumar Ayyasamy Saadat M.Alhashmi Azizur Rahim School of Software Dalian University of TechnologyDalian116620China Faculty of Information and Communication Technology Universiti Tunku Abdul RahmanKampar31900Malaysia College of Computing and Informatics University of SharjahSharjah27272United Arab Emirates Department of Computer Systems Engineering University of Engineering and Applied SciencesSwat19200Pakistan

The rapid growth of machine learning(ML)across fields has intensified the challenge of selecting the right algorithm for specific tasks,known as the Algorithm Selection Problem(ASP).Traditional trial-and-error methods have become impractical due to their resource *** Machine Learning(AutoML)systems automate this process,but often neglect the group structures and sparsity in meta-features,leading to inefficiencies in algorithm recommendations for classification *** paper proposes a meta-learning approach using Multivariate Sparse Group Lasso(MSGL)to address these *** method models both within-group and across-group sparsity among meta-features to manage high-dimensional data and reduce multicollinearity across eight meta-feature *** Fast Iterative Shrinkage-Thresholding Algorithm(FISTA)with adaptive restart efficiently solves the non-smooth optimization *** validation on 145 classification datasets with 17 classification algorithms shows that our meta-learning method outperforms four state-of-the-art approaches,achieving 77.18%classification accuracy,86.07%recommendation accuracy and 88.83%normalized discounted cumulative gain.

关键词： Meta-learning machine learning automated machine learning classification meta-features

来源：评论

学校读者我要写书评

暂无评论

AI-Enhanced Secure Data Aggregation for Smart Grids with Privacy Preservation

引用

computers, Materials & Continua 2025年第1期82卷 799-816页

作者： Congcong Wang Chen Wang Wenying Zheng Wei Gu School of Software Nanjing University of Information Science and TechnologyNanjing210044China School of Information Science and Engineering Zhejiang Sci-Tech UniversityHangzhou310018China State Key Laboratory of Public Big Data Guizhou UniversityGuiyang550025China School of Computer Science and Technology(School of Artificial Intelligence) Zhejiang Sci-Tech UniversityHangzhou310018China School of Computer Science(School of Cyber Science and Engineering) Nanjing University of Information Science and TechnologyNanjing210044China

As smart grid technology rapidly advances,the vast amount of user data collected by smart meter presents significant challenges in data security and privacy *** research emphasizes data security and user privacy concerns within smart ***,existing methods struggle with efficiency and security when processing large-scale *** efficient data processing with stringent privacy protection during data aggregation in smart grids remains an urgent *** paper proposes an AI-based multi-type data aggregation method designed to enhance aggregation efficiency and security by standardizing and normalizing various data *** approach optimizes data preprocessing,integrates Long Short-Term Memory(LSTM)networks for handling time-series data,and employs homomorphic encryption to safeguard user *** also explores the application of Boneh Lynn Shacham(BLS)signatures for user *** proposed scheme’s efficiency,security,and privacy protection capabilities are validated through rigorous security proofs and experimental analysis.

关键词： Smart grid data security privacy protection artificial intelligence data aggregation

来源：评论

学校读者我要写书评

暂无评论

OFDM-structure based waveform designs for integrated sensing and communication

引用

Science China(information Sciences) 2025年第5期68卷 267-284页

作者： Jiaqi LIU Ping YANG Ke JIANG Jiarong ZHAO Wei XIANG Jianping WEI Ruixiang DUAN Saviour ZAMMIT Tony Q.S.QUEK National Key Laboratory of Wireless Communications University of Electronic Science and Technology of China School of Computing Engineering and Mathematical Sciences La Trobe University Meituan Academy of Robotics Department of Communications and Computer Engineering University of Malta Information Systems Technology and Design Pillar Singapore University of Technology and Design

The future sixth-generation(6G) paradigm aims to seamlessly integrate communication and environmental sensing capabilities into a single radio signal, promising improved efficiency and cost-effectiveness through simultaneous data communications and environmental perception. At the core of this evolution, orthogonal frequency division multiplexing(OFDM) and its advanced waveforms emerge as pivotal for integrated sensing and communications(ISAC). This study introduces a concise and unified ISAC waveform design framework based on orthogonal multicarriers. This framework supports versatile applications of OFDM and its derivative waveforms within a generalized ISAC system, marking a significant leap in integrating communication and sensing capabilities. A distinguishing feature of this framework is its adaptability,allowing users to intelligently select modulation strategies based on their specific environmental needs. This adaptability optimizes performance across diverse scenarios. Central to our innovations is the proposal of discrete Fourier transformspread OFDM with index modulation(DFT-S-OFDM-IM). This framework is paired with newly proposed signal processing methods for single-input single-output and multiple-input multiple-output(MIMO) systems. Extensive evaluations highlight DFT-S-OFDM-IM's superiority, including dramatically reduced peak-to-average power ratios(PAPRs), competitive communication performance, and exceptional sensing capabilities, striking an elegant balance between communication capacity and environmental sensing precision.

关键词： DFT-S-OFDM-IM index modulation integrated sensing and communication OFDM

来源：评论

学校读者我要写书评

暂无评论

Lessons in Cooperation: Driver Sentiments Toward Real-Time Advisory systems

引用

IEEE Intelligent Transportation systems Magazine 2025年 2-13页

作者： Hasan, Aamir Chakraborty, Neeloy Chen, Haonan Wu, Cathy Driggs-Campbell, Katherine Meta Menlo ParkCA94025 United States University of Illinois Urbana-Champaign Department of Electrical and Computer Engineering UrbanaIL61801 United States Massachusetts Institute of Technology Laboratory for Information & Decision Systems Civil and Environmental Engineering Institute for Data Systems and Society CambridgeMA02139 United States

Real-time advisory systems (RTASs) are a crucial milestone on the road toward fully autonomous driving. Current proof-of-concept RTASs, which observe drivers and their environment to provide advice, are effective in addressing fundamental traffic issues (e.g., congestion mitigation). However, interactions between these advisors and drivers have not yet been studied. In this article, we present insights from the first user study to explore drivers' interactions with these progressive systems. We query the reactions of 16 drivers to congestion mitigation advisors (CMAs) in a driving simulator. We discuss drivers' sentiments toward CMAs exhibiting diverse behaviors and their preferences for various aspects of the interactions such as the advice provided and the user interface. The effects of the behaviors on driver trust and adaption are also explored. We present recommendations to inform the design of cooperative advisory systems that will be ubiquitous as vehicle technology moves toward full automation. © 2009-2012 IEEE.

关键词： Real time control

来源：评论

学校读者我要写书评

暂无评论

MLPFormer: MLP-integrated transformer for colorectal histopathology whole slide image segmentation

引用

Neural Computing and Applications 2025年第6期37卷 4651-4661页

作者： Wang, Yuxuan Li, Dan Li, Xuechen Guo, Yan Zuo, Yanfei Shen, Linlin Department of Computer Science Wenzhou-Kean University Wenzhou China School of Electronics and Information Engineering Wuyi University Jiangmen China Department of Histo Pathology Shanghai Histo Pathology Diagnostic Center Shanghai China College of Computer Sicence and Software Engineering Shenzhen University Shenzhen China National Engineering Laboratory for Big Data System Computing Technology Shenzhen University Shenzhen China

Colorectal intraepithelial neoplasia is a precancerous lesion of colorectal cancer, which is mainly diagnosed using pathological images. According to the characteristics of lesions, precancerous lesions can be classified into four different grades, i.e., background, normal, low and high level. However, due to the continuity of lesion development, tissue in different stages has high similarity. Recently, visual transformers have achieved impressive results in different visual tasks, due to their capacity of capturing long-range dependencies. However, due to computational cost, transformer cannot well extract detailed feature, which is important for lesion grading. To accurately segment pathological tissues with high similarity, in this work, we embed the multi-head MLP mixer module in the transformer network to extract cell and edge information. Furthermore, we propose a hierarchical MLP decoder to facilitate multi-scale feature fusion. The proposed transformer, namely MLPFormer, achieves remarkable results against competitive baselines on the Histo-CRC Biopsy dataset. The experimental results demonstrate that MLPFormer significantly outperforms the competitive baselines, i.e., a 3% dice improvement is achieved over the SegFormer series. © The Author(s), under exclusive licence to Springer-Verlag London Ltd., part of Springer Nature 2024.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

NumScout: Unveiling Numerical Defects in Smart Contracts Using LLM-Pruning Symbolic Execution

引用

IEEE Transactions on software engineering 2025年第5期51卷 1538-1553页

作者： Chen, Jiachi Shao, Zhenzhe Yang, Shuo Shen, Yiming Wang, Yanlin Chen, Ting Shan, Zhenyu Zheng, Zibin Hangzhou Normal University Intelligent Transportation and Information Security Laboratory Hangzhou311121 China Sun Yat-sen University School of Software Engineering Zhuhai519082 China University of Electronic Science and Technology of China School of Computer Science and Engineering School of Cyber Security Chengdu611731 China Kashi Institute of Electronics and Information Industry Kashi844000 China

In recent years, the Ethereum platform has witnessed a proliferation of smart contracts, accompanied by exponential growth in total value locked (TVL). High-TVL smart contracts often require complex numerical computations, particularly in mathematical financial models used by many decentralized applications (DApps). Improper calculations can introduce numerical defects, posing potential security risks. Existing research primarily focuses on traditional numerical defects like integer overflow, and there is currently a lack of systematic research and effective detection methods targeting new types of numerical defects. In this paper, we identify five new types of numerical defects through the analysis of 1,199 audit reports by utilizing the open card method. Each defect is defined and illustrated with a code example to highlight its features and potential consequences. We also propose NumScout, a symbolic execution-based tool designed to detect these five defects. Specifically, the tool combines information from source code and bytecode, analyzing key operations such as comparisons and transfers, to effectively locate defects and report them based on predefined detection patterns. Furthermore, NumScout uses a large language model (LLM) to prune functions which are unrelated to numerical operations. This step allows symbolic execution to quickly enter the target function and improve runtime speed by 28.4%. We run NumScout on 6,617 real-world contracts and evaluated its performance based on manually labeled results. We find that 1,774 contracts contained at least one of the five defects, and the tool achieved an overall precision of 89.7%. © 1976-2012 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Against Mobile Collusive Eavesdroppers: Cooperative Secure Transmission and Computation in UAV-Assisted MEC Networks

引用

IEEE Transactions on Mobile Computing 2025年第6期24卷 5280-5297页

作者： Zhao, Mingxiong Wang, Zirui Guo, Kun Zhang, Rongqian Quek, Tony Q. S. Yunnan University National Pilot School of Software Kunming650500 China Ministry of Education Engineering Research Center of Integration and Application of Digital Learning Technology Beijing100039 China Ministry of Education Engineering Research Center of Cyberspace Kunming650504 China Yunnan University of Finance and Economics Yunnan Key Laboratory of Service Computing Kunming650221 China Yunnan University Yunnan Key Laboratory of Software Engineering Kunming650091 China East China Normal University Shanghai Key Laboratory of Multidimensional Information Processing School of Communications and Electronics Engineering Shanghai200241 China Yunnan University School of Information Science and Engineering Kunming650500 China Singapore University of Technology and Design Information Systems Technology and Design 487372 Singapore

In Uncrewed Aerial Vehicle (UAV)-assisted Mobile Edge Computing (MEC) networks, the security of transmission faces significant challenges due to the vulnerabilities of line-of-sight links and potential eavesdropping on two-hop links. This paper addresses these challenges with an innovative Cooperative Secure Transmission and Computation strategy (CSTC), specifically engineered for time-slotted UAV-assisted MEC networks plagued by mobile collusive eavesdroppers. These eavesdroppers significantly bolster their interception capabilities through coordinated and optimized movements, escalating the security threats. To neutralize these risks, the proposed CSTC employs the UAV and remote devices as helper nodes to emit jamming signals, thereby thwarting eavesdropping activities, while simultaneously facilitating the efficient relay of users’ tasks to the base station for advanced processing. The CSTC aims to maximize the sum Secrecy Transmission Rate (STR) satisfying task latency constraints. It involves a joint optimization of UAV trajectory, jamming beamformers, transmit power, and data offloading strategy to expedite task transmission. Additionally, a real-time computation scheduling approach is developed based on a newly defined metric, the Urgency Degree of Users (UDoU), to enhance task processing efficiency. Our extensive simulations validate that the CSTC not only elevates the sum STR but also consistently meets latency constraints, demonstrating its robustness against advanced mobile eavesdropping techniques. © 2002-2012 IEEE.

关键词： Jamming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：