北京航空航天大學(xué)數(shù)學(xué)與系統(tǒng)科學(xué)學(xué)院應(yīng)用數(shù)學(xué)導(dǎo)師介紹：佘志坤

• 2026考研英語(yǔ)全程班 6班
• 26考研全科上岸規(guī)劃營(yíng)「擇校▪規(guī)劃▪備考」
• 北京航空航天大學(xué)2026考研專(zhuān)業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫(kù)」

導(dǎo)師詳細(xì)信息

姓名：佘志坤

性別：男

出生年份：1977

職稱(chēng)：教授

院系：數(shù)學(xué)與系統(tǒng)科學(xué)學(xué)院

首次聘任導(dǎo)師時(shí)間：2009

現(xiàn)聘任導(dǎo)師一級(jí)學(xué)科名稱(chēng)：數(shù)學(xué)

現(xiàn)聘任導(dǎo)師二級(jí)學(xué)科名稱(chēng)：應(yīng)用數(shù)學(xué)

聘任在第二學(xué)科培養(yǎng)博士生專(zhuān)業(yè)名稱(chēng)：無(wú)

聘任在自主設(shè)置學(xué)科培養(yǎng)博士生專(zhuān)業(yè)名稱(chēng)：無(wú)

主要研究方向及特色：研究方向：混成系統(tǒng)自動(dòng)驗(yàn)證、微分方程與動(dòng)力系統(tǒng)、符號(hào)－數(shù)值計(jì)算、計(jì)算復(fù)雜性、空間非開(kāi)普勒軌道分析與控制；研究特色：屬于交叉領(lǐng)域的基礎(chǔ)及應(yīng)用研究，涉及到數(shù)學(xué)、計(jì)算機(jī)科學(xué)和系統(tǒng)科學(xué)。歡迎有興趣的碩士生、博士生與博士后加盟其中。

電子信箱：zhikun.she@buaa.edu.cn

辦公電話：82317930

辦公地點(diǎn)：圖書(shū)館西配樓518房間

通信地址：北京市海淀區(qū)學(xué)院路37號(hào)院

個(gè)人簡(jiǎn)介：

個(gè)人情況簡(jiǎn)介:

佘志坤，男，1977年出生。北京航空航天大學(xué)數(shù)學(xué)與系統(tǒng)科學(xué)學(xué)院教授、博士生導(dǎo)師。2007年度北京市優(yōu)秀人才，2007年度北京航空航天大學(xué)藍(lán)天新秀，2008年度北京市科技新星，2013年度教育部新世紀(jì)優(yōu)秀人才，2014年度國(guó)家優(yōu)秀青年科學(xué)基金項(xiàng)目獲得者。獲2013年度教育部自然科學(xué)獎(jiǎng)一等獎(jiǎng)（第三完成人）。1995年9月到2005年6月，就讀于北京大學(xué)數(shù)學(xué)科學(xué)學(xué)院，獲理學(xué)學(xué)士和博士學(xué)位（碩博連讀）；2004年1月到2006年12月，工作于德國(guó)馬普計(jì)算機(jī)科學(xué)研究所。

他主要在混成系統(tǒng)自動(dòng)驗(yàn)證、微分方程和動(dòng)力系統(tǒng)、符號(hào)-數(shù)值計(jì)算、計(jì)算復(fù)雜性、空間非開(kāi)普勒軌道分析與優(yōu)化控制等領(lǐng)域從事基礎(chǔ)和應(yīng)用研究。博士期間，在導(dǎo)師鄭志明教授的指導(dǎo)下，提出了偽除機(jī)理論，從而推廣了Smale等提出的著名的BSS機(jī)器(即所謂的實(shí)圖靈機(jī)模型)，并在2002年國(guó)際數(shù)學(xué)家大會(huì)分會(huì)場(chǎng)做此研究成果的報(bào)告。以此為基礎(chǔ)，在實(shí)代數(shù)系統(tǒng)的研究上也取得了一系列原創(chuàng)成果。Herbrand獎(jiǎng)得主、德國(guó)馬普計(jì)算機(jī)科學(xué)研究所前所長(zhǎng)H.Ganzinger教授高度重視，特意邀請(qǐng)他前往德國(guó)馬普計(jì)算機(jī)科學(xué)研究所做短期訪問(wèn)；隨后，在未取得博士學(xué)位情況下，他被破格邀請(qǐng)到馬普從事博士后研究，并進(jìn)入德國(guó)大型跨區(qū)域科研項(xiàng)目AVACS（www.avacs.org）的核心研究小組之中。

