一区二区不卡av免费观看-久久亚洲精品人成综合网-国产精品毛片一区二区-日韩无码电影

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

人才隊(duì)伍

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

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

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

所屬部門

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

研究領(lǐng)域

社會(huì)任職

重慶電子協(xié)會(huì)副理事長(zhǎng)

獲獎(jiǎng)及榮譽(yù)

2017年獲得重慶市勞動(dòng)模范榮譽(yù)?

代表論著

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)科研項(xiàng)目情況

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

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