日韩精品无码一区二区三区电影院,高h粗口调教羞辱sm文女王,成人毛片一区二区,亚洲爆乳巨臀无码专区

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

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

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

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