Contents

信息物理系统软件设计自动化专题前言 卜磊，陈铭松，朱祺，刘超 Published June 06, 2020 (2 pages) 2020,31(6):1585-1586 [Abstract(1968)]  [View PDF(2922)298.67 K]

Design Pattern Detection Approach Based on Stacked Generalization FENG Tie, JIN Le, ZHANG Jia-Chen, WANG Hong-Yuan Published June 06, 2020 (20 pages) 2020,31(6):1703-1722 [Abstract(1619)]  [View PDF(4296)2.54 M]

Chinese Sentence-Level Lip Reading Based on End-to-End Model ZHANG Xiao-Bing, GONG Hai-Gang, YANG Fan, DAI Xi-Li Published June 06, 2020 (14 pages) 2020,31(6):1747-1760 [Abstract(2200)]  [View PDF(5046)1.67 M]

Community Aware MSN Routing Scheme Based on ICN Architecture SHI Jun-Ling, WANG Xing-Wei, HUANG Min Published June 06, 2020 (16 pages) 2020,31(6):1786-1801 [Abstract(1642)]  [View PDF(3478)1.87 M]

Node Degree Estimation and Static Game Forwarding Strategy Based Routing Protocol for Ad Hoc Networks WANG Qing-Wen, QI Qian, CHENG Wei, LI Dong Published June 06, 2020 (15 pages) 2020,31(6):1802-1816 [Abstract(4879)]  [View PDF(4186)1.60 M]

CP-ABE Scheme with Fast Decryption for Public Cloud ZOU Li-Ping, FENG Chao-Sheng, QIN Zhi-Guang, YUAN Ding, LUO Wang-Ping, LI Min Published June 06, 2020 (12 pages) 2020,31(6):1817-1828 [Abstract(1852)]  [View PDF(4421)1.29 M]

Improved Dynamic Cube Attack on Reduced MORUS LI Jun-Zhi, GUAN Jie Published June 06, 2020 (10 pages) 2020,31(6):1829-1838 [Abstract(1373)]  [View PDF(3169)973.57 K]

Applying Probabilistic Model Checking to the Quantitative Verification of Task Scheduling for Cloud Rendering System GAO Hong-Hao, MIAO Huai-Kou, LIU Hao-Yu, XU Hua-Hu, YU Zhi-Ruo Published June 06, 2020 (21 pages) 2020,31(6):1839-1859 [Abstract(1591)]  [View PDF(3395)2.38 M]

Heuristic Based Resource Provisioning Approach for Big Data Analytics in Cloud Environment WU Yue-Wen, WU Heng, REN Jie, ZHANG Wen-Bo, WEI Jun, WANG Tao, ZHONG Hua Published June 06, 2020 (15 pages) 2020,31(6):1860-1874 [Abstract(2033)]  [View PDF(4521)1.94 M]

Container Image Deduplication Method Based on Chunking Reuse of Multi-versions LU Zhi-Gang, XU Ji-Wei, HUANG Tao Published June 06, 2020 (14 pages) 2020,31(6):1875-1888 [Abstract(1742)]  [View PDF(3659)1.40 M]

Resource-Constrained Serial Task Offload Strategy in Mobile Edge Computing LIU Wei, HUANG Yu-Cheng, DU Wei, WANG Wei Published June 06, 2020 (20 pages) 2020,31(6):1889-1908 [Abstract(2284)]  [View PDF(5209)2.77 M]

Wear Attacks and Defense Mechanisms for Persistent In-memory File Systems YANG Chao-Shu, ZHUGE Qing-Feng, Edwin H-M Sha, CHEN Xian-Zhang, WU Lin, WU Ting Published June 06, 2020 (21 pages) 2020,31(6):1909-1929 [Abstract(1580)]  [View PDF(3813)2.31 M]

Special Issue's Articles

Towards Modeling and Simulating Behavior of CPS Based on SHML DU De-Hui, GUAN Chun-Lin, WANG Yao, Guo Tong Published June 06, 2020 (13 pages) 2020,31(6):1587-1599 [Abstract(2849)]  [View PDF(5730)1.70 M]

Detecting and Preventing Dangling Pointers WANG Yu, GAO Feng-Juan, MA Ke-Xin, SITU Ling-Yun, WANG Lin-Zhang, CHEN Bi-Huan, LIU Yang, ZHAO Jian-Hua, LI Xuan-Dong Published June 06, 2020 (19 pages) 2020,31(6):1600-1618 [Abstract(3089)]  [View PDF(8873)2.07 M]

Towards Software Architecture and Accompanying Behavior Mechanism of Autonomous Robotic Control Software Based on Multi-agent System MAO Xin-Jun, YANG Shuo, HUANG Yu-Hong, WANG Shuo Published June 06, 2020 (19 pages) 2020,31(6):1619-1637 [Abstract(3206)]  [View PDF(7286)2.19 M]

Formalizing Railway Interlocking Domain Specific Language ZHAO Meng-Yao, CHEN Xiao-Hong, SUN Hai-Ying, LIU Jing, CHEN Liang-Yu, ZHOU Ting-Liang Published June 06, 2020 (16 pages) 2020,31(6):1638-1653 [Abstract(2575)]  [View PDF(5509)1.79 M]

Failure Probabilities Allocation and Safety Assessment Approaches Based on AADL WEI Xiao-Min, DONG Ze-Qian, XIAO Ming-Rui, TIAN Cong Published June 06, 2020 (18 pages) 2020,31(6):1654-1671 [Abstract(2899)]  [View PDF(5931)1.68 M]

Event-triggering Secure Control of Markov Jump Cyber-Pysical Systems Under Mode- dependent Denial of Service Attacks MA Chao, WU Wei Published June 06, 2020 (9 pages) 2020,31(6):1672-1680 [Abstract(2549)]  [View PDF(5125)942.57 K]

Review Articles

Survey of Dynamic Analysis Based Program Invariant Synthesis Techniques WANG Bo, LU Si-Rui, JIANG Jia-Jun, XIONG Ying-Fei Published June 06, 2020 (22 pages) 2020,31(6):1681-1702 [Abstract(4309)]  [View PDF(8095)488.04 K]

Research Progress on Cross-domain Text Sentiment Classification ZHAO Chuan-Jun, WANG Su-Ge, LI De-Yu Published June 06, 2020 (24 pages) 2020,31(6):1723-1746 [Abstract(4013)]  [View PDF(9800)1.75 M]

Differential Privacy under Continual Observation LIANG Wen-Juan, CHEN Hong, WU Yun-Cheng, ZHAO Dan, LI Cui-Ping Published June 06, 2020 (25 pages) 2020,31(6):1761-1785 [Abstract(3527)]  [View PDF(7713)773.79 K]