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

arXiv 2025年

作者： Fu, Honghao Zhang, Xingjian Concordia Institute for Information Systems Engineering Concordia University Montreal Canada QICI Quantum Information and Computation Initiative School of Computing and Data Science The University of Hong Kong Hong Kong

In the recent breakthrough result [MS24], Slofstra and Mastel show that there is a two-player one-round perfect zero-knowledge MIP∗ protocol for RE. We build on their result to show that there exists a succinct two-player one-round perfect zero-knowledge MIP∗ protocol for RE with polylog question size and O(1) answer size, or with O(1) question size and polylog answer size. To prove our result, we analyze the four central compression techniques underlying the MIP∗ = RE proof [JNV+20] — question reduction, oracularization, answer reduction, and parallel repetition — and show that they all preserve the perfect (as well as statistical and computational) zero-knowledge properties of the original protocol. Furthermore, we complete the study of the conversion between constraint-constraint and constraint-variable binary constraint system (BCS) nonlocal games, which provide a quantum information characterization of MIP∗ protocols. While Paddock [Pad22] established that any near-perfect strategy for a constraint-variable game can be mapped to a constraint-constraint version, we prove the converse, fully establishing their equivalence. © 2025, CC0.

关键词： Constraint theory

来源：评论

学校读者我要写书评

暂无评论

LithoHoD: A Litho Simulator-Powered Framework for IC Layout Hotspot Detection

引用

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 2025年第3期44卷 1098-1111页

作者： Shao, Hao-Chiang Chen, Guan-Yu Lin, Yu-Hsien Lin, Chia-Wen Fang, Shao-Yun Tsai, Pin-Yian Liu, Yan-Hsiu National Chung Hsing University Institute of Data Science and Information Computing Taichung402202 Taiwan Novatek Microelectronics Corporation Hsinchu300092 Taiwan National Tsing Hua University Department of Electrical Engineering Hsinchu300044 Taiwan National Tsing Hua University Department of Electrical Engineering The Institute of Communications Engineering Hsinchu300044 Taiwan National Taiwan University of Science and Technology Department of Electrical Engineering Taipei106335 Taiwan United Microelectronics Corporation Product Engineering Department Hsinchu300094 Taiwan United Microelectronics Corporation Development of Smart Manufacturing Hsinchu300094 Taiwan

Recent advances in VLSI fabrication technology have led to die shrinkage and increased layout density, creating an urgent demand for advanced hotspot detection techniques. However, by taking an object detection network as the backbone, recent learning-based hotspot detectors learn to recognize only the problematic layout patterns in the training data. This fact makes these hotspot detectors difficult to generalize to real-world scenarios. We propose a novel lithography simulator-powered hotspot detection framework to overcome this difficulty. Our framework integrates a lithography simulator with an object detection backbone, merging the extracted latent features from both the simulator and the object detector via well-designed cross-attention blocks. Consequently, the proposed framework can be used to detect potential hotspot regions based on 1) the variation of possible circuit shape deformation estimated by the lithography simulator and 2) the problematic layout patterns already known. To this end, we utilize RetinaNet with a feature pyramid network as the object detection backbone and leverage LithoNet as the lithography simulator. Extensive experiments demonstrate that our proposed simulator-guided hotspot detection framework outperforms the previous state-of-the-art methods on real-world data. © 2024 IEEE.

关键词： Integrated circuit layout

来源：评论

学校读者我要写书评

暂无评论

Frequency Diverse Array-enabled RIS-aided Integrated Sensing and Communication

引用

IEEE Transactions on Wireless Communications 2025年

作者： Yang, Hanyu Gong, Shiqi Liu, Heng Xing, Chengwen Zhao, Nan Niyato, Dusit Beijing Institute of Technology School of Information and Electronics Beijing100081 China Dalian University of Technology School of Information and Communication Engineering Dalian116024 China Nanyang Technological University College of Computing and Data Science 639798 Singapore

