Contents

Local Search Algorithm for Minimum Weakly Connected Dominating Set Problem LI Rui-Zhi, HE Jin-Tao, OUYANG Dan-Tong Published August 06, 2025 (22 pages) 2025,36(8):3655-3676 [Abstract(1037)]  [View PDF(2330)6.75 K]

Efficient Local Search Algorithm for Solving Minimum Load Coloring Problem TIAN Xin-Liang, OUYANG Dan-Tong, ZHOU Hui-Si, JIANG Lu-Yu, TAI Ran, ZHANG Li-Ming Published August 06, 2025 (16 pages) 2025,36(8):3677-3692 [Abstract(816)]  [View PDF(1915)6.73 K]

Large-scale Traffic Simulation for Parallel Cities Based on New-generation Supercomputer Tianhe HE Xian-Hao, HU Yi-Kun, LI Yi-Chen, YAN Yu-Wei, LYU Yi-Sheng, LIAO Qing, LI Yong, LI Ken-Li Published August 06, 2025 (16 pages) 2025,36(8):3693-3708 [Abstract(871)]  [View PDF(1646)6.74 K]

Optimization of Concept Drift Malware Classification Based on BERT and Autoencoder ZHAO Hao-Jun, ZOU De-Qing, XUE Wen-Jie, WU Yue-Ming, JIN Hai Published August 06, 2025 (17 pages) 2025,36(8):3709-3725 [Abstract(1115)]  [View PDF(1823)6.74 K]

Fuzz Testing Method for Network Protocols Guided by Finite State Machine YUAN Bin, REN Jia-Jun, CHEN Qun-Jin-Ming, ZHANG Chi, ZOU De-Qing, JIN Hai Published August 06, 2025 (18 pages) 2025,36(8):3726-3743 [Abstract(1322)]  [View PDF(1890)6.69 K]

Research on Comment Quality Evaluation for Code Comment Generation Tasks ZHAO Xian-Lin, PAN Xing-Lu, ZOU Yan-Zhen, LIU Chen-Xiao, XIE Bing Published August 06, 2025 (25 pages) 2025,36(8):3744-3768 [Abstract(1044)]  [View PDF(2107)6.73 K]

DRAMA: Update-distribution-aware Learned Index GUO Na, WANG Ya-Qi, JIANG Hao-Nan, GU Yu, XIA Xiu-Feng Published August 06, 2025 (18 pages) 2025,36(8):3769-3786 [Abstract(1062)]  [View PDF(3284)6.72 K]

Intelligent Traffic Flow Prediction for Data Scarcity Scenarios LI Yun, GAO Ya, YAO Zhi-Xiu, XIA Shi-Chao, WU Guang-Fu Published August 06, 2025 (15 pages) 2025,36(8):3787-3801 [Abstract(1837)]  [View PDF(2019)6.77 K]

Research on Cross-Rollup Mechanism Based on Native Blockchain ZHANG Zi-Long, JIA Lin-Peng, JIANG Shuo-Xuan, SUN Yi Published August 06, 2025 (29 pages) 2025,36(8):3802-3830 [Abstract(1181)]  [View PDF(1818)6.73 K]

Detecting and Defending Mechanism Against DDoS Attacks in Programmable Data Plane WU Wen-Hao, ZHANG Lei-Lei, PAN Heng, LI En-Han, ZHOU Jian-Er, LI Zhen-Yu Published August 06, 2025 (27 pages) 2025,36(8):3831-3857 [Abstract(938)]  [View PDF(1730)6.72 K]

Robust Scheme for Conjunctive Symmetric Searchable Encryption with Forward and Backward Privacy ZHANG Wen-Qi, LI Xiong, YIN Zhi-Ming, LIANG Wei, HUANG Ke, ZHANG Xiao-Song Published August 06, 2025 (25 pages) 2025,36(8):3858-3882 [Abstract(1011)]  [View PDF(1893)6.72 K]

Weighted Threshold SM2 Signature Scheme TANG Chang-Hong, ZHAO Yan-Qi, YANG Xiao-Yi, FENG Qi, YU Yong Published August 06, 2025 (13 pages) 2025,36(8):3883-3895 [Abstract(1047)]  [View PDF(1793)6.73 K]

MTTorch: PyTorch Arithmetic Library Implementation and Optimization for MT-3000 Chip and Transformer Model WANG Hao-Tian, SUN Yu-Fei, SUI Yi-Cheng, WANG Jia-Hao, SHI Chang-Qing, FANG Jian-Bin, ZHANG Yu-Zhi Published August 06, 2025 (21 pages) 2025,36(8):3896-3916 [Abstract(1213)]  [View PDF(1855)6.70 K]

