1 Department of Electrical Engineering and Computer Science, and Bond Life Science Center, University of Missouri, USA.
2 Key Laboratory of Symbol Computation and Knowledge Engineering of Ministry of Education, College of Computer Science and Technology, Jilin University, China.