Integrated sensing and communication (ISAC) has been envisioned as a prospective technology to enable ubiquitous sensing and communications in next-generation wireless networks. In contrast to existing works on reconfigurable intelligent surface (RIS) aided ISAC systems using conventional phased arrays (PAs), this paper investigates a frequency diverse array (FDA)-enabled RIS-aided ISAC system, where the FDA aims to provide a distance-angle-dependent beampattern to effectively suppress the clutter, and RIS is employed to establish high-quality links between the BS and users/target. We aim to maximize sum rate by jointly optimizing the BS transmit beamforming vectors, the covariance matrix of the dedicated radar signal, the RIS phase shift matrix, the FDA frequency offsets and the radar receive equalizer, while guaranteeing the required signal-to-clutter-plus-noise ratio (SCNR) of the radar echo signal. To tackle this challenging problem, we first theoretically prove that the dedicated radar signal is unnecessary for enhancing target sensing performance, based on which the original problem is much simplified. Then, we turn our attention to the single-user single-target (SUST) scenario to demonstrate that the FDA-RIS-aided ISAC system always achieves a higher SCNR than its PA-RIS-aided counterpart. Moreover, it is revealed that the SCNR increment exhibits linear growth with the BS transmit power and the number of BS receive antennas. In order to effectively solve this simplified problem, we leverage the fractional programming (FP) theory and subsequently develop an efficient alternating optimization (AO) algorithm based on symmetric alternating direction method of multipliers (SADMM) and successive convex approximation (SCA) techniques. Numerical results demonstrate the superior performance of our proposed algorithm in terms of sum rate and radar SCNR. © 2002-2012 IEEE.

关键词： Beam forming networks

来源：评论

学校读者我要写书评

暂无评论

Hydrodynamic Optimization Design of Underwater Glider Wings Based on Biomimetic Principles 24

Hydrodynamic Optimization Design of Underwater Glider Wings ...

引用

Proceedings of the 2024 4th International Conference on Computational Modeling, Simulation and data Analysis

作者： Hong He Tianding Chen Hui Wang Ao Chen Xin Yu Yimei Fan School of Physics and Information Engineering Minnan Normal University Zhangzhou Fujian China School of Data and Computer Science Xiamen Institute of Technology Xiamen Fujian China School of Computing and Information Science Fuzhou Institute of Technology Fuzhou Fujian China

ISBN: (纸本)9798400711831

This paper designs a bionic sea turtle fin, which mimics the shape of the sea turtle's forelimbs and maintains an overall streamlined shape to reduce the resistance received by the outer side of the fin. This is of great significance and practical value for exploring new underwater propulsion methods and enriching and improving underwater propulsion technology. In terms of shape design, this paper uses Solid Works software to design the shape according to the contour of the sea turtle's forelimbs, and based on bionic principles, analyzes the flapping motion rules and propulsion mechanism of the sea turtle. To verify that the efficiency of the biomimetic turtle hydrofoil traction machine is higher than that of traditional traction machines, this study focuses on the optimization of the external shape configuration. The Flow Simulation plugin within the Solid Works software is applied to perform computational fluid dynamics CFD) simulations on the biomimetic turtle hydrofoil traction machine. Analyze the impact of different distances and different pitch angles between the fins on the motion performance; set the calculation domain, boundary conditions, residuals, inlet velocity, and sea conditions, etc., and perform simulation experiments on the bionic sea turtle fin tractors with different distances and different angles; analyze the obtained velocity cloud diagram and pressure cloud diagram. The results show that the ocean current resistance received by the bionic sea turtle fin tractor is significantly less than that of the traditional tractor, which verifies the feasibility of the bionic fin and its good application prospects.

关键词： Bionic Design

来源：评论

学校读者我要写书评

暂无评论

Advancing Generative Artificial Intelligence and Large Language Models for Demand Side Management with Internet of Electric Vehicles

arXiv

引用

arXiv 2025年

作者： Zhang, Hanwen Zhang, Ruichen Zhang, Wei Niyato, Dusit Wen, Yonggang The College of Computing and Data Science Nanyang Technological University Singapore639798 Singapore The Information and Communications Technology Cluster Singapore Institute of Technology Singapore828608 Singapore

Generative artificial intelligence, particularly through large language models (LLMs), is poised to transform energy optimization and demand side management (DSM) within microgrids. This paper explores the integration of LLMs into energy management, emphasizing their roles in automating the optimization of DSM strategies with Internet of electric vehicles. We investigate challenges and solutions associated with DSM and explore the new opportunities presented by leveraging LLMs. Then, we propose an innovative solution that enhances LLMs with retrieval-augmented generation for automatic problem formulation, code generation, and customizing optimization. We present a case study to demonstrate the effectiveness of our proposed solution in charging scheduling and optimization for electric vehicles, highlighting our solution’s significant advancements in energy efficiency and user adaptability. This work underscores the potential of LLMs for energy optimization and fosters a new era of intelligent DSM solutions. © 2025, CC BY.

关键词： Demand side management

来源：评论

学校读者我要写书评

暂无评论

RIS-Assisted Localization: A Novel Conditional Sample Mean Approach without CSI

arXiv

引用

arXiv 2025年

作者： Yao, Jiawei Mao, Yijie Chen, Mingzhe School of Information Science and Technology ShanghaiTech University Shanghai China Department of Electrical and Computer Engineering Institute for Data Science and Computing University of Miami Coral GablesFL United States

