董韫美

董韫美 - 人物简介

董韫美中国科学院软件研究所研究员、博士生导师，吉林大学教授。是我国最早从事计算机软件研究学者之一。目前主要从事软件规约与软件设计方法研究。研究形式规约的获取与复用，提出基于复用的文法推断方法，并提出一种新的递归函数理论：上下文无关语言上的递归函数CFRF.先后获中国科学院科技进步一等奖和国家科技进步二等奖。培养硕士生、博士生多人。

1985年起在中国科学院软件研究所工作。1978年赴美国Stanford大学进修。1983年起为研究员，1984年任博士生导师，1993年当选为中国科学院院士。历任中国科学院软件研究所学术委员会主任、学位评定委员会主任、计算机科学开放实验室（后称重点实验室）首届主任、学术委员会主任。

曾在软件理论、技术、工具和汉字信息处理等多个领域进行研究工作。二十世纪六十年代初至中期，主持研制出国内最早的实用高级程序语言BCY，并在119机、109机、015机等机器上实现了相应的编译程序及其它系统软件,曾在实际中长期应用并发挥了重大作用。六十年代至七十年代初，曾先于国际上的一些著名工作，在形式文法、语法检查和程序测试等方面解决了相同的问题。八十年代初首先提出用计算机设计高质量汉字字形的方法及实现技术。八十年代中期以来率先在国内开展软件复用技术研究。目前从事软件规约与软件设计方法研究。曾先后获得中国科学院科技进步一等奖和国家科技进步二等奖。曾长期担任国务院学位委员会学科评议组成员和《计算机学报》主编等职。

董韫美 - 生活经历

1956年毕业于吉林大学数学系，同年进入中国科学院新成立的计算技术研究所工作。1978年赴美国Stanford大学进修。1983年任研究员，1984年任博士生导师。1985年起在中国科学院软件研究所工作，1993年当选为中国科学院院士。董韫美院士是我国最早从事计算机软件研究的学者之一。历任中国科学院软件研究所学术委员会主任、学位评定委员会主任、计算机科学开放实验室（后称重点实验室）首届主任、学术委员会主任。曾长期担任国务院学位委员会学科评议组成员和《计算机学报》主编等职。

1985年起在中国科学院软件研究所工作。1978年赴美国Stanford大学进修。1983年起为研究员，1984年任博士生导师，。历任中国科学院软件研究所学术委员会主任、学位评定委员会主任、计算机科学开放实验室（后称重点实验室）首届主任、学术委员会主任。董韫美院士1936年3月生于中国云南省，1956年，毕业于吉林大学数学系，同年进入中国科学院新成立的计算技术研究所工作。现为中国科学院软件研究所研究员、博士生导师。1993年当选为中国科学院院士。

董韫美 - 个人成就

董韫美是中国计算机软件先驱者之一，六十年代初至中期，主持研制出了国内最早的实用高级程序语言BCY，并在119机、109机、015机等机器上实现了相应的编译程序及其他系统软件。其后的工作包括形式语言理论、编译技术和软件工具。1978－1980年，首先提出用计算机设计高质量汉字字形的参量图形学方法，解决了有关的实现技术并建立了实验系统，并发展成汉字字形设计系统。八十年代中期以来率先在国内开展软件复用技术研究。目前从事软件规约与软件设计方法研究。发表论文二十余篇。培养硕士生、博士生多人。曾获1991年中国科学院科技进步一等奖和1992年国家科技进步二等奖。

2005年6月受聘为吉林大学教授。董韫美，我国计算机软件先驱者之一，在软件理论、技术、工具和汉字信息处理等多个领域做出了系统的、创造性的贡献。1936年3月生于云南昆明，1956年毕业于吉林大学，同年进入中国科学院计算技术研究所工作。1983年起为研究员，1984年任博士生导师，1985年起到软件所工作。1990年被授予“中国科学院优秀研究生导师”称号。已培养硕士、博士研究生20多人。曾获中国科学院科技进步奖一等奖和国家科技进步奖二等奖，发表论文30余篇。

董韫美 - 研究方向

曾在软件理论、技术、工具和汉字信息处理等多个领域进行研究工作。上世纪六十年代初至中期，主持研制出国内最早的实用高级程序语言BCY，并在119机、109机、015机等机器上实现了相应的编译程序及其它系统软件,曾在实际中长期应用并发挥了重大作用。六十年代至七十年代初，曾先于国际上的一些著名工作，在形式文法、语法检查和程序测试等方面解决了相同的问题。

上世纪六十年代初至中期，主持研制出了国内最早的实用高级程序语言BCY，并在119机、109机、015机等机器上实现了相应的编译程序及其他系统软件。其后的工作包括形式语言理论、编译技术和软件工具。1978－1980年，首先提出用计算机设计高质量汉字字形的参量图形学方法，解决了有关的实现技术，建立了实验系统，后又发展成汉字字形设计系统。八十年代中期以来率先在国内开展软件复用技术研究。在形式规约知识的获取与复用研究中，提出通过机器学习获取规约的MLIRF方法和有关的实现技术，提出上下文无关语言上的递归函数理论。目前从事软件规约与软件设计方法研究。

他曾经在软件理论、技术、工具和汉字信息处理等多个领域进行研究工作。八十年代初，首先提出用计算机设计高质量汉字字形的参量图形学方法,解决了有关的实现技术，建立了实验系统,进而发展成汉字字形设计系统。八十年代中期以来率先在国内开展软件复用技术研究。目前主要从事软件规约与软件设计方法研究。研究形式规约的获取与复用，提出基于复用的文法推断方法，并提出一种新的递归函数理论：上下文无关语言上的递归函数CFRF．先后获中国科学院科技进步一等奖和国家科技进步二等奖。培养硕士生、博士生多人。

董韫美 - 研究内容

董韫美通过按推导树高度对句子分层，建立了句子集合中的分层词典序。进而发展出一种基于文法的，依分层词典序的，CFL句子计数和枚举方法，获得句子枚举的多个高效算法。对于无二义CFG，首先提出一个基础算法N2L，时间复杂度为O(n?lg(n))，n是被枚举句子的长度。对N2L进行改造，得到两个算法TD和BU，时间复杂度均为O(n)。对任意CFG，利用其推导树文法为工具后，文法无二义的限制被去除。对于一般的CFG，不论是否二义文法，也得到了依分层词典序的，时间复杂度为O(n)的枚举算法，同时枚举出句子及其推导树。该文的结果，从正面圆满回答了D(o)m(o)si提出的未决问题，即是否有按词典序，时间复杂度为O(n)的枚举算法?以及是否时间复杂度仅依赖于文法结构，及被枚举字之前同样长度的字的个数?本文给出的解答甚至比原问题所期望的更好。

董韫美 - 相关词条

梁思礼	匡定波	李衍达	雷啸霖	林尊琪
干福熹	黄宏嘉	李启虎	陆汝钤	刘盛纲
郭雷	黄民强	李未	侯洵	刘永坦
郭光灿	黄琳	简水生	李志坚	刘颂豪
高庆狮	何积丰	侯朝焕	林惠民	阙端麟

董韫美 - 参考资料

1、http://www.pinglaoshi.com/teacherId315473

2、http://daoshi.kaoyantj.com/2006/06/12/FE98AF82B280EE5E.html