Demo Data from EDBT 2026 / reviewers in the wild / expert
Shu Shang
dblp:200/2808
· DBLP profile ↗
2ranked-venue papers
0as first author
1since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › domain-specific languages › synchronous languages
lustre |
0.4 | 1 | 2019 | A formally verified transformation to unify multiple nested clocks for a Lustre-like language · Sci. China Inf. Sci. 2019 |
Programming languages and type systems › domain-specific languages
synchronous languages |
0.4 | 1 | 2019 | A formally verified transformation to unify multiple nested clocks for a Lustre-like language · Sci. China Inf. Sci. 2019 |
Methods — techniques the papers use, named apart from their topics
formal verification · 0.4clock unification · 0.4
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | An Enhanced YOLOv5s Model With UAV Flight Data Fusion for Defect Detection in Power Transmission LinesabstractABSTRACT Traditional transmission line inspection methods face limitations including low efficiency, high costs, and significant safety risks. Although unmanned aerial vehicle inspection has become a mainstream trend, the efficient processing of the massive amounts of image data it generates, as well as the accurate identification and spatial localization of multi‐type and multi‐scale defects against complex backgrounds, represents key technical challenges currently faced by the intelligent transmission operation and maintenance. To address these challenges, the study proposes and constructs an end‐to‐end intelligent safety supervision system for unmanned aerial vehicles. Firstly, this system achieves standardised and automated collection of inspection data through autonomous flight route planning. Secondly, to ensure data security, a localization algorithm that integrates unmanned aerial vehicle flight control data is designed. Experimental results demonstrate that our proposed method achieves outstanding performance. Initially, the accurate retrieval model constructed for massive amounts of unmanned aerial vehicle inspection data in the power grid achieves a retrieval accuracy exceeding 75%. Building on this, the core high‐precision defect detection model performs outstandingly, with an average detection rate reaching 83%. Specifically, the detection rate for channel defects is 85%, for unclear text and images on signs (ancillary facilities) is 80%, for damaged lightning rods (ancillary facilities) and damaged protective caps (foundations) is 79%, and for damaged armour rods (hardware) is 72%, verifying the model's effectiveness in identifying multiple types of defects. The research work establishes a complete technological chain from unmanned aerial vehicle data processing and intelligent defect detection to precise spatial localization. The proposed method meets practical application requirements in terms of both identification accuracy and category breadth. Shu Shang |
Expert Syst. J. Knowl. Eng. | 3 |
| 2019 | A formally verified transformation to unify multiple nested clocks for a Lustre-like language
Shu Shang, Shengyuan Wang 0001, Pen-Chung Yew |
Sci. China Inf. Sci. | 3 |