Contents

Fact Verification with Chinese Tabular Data Based on Capsule Heterogeneous Graph Attention Network YANG Peng, ZHA Xian-Yu, ZHAO Guang-Zhen, LIN Xi Published September 06, 2024 (22 pages) 2024,35(9):4324-4345 [Abstract(1199)]  [View PDF(2868)7.45 M]

Detection Method for Human Respiration Waveform in Sleep State Based on IR-UWB GUO Zheng-Xin, DAI Yu-Hao, GUI Lin-Qing, SHENG Bi-Yun, XIAO Fu Published September 06, 2024 (19 pages) 2024,35(9):4346-4364 [Abstract(1798)]  [View PDF(2793)11.29 M]

Pobe: Generative Model-based Out-of-distribution Text Detection Method OUYANG Ya-Wen, GAO Yuan, ZONG Shi, BAO Yu, DAI Xin-Yu Published September 06, 2024 (12 pages) 2024,35(9):4365-4376 [Abstract(1485)]  [View PDF(3033)7.08 M]

Aspect-level Sentiment Classification Combining Aspect Modeling and Curriculum Learning YE Jing, XIANG Lu, ZONG Cheng-Qing Published September 06, 2024 (13 pages) 2024,35(9):4377-4389 [Abstract(1291)]  [View PDF(2881)5.16 M]

Importance Sampling Based Efficient Representation for Hypergraph Networks SHAO Hao, WANG Lun-Wen, ZHU Ran-Gang, LIU Hui Published September 06, 2024 (18 pages) 2024,35(9):4390-4407 [Abstract(1449)]  [View PDF(3061)7.73 M]

Joint Spectral Embedding Multi-view Clustering Algorithm Based on Bipartite Graphs ZHAO Xing-Wang, WANG Shu-Jun, LIU Xiao-Lin, LIANG Ji-Ye Published September 06, 2024 (17 pages) 2024,35(9):4408-4424 [Abstract(1599)]  [View PDF(2965)7.42 M]

Knowledge Point Recommendation Method Based on Static and Dynamic Learning Demand Perception ZHOU Yang-Tao, LI Qing-Shan, CHU Hua, LI Jia-Nan, GAO Ming-Biao, WEI Biao-Biao Published September 06, 2024 (23 pages) 2024,35(9):4425-4447 [Abstract(1646)]  [View PDF(3247)9.43 M]

Subset Repair Method Combining Rules and Probabilities for Inconsistent Data ZHANG An-Zhen, SI Jia-Yu, LIANG Tian-Yu, ZHU Rui, QIU Tao Published September 06, 2024 (21 pages) 2024,35(9):4448-4468 [Abstract(1114)]  [View PDF(2844)8.56 M]

Counterfactual Interpretation Method for Database Configuration Optimization ZHU Xiao, SHAO Xin-Yue, ZHANG Yan, WANG Hong-Zhi Published September 06, 2024 (24 pages) 2024,35(9):4469-4492 [Abstract(1418)]  [View PDF(2623)7.99 M]

Special Issue's Articles

形式化方法与应用专题前言 曹钦翔，宋富，詹乃军 Published September 06, 2024 (2 pages) 2024,35(9):4011-4012 [Abstract(1950)]  [View PDF(3584)3.54 M]

Review Articles

Survey on Construction of Safety Case Arguments CHEN Ze-Zhong, DENG Yu-Xin Published September 06, 2024 (26 pages) 2024,35(9):4013-4037 [Abstract(2127)]  [View PDF(5106)9.22 M]

Survey on Acceleration Techniques for Complete Neural Network Verification LIU Zong-Xin, YANG Peng-Fei, ZHANG Li-Jun, WU Zhi-Lin, HUANG Xiao-Wei Published September 06, 2024 (30 pages) 2024,35(9):4038-4068 [Abstract(2570)]  [View PDF(5007)13.62 M]

Survey on Interactive Theorem Proving Based Concurrent Program Verification WANG Zhong-Ye, WU Shu-Shu, CAO Qin-Xiang Published September 06, 2024 (31 pages) 2024,35(9):4069-4099 [Abstract(2057)]  [View PDF(4888)7.23 M]

