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