说明：  李 宣 东 南京大学计算机科学与技术系 http://cs.nju.edu.cn/people/lixuandong/softE.html
(Nanjing University Computer Science and Technology Department of http :// cs.nju.edu.cn/people/lixuandong/softE. html)