Special Issue's Articles

形式化方法与应用专题前言 陈明帅，田聪，熊英飞 Published August 06, 2025 (2 pages) 2025,36(8):3429-3430 [Abstract(958)]  [View PDF(1392)55.09 K]

Fast-USYN: Fast Synthesis from Unitary Matrices to High-quality Quantum Circuits TAN Si-Wei, LU Li-Qiang, LANG Cong-Liang, CHEN Ming-Shuai, YIN Jian-Wei Published August 06, 2025 (14 pages) 2025,36(8):3431-3443 [Abstract(1899)]  [View PDF(1728)6.75 K]

Incremental Verification for Neural Network LIU Zong-Xin, CHI Zhi-Ming, ZHAO Meng-Yu, HUANG Cheng-Chao, HUANG Xiao-Wei, CAI Shao-Wei, ZHANG Li-Jun, YANG Peng-Fei Published August 06, 2025 (20 pages) 2025,36(8):3444-3461 [Abstract(1793)]  [View PDF(1624)6.72 K]

Formal Verification of Kinematics and Dynamics of Single-sphere Driven Balancing Robot ZHANG Shan-Qiang, ZHANG Jing-Zhi, SHI Zhi-Ping, WANG Guo-Hui, GUAN Yong Published August 06, 2025 (15 pages) 2025,36(8):3462-3476 [Abstract(1521)]  [View PDF(1753)6.72 K]

Meta-interpretive Learning Based on Memory Strategy WANG Rong, TIAN Cong, SUN Jun, YU Bin, DUAN Zhen-Hua Published August 06, 2025 (19 pages) 2025,36(8):3477-3493 [Abstract(1675)]  [View PDF(1865)6.71 K]

GhostFunc: Verification Method for Rust Operating System Kernel HE Tao, DONG Wei, WEN Yan-Jun Published August 06, 2025 (18 pages) 2025,36(8):3494-3511 [Abstract(1608)]  [View PDF(1615)6.75 K]

Scenario Modeling and Edge-critical Scenario Generation for Autonomous Driving System DU De-Hui, YE Zhen, ZHENG Cheng-Hang, ZHU Zhen-Zhen, LI Jia-Yun Published August 06, 2025 (19 pages) 2025,36(8):3512-3530 [Abstract(3413)]  [View PDF(1877)6.73 K]

Functional Modeling and Automatic Verification of Dynamic Order Statistic Tree Structures ZUO Zheng-Kang, LIU Zeng-Xin, KE Yu-Han, YOU Zhen, WANG Chang-Jing Published August 06, 2025 (25 pages) 2025,36(8):3531-3553 [Abstract(2131)]  [View PDF(1592)6.72 K]

Trusted Compilation for Synchronous Dataflow Language Based on Pushdown Automata YU Tao, WANG Shan-Shan, XU Qian-Hui, DONG Xiao-Han, HU Dai-Jin, LUO Jie, YANG Yi-Long, LYU Jiang-Hua, MA Dian-Fu Published August 06, 2025 (16 pages) 2025,36(8):3554-3569 [Abstract(1656)]  [View PDF(1624)6.75 K]

Formal Verification of Capability-based Access Control in Operating System Kernel XU Jia-Le, WANG Shu-Ling, LI Li-Ming, ZHAN Bo-Hua, LYU Yi, DAI Yi-Bo, CUI She-Cheng, WU Peng, TAN Yu, ZHANG Xue-Jun, ZHAN Nai-Jun Published August 06, 2025 (17 pages) 2025,36(8):3570-3586 [Abstract(1727)]  [View PDF(1669)6.69 K]

CPS Falsification Based on Hybrid Automata Path Filtering and Dynamic Selection WANG Jia-Wan, LIU Xi-Tong, BU Lei, LI Xuan-Dong Published August 06, 2025 (17 pages) 2025,36(8):3587-3603 [Abstract(1617)]  [View PDF(1434)6.77 K]

Review Articles

Survey on Formal Verification Research for Rust Language ZHANG Zhuo-Ruo, CHANG Rui, YANG Shen-Yi, CHEN Fang Published August 06, 2025 (34 pages) 2025,36(8):3604-3636 [Abstract(2332)]  [View PDF(2832)6.74 K]

Special Issue's Articles

Causal-spatiotemporal-semantics-driven Abstraction Modeling Method for Deep Reinforcement Learning TIAN Li-Li, DU De-Hui, NIE Ji-Hui, CHEN Yi-Kang, LI Ying-Da Published August 06, 2025 (17 pages) 2025,36(8):3637-3654 [Abstract(2250)]  [View PDF(2186)6.72 K]