• <fieldset id="qkyym"></fieldset>
    <abbr id="qkyym"></abbr>
    <strike id="qkyym"></strike>
    <button id="qkyym"><noscript id="qkyym"></noscript></button>
  • <center id="qkyym"></center>

    两性色午夜视频免费网,91精品欧美激情在线播放,国产小视频在线观看免费,欧美日韩一区在线观看

    歡迎訪(fǎng)問(wèn)中國科學(xué)院重慶綠色智能技術(shù)研究院!

    研究員、博士生導師

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

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

    所屬部門(mén)

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

    研究領(lǐng)域

     

    社會(huì )任職

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

    獲獎及榮譽(yù)

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

    代表論著(zhù)

      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.
      

    承擔科研項目情況

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

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