Contents

Normalized Adaptive Variance Reduction Method JIANG Wei, YANG Si-Fan, WANG Yi-Bo, ZHANG Li-Jun Published November 06, 2025 (13 pages) 2025,36(11):4893-4905 [Abstract(1349)]  [View PDF(1852)2.34 M]

Formal Analysis of Cross-chain Protocol IBC WEI Qiu-Yang, ZHAO Xu-Feng, ZHU Xue-Yang, ZHANG Wen-Hui, LU Yi-Han Published November 06, 2025 (22 pages) 2025,36(11):4953-4974 [Abstract(2028)]  [View PDF(2262)8.18 M]

Code Similarity Detection Supported by Longest Common Subsequence Embedding GONG Yuan-Jun, HUANG Jian-Jun, YOU Wei, SHI Wen-Chang, LIANG Bin, BIAN Pan, ZHANG Jian Published November 06, 2025 (15 pages) 2025,36(11):4975-4989 [Abstract(1118)]  [View PDF(1459)1.96 M]

Formal Verification Techniques for Implementing Post-quantum Cryptography Falcon TIAN Xin-Lei, DONG Yi-Yi, ZHANG Ji-Xian, WANG Wei-Jia Published November 06, 2025 (18 pages) 2025,36(11):4990-5007 [Abstract(1686)]  [View PDF(1208)6.04 M]

Issue-based LLM Retrieval Augmentation for Generating Supplementary Code Comments PAN Xing-Lu, ZHAO Xian-Lin, LIU Chen-Xiao, ZOU Yan-Zhen, XIE Bing Published November 06, 2025 (23 pages) 2025,36(11):5008-5030 [Abstract(1362)]  [View PDF(1811)11.00 M]

Structural-entropy-based Anomaly Detection in Attributed Graph WU Jiang-Hao, DUAN Liang, YUE Kun, LI Ang-Sheng, YANG Pei-Zhong Published November 06, 2025 (14 pages) 2025,36(11):5031-5044 [Abstract(1108)]  [View PDF(1636)6.56 M]

Multi-class Vulnerability Detection with Structure-aware Graph Neural Network CAO Si-Cong, SUN Xiao-Bing, BO Li-Li, WU Xiao-Xue, LI Bin, CHEN Ting, LUO Xia-Pu, ZHANG Tao, LIU Wei Published November 06, 2025 (17 pages) 2025,36(11):5045-5061 [Abstract(2358)]  [View PDF(1662)3.23 M]

Black-box Adversarial Attack for Deep Vulnerability Detection Model QU Yu-Bin, HUANG Song, CHEN Xiang, WANG Xing-Ya, LI Long, WANG Dan, YAO Yong-Ming, JU Xiao-Lin Published November 06, 2025 (20 pages) 2025,36(11):5062-5081 [Abstract(1683)]  [View PDF(1441)5.90 M]

Identification of Maintenance Status in Open-source Software Projects Based on Machine Learning LUO Shi-Yu, LI Xin-Lei, LUO Jun-Tao, WANG Xin, ZHANG Guo-Feng, CHEN Yang Published November 06, 2025 (20 pages) 2025,36(11):5082-5101 [Abstract(907)]  [View PDF(1426)8.92 M]

Code to Policy Consistency Detection for Mini Program Based on Semantic Analysis LIU Li-Pei, MAO Jian, LIN Qi-Xiao, LYU Yu-Song, LI Jia-Wei, LIU Jian-Wei Published November 06, 2025 (16 pages) 2025,36(11):5102-5117 [Abstract(1045)]  [View PDF(1193)4.28 M]

Visual-language Multimodal Pre-training Based on Multi-entity Alignment LI Deng, WU A-Ming, HAN Ya-Hong Published November 06, 2025 (16 pages) 2025,36(11):5118-5133 [Abstract(1376)]  [View PDF(1305)4.06 M]

Collective Emotional Stabilization Method for Social Network Rumor Detection YIN Ming, QIAO Sheng, CHEN Wei, JIANG Ji-Jiao Published November 06, 2025 (24 pages) 2025,36(11):5134-5157 [Abstract(1089)]  [View PDF(1528)4.22 M]

