Peng Yan
4 papers in the PaperMetrix corpus
Papers by this author
-
On incorrectness logic for Quantum programs
2022 · Proceedings of the ACM on Programming Languages
Bug-catching is important for developing quantum programs. Motivated by the incorrectness logic for classical programs, we propose an incorrectness logic towards a logical foundation for static bug-catching in quantum programming. The validity of formulas in …
-
Specific emitter individual identification based on the characteristics of synchronization signal rising edges and deep neural network
2022
Specific emitter identification technology has always been a hot issue for the vital research of radio-related departments in various countries. However, due to the sharp increase in the types of radiation sources and the complexity …
-
Exploring the Application of Large Language Models in Instrumentation and Control Engineering Education: A Questionnaire Survey and Examination Performance Analysis
2025 · European Journal of Education
ABSTRACT This study investigates the use of Large Language Models (LLMs) by undergraduates majoring in Instrumentation and Control Engineering (ICE) at University of Shanghai for Science and Technology. We conducted a questionnaire survey to assess …
-
Federated Intelligence in Web: A Tutorial
2025
The recent development of Web Intelligence has heightened privacy concerns among end-users. Federated intelligence offers a novel approach to restructuring Web Intelligence within a federated setting to better protect privacy. Additionally, the advent of large …