Special Issue's Articles

Formal Modeling and Verification of Carrier-borne Aircraft Ammunition Support Operation Scheduling JIN Zhao, JIN Lu, ZHANG Bo-Wen, WU Qing-Shun, FENG Shuo, LI Guan-Feng, XU Ming-Liang Published September 06, 2024 (23 pages) 2024,35(9):4100-4122 [Abstract(2062)]  [View PDF(5041)9.27 M]

Analysis of Real-time Embedded Multi-core System Based on Prioritized Time Petri Net ZHANG Kai-Wen, LIU Guan-Jun, SUN Yan-Tao, LI Xiao-Feng, GUAN Jian, XIE Yi, GU Bin Published September 06, 2024 (18 pages) 2024,35(9):4123-4140 [Abstract(1651)]  [View PDF(3419)3.57 M]

Strong Linearizability Checking and Determination for Concurrent Objects WANG Chao, JIA Qiao-Wen, Lü Yi, WU Peng Published September 06, 2024 (18 pages) 2024,35(9):4141-4159 [Abstract(1411)]  [View PDF(4098)6.14 M]

Formal Verification of Robot Forward Kinematics Based on DH Calibration XIE Guo-Jun, YANG Huan-Huan, SHI Zheng-Pu, CHEN Gang Published September 06, 2024 (20 pages) 2024,35(9):4160-4178 [Abstract(1567)]  [View PDF(4716)7.23 M]

Formal Verification of Functional Correctness for Mutexes in Microkernel ZHANG Lin-Yan, LI Xi-Meng, SHI Zhi-Ping, GUAN Yong, CAO Qin-Xiang, ZHANG Qian-Ying Published September 06, 2024 (15 pages) 2024,35(9):4179-4192 [Abstract(1602)]  [View PDF(4486)7.93 M]

Vulnerability Detection Model for Blockchain Systems Based on Formal Method CHEN Jin-Fu, FENG Qiao-Wei, CAI Sai-Hua, SHI Deng-Zhou, Rexford Nii Ayitey SOSU Published September 06, 2024 (27 pages) 2024,35(9):4193-4217 [Abstract(2601)]  [View PDF(5241)8.82 M]

Program Derivation and Mechanized Verification of Imperative Dynamic Programming Algorithms ZUO Zheng-Kang, SUN Huan, WANG Chang-Jing, YOU Zhen, HUANG Qing, WANG Chang-Chang Published September 06, 2024 (26 pages) 2024,35(9):4218-4241 [Abstract(1189)]  [View PDF(4142)10.40 M]

Trie+ Structural Functional Modeling, Mechanized Verification and Application ZUO Zheng-Kang, KE Yu-Han, HUANG Qing, WANG Yue-Kun, ZENG Zhi-Cheng, WANG Chang-Jing Published September 06, 2024 (23 pages) 2024,35(9):4242-4264 [Abstract(1310)]  [View PDF(3971)8.58 M]

Requirement Modeling and Verification for Automatic Flight System Modes Based on MTRDL XU Heng, HUANG Zhi-Qiu, HU Jun, TAO Chuan-Qi, WANG Jin-Yong, SHI Fan Published September 06, 2024 (21 pages) 2024,35(9):4265-4286 [Abstract(1426)]  [View PDF(4343)10.56 M]

Safety Analysis for Mixed-criticality System with Random Errors and Burst Errors Based on AADL WEI Xiao-Min, DONG Yun-Wei, SUN Cong, LI Xing-Hua, MA Jian-Feng Published September 06, 2024 (24 pages) 2024,35(9):4287-4309 [Abstract(1563)]  [View PDF(4054)11.54 M]

Tool for Determinization of Büchi Automata MA Run-Zhe, TIAN Cong, WANG Wen-Sheng, DUAN Zhen-Hua Published September 06, 2024 (17 pages) 2024,35(9):4310-4323 [Abstract(1370)]  [View PDF(4053)6.17 M]