Contents

软件形式化验证专题前言 贺飞,张立军 2019,30(7):1901-1902 [Abstract(1817)]  [View PDF(2521)277.21 K]

Multi-dimensional Emotion Regression via Adversarial Neural Network ZHU Su-Yang, LI Shou-Shan and ZHOU Guo-Dong 2019,30(7):2091-2108 [Abstract(1998)]  [View PDF(3761)1.81 M]

Multi-level and Multi-version Approach for Software Development Dataset ZHU Jia-Xin and ZHOU Ming-Hui 2019,30(7):2109-2123 [Abstract(1787)]  [View PDF(3525)1.57 M]

Tracking Call Path of Online Advertisement Based on Jalangi XU Lei, LIU Rui-Cheng, CHEN Gui-Mei, ZHAO Chen and ZHANG Wei-Feng 2019,30(7):2124-2138 [Abstract(1547)]  [View PDF(2459)1.54 M]

Maximum Common Subgraph Based Social Network Alignment Method FENG Shuo, SHEN De-Rong, NIE Tie-Zheng, KOU Yue and YU Ge 2019,30(7):2175-2187 [Abstract(1734)]  [View PDF(2572)1.46 M]

Fast Elastic Motion Estimation Using Improved Levenberg-Marquardt Method SONG Chuan-Ming, MIN Xin, YAN Xiao-Hong, WANG Xiang-Hai and YIN Bao-Cai 2019,30(7):2208-2226 [Abstract(1932)]  [View PDF(3428)2.15 M]

Special Issue's Articles

SVM-based Method for Detecting Ranking Functions in Polynomial Loop Programs LI Yi, CAI Tian-Xun, FAN Jian-Feng, WU Wen-Yuan and FENG Yong 2019,30(7):1903-1915 [Abstract(3253)]  [View PDF(3511)1.43 M]

Modelling and Verification of High-order Typed Software Architecture and Case Study WUNIRI Qi-Qi-Ge, LI Xiao-Ping, MA Shi-Long, LÜ Jiang-Hua and ZHANG Si-Qing 2019,30(7):1916-1938 [Abstract(3655)]  [View PDF(4267)2.57 M]

Efficient Implementation of Coverability Verification on Communication-free Petri Net DING Ru-Jiang and LI Guo-Qiang 2019,30(7):1939-1952 [Abstract(3204)]  [View PDF(3222)1.53 M]

Verifying Continuous-time Duration Calculus against Real-time Automaton AN Jie and ZHANG Miao-Miao 2019,30(7):1953-1965 [Abstract(2858)]  [View PDF(3443)1.48 M]

Integrated Modeling Method of CPS for Real-time Data LUO Chen-Xia, WANG Rui, GUAN Yong, LI Xiao-Juan, SHI Zhi-Ping and Xiaoyu SONG 2019,30(7):1966-1979 [Abstract(3415)]  [View PDF(4247)1.66 M]

Multi-threaded Code Generation Tool for Synchronous Language YANG Zhi-Bin, YUAN Sheng-Hao, XIE Jian, ZHOU Yong, CHEN Zhe, XUE Lei, Jean-Paul BODEVIX and Mamoun FILALI 2019,30(7):1980-2002 [Abstract(3228)]  [View PDF(4984)2.46 M]

Comparison of Two Trustworthy Compilers Vélus and L2C for Synchronous Languages KANG Yue-Xin, GAN Yuan-Ke and WANG Sheng-Yuan 2019,30(7):2003-2017 [Abstract(3290)]  [View PDF(4266)1.60 M]

Attack Detection of CPS System with Multi-sensors YANG Kang, WANG Rui, GUAN Yong, LI Xiao-Juan, SHI Zhi-Ping and Xiaoyu SONG 2019,30(7):2018-2032 [Abstract(3159)]  [View PDF(3896)1.58 M]

Computational Complexity of Several Problems for Resetting Timed Automata ZHU Kai, WU Guo-Qing, WU Li-Hua and YUAN Meng-Ting 2019,30(7):2033-2051 [Abstract(3090)]  [View PDF(4030)2.22 M]

Review Articles

Suvery on Chinese Discourse Understanding KONG Fang, WANG Hong-Ling and ZHOU Guo-Dong 2019,30(7):2052-2072 [Abstract(3803)]  [View PDF(5734)2.00 M]

Restricted Boltzmann Machines: A Review ZHANG Jian, DING Shi-Fei, ZHANG Nan, DU Peng, DU Wei and YU Wen-Jia 2019,30(7):2073-2090 [Abstract(3918)]  [View PDF(4588)1.91 M]

Research on Knowledge Graph Data Management: A Survey WANG Xin, ZOU Lei, WANG Chao-Kun, PENG Peng and FENG Zhi-Yong 2019,30(7):2139-2174 [Abstract(7311)]  [View PDF(12471)3.44 M]

Human Facial Attributes Estimation: A Survey CAO Meng, TIAN Qing, MA Ting-Huai and CHEN Song-Can 2019,30(7):2188-2207 [Abstract(3273)]  [View PDF(4956)2.36 M]