Volume 30,Issue 7,2019 Table of Contents

Other Issues:  
  
Contents

  • 软件形式化验证专题前言
  • 贺飞,张立军
  • 2019,30(7):1901-1902 [Abstract(791)]  [View PDF(539)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(816)]  [View PDF(1211)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(751)]  [View PDF(1453)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(684)]  [View PDF(566)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(725)]  [View PDF(475)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(1035)]  [View PDF(1245)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(1699)]  [View PDF(735)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(1836)]  [View PDF(871)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(1543)]  [View PDF(680)1.53 M]
  • Verifying Continuous-time Duration Calculus against Real-time Automaton
  • AN Jie and ZHANG Miao-Miao
  • 2019,30(7):1953-1965 [Abstract(1402)]  [View PDF(598)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(1612)]  [View PDF(1105)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(1527)]  [View PDF(901)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(1394)]  [View PDF(998)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(1527)]  [View PDF(1105)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(1506)]  [View PDF(971)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(2100)]  [View PDF(1819)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(1526)]  [View PDF(980)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(3191)]  [View PDF(3595)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(1540)]  [View PDF(1257)2.36 M]