Institution: | Wu Xingping 1,Yu\ Pei 2,Li Qingyu 3 1 Department of Mathematics,Southwest China Normal University,Chongqing 400715 2 Department of Computer Science,Chongqing Jiaotong College,Chongqing 400074 3 Department of Foundations,Chongqing College of Commerce |