基金Supported by the Specialized Research Fund for the Doctoral Program of Higher Education under Grant Nos. 20060006024 and 20080013006Chinese Ministry of Education, by the National Natural Science Foundation of China under Grant No. 60772023+2 种基金by the Open Fund of the State Key Laboratory of Software Development Environment under Grant No. SKLSDE-07-001Beijing University of Aeronautics and Astronauticsby the National Basic Research Program of China (973 Program) under Grant No. 2005CB321901
基金The project supported by the Key Project of the Ministry of Education under Grant No.106033the Specialized Research Fund for the Doctoral Program of Higher Education under Grant No.20060006024+2 种基金National Natural Science Foundation of China under Grant Nos.60372095 and 60772023the Open Fund of the State Key Laboratory of Software Development Environment under Grant No.SKLSDE07-001Beijing University of Aeronautics and Astronautics,and the National Basic Research Program of China(973 Program)under Grant No.2005CB321901