在混成系統(tǒng)自動(dòng)驗(yàn)證領(lǐng)域，他對(duì)非線性混成系統(tǒng)安全性自動(dòng)驗(yàn)證問(wèn)題進(jìn)行了直接處理，突破了之前理論主要通過(guò)線性近似來(lái)討論的局限性，并開(kāi)發(fā)了自動(dòng)驗(yàn)證軟件Hsolver（hsolver.sourceforge.net/）。由美國(guó)工程院院士Alberto L. Sangiovanni-Vincentelli發(fā)表的、詳細(xì)介紹國(guó)際上混成系統(tǒng)研究方面最新進(jìn)展的綜述性學(xué)術(shù)論文《Languages and Tools for Hybrid Systems Design》（Foundations and Trends in Electronic Design Automation. Vol. 1, No 1/2 (2006), 1-193）在134至140頁(yè)介紹的就是其工作，其評(píng)價(jià)是“HSolver improves the traditional method by implementing a pruning algorithm that removes uninteresting parts of the state space before reducing the grid size. Consequently, the refinement of the over-approximation can be obtained even without increasing the number of grid locations, one of the causes of exponential blowout in the verification algorithms for hybrid systems”、“The language for describing hybrid systems is very easy to understand. There are no limitations in describing a single automaton and the limited number of statements in the language makes it simple to use”。
歸國(guó)后，他把混雜(成)系統(tǒng)引入到空間非開(kāi)普勒軌道的分析與優(yōu)化控制之中，被譽(yù)為“從混雜系統(tǒng)研究空間軌道構(gòu)思新穎，是航天器軌道研究的一個(gè)新方向”。 發(fā)表在《宇航學(xué)報(bào)》的學(xué)術(shù)論文《空間非開(kāi)普勒軌道分析與控制中的數(shù)學(xué)問(wèn)題》被西北工業(yè)大學(xué)精品課程《航天器飛行力學(xué)》列為學(xué)科前沿（http://jpkc.nwpu.edu.cn/jp2011/04/xuekeqianyan.html）。

他獨(dú)立撰寫(xiě)國(guó)防報(bào)告3部，在ACM Transactions on Embedded Computing Systems、SIAM Journal on Control and Optimization、Journal of Symbolic Computation、Celestial Mechanics and Dynamical Astronomy等領(lǐng)域國(guó)際頂級(jí)刊物和AAAI、CAV、ISSAC、HSCC等領(lǐng)域國(guó)際頂級(jí)會(huì)議上發(fā)表學(xué)術(shù)論文40余篇。研究成果被來(lái)自于Massachusetts Institute of Technology、Stanford University、University of California at Berkeley、University of Cambridge、University of Oxford、ETH Zurich、Carnegie Mellon University、RWTH Aachen、日本早稻田大學(xué)、新加坡國(guó)立大學(xué)、清華大學(xué)、CNRS、INRIA、MPII、中國(guó)科學(xué)院軟件所等國(guó)內(nèi)外著名機(jī)構(gòu)的學(xué)者他引300余次，單篇最高他引90余次。特別地，圖靈獎(jiǎng)得主Edmund M. Clarke、美國(guó)工程院院士Alberto L. Sangiovanni-Vincentelli、美國(guó)工程院院士、歐洲科學(xué)院院士Moshe Y. Vardi、歐洲科學(xué)院院士Marta Kwiatkowska、清華大學(xué)孫家廣院士、斯坦福大學(xué)Prof. Zohre Manna、ACM會(huì)士、IEEE會(huì)士Prof. John A. Stankovic、ACM會(huì)士Prof. Lawrence Paulson、IEEE會(huì)士Prof. Bruce Krogh、IEEE會(huì)士Prof. Bud Mishra、IEEE會(huì)士Prof. Insup Lee、IEEE會(huì)士Prof. John Lygeros、IEEE會(huì)士Prof. George Pappas等給予了積極的正面評(píng)價(jià)，諸如“明顯優(yōu)勢(shì)”、“極大改進(jìn)”、“靈感之源”等等。

自2007年以來(lái)承擔(dān)科研項(xiàng)目情況：

1）參與973項(xiàng)目“海量信息的協(xié)同性和可生存性的理論與實(shí)踐研究”的“海量信息系統(tǒng)協(xié)同性和可生存性的隨機(jī)模型研究”課題組(2005CB321902，2006-2010)。

