亚洲情xo亚洲色xo无码_国产精品99精品无码视亚_国产精品成人va在线观看_亚洲成在人线av_无码人妻精品一区二区三区东京热

歡迎訪問中國科學(xué)院重慶綠色智能技術(shù)研究院！

人才隊伍

研究員、博士生導(dǎo)師

馮勇 電子信息技術(shù)研究所所長
性別：男
職稱：研究員、博士生導(dǎo)師
學(xué)歷：博士
電話：023-65935517
電子郵箱：yongfeng@cigit.ac.cn
職務(wù)：電子信息技術(shù)研究所所長
簡歷

　　馮勇，2003年6月在中國科學(xué)院研究生院獲得工學(xué)博士學(xué)位。為中國科學(xué)院三期知識創(chuàng)新工程重要方向項目“自動推理及其在高新技術(shù)領(lǐng)域中的應(yīng)用”的首席科學(xué)家，國家973項目“基于混合計算的誤差可控算法”、國家自然科學(xué)基金重大研究計劃 “基于符號-數(shù)值計算的誤差可控算法及應(yīng)用”、國家重點研發(fā)計劃“變革性技術(shù)關(guān)鍵科學(xué)問題”重點專項“隱私保護數(shù)據(jù)處理的數(shù)學(xué)方法”等子課題負責(zé)人，主持3項自然科學(xué)基金面上項目，入選第三批重慶市學(xué)術(shù)技術(shù)帶頭人?，F(xiàn)從事計算機推理與定理機器證明的研究工作，曾在油藏數(shù)值模擬、盆地數(shù)值模擬和自適應(yīng)光學(xué)仿真系統(tǒng)的研究中取得重要成果，與張景中院士共同開創(chuàng)了自動推理中的零誤差計算學(xué)科方向，在國內(nèi)外本領(lǐng)域著名雜志和會議上發(fā)表學(xué)術(shù)論文60多篇。?

所屬部門

電子信息技術(shù)研究所

研究領(lǐng)域

社會任職

重慶電子協(xié)會副理事長

獲獎及榮譽

2017年獲得重慶市勞動模范榮譽?

代表論著

1. Feng Y, Chen J W. On zero-error computation (in Chinese). Sci Sin Math, 51: 3–16, 2021

2. Yong Feng, Jingwei Chen, Wenyuan Wu. The PSLQ algorithm for empirical data. Mathematics of Computation, 88(317):1479-1501, 2019.
3. Yong FENG, Wenyuan WU, Jingzhong ZHANG, Jingwei CHEN. Exact bivariate polynomial factorization over Q by approximation of roots Journal of Systems Science and Complexity, 28(1), pp 243-260, 2015.
4. Yong Feng, Jingwei Chen and Wenyuan Wu. Two Variants of HJLS-PSLQ with Applications. Proceeding of SNC2014, pp 88-96, 2014.?
5. Yong FENG, Xiaolin QIN, Jingzhong ZHANG, Xun YUAN，Obtaining exact interpolation multivariate polynomial by approximation，Journal of Systems Science and Complexity, Vol.24(4), 803-815, 2011.
6. Jingzhong Zhang, Yong Feng. Obtaining Exact Value by Approximate Computations. Science in China Series A: Mathematics Vol. 50, No.9, 1361-1368, 2007.

承擔(dān)科研項目情況

1. 隱私保護數(shù)據(jù)處理的數(shù)學(xué)方法（編號: 2020YFA0712303），國家重點研發(fā)計劃“變革性技術(shù)關(guān)鍵科學(xué)問題”重點專項，子課題負責(zé)人，200萬元，2020年12月-2025年11月

2. 采用數(shù)值計算求解一類半代數(shù)系統(tǒng)全部整數(shù)解（編號: 11671377），國家自然科學(xué)基金面上項目，負責(zé)人， 48萬元，2017年1月-2020年12月
3. 基于混合計算的誤差可控算法（編號：2011CB302402），國家973項目，子課題負責(zé)人，500萬元，2011年1月-2015年12月
4. 基于數(shù)值方法的有理數(shù)域上準確多元多項式因式分解（編號: 11171053），國家自然科學(xué)基金面上項目，負責(zé)人，50萬元，2012年1月-2015年12月
5. 基于符號-數(shù)值計算的誤差可控算法及應(yīng)用（編號：91118001），國家自然科學(xué)基金重大研究計劃，子課題負責(zé)人，260萬元，2012年1月-2015年1月