Reconfigurable intelligent surface (RIS) has been recognized as a promising solution for enhancing localization accuracy. Traditional RIS-based localization methods typically rely on prior channel knowledge, beam scanning, and pilot-based assistance. These approaches often result in substantial energy and computational overhead, and require real-time coordination between the base station (BS) and the RIS. In this work, we propose a novel multiple RISs aided localization approach to address these challenges. The proposed method first estimates the angle-of-directions (AoDs) between the RISs and the user using the conditional sample mean approach, and then uses the estimated multiple AoD pairs to determine the user’s position. This approach only requires measuring the received signal strength at the BS for a set of randomly generated phase shifts across all RISs, thereby eliminating the need for real-time RIS phase shift design or user-to-BS pilot transmissions. Numerical results show that the proposed localization approach improves localization accuracy while significantly reducing energy and signaling overhead compared to conventional methods. Copyright © 2025, The Authors. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Image Compressive Sensing With Scale-Variable Adaptive Sampling and Hybrid-Attention Transformer Reconstruction

引用

IEEE Transactions on Multimedia 2025年

作者： Hui, Chen Zhao, Debin Lin, Weisi Liu, Shaohui Jiang, Feng Nanjing University of Information Science and Technology School of Future Technology Nanjing210044 China Harbin Institute of Technology Department of Computer Science and Technology Harbin150001 China Nanyang Technological University College of Computing and Data Science Singapore639798 Singapore

Recently, a large number of image compressive sensing (CS) methods with deep unfolding networks (DUNs) have been proposed. However, existing methods either use fixed-scale blocks for sampling that leads to limited insights into the image content or employ a plain convolutional neural network (CNN) in each iteration that weakens the perception of broader contextual prior. In this paper, we propose a novel DUN (dubbed SVASNet) for image compressive sensing, which achieves scale-variable adaptive sampling and hybrid-attention Transformer reconstruction with a single model. Specifically, for scale-variable sampling, a sampling matrix-based calculator is first employed to evaluate the reconstruction distortion, which only requires measurements without access to the ground truth image. Then, a Block Scale Aggregation (BSA) strategy is presented to compute the reconstruction distortion under block divisions at different scales and select the optimal division scale for sampling. To realize hybrid-attention reconstruction, a dual Cross Attention (CA) submodule in the gradient descent step and a Spatial Attention (SA) submodule in the proximal mapping step are developed. The CA submodule introduces inter-phase inertial forces in the gradient descent, which improves the memory effect between adjacent iterations. The SA submodule integrates local and global prior representations of CNN and Transformer, and explores local and global affinities between dense feature representations. Extensive experimental results show that the proposed SVASNet achieves significant improvements over the state-of-the-art methods. © 1999-2012 IEEE.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Development of Fast Prediction System of User Action for a Fully Autonomous Smart Home System

Development of Fast Prediction System of User Action for a F...

引用

Sentiment Analysis and Deep Learning (ICSADL), International Conference on

作者： N.R. Rajalakshmi L. Sharmila S. Prabu T. Veeramakali G. Arulkumaran Pranshu Chourasia Department of Computer Science and Engineering Vel Tech Rangarajan Dr.Sagunthala R&D Institute of Science and Technology Tamil Nadu India Department of Computing Technologies School of Computing SRM Institute of Science and Technology Kattankulathur Chennai India Department of Data Science and Business Systems School of Computing SRM Institute of Science and Technology Kattankulathur Chennai India School of Computing and Information Technology REVA UNIVERSITY Bangalore Karnataka India

ISBN: (数字)9798331523923

ISBN: (纸本)9798331523930

The HVAC system, energy storage building, distributed power supply, and other equipment are integrated into the scheduling algorithm, which is aimed at reducing household electricity consumption. It is also assumed that users can provide energy to the grid according to their own conditions. Taking electricity cost and comfort level as optimization targets, a home energy optimization control model for the coordinated management of hybrid energy sources is built. A smart scheduling mechanism based on the improved adaptive particle swarm optimization approach is proposed in order to derive the best time intervals for electric appliances, necessary power for the control of the room temperature for every time frame, and power for charging and discharging of the storage battery at various moments. Simulation results show that through the incorporation of distributed photovoltaic power generation, backup storage by battery, and home energy optimization control, the system efficiently balances between user comfort and electricity consumption. This offers great technical support to the development of home energy management systems. By using time-of-use electricity price for energy acquisition and supply, the optimization control goal is minimizing both power use and cost as well as preserving comfort levels. The hybrid energy management's proposed home energy optimization control model uses an adaptive particle swarm optimization algorithm to find the optimal operation schedules of the electrical appliances, the required power for temperature control in a room, and the charge/discharge power level of the storage battery at each time interval. As per the optimization principle, the proposed dynamic programming algorithm converts the multi-stage problem into a sequence of single-stage problems and solves them separately. This method successfully resolves intricate problems that cannot be addressed through greedy algorithms or divide-and-conquer. In this research, management ac

