5A Method of Intermittent Chaotic Signal Identification Based on the Difference Poincaré Mapping20-24
8Formal Verification for Communication Protocol of CBTC System Based on Probabilistic Model Checking35-39
10Research on Application of Virtual PSD System Based on Visual Simulation in Subway Train Control System46-49
11Study on Dynamic Subcarrier Allocation for Underground Mine Multimedia Wireless Sensor Network50-54
19A New Topic Detection and Tracking Approach Combining Periodic Classification and Single-Pass Clustering85-89