Modeling and Realization of NGGPS Mathematical Logic
Zheng Rong-mao Liu Gui-xiong Zhang Yu-xian
Journal of South China University of Technology (Natural Science Edition) . 2010, (6): 122 -127 .  DOI: 10.3969/j.issn.1000-565X.2010.06.023