董韫美 董韫美-人物简介,董韫美-生活经历

计算机软件专家。云南昆明人。1956年毕业于吉林大学数学系。中国科学院软件研究所研究员。从50年代后期起从事计算机软件的研究开发。60年代初、中期,主持和作为主力研制出我国最早的实用高级程序语言BCY和有关计算机上的编译器,其后的工作包括形式语言理论、编译技术。1979年提出用计算机设计高质量汉字字形的参量图形学方法,解决了有关的实现技术。80年代中期以来,研究软件复用技术。90年代以来,研究形式规约的获取与复用,提出基于复用的文法推断方法,和提出一种新的递归函数理论:上下文无关语言上的递归函数CFRF。1993年选聘为中国科学院院士。

高庆狮_董韫美 -人物简介


董韫美

董韫美中国科学院软件研究所研究员、博士生导师,吉林大学教授。是我国最早从事计算机软件研究学者之一。目前主要从事软件规约与软件设计方法研究。研究形式规约的获取与复用,提出基于复用的文法推断方法,并提出一种新的递归函数理论:上下文无关语言上的递归函数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

  

爱华网本文地址 » http://www.413yy.cn/a/8103260103/34294.html

更多阅读

林美思 林美思-人物简介,林美思-基本信息

林美思,1988年8月4日生,籍贯,陕西西安,.职业模特,毕业于中央广播电视大学。她以性感、冷艳、奢华、高贵等多种造型成为娱乐媒体关注的焦点,是《瑞丽》《BAZZAR》、《男人装》、《舒适COMFORT》等时尚杂志的特约模特,被网友称为宅男女神,美腿

宇佐美舞 宇佐美舞-人物简介,宇佐美舞-人物评价

宇佐美舞是2013年出道的AV女优,12月7日推出自己的第一部作品,以清纯外表备受瞩目。日本知名网站“neetetsu”2013年做了一项调查,从女星及AV女优中票选十位最正的美人胚子,宇佐美舞排在第八名。宇佐美舞的最大特色在于有点萌系的外表,以

董韫美 董韫美-人物简介,董韫美-生活经历

计算机软件专家。云南昆明人。1956年毕业于吉林大学数学系。中国科学院软件研究所研究员。从50年代后期起从事计算机软件的研究开发。60年代初、中期,主持和作为主力研制出我国最早的实用高级程序语言BCY和有关计算机上的编译器,其后

董礼平 董礼平 董礼平-人物简介,董礼平-感人名言

董礼平,辽宁人。老同学张铁生1983年被判处有期徒刑15年,1991年10月16日刑满获释,董礼平苦等张铁生15年,并于78天后的12月22日与张铁生结婚。那时,董礼平已41岁。2003年10月,《打工》杂志刊登《昔日“白卷英雄”张铁生成“千万富翁”》一文

声明:《董韫美 董韫美-人物简介,董韫美-生活经历》为网友落葉依分享!如侵犯到您的合法权益请联系我们删除