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

2024 International Conference Optoelectronic Information and Optical Engineering, OIOE 2024

作者： Wang, Wuyong Ma, Xingkong Liu, Bo College of Computer Science and Technology National University of Defense Technology Changsha410073 China State Key Laboratory of Complex & Critical Software Environment Changsha410073 China Strategic Evaluation and Consultation Center Academy of Military Sciences Beijing100000 China

ISBN: (数字)9781510688209

ISBN: (纸本)9781510688193

Predicting ship trajectories is vital for enhancing maritime safety, optimizing route planning, and boosting the efficiency of maritime traffic management. Current research often neglects the complex marine environment and the effect of ship performance on prediction accuracy. To address these deficiencies, we present a feature-aware transformer-based methodology that integrates meteorological and ship performance data. Our method begins with a time interpolation technique to synchronize the inconsistent time resolutions between meteorological and trajectory data, thereby establishing a comprehensive multi-source dataset. We develop a feature-aware module using transformer architecture to consolidate ship and meteorological features into a unified low-dimensional space, thus enabling the modeling of feature interactions. Experiments on Automatic Identification System (AIS) datasets indicate that our approach reduces the average prediction error to within 4 kilometers over a prediction period of up to 6 hours, achieving a 13% improvement over the state-of-the-art transformer-based methods. © 2025 SPIE.

关键词： Vehicle performance

来源：评论

学校读者我要写书评

暂无评论

Autonomous sortie scheduling for carrier aircraft fleet under towing mode

引用

Defence Technology(防务技术) 2025年第1期43卷 1-12页

作者： Zhilong Deng Xuanbo Liu Yuqi Dou Xichao Su Haixu Li Lei Wang Xinwei Wang Department of Engineering Mechanics State Key Laboratory of Structural AnalysisOptimization and CAE Software for Industrial EquipmentDalian University of TechnologyDalian116024China School of Mathematical Sciences Dalian University of TechnologyDalian 116024China Naval Aviation University Yantai 264001China China State Shipbuilding Corporation Systems Engineering Research Institute Beijing 100094China Department of Automation School of Information Science and TechnologyTsinghua UniversityBeijing 100084China

Safe and efficient sortie scheduling on the confined flight deck is crucial for maintaining high combat effectiveness of the aircraft *** primary difficulty exactly lies in the spatiotemporal coordination,i.e.,allocation of limited supporting resources and collision-avoidance between heterogeneous dispatch *** this paper,the problem is investigated in the perspective of hybrid flow-shop scheduling problem by synthesizing the precedence,space and resource ***,eight processing procedures are abstracted,where tractors,preparing spots,catapults,and launching are virtualized as *** analyzing the constraints in sortie scheduling,a mixed-integer planning model is *** particular,the constraint on preparing spot occupancy is improved to further enhance the sortie *** basic trajectory library for each dispatch entity is generated and a delayed strategy is integrated to address the collision-avoidance *** efficiently solve the formulated HFSP,which is essentially a combinatorial problem with tightly coupled constraints,a chaos-initialized genetic algorithm is *** solution framework is validated by the simulation environment referring to the Fort-class carrier,exhibiting higher sortie efficiency when compared to existing *** animation of the simulation results is available at ***/video/BV14t421A7Tt/.The study presents a promising supporting technique for autonomous flight deck operation in the foreseeable future,and can be easily extended to other supporting scenarios,e.g.,ammunition delivery and aircraft maintenance.

关键词： Carrier aircraft Autonomous sortie scheduling Resource allocation Collision-avoidance Hybrid flow-shop scheduling problem

来源：评论

学校读者我要写书评

暂无评论

A wolf in sheep's clothing: practical black-box adversarial attacks for evading learning-based windows malware detection in the wild 24

A wolf in sheep's clothing: practical black-box adversarial ...

引用

Proceedings of the 33rd USENIX Conference on Security Symposium

作者： Xiang Ling Zhiyu Wu Bin Wang Wei Deng Jingzheng Wu Shouling Ji Tianyue Luo Yanjun Wu Intelligent Software Research Center Institute of Software Chinese Academy of Sciences and Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Zhejiang University Zhejiang Key Laboratory of Artificial Intelligence of Things (AIoT) Network and Data Security and Hangzhou Research Institute Xidian University Intelligent Software Research Center Institute of Software Chinese Academy of Sciences

