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

8th International Symposium on Computer Science and Intelligent Control, ISCSIC 2024

作者： An, Baichuan Chen, Jianwen Liu, Minghe Yin, Minghuan Song, Zicheng Zhuang, Chao Chang, Cheng Sun, Hao Hebei University of Technology School of Artificial Intelligence and Data Science Tianjin China Southern University of Science and Technology Hospital Limb Deformity Correction and Function Reconstruction Department Shenzhen China Hebei University of Technology School of Artificial Intelligence and Data Science Engineering Research Center of Intelligent Rehabilitation Device and Detection Technology Ministry of Education Control Engineering Technology Innovation Center of Hebei Province Tianjin China

ISBN: (纸本)9798350380286

To improve the accuracy of fracture reduction, combining inverse kinematic analysis with robot dynamics modelling might lead to a more effective controller for the fracture reduction process. The trajectory of the actuator driving rod's motion and any deviations from it are calculated using Simulink simulation. The Levy-SSA-optimized fracture reduction robot's positioning inaccuracy is two orders of magnitude lower than the PID adjustment approach. Using this method also improves the reduction trajectory's accuracy and speeds up the convergence of the fracture-resetting robot control system to the ideal solution. © 2024 IEEE.

关键词： Inverse kinematics

来源：评论

学校读者我要写书评

暂无评论

Image Denoising Method Based on Channel Compression and Split-Attention Mechanism 5

Image Denoising Method Based on Channel Compression and Spli...

引用

5th International Conference on Computer engineering and Intelligent Control, ICCEIC 2024

作者： Sun, Hao Qiao, Xiaoyan School of Computer Science and Technology Shandong Technology and Business University Technology and Evaluation Shandong Engineering Research Center Yantai Key Laboratory of Big Data Modeling and Intelligent Computing Immersion Shandong Yantai China

ISBN: (纸本)9798331507992

In the image restoration task, how to make full use of spatial and channel feature information to improve the reconstruction quality of the model without significantly increasing the computational complexity is an important research issue. To address this challenge, this paper proposes a CS module (Channel Compression and Split-Attention) specifically for optimizing image denoising tasks. The module first compresses the features through a preliminary convolution operation, then introduces the split attention convolution mechanism to split the features by channel and dynamically weight them, thereby enhancing the model's adaptive attention to different feature channels and improving feature expression capabilities. Through experiments on multiple image denoising datasets, the results show that the CS module significantly improves the image reconstruction quality, especially in terms of peak signal-to-noise ratio (PSNR). At the same time, the introduction of the CS module does not lead to a significant increase in computational complexity, maintaining a high computational efficiency, which verifies the practicality and superiority of the module in image denoising tasks. © 2024 IEEE.

关键词： Restoration

来源：评论

学校读者我要写书评

暂无评论

LLM4Decompile: Decompiling Binary Code with Large Language Models

LLM4Decompile: Decompiling Binary Code with Large Language M...

引用

2024 Conference on Empirical Methods in Natural Language Processing, EMNLP 2024

作者： Tan, Hanzhuo Luo, Qi Li, Jing Zhang, Yuqun Department of Computer Science and Engineering Southern University of Science and Technology Shenzhen China Department of Computing The Hong Kong Polytechnic University Hong Kong Research Centre for Data Science & Artificial Intelligence Hong Kong

ISBN: (纸本)9798891761643

Decompilation aims to convert binary code to high-level source code, but traditional tools like Ghidra often produce results that are difficult to read and execute. Motivated by the advancements in Large Language Models (LLMs), we propose LLM4Decompile, the first and largest open-source LLM series (1.3B to 33B) trained to decompile binary code. We optimize the LLM training process and introduce the LLM4Decompile-End models to decompile binary directly. The resulting models significantly outperform GPT-4o and Ghidra on the HumanEval and ExeBench benchmarks over 100% in terms of re-executability rate. Additionally, we improve the standard refinement approach to fine-tune the LLM4DecompileRef models, enabling them to effectively refine the decompiled code from Ghidra and achieve a further 16.2% improvement over the LLM4Decompile-End. LLM4Decompile demonstrates the potential of LLMs to revolutionize binary code decompilation, delivering remarkable improvements in readability and executability while complementing conventional tools for optimal results. © 2024 Association for Computational Linguistics.

关键词： Binary codes

来源：评论

学校读者我要写书评

暂无评论

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)

来源：评论

学校读者我要写书评

暂无评论

Boosting Robustness in Automatic Modulation Recognition for Wireless Communications

引用

IEEE Transactions on Cognitive Communications and Networking 2024年第3期11卷 1635-1648页

作者： Zhao, Yuhang Wang, Yajie Zhang, Chuan Li, Chunhai Xiong, Zehui Zhu, Liehuang Niyato, Dusit Beijing Institute of Technology School of Cyberspace Science and Technology Beijing100081 China Guilin University of Electronic Technology Guangxi Engineering Research Center of Industrial Internet Security and Blockchain Guilin541004 China Singapore University of Technology and Design Pillar of Information Systems Technology and Design 487372 Singapore Nanyang Technological University College of Computing and Data Science 639798 Singapore

