Contents

软件形式化验证专题前言 贺飞,张立军 2019,30(7):1901-1902 [Abstract(2554)]  [View PDF(4939)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(2881)]  [View PDF(9319)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(2615)]  [View PDF(6632)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(2241)]  [View PDF(4424)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(2656)]  [View PDF(4433)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(2671)]  [View PDF(5581)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(4232)]  [View PDF(6582)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(4575)]  [View PDF(12061)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(4186)]  [View PDF(6496)1.53 M]

Verifying Continuous-time Duration Calculus against Real-time Automaton AN Jie and ZHANG Miao-Miao 2019,30(7):1953-1965 [Abstract(3863)]  [View PDF(6649)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(4505)]  [View PDF(8238)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(4096)]  [View PDF(8230)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(4314)]  [View PDF(7794)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(4122)]  [View PDF(7504)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(4138)]  [View PDF(7477)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(4843)]  [View PDF(10522)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(5294)]  [View PDF(10194)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(9399)]  [View PDF(19077)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(4263)]  [View PDF(8740)2.36 M]