2）主持2007年度北京市優(yōu)秀人才資助項(xiàng)目“混雜系統(tǒng)自動(dòng)驗(yàn)證和分析”(2007.01-2008.12)；

3）主持教育部留學(xué)歸國(guó)人員科研啟動(dòng)基金“混雜系統(tǒng)自動(dòng)驗(yàn)證與分析”(2008.01-2009.12)；

4）主持國(guó)家軍口863項(xiàng)目“XXXXXXXXXXXXXXXX關(guān)鍵技術(shù)研究”(2008.07-2010.06，70萬(wàn))；

5）主持2008年度北京市科技新星計(jì)劃項(xiàng)目“混雜系統(tǒng)自動(dòng)驗(yàn)證及其在軟件可靠性中的應(yīng)用”(2009.01-2011.12，25萬(wàn))；

6）主持國(guó)家軍口863項(xiàng)目“XXXXXXXXXXXXXX可靠性研究”(2010.07-2011.06，30萬(wàn))；

7）主持國(guó)家自然基金項(xiàng)目“基于代數(shù)分析與符號(hào)計(jì)算的混成系統(tǒng)自動(dòng)驗(yàn)證”（2011.01-2013.12，20萬(wàn)）；

8）主持軟件開(kāi)發(fā)環(huán)境國(guó)家重點(diǎn)實(shí)驗(yàn)室自選課題“基于微分不變量的混成系統(tǒng)安全性自動(dòng)驗(yàn)證”（2011.05-2013.05,15萬(wàn)）；

9）主持北航領(lǐng)航基金“海量信息知識(shí)體系發(fā)現(xiàn)與進(jìn)化中的關(guān)鍵問(wèn)題研究”(2011.01-2011.12,10萬(wàn))。

任現(xiàn)職以來(lái)發(fā)表的代表性論文：

19) L. Zhang, Z. She, S. Ratschan, H. Hermanns, E. M. Hahn. Safety Verification for Probabilistic Hybrid Systems. accepted for European Journal of Control, 2011.

18) Zhikun She and Bai Xue. Computing a basin of attraction to a target region by solving bilinear semi-definite problems. In Proceedings of the 13th International Workshop in Computer Algebra in Scientific Computing, Lecture Notes in Computer Science, Vol. 6885, pp. 333-344, Springer, 2011.

17) Zhikun She. Termination Analysis of Safety Verification for Non-linear Robust Hybrid Systems. In Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, pp. 251-261, SciTePress, 2011. (full paper, 接受率10%, 共322份投稿)

16) Zhikun She, Bai Xue and Zhiming Zheng. Algebraic Analysis on Asymptotic Stability of Continuous Dynamical Systems. In Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, pp. 313-320, 2011. (ISSAC為計(jì)算機(jī)科學(xué)“Algorithms and Theory”的頂級(jí)會(huì)議)

15) Zhikun She, Bican Xia and Zhiming Zheng. Condition number based complexity estimate for solving polynomial systems. Journal of Computational and Applied Mathematics, 235(8): 2670-2678, Elsevier, 2011.

14) Zhikun She, Jing Yu and Bai Xue. Controllable Laws for Stability Analysis of Switched Linear Systems. In Proceedings of the 3rd IEEE International Conference on Computer and Network Technology, Vol. 13, pp. 127-131, 2011.

13) Stefan Ratschan and Zhikun She. Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-like Functions. SIAM Journal on Control and Optimization, 48(7): 4377-4394, 2010.

12) Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst M. Hahn. Safety Verification for Probabilistic Hybrid Systems. In Proceedings of the 22nd International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Vol. 6174, pp. 196-211, Springer, 2010. (CAV為計(jì)算機(jī)科學(xué)“Programming Languages and Software Engineering”的頂級(jí)會(huì)議)（Scholar google 搜索結(jié)果，9次引用）

11) 薛白，佘志坤，余婧，劉鐵鋼，鄭志明。基于混雜系統(tǒng)的空間飛行器懸停控制。中國(guó)空間科學(xué)技術(shù)。第30卷，第2期，pp. 61-67, 2010.

10) H. Zhou, Q. Cheng and Z. She. Reparameterization based consistent graph-structured linear programs. In Proceedings of the 25th ACM Symposium on Applied Computing, pp. 974-978, 2010.

