Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Shu Shang

dblp:200/2808 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Programming languages and type systems › domain-specific languages › synchronous languages
lustre
0.412019
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.412019
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
YearPublicationVenuePosition
2026 An Enhanced YOLOv5s Model With UAV Flight Data Fusion for Defect Detection in Power Transmission Lines
abstract
ABSTRACT 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