個人簡介:
1970年8月20日出生於浙江省永康市。1987年9月考入中國科技大學計算機科學技術系,1992年7月本科畢業並獲得工學學士學位。同年進入東方通信公司工作。1996年9月考取清華大學工程物理系核能科學與工程專業研究生,1999年7月研究生畢業並獲得工學碩士學位。同年考入清華大學自動化系攻讀控制理論與控制工程專業博士學位,研究方向為離散事件系統的代數方法,導師為鄭大鐘教授。2003年7月畢業獲得博士學位後到北京交通大學電子信息學院工作至今。2005年12月被評為副教授。
研究方向:
離散事件系統的代數方法(極大代數,極小極大代數,及其在異步電路時序分析中的套用)
系統與控制理論(狀態空間方法)
科研項目:
國家自然科學基金項目:面向異步電路CAD的離散事件系統時間層次模型研究
學術著作:
[1] Yiping Cheng, Da-Zhong Zheng. Completeness of idempotent semifields and a generalization of the linear extension theorem in max-plus algebra. In: Proceedings 2nd International Conference on Control and Automation, Xiamen, China, Jun. 2002.
[2] Yiping Cheng, Da-Zhong Zheng. On theCycle Timeof non-autonomous min-max systems. In: Proceedings 2002 Workshop on Discrete Event Systems, Zaragoza, Spain, Oct. 2002. (ISTP檢索)
[3] Yiping Cheng, Da-Zhong Zheng. Ultimate periodicity of orbits for min-max systems. IEEE Transactions on Automatic Control, 47(11):1937-1940, Nov. 2002.(SCI檢索)
[4]程軼平,鄭大鐘. 非自治非線性DEDS的周時研究. 控制與決策,18(3):295-299, May 2003. (EI檢索)
[5] Yiping Cheng, Da-Zhong Zheng. A cycle time computing algorithm and its application in the structural analysis of min-max systems. Discrete Event Dynamic Systems: Theory and Applications, 14(1):5-30,2004. (SCI檢索)
論文[5]解決了DEDS學術界多年沒有解決的極小極大系統的cycle time有效計算問題,是該領域的重大成果。申請人因此於2004年榮獲清華大學優秀博士學位論文二等獎。
從2003年7月開始,申請人在北京交通大學電子信息工程學院工作,期間繼續從事離散事件系統的研究,並逐步將研究興趣擴展到控制理論的其他領域。從2005年開始,申請人獲得國家自然科學基金面上項目資助,受資助課題為“面向異步電路CAD的離散事件系統時間層次模型研究”,為期三年。任職後已發表論文有:
[6] Yiping Cheng, Da-Zhong Zheng. Min-max inequalities and the timing verification problem with max and linear constraints. Discrete Event Dynamic Systems: Theory and Applications, 15(2):119-143, June 2005. (SCI檢索)
[7] Yiping Cheng. Floating point computation of cycle time for min-max functions. In: Proceedings 2005 International Conference on Control and Automation (ICCA 2005), pp. 989-992, Budapest, Hungary, June 2005. (EI, ISTP檢索)
[8] Yiping Cheng. A survey of the theory of min-max systems. In: Proceedings 2005 Conference on Intelligent Computing (ICIC 2005), pp. 616-625, Hefei, China, Aug. 2005. (SCI, EI, ISTP檢索)
[9] Yiping Cheng. 基於CARMA模型多變數系統的j步輸出預估, 《控制與決策》, 2006年9月。
獲獎榮譽:
2004年7月(博士畢業後一年)獲清華大學優秀博士學位論文二等獎