ISBN: (纸本)9781939133441

Given the remarkable achievements of existing learning-based malware detection in both academia and industry, this paper presents MalGuise, a practical black-box adversarial attack framework that evaluates the security risks of existing learning-based Windows malware detection systems under the black-box setting. MalGuise first employs a novel semantics-preserving transformation of call-based redividing to concurrently manipulate both nodes and edges of malware's control-flow graph, making it less noticeable. By employing a Monte-Carlo-tree-search-based optimization, MalGuise then searches for an optimized sequence of call-based redividing transformations to apply to the input Windows malware for evasions. Finally, it reconstructs the adversarial malware file based on the optimized transformation sequence while adhering to Windows executable format constraints, thereby maintaining the same semantics as the original. MalGuise is systematically evaluated against three state-of-the-art learning-based Windows malware detection systems under the black-box setting. Evaluation results demonstrate that MalGuise achieves a remarkably high attack success rate, mostly exceeding 95%, with over 91% of the generated adversarial malware files maintaining the same semantics. Furthermore, MalGuise achieves up to a 74.97% attack success rate against five anti-virus products, highlighting potential tangible security concerns to real-world users.

关键词：

来源：评论

学校读者我要写书评

暂无评论

SLAM: Towards Efficient Multilingual Reasoning via Selective Language Alignment 31

SLAM: Towards Efficient Multilingual Reasoning via Selective...

引用

31st International Conference on Computational Linguistics, COLING 2025

作者： Fan, Yuchun Mu, Yongyu Wang, Yilin Huang, Lei Ruan, Junhao Li, Bei Xiao, Tong Huang, Shujian Feng, Xiaocheng Zhu, Jingbo NLP Lab School of Computer Science and Engineering Northeastern University Shenyang China NiuTrans Research Shenyang China Harbin Institute of Technology Harbin China Meituan Inc. National Key Laboratory for Novel Software Technology Nanjing University China

ISBN: (纸本)9798891761964

Despite the significant improvements achieved by large language models (LLMs) in English reasoning tasks, these models continue to struggle with multilingual reasoning. Recent studies leverage a full-parameter and two-stage training paradigm to teach models to first understand non-English questions and then reason. However, this method suffers from both substantial computational resource computing and catastrophic forgetting. The fundamental cause is that, with the primary goal of enhancing multilingual comprehension, an excessive number of irrelevant layers and parameters are tuned during the first stage. Given our findings that the representation learning of languages is merely conducted in lower-level layers, we propose an efficient multilingual reasoning alignment approach that precisely identifies and fine-tunes the layers responsible for handling multilingualism. Experimental results show that our method, SLAM, only tunes 6 layers' feed-forward sub-layers including 6.5−8% of all parameters within 7B and 13B LLMs, achieving superior average performance than all strong baselines across 10 languages. Meanwhile, SLAM only involves one training stage, reducing training time by 4.1 − 11.9× compared to the two-stage method. © 2025 Association for Computational Linguistics.

关键词： Computational linguistics

来源：评论

学校读者我要写书评

暂无评论

Stitching, Fine-tuning, Re-training: A SAM-enabled Framework for Semi-supervised 3D Medical Image Segmentation

引用

IEEE Transactions on Medical Imaging 2025年 PP卷 PP页

作者： Li, Shumeng Qi, Lei Yu, Qian Huo, Jing Shi, Yinghuan Gao, Yang Nanjing University State Key Laboratory for Novel Software Technology China Nanjing University National Institute of Healthcare Data Science China School of Computer Science and Engineering China Shandong Women's University School of Data and Computer Science China