关键词： Management accounting Heuristic algorithms Electricity Prediction algorithms Dynamic programming Batteries Temperature control Particle swarm optimization Energy management systems Optimization

来源：评论

学校读者我要写书评

暂无评论

Covert Air-Ground Relaying With Blockages

引用

IEEE Transactions on Wireless Communications 2025年

作者： Wang, Jingxia Wang, Chao Xing, Chengwen Yang, Zhutian Zhao, Nan Niyato, Dusit Dalian University of Technology School of Information and Communication Engineering Dalian116024 China Beijing Institute of Technology School of Information and Electronics Beijing100081 China Harbin Institute of Technology School of Electronics and Information Engineering Harbin150001 China Nanyang Technological University College of Computing and Data Science 639798 Singapore

Although deploying unmanned aerial vehicles (UAVs) can provide line-of-sight (LoS) links to extend the coverage, it also poses severe challenges for covert air-ground transmission. ln this paper, we investigate the covert air-ground finite-blocklength communication with ground blockages, where the UAV acts as an aerial relay to achieve the long-distance transmission. First, we analyze the warden detection performance with its optimal detection threshold derived, which is the worst case for the legitimate transmission. To maximize the covert transmission rate while satisfying the covertness constraint, the blocklength, the transmit power, and the position of UAV are jointly optimized. By analyzing the monotonicity of transmit power and blocklength with respect to the relative entropy, we derive their closed-form solutions. Then, we analyze the optimal hovering position of UAV from two perspectives of the distance and the elevation angle between UAV and transmitter. Specifically, we obtain an optimal elevation angle with fixed distance and the optimal distance with fixed elevation angle through analyzing the received signal-to-noise ratio and the feasible hovering regions of UAV. Numerical results demonstrate the effectiveness of the proposed covert UAV relaying scheme with ground blockages. © 2002-2012 IEEE.

关键词： Drones

来源：评论

学校读者我要写书评

暂无评论

An Inconsistency-Based Hybrid Feature Selection Approach for Enhancing Medical Classification Modeling 2nd

An Inconsistency-Based Hybrid Feature Selection Approach for...

引用

2nd International Conference on Intelligent Manufacturing and Robotics, ICIMR 2024

作者： Zhao, Rong ALDharhani, Ghassan Saleh Ratnavelu, Kuru Thambiayya, Sathiyaraj Jasser, Muhammed Basheer Majeed, Anwar P. P. Abdul Luo, Yang Institute of Computer Science and Digital Innovation UCSI University Kuala Lumpur56000 Malaysia Institute of Information Science and Technology Dalian University of Science and Technology Dalian China Faculty of Information Science and Technology UKM University Selangor Bangi43000 Malaysia Institute of Mathematical Sciences University of Malaya Kuala Lumpur56000 Malaysia Institute of Actuarial Science and Data Analytics UCSI University Kuala Lumpur56000 Malaysia Department of Data Science and Artificial Intelligence School of Computing and Artificial Intelligence Faculty of Engineering and Technology Sunway University No. 5 Jalan Universiti Bandar Sunway Selangor Petaling Jaya47500 Malaysia Faculty of Engineering and Technology Sunway University No. 5 Jalan Universiti Bandar Sunway Selangor Petaling Jaya47500 Malaysia School of Intelligent Manufacturing Ecosystem Xi’an Jiaotong-Liverpool University Suzhou Taicang215400 China

ISBN: (纸本)9789819639489

Artificial Intelligence is an essential tool for early disease recognition and supporting patient condition monitoring in the future. Timely and exact conclusions about the type of disease are significant for treatment and life extension. A combination of classification and feature selection algorithms can effectively handle complex datasets in the medical field and improve the accuracy of disease diagnosis and treatment. In this paper, we propose a new hybrid feature selection algorithm that uses inconsistency metrics as a filter method for the first step, and then feeds the resulting dataset into a wrapper method, which ultimately results in a reduced dataset. The proposed HFSIM algorithm is tested on five datasets in the medical domain from Kaggle. The obtained feature subsets are verified on three classification algorithms, KNN, LR and RF of machine learning to validate the effectiveness of the proposed algorithm. The experimental results show that the proposed algorithm obtains feature subsets with low dimensionality on most of the datasets and also has high classification accuracy after testing on the classifiers. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：