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(2093)]  [View PDF(4214)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(1672)]  [View PDF(4025)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(3238)]  [View PDF(6232)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(3201)]  [View PDF(5919)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(3388)]  [View PDF(7603)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(1767)]  [View PDF(4188)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(1243)]  [View PDF(3301)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(2840)]  [View PDF(6073)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(1474)]  [View PDF(3462)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(1430)]  [View PDF(3567)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(1443)]  [View PDF(3841)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(2717)]  [View PDF(7192)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(1327)]  [View PDF(3134)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(2176)]  [View PDF(4417)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(2002)]  [View PDF(4379)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(1429)]  [View PDF(3759)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(1186)]  [View PDF(3347)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(1980)]  [View PDF(5287)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(4410)]  [View PDF(14183)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(3007)]  [View PDF(7114)710.32 K]