基金Supported by National Natural Science Foundation of China(61170124,61272258,61301299,61272005,61572085)Provincial Natural Science Foundation of Jiangsu(BK20151254,BK20151260)+2 种基金Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education,Jilin University(93K172016K08)a Prospective Joint Research Projects from Joint Innovation and Research Foundation of Jiangsu Province(BY2014-05914)Collaborative Innovation Center of Novel Software Technology and Industrialization