Segment Anything Model (SAM) fine-tuning has shown remarkable performance in medical image segmentation in a fully supervised manner, but requires precise annotations. To reduce the annotation cost and maintain satisfactory performance, in this work, we leverage the capabilities of SAM for establishing semi-supervised medical image segmentation models. Rethinking the requirements of effectiveness, efficiency, and compatibility, we propose a three-stage framework, i.e., Stitching, Fine-tuning, and Re-training (SFR). The current fine-tuning approaches mostly involve 2D slice-wise fine-tuning that disregards the contextual information between adjacent slices. Our stitching strategy mitigates the mismatch between natural and 3D medical images. The stitched images are then used for fine-tuning SAM, providing robust initialization of pseudo-labels. Afterwards, we train a 3D semi-supervised segmentation model while maintaining the same parameter size as the conventional segmenter such as V-Net. Our SFR framework is plug-and-play, and easily compatible with various popular semi-supervised methods. We also develop an extended framework SFR+ with selective fine-tuning and re-training through confidence estimation. Extensive experiments validate that our SFR and SFR+ achieve significant improvements in both moderate annotation and scarce annotation across five datasets. In particular, SFR framework improves the Dice score of Mean Teacher from 29.68% to 74.40% with only one labeled data of LA dataset. The code is available at https://***/ShumengLI/SFR. © 1982-2012 IEEE.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

EF-IMR: Embedded Flash with Interlaced Magnetic Recording Technology

EF-IMR: Embedded Flash with Interlaced Magnetic Recording Te...

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Chenlin Ma Xiaochuan Zheng Kaoyi Sun Tianyu Wang Yi Wang College of Computer Science and Software Engineering Shenzhen University China State Key Laboratory of Radio Frequency Heterogeneous Integration

ISBN: (数字)9783982674100

ISBN: (纸本)9798331534646

Interlaced Magnetic Recording (IMR), a technology that improves storage density through track overlap, introduces significant latency due to Read-Modify-Write (RMW) operations. Writing to overlapped tracks affects underlying tracks, requiring additional I/O operations to read, back up, and rewrite them, resulting in significant head movement latency. We propose EF-IMR, a new architecture that ensures crash consistency in IMR while minimizing RMW latency and head movement. EF-IMR reduces head movement during RMW operations and decreases redundant RMW operations. Evaluations under real-world, intensive I/O workloads show that EF-IMR reduces RMW latency by 20.11 % and head movement latency by 89.37% compared to existing methods.

关键词： Tracking Europe Writing Magnetic heads computer crashes Delays Magnetic recording

来源：评论

学校读者我要写书评

暂无评论

A Comprehensive Survey on Communication-Efficient Federated Learning in Mobile Edge Environments

引用

IEEE Communications Surveys and Tutorials 2025年

作者： Jia, Ninghui Qu, Zhihao Ye, Baoliu Wang, Yanyan Hu, Shihong Guo, Song Hohai University Key Laboratory of Water Big Data Technology of Ministry of Water Resources College of Computer Science and Software Engineering Nanjing211100 China Nanjing University State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing210023 China The Hong Kong University of Science and Technology Department of Computer Science and Engineering Kowloon Hong Kong

In traditional centralized machine learning, transmitting raw data to a cloud center incurs high communication costs and raises privacy concerns. This is particularly challenging in mobile edge environments, where devices are dynamic and resource-constrained. Federated Learning (FL) addresses these issues by allowing devices to train models locally and upload parameters to a central server without sharing local data. However, limited wireless channel resources and dynamic transmission performance make communication overhead a major bottleneck of FL in mobile edge environments. Concerning this challenge, this survey provides a comprehensive summary of methods to improve communication efficiency in FL, focusing on: 1) minimizing communication complexity to reduce total transmission volume, 2) scheduling resources appropriately to improve training efficiency, 3) utilizing over-the-air computation (OTA) to integrate computation into communication for accommodating the computation/communication characteristics of FL in mobile edge environments. Thus, this work analyzes research from the perspective of convergence and data heterogeneity to reduce communication rounds by optimizing algorithm performance. We hope that this survey could offer insights into communication-efficient FL for future research. © 2025 IEEE.

关键词： Federated learning

来源：评论

学校读者我要写书评

暂无评论

Unmasking Social Robots’Camouflage:A GNN-Random Forest Framework for Enhanced Detection

引用

computers, Materials & Continua 2025年第1期82卷 467-483页

作者： Weijian Fan Chunhua Wang Xiao Han Chichen Lin School of Data Science and Intelligent Media Communication University of ChinaBeijing100024China School of Computer and Cyber Sciences Communication University of ChinaBeijing100024China Institute of Communication Studies Communication University of ChinaBeijing100024China State Key Laboratory of Media Convergence and Communication Communication University of ChinaBeijing100024China