9) 佘志坤，薛白，叢源良，劉鐵鋼，鄭志明。最優(yōu)雙沖量交會(huì)問(wèn)題的數(shù)學(xué)建模與數(shù)值求解。宇航學(xué)報(bào)。第31卷，第1期，pp. 155-161, 2010.

8) 裴森，孫野，趙珍，王海濤，余志坤. 一類(lèi)一維混沌映射的拓?fù)錀l件。第39卷，第19期，pp. 213-227, 2009.

7) Zhikun She, Ranran Yan, Bai Xue and Zhiming Zheng. On the Algebraization of Asymptotic Stability Analysis for Differential Systems. In Proceedings of the 11th IASTED International Conference on Control and Applications, pp. 68-74, ACTA Press, 2009.

6) Zhikun She and Zhiming Zheng. Condition number based complexity estimate for solving local extrema. Journal of Computational and Applied Mathematics, 230(1), pp. 233-242, Elsevier, 2009.

5) Zhikun She, Bican Xia, Rong Xiao and Zhiming Zheng. A semi-algebraic approach for asymptotic stability analysis. Nonlinear Analysis: Hybrid Systems, 3(4), 588-596, Elsevier, 2009.

4) 佘志坤，劉鐵鋼，鄭志明。空間非開(kāi)普勒軌道分析與控制中的數(shù)學(xué)問(wèn)題。宇航學(xué)報(bào)。第30卷，第1期，pp. 54-58, 2009.

3) Zhikun She and Zhiming Zheng. Tightened Reachability Constraints for the Verification of Linear Hybrid Systems. Nonlinear Analysis: Hybrid Systems, Vol. 2, No. 4, pp. 1222-1231, Elsevier, 2008.

2) Stefan Ratschan and Zhikun She. Recursive and Backward Reasoning in the Verification of Hybrid Systems. In Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics, Vol. 4, pp. 65-71, SciTePress, 2008.

1) Zhikun She and Zhiming Zheng. Tightened reachability constraints for safety verification of linear hybrid systems. In Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control, pp. 383-388, ACTA Press, 2007.

任現(xiàn)職之前的代表性論文（與博士后合作導(dǎo)師S. Ratschan合作的文章全按字母排序，可參看S. Ratschan主頁(yè)里的說(shuō)明）：

7) S. Ratschan and Z. She. Safety verification of hybrid systems by constraint propagation-based abstraction refinement. ACM Transactions on Embedded Computing Systems, Vol. 6, No. 1, Article No. 8, pp. 1-23, 2007. （Scholar google 搜索結(jié)果，44次引用）

6) F. Klaedtke, S. Ratschan, and Z. She. Language-based abstraction refinement for hybrid system verification. In Verification, Model Checking and Abstraction Interpretation. Lecture Notes in Computer Science, Vol. 4349, pp. 151-166, Springer, 2007.

5) Zhikun She, Bican Xia and Rong Xiao. A Semi-Algebraic Approach for the Computation of Lyapunov Functions. In Proceedings of the 2nd IASTED International Conference on Computational Intelligence, pp. 7-12, ACTA Press, 2006.

4) Stefan Ratschan and Zhikun She. Providing a Basin of Attraction to a Target Region by Computation of Lyapunov-like Functions. In Bela Patkai and Imre J. Rudas (Eds.): Proceedings of the 4th IEEE International Conference on Computational Cybernetics, pp. 245-249, 2006.

3) Stefan Ratschan and Zhikun She. Constraints for Continuous Reachability in the Verification of Hybrid Systems. In Jacques Calmet, Tetsuo Ida and Dongming Wang (Eds.): AISC 2006, Lecture Notes in Computer Science, Vol. 4120, pp. 196-210, Springer-Verlag, 2006. （Scholar google 搜索結(jié)果，11次引用）

2) S. Ratschan and Z. She. Safety Verification of Hybrid System by Constraint Propagation Based Abstraction Refinement. In M. Morari and L. Thiele (Eds.): HSCC 2005, Lecture Notes in Computer Science, Vol. 3414, pp. 573-589, Springer-Verlag, 2005. （Scholar google 搜索結(jié)果，59次引用）

1) She Zhikun, Xia Bican and Zheng Zhiming. Pseudo-Division Machine(I): A Model of Symbolic Computation. In Proceedings of the 1st International Congress of Mathematical Software: Mathematical Software, pp. 115-125, World Scientific, Singapore, 2002.