In the radio frequency field, deep neural networks have been widely used for automatic modulation recognition tasks due to their superior accuracy. However, it has been shown that these models are susceptible to adversarial examples, which are the kinds of carefully crafted perturbations that can lead to model misclassification and raise security issues in applications. To solve this problem, we propose an Ultra-Fusion Adversarial Training method, which combines adversarial training and ensemble learning to enable the model robustness to withstand different attack strengths. We explore the number and distribution of ensembled attacks and introduce a Fermi-function-like distribution to optimally balance the performance of different attack strengths. Additionally, we investigate the effect of the signal-to-noise ratio (SNR) interval on the model accuracy and robustness, suggesting the effective SNR interval for training. Considering the demand for practical application scenarios of modulation recognition, we propose a comprehensive robustness metric based on weighted integral to evaluate the robustness of the trained models. Numerical experiments demonstrate that our method improves the model's robustness by 31.89% against white-box attacks, and achieves up to an 80.54% improvement in black-box scenarios. These results show that our method has the ability to resiliently resist potential attacks of various strengths and can be applied to spectrum application scenarios with high-security requirements. © 2015 IEEE.

关键词： Signal modulation

来源：评论

学校读者我要写书评

暂无评论

SharDAG: Scaling DAG-Based Blockchains Via Adaptive Sharding 40

SharDAG: Scaling DAG-Based Blockchains Via Adaptive Sharding

引用

40th IEEE International Conference on data engineering, ICDE 2024

作者： Cheng, Feng Xiao, Jiang Liu, Cunyang Zhang, Shijie Zhou, Yifan Li, Bo Li, Baochun Jin, Hai School of Computer Science and Technology Huazhong University of Science and Technology National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab China Hong Kong University of Science and Technology Hong Kong University of Toronto Canada

ISBN: (纸本)9798350317152

Directed Acyclic Graph (DAG)-based blockchain (a.k.a distributed ledger) has become prevalent for supporting highly concurrent applications. Its inherent parallel data structure accelerates block generation significantly, shifting the bottleneck from performance to storage scalability. An intuitive solution is to apply state sharding that divides the entire ledger (i.e., transactions and states) into multiple shards. While each node only stores proportional transactions, it suffers from the challenges of storing and ensuring the processing consistency of cross-shard transactions. In this paper, we propose SharDAG, a new mechanism that leverages adaptive sharding for DAG-based blockchains to achieve high performance and strong consistency. The key idea of SharDAG is to exploit unique characteristics -silent assets -and design a lightweight processing mechanism based on avatar account caching. Furthermore, we design a Byzantine resilient cross-shard verification mechanism with a theoretically optimal number of participating nodes, which guarantees the consistency and security of avatar account aggregation. Our comprehensive evaluations on real-world workloads demonstrate that SharDAG presents up to 3.8 x throughput improvement compared to the state-of-the-art and reduces the storage overhead of cross-shard transactions. © 2024 IEEE.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Anole: A Lightweight and Verifiable Learned-Based Index for Time Range Query on Blockchain Systems 28th

Anole: A Lightweight and Verifiable Learned-Based Index for...

引用

28th International Conference on database Systems for Advanced Applications, DASFAA 2023

作者： Chang, Jian Li, Binhong Xiao, Jiang Lin, Licheng Jin, Hai 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 Wuhan430074 China

ISBN: (纸本)9783031306365

Time range query is essential to facilitate a wide range of blockchain applications such as data provenance in the supply chain. Existing blockchain systems adopt the storage-consuming tree-based index structure for better query performance, however, fail to efficiently work for most blockchain nodes with limited resources. In this paper, we propose Anole, a lightweight and verifiable time range query mechanism, to present the feasibility of building up a learned-based index to achieve high performance and low storage costs on blockchain systems. The key idea of Anole is to exploit the temporal characteristics of blockchain data distribution and design a tailored lightweight index to reduce storage costs. Moreover, it uses a digital signature to guarantee the correctness and completeness of query results by considering the learned index’s error bounds, and applies batch verification to further improve verification performance. Experimental results demonstrate that Anole improves the query performance by up to 10 × and reduces the storage overhead by 99.4 % compared with the state-of-the-art vChain+. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Efficient Remote Memory Paging for Disaggregated Memory Systems 1

引用

22nd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2022

作者： Wang, Tao Liu, Haikun Jin, Hai 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 Wuhan430074 China

ISBN: (数字)9783031226779

ISBN: (纸本)9783031226762

