1. School of Computer Science Key Lab of High Confidence Software Technologies Peking University Beijing 100871 China
2. School of Control and Computer Engineering North China Electric Power University Beijing 102206 China
3. Center for Quantitative Biology Peking University Beijing 100871 China
4. Wallace H. Coulter Department of Biomedical Engineering Georgia Institute of Technology and Emory University Emory University School of Medicine Atlanta GA 30322 USA
5. Department of Chemistry Emory University Atlanta GA 30322 USA