Yucheng Wu

HOLMES: Evaluating Higher-Order Logical Reasoning in LLMs

Yucheng Wu, Jundong Xu, Mingzhen Ju, Yue Yu et autres

Logical reasoning is essential for reliable AI, yet existing benchmarks are largely first-order-logic-centric, focusing on object-level deduction over fixed predicates. This misses many realistic scenarios where models must reason over rules, predicates, functions, constraints, and decision procedures themselves. We introduce HOLMES (Higher-Order …

HOLMES: Evaluating Higher-Order Logical Reasoning in LLMs

Yucheng Wu, Jundong Xu, Mingzhen Ju, Yue Yu et autres

Logical reasoning is essential for reliable AI, yet existing benchmarks are largely first-order-logic-centric, focusing on object-level deduction over fixed predicates. This misses many realistic scenarios where models must reason over rules, predicates, functions, constraints, and decision procedures themselves. We introduce HOLMES (Higher-Order …

us, cn (code pays fourni par la source)

Multi-Functional RIS-Aided ISAC Systems: Beamforming Design and Performance Analysis

Yinping Zhou, Weiyang Xu, Wei Xiang, Yucheng Wu

In this paper, a new multi-functional reconfigurable intelligent surface (MF-RIS)-assisted integrated sensing and communication (ISAC) system is proposed. The primary goal is to enhance the radar signal-to-interference-plus-noise ratio (SINR) by optimizing both the base station (BS) beamforming matrix and the MF-RIS configuration …

cn, au (code pays fourni par la source)

Grid-forming energy storage damping control strategy based on proportional cross compensation

Yiqi Liu, Hengke Zhang, Xu Cao, Bo Zhao et autres

cn (code pays fourni par la source)

Transient Stability Analysis and Control Improvement of VSG-VSC System Considering Current Limitation

Yiqi Liu, Xiaohan Yu, Yucheng Wu, Hengke Zhang et autres

The transient stabilization of the virtual synchronous generator-voltage source converter (VSG-VSC) system with current limitation is analyzed in this paper. The adverse effect of the current limitation is revealed through both forward instability with a continuously increasing power angle and backward instability …

cn (code pays fourni par la source)

Thyristor Based Low Conduction-Loss DC Circuit Breaker With Bidirectional Breaking and Fault Type Determination Capability

Yucheng Wu, Yiqi Liu, Fangning Gu, Laicheng Yin et autres

Modular Multilevel Converter High Voltage Direct Current (MMC-HVDC) transmission technology has become the predominant solution in HVDC transmission engineering. To minimize transmission costs, the submodule configurations of MMC-HVDC systems generally lack of DC fault-clearing capability, necessitating coordination with DC circuit breakers (DCCB) …

cn (code pays fourni par la source)

Suppressing High-Frequency Resonance in MMC-HVDC System Using Passivation Schemes Based on Virtual Flux and Digital Differentiator

Yiqi Liu, Yucheng Wu, Jiayi Liu, Hengke Zhang et autres

Inherent control delays challenge the stability of the Modular multilevel converter-based high voltage direct current (MMC-HVDC) system, particularly inducing the high-frequency resonances (HFR) incidents in practice. Complex system operating conditions and poor stability margin have introduced new HFR risks, restricting the conventional …

cn, bg, kz (code pays fourni par la source)

Probing Scientific General Intelligence of LLMs with Scientist-Aligned Workflows

Wanghan Xu, Yuhao Zhou, Yifan Zhou, Qinglong Cao et autres

Despite advances in scientific AI, a coherent framework for Scientific General Intelligence (SGI)-the ability to autonomously conceive, investigate, and reason across scientific domains-remains lacking. We present an operational SGI definition grounded in the Practical Inquiry Model (PIM: Deliberation, Conception, Action, Perception) and …

Probing Scientific General Intelligence of LLMs with Scientist-Aligned Workflows

Wanghan Xu, Yuhao Zhou, Yifan Zhou, Qinglong Cao et autres

Despite advances in scientific AI, a coherent framework for Scientific General Intelligence (SGI)-the ability to autonomously conceive, investigate, and reason across scientific domains-remains lacking. We present an operational SGI definition grounded in the Practical Inquiry Model (PIM: Deliberation, Conception, Action, Perception) and …

Distributed Secondary Cable Core Verification Device Based on Characteristic Waveform Analysis

Sijie Xiao, Qiong Fang Yu, Yulin Zhao, Yucheng Wu

The accuracy of secondary cable core connections between relay protection devices in substations is critical to the safe and stable operation of all station equipment. The verification of secondary cable cores is an essential inspection procedure prior to the commissioning of relay …

cn (code pays fourni par la source)

A Multi-Resource-Aware and Load-Balanced Scheduling Strategy for Heterogeneous Edge Clusters

Xiang Li, Enguo Zhu, Jian Qin, Weiyang Xu et autres

cn (code pays fourni par la source)

Grid-Forming STATCOM for Commutation Failure Mitigation in LCC-HVDC System

Xiaolin Shen, Shangan Du, Yiqi Liu, Yucheng Wu et autres

Conventional high-voltage direct current (HVDC) transmission systems are widely employed in large-capacity, long-distance power delivery scenarios. However, due to the reliance on thyristor-based line-commutated converter (LCC) lacking self-turn-off capability, commutation failures are likely to occur when the alternating current system is weak …

cn (code pays fourni par la source)