董韞美 - 人物簡介
董韞美中國科學(xué)院軟件研究所研究員、博士生導(dǎo)師,吉林大學(xué)教授。是我國最早從事計(jì)算機(jī)軟件研究學(xué)者之一。目前主要從事軟件規(guī)約與軟件設(shè)計(jì)方法研究。研究形式規(guī)約的獲取與復(fù)用,提出基于復(fù)用的文法推斷方法,并提出一種新的遞歸函數(shù)理論:上下文無關(guān)語言上的遞歸函數(shù)CFRF.先后獲中國科學(xué)院科技進(jìn)步一等獎(jiǎng)和國家科技進(jìn)步二等獎(jiǎng)。培養(yǎng)碩士生、博士生多人。
1985年起在中國科學(xué)院軟件研究所工作。1978年赴美國Stanford大學(xué)進(jìn)修。1983年起為研究員,1984年任博士生導(dǎo)師,1993年當(dāng)選為中國科學(xué)院院士。歷任中國科學(xué)院軟件研究所學(xué)術(shù)委員會(huì)主任、學(xué)位評(píng)定委員會(huì)主任、計(jì)算機(jī)科學(xué)開放實(shí)驗(yàn)室(后稱重點(diǎn)實(shí)驗(yàn)室)首屆主任、學(xué)術(shù)委員會(huì)主任。曾在軟件理論、技術(shù)、工具和漢字信息處理等多個(gè)領(lǐng)域進(jìn)行研究工作。二十世紀(jì)六十年代初至中期,主持研制出國內(nèi)最早的實(shí)用高級(jí)程序語言BCY,并在119機(jī)、109機(jī)、015機(jī)等機(jī)器上實(shí)現(xiàn)了相應(yīng)的編譯程序及其它系統(tǒng)軟件,曾在實(shí)際中長期應(yīng)用并發(fā)揮了重大作用。六十年代至七十年代初,曾先于國際上的一些著名工作,在形式文法、語法檢查和程序測(cè)試等方面解決了相同的問題。八十年代初首先提出用計(jì)算機(jī)設(shè)計(jì)高質(zhì)量漢字字形的方法及實(shí)現(xiàn)技術(shù)。八十年代中期以來率先在國內(nèi)開展軟件復(fù)用技術(shù)研究。目前從事軟件規(guī)約與軟件設(shè)計(jì)方法研究。曾先后獲得中國科學(xué)院科技進(jìn)步一等獎(jiǎng)和國家科技進(jìn)步二等獎(jiǎng)。曾長期擔(dān)任國務(wù)院學(xué)位委員會(huì)學(xué)科評(píng)議組成員和《計(jì)算機(jī)學(xué)報(bào)》主編等職。
董韞美 - 生活經(jīng)歷
1956年畢業(yè)于吉林大學(xué)數(shù)學(xué)系,同年進(jìn)入中國科學(xué)院新成立的計(jì)算技術(shù)研究所工作。1978年赴美國Stanford大學(xué)進(jìn)修。1983年任研究員,1984年任博士生導(dǎo)師。1985年起在中國科學(xué)院軟件研究所工作,1993年當(dāng)選為中國科學(xué)院院士。董韞美院士是我國最早從事計(jì)算機(jī)軟件研究的學(xué)者之一。歷任中國科學(xué)院軟件研究所學(xué)術(shù)委員會(huì)主任、學(xué)位評(píng)定委員會(huì)主任、計(jì)算機(jī)科學(xué)開放實(shí)驗(yàn)室(后稱重點(diǎn)實(shí)驗(yàn)室)首屆主任、學(xué)術(shù)委員會(huì)主任。曾長期擔(dān)任國務(wù)院學(xué)位委員會(huì)學(xué)科評(píng)議組成員和《計(jì)算機(jī)學(xué)報(bào)》主編等職。1985年起在中國科學(xué)院軟件研究所工作。1978年赴美國Stanford大學(xué)進(jìn)修。1983年起為研究員,1984年任博士生導(dǎo)師,。歷任中國科學(xué)院軟件研究所學(xué)術(shù)委員會(huì)主任、學(xué)位評(píng)定委員會(huì)主任、計(jì)算機(jī)科學(xué)開放實(shí)驗(yàn)室(后稱重點(diǎn)實(shí)驗(yàn)室)首屆主任、學(xué)術(shù)委員會(huì)主任。董韞美院士1936年3月生于中國云南省,1956年,畢業(yè)于吉林大學(xué)數(shù)學(xué)系,同年進(jìn)入中國科學(xué)院新成立的計(jì)算技術(shù)研究所工作,F(xiàn)為中國科學(xué)院軟件研究所研究員、博士生導(dǎo)師。1993年當(dāng)選為中國科學(xué)院院士。
董韞美 - 個(gè)人成就
董韞美是中國計(jì)算機(jī)軟件先驅(qū)者之一,六十年代初至中期,主持研制出了國內(nèi)最早的實(shí)用高級(jí)程序語言BCY,并在119機(jī)、109機(jī)、015機(jī)等機(jī)器上實(shí)現(xiàn)了相應(yīng)的編譯程序及其他系統(tǒng)軟件。其后的工作包括形式語言理論、編譯技術(shù)和軟件工具。1978-1980年,首先提出用計(jì)算機(jī)設(shè)計(jì)高質(zhì)量漢字字形的參量圖形學(xué)方法,解決了有關(guān)的實(shí)現(xiàn)技術(shù)并建立了實(shí)驗(yàn)系統(tǒng),并發(fā)展成漢字字形設(shè)計(jì)系統(tǒng)。八十年代中期以來率先在國內(nèi)開展軟件復(fù)用技術(shù)研究。目前從事軟件規(guī)約與軟件設(shè)計(jì)方法研究。發(fā)表論文二十余篇。培養(yǎng)碩士生、博士生多人。曾獲1991年中國科學(xué)院科技進(jìn)步一等獎(jiǎng)和1992年國家科技進(jìn)步二等獎(jiǎng)。2005年6月受聘為吉林大學(xué)教授。董韞美,我國計(jì)算機(jī)軟件先驅(qū)者之一,在軟件理論、技術(shù)、工具和漢字信息處理等多個(gè)領(lǐng)域做出了系統(tǒng)的、創(chuàng)造性的貢獻(xiàn)。1936年3月生于云南昆明,1956年畢業(yè)于吉林大學(xué),同年進(jìn)入中國科學(xué)院計(jì)算技術(shù)研究所工作。1983年起為研究員,1984年任博士生導(dǎo)師,1985年起到軟件所工作。1990年被授予“中國科學(xué)院優(yōu)秀研究生導(dǎo)師”稱號(hào)。已培養(yǎng)碩士、博士研究生20多人。曾獲中國科學(xué)院科技進(jìn)步獎(jiǎng)一等獎(jiǎng)和國家科技進(jìn)步獎(jiǎng)二等獎(jiǎng),發(fā)表論文30余篇。
董韞美 - 研究方向
曾在軟件理論、技術(shù)、工具和漢字信息處理等多個(gè)領(lǐng)域進(jìn)行研究工作。上世紀(jì)六十年代初至中期,主持研制出國內(nèi)最早的實(shí)用高級(jí)程序語言BCY,并在119機(jī)、109機(jī)、015機(jī)等機(jī)器上實(shí)現(xiàn)了相應(yīng)的編譯程序及其它系統(tǒng)軟件,曾在實(shí)際中長期應(yīng)用并發(fā)揮了重大作用。六十年代至七十年代初,曾先于國際上的一些著名工作,在形式文法、語法檢查和程序測(cè)試等方面解決了相同的問題。
他曾經(jīng)在軟件理論、技術(shù)、工具和漢字信息處理等多個(gè)領(lǐng)域進(jìn)行研究工作。八十年代初,首先提出用計(jì)算機(jī)設(shè)計(jì)高質(zhì)量漢字字形的參量圖形學(xué)方法,解決了有關(guān)的實(shí)現(xiàn)技術(shù),建立了實(shí)驗(yàn)系統(tǒng),進(jìn)而發(fā)展成漢字字形設(shè)計(jì)系統(tǒng)。八十年代中期以來率先在國內(nèi)開展軟件復(fù)用技術(shù)研究。目前主要從事軟件規(guī)約與軟件設(shè)計(jì)方法研究。研究形式規(guī)約的獲取與復(fù)用,提出基于復(fù)用的文法推斷方法,并提出一種新的遞歸函數(shù)理論:上下文無關(guān)語言上的遞歸函數(shù)CFRF.先后獲中國科學(xué)院科技進(jìn)步一等獎(jiǎng)和國家科技進(jìn)步二等獎(jiǎng)。培養(yǎng)碩士生、博士生多人。
董韞美 - 研究內(nèi)容
董韞美通過按推導(dǎo)樹高度對(duì)句子分層,建立了句子集合中的分層詞典序。進(jìn)而發(fā)展出一種基于文法的,依分層詞典序的,CFL句子計(jì)數(shù)和枚舉方法,獲得句子枚舉的多個(gè)高效算法。對(duì)于無二義CFG,首先提出一個(gè)基礎(chǔ)算法N2L,時(shí)間復(fù)雜度為O(n?lg(n)),n是被枚舉句子的長度。對(duì)N2L進(jìn)行改造,得到兩個(gè)算法TD和BU,時(shí)間復(fù)雜度均為O(n)。對(duì)任意CFG,利用其推導(dǎo)樹文法為工具后,文法無二義的限制被去除。對(duì)于一般的CFG,不論是否二義文法,也得到了依分層詞典序的,時(shí)間復(fù)雜度為O(n)的枚舉算法,同時(shí)枚舉出句子及其推導(dǎo)樹。該文的結(jié)果,從正面圓滿回答了D(o)m(o)si提出的未決問題,即是否有按詞典序,時(shí)間復(fù)雜度為O(n)的枚舉算法?以及是否時(shí)間復(fù)雜度僅依賴于文法結(jié)構(gòu),及被枚舉字之前同樣長度的字的個(gè)數(shù)?本文給出的解答甚至比原問題所期望的更好。
董韞美 - 相關(guān)詞條
梁思禮 | 匡定波 | 李衍達(dá) | 雷嘯霖 | 林尊琪 |
干福熹 | 黃宏嘉 | 李啟虎 | 陸汝鈐 | 劉盛綱 |
郭雷 | 黃民強(qiáng) | 李未 | 侯洵 | 劉永坦 |
郭光燦 | 黃琳 | 簡水生 | 李志堅(jiān) | 劉頌豪 |
高慶獅 | 何積豐 | 侯朝煥 | 林惠民 | 闕端麟 |
董韞美 - 參考資料
1、http://www.pinglaoshi.com/teacherId315473
2、http://daoshi.kaoyantj.com/2006/06/12/FE98AF82B280EE5E.html