papers

Publications (17)

eess.SY2023

Joint Scheduling and Trajectory Optimization of Charging UAV in Wireless Rechargeable Sensor Networks

Yanheng Liu, Hongyang Pan, Geng Sun +3

Wireless rechargeable sensor networks with a charging unmanned aerial vehicle (CUAV) have the broad application prospects in the power supply of the rechargeable sensor nodes (SNs)…

cs.LG2025

DeepCell: Self-Supervised Multiview Fusion for Circuit Representation Learning

Zhengyuan Shi, Chengyu Ma, Ziyang Zheng +7

We introduce DeepCell, a novel circuit representation learning framework that effectively integrates multiview information from both And-Inverter Graphs (AIGs) and Post-Mapping (PM…

cs.NI2025

Diffusion-Model-enhanced Multiobjective Optimization for Improving Forest Monitoring Efficiency in UAV-enabled Internet-of-Things

Hongyang Pan, Bin Lin, Yanheng Liu +2

The Internet-of-Things (IoT) is widely applied for forest monitoring, since the sensor nodes (SNs) in IoT network are low-cost and have computing ability to process the monitoring…

cs.LO2023

A Semi-Tensor Product based Circuit Simulation for SAT-sweeping

Hongyang Pan, Ruibing Zhang, Yinshui Xia +4

In recent years, circuit simulators and Boolean satisfiability (SAT) solvers have been tightly integrated to provide efficient logic synthesis and verification. Circuit simulation…

cs.NI2025

Generative AI-enhanced Low-Altitude UAV-Mounted Stacked Intelligent Metasurfaces

Geng Sun, Mingzhe Fan, Lei Zhang +6

Wireless communication systems face challenges in meeting the demand for higher data rates and reliable connectivity in complex environments. Stacked intelligent metasurfaces (SIMs…

cs.LO2024

Physically Aware Synthesis Revisited: Guiding Technology Mapping with Primitive Logic Gate Placement

Hongyang Pan, Cunqing Lan, Yiting Liu +5

A typical VLSI design flow is divided into separated front-end logic synthesis and back-end physical design (PD) stages, which often require costly iterations between these stages…