中科院數學與系統(tǒng)科學研究院數學機械化中心(基礎數學070101)介紹

【考研派】為大家提供中科院數學與系統(tǒng)科學研究院數學機械化中心(基礎數學070101)介紹，更多考研資訊請關注我們網站的更新！敬請收藏本站。

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