Memory disaggregation has attracted increasing attention in recent years because it is a cost-efficient approach to scale memory capacity for applications in a data center. However, the latency of remote memory access is a major concern in disaggregated memory systems. This paper presents VANDI, a virtual memory paging mechanism that allows applications to use remote memory pools transparently. VANDI enables effective data caching and prefetching mechanisms to address the problem of high access latency in disaggregated memory systems. VANDI exploits a low-complexity cache replacement strategy to optimize the asynchronous staging queue so that the remote write latency can be significantly reduced. VANDI can also prefetch data in multi-granularity from a remote memory pool in an adaptive manner, and thus further improves the hit rate of the local cache to reduce the read latency of remote memory. Our extensive experiments using micro-benchmarks show that VANDI can improve the performance of typical remote paging system–Infiniswap by up to 15 × –102 ×. VANDI can also improve the performance of state-of-the-art disaggregated memory system–Valet by 1.2 × –2.7 ×. For typical machine learning workloads, VANDI can achieve 20% to 80% performance improvement compared with the state-of-the-art Valet. © 2023, Springer Nature Switzerland AG.

关键词： Paging systems

来源：评论

学校读者我要写书评

暂无评论

Coupled THMC model‑based prediction of hydraulic fracture geometry and size under self‑propping phase‑transition fracturing

引用

International Journal of Coal Science & technology 2024年第6期11卷 29-53页

作者： Nanlin Zhang Fushen Liu Liangliang Jiang Pinqiang Mo Jingwen Xiao Qi Song Yuhao Luo Computing Center for Geotechnical Engineering College of Civil Engineering and ArchitectureZhejiang UniversityHangzhou 310058ZijingangChina Research Center of Coastal and Urban Geotechnical Engineering College of Civil Engineering and ArchitectureZhejiang UniversityHangzhou 310058ZijingangChina Engineering Research Center of Urban Underground Development of Zhejiang Province Hangzhou 310058China Department of Chemical and Petroleum Engineering University of CalgaryCalgaryAB T2N1N4Canada State Key Laboratory of Intelligence Construction and Healthy Operation and Maintenance of Deep Underground Engineering School of Mechanics and Civil EngineeringChina University of Mining and TechnologyXuzhou 221116JiangsuChina Safety Environment and Technology Supervision Research InstitutePetro China Southwest Oil and Gas Field CompanyChengdu 610041China

The Self-Propping Phase-transition Fracturing technology(SPFT)represents a novel and environmentally friendly approach for a cost-effective and efficient development of the world’s abundant unconventional resources,especially in the context of a carbon-constrained sustainable *** involves the coupling of Thermal,Hydraulic,Mechanical,and Chemical(THMC)fields,which makes it challenging to understand the mechanism and path of hydraulic fracture *** study addresses these challenges by developing a set of THMC multifield coupling models based on SPFT parameters and the physical/chemical characteristics of the Phase-transition Fracturing Fluid System(PFFS).An algorithm,integrating the Finite Element Method,Discretized Virtual Internal Bonds,and Element Partition Method(FEM-DVIB-EPM),is proposed and validated through a case *** results demonstrate that the FEM-DVIB-EPM coupling algorithm reduces complexity and enhances solving *** length of the hydraulic fracture increases with the quantity and displacement of PFFS,and excessive displacement may result in uncontrolled fracture *** the parameters considered,a minimal difference in fracture length is observed when the PFFS amount exceeds 130 m^(3),that means the fracture length tends to *** study contributes to understanding the hydraulic fracture propagation mechanism induced by SPFT,offering insights for optimizing hydraulic fracturing technology and treatment parameters.

关键词： Sustainable development,Self Propping phase Transition fracturing technology,Thermal Hydraulic Mechanical Chemical coupling,FEM DVIB EPM,Hydraulic fracture propagation

来源：评论

学校读者我要写书评

暂无评论

Securing Consumer IoT Swarms Using Graph Transformers and SRAM for Firmware Attestation 22

Securing Consumer IoT Swarms Using Graph Transformers and SR...

引用

22nd IEEE Consumer Communications and Networking Conference, CCNC 2025

作者： Kohli, Varun Kohli, Bhavya Aman, Muhammad Naveed Sikdar, Biplab National University of Singapore Department of Electrical and Computer Engineering Singapore Center for Machine Intelligence and Data Science Indian Institute of Technology Bombay India School of Computing University of Nebraska-Lincoln United States

ISBN: (纸本)9798331508050

Consumer Internet of Things (IoT) networks have gained widespread popularity due to their convenience, automation, and security provisions in personal and home environments. Ubiquitous resource-constrained devices, however, are plagued with security issues that often arise from firmware-related issues and their propagated effects. While various studies on firmware attestation are available, they require firmware copies, specific hardware, and complex computation on the IoT device. This paper presents a study on the application of Graph Transformer Networks (GTN) in verifying the firmware integrity of consumer IoT swarms using SRAM as an attestation feature. The proposed method achieves an overall 0.99 accuracy on authentic samples from development and physical twin networks, 0.99 on malware, and 0.97 on propagated misbehavior at a ∼ 10-4 second inference latency on a laptop CPU. © 2025 IEEE.

关键词： Computer viruses

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：