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