中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院數(shù)學(xué)機械化中心(基礎(chǔ)數(shù)學(xué)070101)介紹
【考研派】為大家提供中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院數(shù)學(xué)機械化中心(基礎(chǔ)數(shù)學(xué)070101)介紹，更多考研資訊請關(guān)注我們網(wǎng)站的更新！敬請收藏本站。
特別推薦：
- 數(shù)學(xué)機械化中心共有十一位研究人員，其中八名為40歲以下青年研究人員，包括研究員六名、副研三名、助研兩名。中心還有五名兼職研究員。數(shù)學(xué)機械化研究中心于1990年由中國科學(xué)院計財局批準成立。吳文俊院士為首任中心主任，現(xiàn)任中心名譽主任, 程民德院士為首任學(xué)術(shù)委員會主任.數(shù)學(xué)機械化研究中心是數(shù)學(xué)機械化研究、學(xué)術(shù)交流與人才培養(yǎng)的國際中心。
- 研究工作與獲獎
- 數(shù)學(xué)機械化研究中心是數(shù)學(xué)機械化的發(fā)源地。吳文俊院士于七十年代末創(chuàng)立了幾何定理機器證明的吳方法，被認為是自動推理研究(特別是幾何定理自動證明)的重大突破。經(jīng)過若干年努力，吳文俊將這一方法發(fā)展成以方程求解的吳方法為核心數(shù)學(xué)機械化理論，并用這一理論解決了很多理論與高科技問題。吳文俊院士的工作獲得國內(nèi)外學(xué)術(shù)界高度稱贊，他也因此相繼榮獲第三世界科學(xué)院"數(shù)學(xué)獎"、陳嘉庚基金會"數(shù)理科學(xué)獎"、香港求是科技基金會"杰出科學(xué)家獎"、1997年獲國際自動推理最高獎"Herbrand自動推理杰出成就獎"。2000年獲得首屆"國家最高科技獎。"
- 在吳文俊工作的影響下，該中心成員在幾何定理自動證明與發(fā)現(xiàn)、方程求解、微分動力系統(tǒng)的穩(wěn)定性研究、構(gòu)造性代數(shù)幾何、符號計算等理論研究領(lǐng)域與機器人、智能CAD、幾何造型、計算機視覺、軟件開發(fā)等高科技領(lǐng)域作出了很好的工作。中心因此獲得國家自然科學(xué)二等獎、中科院自然科學(xué)一等獎、求是杰出青年學(xué)者獎、中科院青年科學(xué)家一等獎。中心兩位年輕人還相繼獲得國家杰出青年基金與中科院百人計劃的支持。
- 主持的科研項目
- 中心自成立以來已經(jīng)先后主持了以下三個國家級科研項目
-
1. 1992-96年，主持國家"八五"攀登計劃項目："機器證明及其應(yīng)用"。吳文俊院士任首席科學(xué)家。
有十幾所院校與研究所約三十人參加了這一項目。 -
2. 1997-98年，主持國家"九五"攀登計劃預(yù)選項目："數(shù)學(xué)機械化及其應(yīng)用"。吳文俊院士任首席科學(xué)家。
十幾所院校與研究所約四十人參加了這一項目。 -
3. 1998-2002年，主持國家重點基礎(chǔ)研究發(fā)展規(guī)劃項目："數(shù)學(xué)機械化與自動推理平臺"。高小山任首席科學(xué)家。
二十幾所院校與研究所五十余人參加了這一項目。 - 通過這三個項目的執(zhí)行，我國已經(jīng)初步形成一支較完整的數(shù)學(xué)機械化研究隊伍，并在機器證明、方程求解、實代數(shù)幾何等方向作出了國際領(lǐng)先的成果，多次獲得國際、國內(nèi)重要獎勵。
- 此外，中心還曾主持中科院百人計劃、國家杰出青年基金、與科學(xué)院院長特別支持費等重要項目。
- 主持的學(xué)術(shù)交流活動
- 中心積極開展學(xué)術(shù)交流活動，是數(shù)學(xué)機械化學(xué)術(shù)交流的國際中心
- 1．主辦"數(shù)學(xué)機械化討論班"。于1986年開始。每周一次。已經(jīng)邀請國內(nèi)外上百位專家講學(xué)。
- 2．出版"數(shù)學(xué)機械化研究報告"。每年1－2期，約刊登20篇論文。已出版17期。
- 3．與"日本符號運算協(xié)會" 共同主辦"計算機數(shù)學(xué)亞洲會議"，每兩年一次。已舉辦五屆。分別在中國北京，日本神戶，中國蘭州，泰國清邁，日本松山舉行。
- 4．主持國內(nèi)"數(shù)學(xué)機械化研討會"，已舉辦六屆。
- 中心還與國際科研單位廣泛開展學(xué)術(shù)交流、共同承擔(dān)科研項目。包括
- 1. 與法國INRIA-Antipolis合作承擔(dān)中法合作項目
- 2. 與法國居里大學(xué)簽訂科研合作協(xié)議
- 3. 與美國Kent大學(xué)共同承擔(dān)美NSF項目
- 4. 與美國Wichita州立大學(xué)共同承擔(dān)美NSF項目
- 5. 與德國Kiel大學(xué)共同承擔(dān)科研項目
- 數(shù)學(xué)機械化研究
- 數(shù)學(xué)機械化中心將會同有關(guān)單位在以下方面開展研究。
- 繼續(xù)開展數(shù)學(xué)機械化理論研究。力爭繼續(xù)保持國際領(lǐng)先地位。開展構(gòu)造性微分代數(shù)幾何、構(gòu)造性實代數(shù)幾何、微分方程求解、微分幾何中的定理自動證明、符號計算與數(shù)值計算混合算法、構(gòu)造性代數(shù)幾何與代數(shù)幾何編碼的研究、基于Clifford代數(shù)的定理證明算法、幾何圖形自動生成與工程幾何研究。
- 研究數(shù)學(xué)機械化理論在若干高科技領(lǐng)域的應(yīng)用。包括
- 1. 研究數(shù)學(xué)機械化方法在信息安全、信息壓縮、信息傳輸?shù)目煽啃苑矫娴膽?yīng)用。
- 2. 研究數(shù)學(xué)機械化在計算機圖形學(xué)及與此相關(guān)的CAD、幾何造型、三維圖象重構(gòu)、動畫技術(shù)、及虛擬現(xiàn)實技術(shù)中的應(yīng)用。
- 3. 進行機構(gòu)學(xué)與并聯(lián)平臺式數(shù)控機床中機械化方法的研究。
- 開發(fā)自動推理軟件平臺，為相關(guān)學(xué)科的科學(xué)研究以及若干高科技領(lǐng)域技術(shù)創(chuàng)新中的腦力勞動提供有力工具。
- 研究生培養(yǎng)
- 數(shù)學(xué)機械化是數(shù)學(xué)與計算機的交叉學(xué)科。因此，中心的研究生具有良好的數(shù)學(xué)修養(yǎng)，同時熟悉算法、計算機編程與信息領(lǐng)域應(yīng)用問題。 數(shù)學(xué)機械化中心已經(jīng)培養(yǎng)出數(shù)十名研究生與博士后?，F(xiàn)在，中心的很多學(xué)生已經(jīng)成為國內(nèi)外科研單位的骨干。還有相當(dāng)數(shù)量的學(xué)生在企業(yè)工作。
- 中心現(xiàn)有24名在讀研究生，4名博士后。