The proliferation of robot accounts on social media platforms has posed a significant negative impact,necessitating robust measures to counter network anomalies and safeguard content *** robot detection has emerged as a pivotal yet intricate task,aimed at mitigating the dissemination of misleading *** graphbased approaches have attained remarkable performance in this realm,they grapple with a fundamental limitation:the homogeneity assumption in graph convolution allows social robots to stealthily evade detection by mingling with genuine human *** unravel this challenge and thwart the camouflage tactics,this work proposed an innovative social robot detection framework based on enhanced HOmogeneity and Random Forest(HORFBot).At the core of HORFBot lies a homogeneous graph enhancement strategy,intricately woven with edge-removal techniques,tometiculously dissect the graph intomultiple revealing ***,leveraging the power of contrastive learning,the proposed methodology meticulously trains multiple graph convolutional networks,each honed to discern nuances within these tailored *** culminating stage involves the fusion of these feature-rich base classifiers,harmoniously aggregating their insights to produce a comprehensive detection *** experiments on three social robot detection datasets have shown that this method effectively improves the accuracy of social robot detection and outperforms comparative methods.

关键词： Social robot detection graph neural networks random forest homophily heterophily

来源：评论

学校读者我要写书评

暂无评论

Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness 10th

Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics...

引用

10th International Symposium on Dependable software Engineering: Theories, Tools and Applications, SETTA 2024

作者： Lu, Jiayi Yuan, Shenghao Sanan, David Zhao, Yongwang School of Cyber Science and Technology and College of Computer Science and Technology Zhejiang University Hangzhou China State Key Laboratory of Blockchain and Data Security Zhejiang University Hangzhou China InfoComm Technology Cluster Singapore Institute of Technology Singapore Singapore

ISBN: (纸本)9789819606016

Binary semantics forms a critical infrastructure for proving the correctness of Just-In-Time (JIT) compilation, an advanced technique to optimize runtime execution by translating the source bytecode of a program into target machine code. This paper presents a formal model of x86-64 binary semantics in Isabelle/HOL, as the foundation to verify the eBPF x86-64 JIT correctness for the Solana blockchain. First, we formalize a significant subset of x86-64 semantics, covering all the x86-64 instructions used in the Solana JIT. Second, we develop an encoder and decoder to establish a precise bidirectional mapping between assembly and binary code. Furthermore, we demonstrate the equivalence property of the x86-64 encoder-decoder pair, significantly simplifying the correctness proof of the Solana JIT compiler verification. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

CurMIM: Curriculum Masked Image Modeling

CurMIM: Curriculum Masked Image Modeling

引用

2025 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2025

作者： Liu, Hao Wang, Kun Han, Yudong Wang, Haocong Hu, Yupeng Wang, Chunxiao Nie, Liqiang School of Software Shandong University Jinan China Key Laboratory of Computing Power Network and Information Security Ministry of Education Qilu University of Technology Shandong Academy of Sciences Jinan China School of Computer Science and Technology Harbin Institute of Technology Shenzhen China

ISBN: (纸本)9798350368741

Masked Image Modeling (MIM), following "mask-and-reconstruct" scheme, is a promising self-supervised method to learn scalable visual representation. Studies indicate that selecting an effective mask strategy is vital for MIM. However, existing approaches often rely on static pre-defined priors, which limit their ability to adapt mask strategies dynamically for network optimization. In this paper, we focus on the learning process of the network and introduce human-like curriculum into MIM for dynamic representation refinement, and propose an end-to-end framework Curriculum Masked Image Modeling (CurMIM). CurMIM consists of two components: Mask Priority Measurer, which acts as a curriculum learner to determine mask priority values using the network's intrinsic state information, and Dual Adaptive Selector, which serves as a curriculum scheduler to create effective masks based on these values. With negligible extra parameters, our curriculum-based method consistently establishes noticeable improvements across varying model sizes and benchmarks, showing effectiveness and generalization. © 2025 IEEE.

关键词： Curriculum Learning Image Representation Masked Image Modeling Visual Pre-training

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：