Contents

Formal Verification Method for Integer Overflow in Aerospace Embedded Software GAO Meng, TENG Jun-Yuan, WANG Zheng Published October 06, 2021 (16 pages) 2021,32(10):2977-2992 [Abstract(1297)]  [View PDF(2266)1.55 M]

HDFS Data Consistency Modelling and Analysis Based on Colored Petri Net QIAO Jia-Lin, HUANG Xiang-Dong, YANG Yi-Fan, WANG Jian-Min, WU Kai Published October 06, 2021 (21 pages) 2021,32(10):2993-3013 [Abstract(882)]  [View PDF(2098)2.62 M]

DevSecOps: Exploring Practices of Realizing Continuous Security in DevOps DAI Qi-Ming, MAO Run-Feng, HUANG Huang, RONG Guo-Ping, SHEN Hai-Feng, SHAO Dong Published October 06, 2021 (22 pages) 2021,32(10):3014-3035 [Abstract(2229)]  [View PDF(3797)1.07 M]

Contents

Improving AMR-to-text Generation with Multi-task Pre-training XU Dong-Qin, LI Jun-Hui, ZHU Mu-Hua, ZHOU Guo-Dong Published October 06, 2021 (16 pages) 2021,32(10):3036-3050 [Abstract(2262)]  [View PDF(4089)407.11 K]

Contents

Learning Causal Relationship from Time Series Based on Bayesian Network WANG Shuang-Cheng, ZHENG Fei, ZHANG Li Published October 06, 2021 (21 pages) 2021,32(10):3068-3084 [Abstract(2229)]  [View PDF(3862)460.40 K]

Optimal Clustering Number Determining Algorithm by the New Clustering Method ZHU Er-Zhou, SUN Yue, ZHANG Yuan-Xiang, GAO Xin, MA Ru-Hui, LI Xue-Jun Published October 06, 2021 (19 pages) 2021,32(10):3085-3103 [Abstract(850)]  [View PDF(2253)2.04 M]

Multi-source-inspired Immune Detector Generation and Detection in Neighborhood Shape-space XI Liang, YAO Zhi-Yu, ZHANG Feng-Bin Published October 06, 2021 (18 pages) 2021,32(10):3104-3121 [Abstract(552)]  [View PDF(1609)1.87 M]

Walking Recognition and Parameters Estimation Based on Wi-Fi Channel State Information LI Sheng-Jie, LI Xiang, ZHANG Yue, WANG Ya-Sha, ZHANG Da-Qing Published October 06, 2021 (17 pages) 2021,32(10):3122-3138 [Abstract(1872)]  [View PDF(3904)1003.71 K]

Few Shot and Confusing Charges Prediction with the Auxiliary Sentences of Case GUO Jun-Jun, LIU Zhen-Cheng, YU Zheng-Tao, HUANG Yu-Xin, XIANG Yan Published October 06, 2021 (12 pages) 2021,32(10):3139-3150 [Abstract(595)]  [View PDF(1679)1.23 M]

Improved Flower Pollination Algorithm Based on Multi-strategy XIAO Hui-Hui, WAN Chang-Xuan Published October 06, 2021 (25 pages) 2021,32(10):3151-3175 [Abstract(696)]  [View PDF(1874)2.57 M]

Building New Key-value Store with High Performance and High Availability ZHU Yue-An, JIAN Huai-Bing, LONG Yong-Chao, LI Bin, WANG Shu, WU Xi-Liang, ZHONG Zhi-Chu, ZHANG Yan-Song Published October 06, 2021 (16 pages) 2021,32(10):3203-3218 [Abstract(713)]  [View PDF(2036)1.62 M]

Contents

Predicting Smartphone Battery Life by Fine-grained Usage Data LI Huo-Ran, LIU Xuan-Zhe, MEI Qiao-Zhu, MEI Hong Published October 06, 2021 (17 pages) 2021,32(10):3219-3235 [Abstract(1282)]  [View PDF(3111)632.25 K]

Contents

Secure Re-use of Partial Randomness and its Application in Multi-receiver Signcryption Scheme LIU Zhen, HAN Yi-Liang, YANG Xiao-Yuan, LIU Shu-Guang Published October 06, 2021 (18 pages) 2021,32(10):3236-3253 [Abstract(484)]  [View PDF(1497)1.66 M]

Research on Intrusion Detection Based on Random Forest and Gradient Boosting Tree ZHOU Jie-Ying, HE Peng-Fei, QIU Rong-Fa, CHEN Guo, WU Wei-Gang Published October 06, 2021 (12 pages) 2021,32(10):3254-3265 [Abstract(1119)]  [View PDF(2405)1.21 M]

Range-based Multi-keyword Searchable Scheme with Privacy Protection in e-Healthcare Cloud Systems ZHANG Ming-Wu, HUANG Jia-Jun, HARN Lein Published October 06, 2021 (17 pages) 2021,32(10):3266-3282 [Abstract(1096)]  [View PDF(2372)1.63 M]

Single Image De-raining Using a Recurrent Dual-attention-residual Ensemble Network ZHANG Xue-Feng, LI Jin-Jing Published October 06, 2021 (10 pages) 2021,32(10):3283-3292 [Abstract(668)]  [View PDF(1894)1.34 M]

VMOffset: Semantic Reconstruction Improvement Method in Virtual Machine Introspection CHEN Xing-Shu, CAI Meng-Juan, WANG Wei, WANG Qi-Xu, JIN Xin Published October 06, 2021 (17 pages) 2021,32(10):3293-3309 [Abstract(452)]  [View PDF(1627)1.76 M]

Contents

Encrypted Video Recognition in Large-scale Fingerprint Database WU Hua, YU Zhen-Hua, CHENG Guang, HU Xiao-Yan Published October 06, 2021 (23 pages) 2021,32(10):3310-3330 [Abstract(1136)]  [View PDF(2944)852.51 K]

Review Articles

Survey of Dynamic Hand Gesture Understanding and Interaction ZHANG Wei, LIN Ze-Yi, CHENG Jian, KE Ming-Yu, DENG Xiao-Ming, WANG Hong-An Published October 06, 2021 (17 pages) 2021,32(10):3051-3067 [Abstract(2693)]  [View PDF(7144)414.86 K]

Review of Research on Multi-query Sharing Technology WEI Jian-Hao, XIA Ye-Feng, GONG Xue-Qing Published October 06, 2021 (27 pages) 2021,32(10):3176-3202 [Abstract(2004)]  [View PDF(3692)710.32 K]