DHC Software (China)

Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints

Interrupt-driven programs are extensively utilized in embedded systems for safety-critical domains. However, uncertain interleaving executions of enabled tasks with different priorities often lead to concurrency defects. In this context, assertion violation detection is a fundame...

Vibration noise reduction of transmission lines based on fiber-optic array by using TOC-ICEEMDAN

To address the issue in which abnormal vibration monitoring signals from fiber-optic composite overhead ground wire (OPGW) transmission lines in complex field environments exhibit low signal-to-noise ratios (SNRs) and pronounced nonstationary characteristics, we proposes a tornad...