中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院計(jì)算機(jī)科學(xué)室(計(jì)算機(jī)軟件與理論081202)介紹

【考研派】為大家提供中科院數(shù)學(xué)與系統(tǒng)科學(xué)研究院計(jì)算機(jī)科學(xué)室(計(jì)算機(jī)軟件與理論081202)介紹,更多考研資訊請(qǐng)關(guān)注我們網(wǎng)站的更新!敬請(qǐng)收藏本站。

特別推薦:
中科院數(shù)學(xué)所計(jì)算機(jī)科學(xué)室的前身是數(shù)學(xué)所計(jì)算站,成立于1972年,分為兩個(gè)組:軟件和硬件組、方法和程序組。1980年其中的軟件研究人員正式成立計(jì)算機(jī)科學(xué)室。陸汝鈐院士為首任室主任。周龍?bào)J研究員為第二任室主任。
  • 現(xiàn)在,計(jì)算機(jī)科學(xué)室由陸維明研究員擔(dān)任室主任,由金芝研究員擔(dān)任室副主任,共有七位研究人員。
  • 研究工作與獲獎(jiǎng)
  • 中科院數(shù)學(xué)所計(jì)算機(jī)科學(xué)室是我國(guó)知識(shí)工程和基于知識(shí)的軟件工程的發(fā)源地之一。主要研究工作如下:
  • 在知識(shí)工程方面,陸汝鈐院士主持研制成功知識(shí)工程語言TUILI和大型專家系統(tǒng)開發(fā)環(huán)境《天馬》。其中,《天馬》已應(yīng)用于國(guó)防和經(jīng)濟(jì)等20多個(gè)領(lǐng)域,取得了重要的經(jīng)濟(jì)和社會(huì)效益。為解決知識(shí)工程中的瓶頸問題,還研究出基于類自然語言理解的一套知識(shí)自動(dòng)獲取技術(shù),應(yīng)用于基于知識(shí)的應(yīng)用軟件自動(dòng)生成。
  • 在軟件工程方面,陸汝鈐院士倡導(dǎo)并主持完成了以軟件的機(jī)械化生成和移植為目標(biāo)的系列軟件計(jì)劃(XR計(jì)劃),推動(dòng)了當(dāng)時(shí)國(guó)產(chǎn)機(jī)軟件缺乏問題的解決。后來進(jìn)一步把類自然語言理解和軟件工程中的領(lǐng)域分析和領(lǐng)域建模結(jié)合起來,促進(jìn)了管理軟件開發(fā)的自動(dòng)化。
  • 在人工智能和計(jì)算機(jī)藝術(shù)方面,陸汝鈐院士還研究并主持研制了一套全過程計(jì)算機(jī)輔助動(dòng)畫生成技術(shù),從受限自然語言理解開始,把中文童話故事自動(dòng)轉(zhuǎn)換成動(dòng)畫片,讓計(jì)算機(jī)模擬腳本改編,電影導(dǎo)演和攝影師的功能,在藝術(shù)創(chuàng)造領(lǐng)域發(fā)展了人工智能技術(shù)。
  • 這一系列工作獲得國(guó)內(nèi)外學(xué)術(shù)界的好評(píng)。由于這些成果,陸汝鈐院士領(lǐng)導(dǎo)的科研集體曾榮獲全國(guó)科學(xué)大會(huì)先進(jìn)集體獎(jiǎng),中科院重大科技成果一等獎(jiǎng),中科院科技進(jìn)步一等獎(jiǎng)和國(guó)家科技進(jìn)步二等獎(jiǎng)。
  • 在陸汝鈐院士工作的影響下,該室成員在數(shù)據(jù)庫技術(shù)、電子商務(wù)、Petri網(wǎng)、自然語言理解、基于知識(shí)的需求工程等方面均作出了很好的工作。因此獲得中科院盈科優(yōu)秀青年人才獎(jiǎng),并有兩人獲得中創(chuàng)軟件人才獎(jiǎng)。
  • 主持的科研項(xiàng)目
  • 1.主持國(guó)家七·五重點(diǎn)攻關(guān)項(xiàng)目《知識(shí)工程環(huán)境》,國(guó)家八·五重點(diǎn)攻關(guān)項(xiàng)目《實(shí)用智能工具集的開發(fā)》,國(guó)家九·五重點(diǎn)攻關(guān)項(xiàng)目第一期《智能軟件工具的概念模型研究》,國(guó)家九·五重點(diǎn)攻關(guān)項(xiàng)目第二期《基于領(lǐng)域分析的軟件開發(fā)技術(shù)》。這些項(xiàng)目均由陸汝鈐院士負(fù)責(zé),全國(guó)先后有南京大學(xué)、中科院軟件所、吉林大學(xué)、上海交通大學(xué)等單位的近百人參加了這些項(xiàng)目。
  • 2.主持國(guó)家863高技術(shù)課題《面向?qū)ο蟮能浖夹g(shù)》,《基于本體論的領(lǐng)域分析和領(lǐng)域建?!?,和《基于知識(shí)的需求工程》(編號(hào)2001AA113130)。這些項(xiàng)目由金芝研究員和陸汝鈐院士合作主持。
  • 3.主持國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目《常識(shí)知識(shí)的實(shí)用研究》(編號(hào)69733020)。由陸汝鈐院士主持,有清華大學(xué)、中山大學(xué)、中科院計(jì)算所等單位參加。
  • 此外還曾主持中科院院長(zhǎng)特別基金、國(guó)家自然科學(xué)基金等重要項(xiàng)目。
  • 學(xué)術(shù)交流活動(dòng)
  • 中科院數(shù)學(xué)所計(jì)算機(jī)科學(xué)室還與國(guó)際科研單位進(jìn)行了廣泛的學(xué)術(shù)交流和項(xiàng)目合作。包括:
  • 1. 與法國(guó)國(guó)家科學(xué)院IRISA合作承擔(dān)中法合作項(xiàng)目。
  • 2. 與英國(guó)Ulster大學(xué)共同承擔(dān)英國(guó)皇家學(xué)會(huì)的中英合作項(xiàng)目。
  • 3. 與俄國(guó)科學(xué)院圣比得堡信息技術(shù)研究所的中俄合作項(xiàng)目。
  • 除此之外,計(jì)算機(jī)科學(xué)室還與德國(guó)、澳大利亞等國(guó)家的科研院所和大學(xué)建立了長(zhǎng)期的交流和合作關(guān)系。
  • 主要研究方向
  • 中科院數(shù)學(xué)所現(xiàn)在和將來的主要研究方向包括:人工智能和知識(shí)工程,包括:
  • 1. 研究計(jì)算機(jī)計(jì)算機(jī)動(dòng)畫自動(dòng)生成中的相關(guān)理論和技術(shù);
  • 2. 研究基于知識(shí)的軟件工程的相關(guān)理論和技術(shù);
  • 3. 基于機(jī)器學(xué)習(xí)的生物信息學(xué)技術(shù)。
  • 4. 多媒體數(shù)據(jù)庫和電子商務(wù)
  • 5. Petri網(wǎng)
  • 研究生培養(yǎng)
  • 中科院數(shù)學(xué)所計(jì)算機(jī)科學(xué)室的計(jì)算機(jī)軟件和理論的碩士培養(yǎng)點(diǎn)、博士培養(yǎng)點(diǎn)以及博士后流動(dòng)站,均設(shè)立在中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院(前身為中科院數(shù)學(xué)所)中,是我國(guó)改革開放后首批建立的。這些年來共培養(yǎng)了碩士、博士、博士后百余名,她 (他) 們分布于國(guó)內(nèi)外科研、大學(xué)與IT行業(yè)公司中。
  • 由于培養(yǎng)過程中應(yīng)用與理論并重,獲得學(xué)位的學(xué)生在各個(gè)行業(yè)均表現(xiàn)十分出色。比如,不少已提升為教授,正在培養(yǎng)博士生;有的己是國(guó)際著名公司NOKIA研究中心的首席科學(xué)家 (約15O名研究人員,首席科學(xué)家共3名) ;有的在海外研學(xué)有成,己為中科院百人計(jì)劃吸引歸來;有的在國(guó)內(nèi)信息安全領(lǐng)域已是舉足輕重的公司董事長(zhǎng)、總經(jīng)理;有的己是國(guó)際著名金融公司的高級(jí)白領(lǐng)……
  • 在學(xué)習(xí)期間,由于導(dǎo)師和同學(xué)的共同努力,她 (他) 們也曾獲得過多種獎(jiǎng)勵(lì),包括,中國(guó)科學(xué)院院長(zhǎng)獎(jiǎng),華為獎(jiǎng),劉永齡獎(jiǎng)等。