Event Coreference Resolution Method Enhanced by External Knowledge XU Sheng, LI Pei-Feng, ZHU Qiao-Ming Published November 06, 2025 (20 pages) 2025,36(11):5158-5177 [Abstract(841)]  [View PDF(1250)5.31 M]

Multi-source Chinese Medical Knowledge Graph Entity Alignment via Entity Semantics and Ontology Information DING Rui-Qing, ZHAO Jun-Feng, WANG Le-Ye Published November 06, 2025 (19 pages) 2025,36(11):5178-5196 [Abstract(1661)]  [View PDF(2245)5.33 M]

Heterogeneous Graph Attention Network for Entity Alignment SUN Chen-Chen, JIN Yu-Yuan, SHEN De-Rong, NIE Tie-Zheng, KOU Yue Published November 06, 2025 (16 pages) 2025,36(11):5197-5212 [Abstract(1082)]  [View PDF(1713)7.26 M]

Chinese Idiom Misuse Diagnosis Based on Levitating Injection of Interpretation Knowledge HE Liang, CAO Yong-Chang, HUANG Yan-Chen, WU Zhen, DAI Xin-Yu, CHEN Jia-Jun Published November 06, 2025 (14 pages) 2025,36(11):5213-5226 [Abstract(946)]  [View PDF(1355)7.80 M]

TaGNN: Tendency-aware Graph Neural Network for Water Quality Prediction with Coupled Noise SUN Jian-Ming, XU Yu-Yang, TONG Shuo, YING Hao-Chao, ZHANG Xiao, ZHUANG Fu-Zhen, WU Jian Published November 06, 2025 (14 pages) 2025,36(11):5227-5240 [Abstract(1676)]  [View PDF(1377)9.84 M]

Legalization Principles and Transformation Verification Model of Smart Contracts LI Ren-Xiang, JIANG Zhong-Yuan, GAO Sheng, QIAN Xiao, SHEN Xiu-Xuan, LIU Bing-Cheng, TAO Mei-Yue, MA Jian-Feng Published November 06, 2025 (38 pages) 2025,36(11):5296-5333 [Abstract(967)]  [View PDF(1177)12.66 M]

Deterministic Scheduling Theory for Time-triggered Airborne Wireless Communication Network WEN Qin, LI Shi-Ning, XU Jiang-Wei, JI Yuan, XIAO Lin-Jie, LI Yi-Ming, CHENG Tao Published November 06, 2025 (22 pages) 2025,36(11):5334-5355 [Abstract(887)]  [View PDF(1262)11.30 M]

Detection of Timer Concurrency Bug in Linux Kernel ZHOU Duo-Ming, MA Lin, ZHOU Ya-Jin Published November 06, 2025 (30 pages) 2025,36(11):5356-5385 [Abstract(1340)]  [View PDF(1290)8.42 M]

Review Articles

Deep-learning-driven Software Vulnerability Prediction: Problems, Progress, and Challenges TANG Jia-Xin, WANG Xuan, LAI Wei, LU Ze-Yu, GUO Zhao-Qiang, YANG Yi-Biao, ZHOU Yu-Ming Published November 06, 2025 (47 pages) 2025,36(11):4906-4952 [Abstract(2377)]  [View PDF(2392)11.69 M]

Review on mmWave-based Human Perception XI Rui, ZHANG Jia, SUN Yi-Miao, HE Yuan Published November 06, 2025 (33 pages) 2025,36(11):5241-5273 [Abstract(1431)]  [View PDF(1784)9.76 M]

Research Advances in Programmable Switches Driven Network Security ZOU Zhi-Kai, ZHANG Meng-Hao, LI Guan-Yu, YANG Ren-Yu, WO Tian-Yu, HU Chun-Ming, XU Ming-Wei Published November 06, 2025 (22 pages) 2025,36(11):5274-5295 [Abstract(1930)]  [View PDF(1878)8.93 M]