中科院院士、我国计算机软件事业先驱者之一董韫美逝世

\u003cdiv class=\"rich_media_content\"\u003e\u003c!--NO_AD_ERROR_6_2I1--\u003e\u003cp\u003e据中国科学院软件研究所发布的讣告，中国科学院院士，我国计算机软件事业先驱者之一，中国人民政治协商会议第八、第九、第十届全国委员会委员，中国科学院软件研究所研究员董韫美先生，�𻂉�𿫲�分因病医治无效，在北京逝世，享�岁。\u003c/p\u003e\u003cp\u003e\u003cspan data-widget=\"image\" style=\"display: inline-block; max-width: 100%; width: 690px\"\u003e\u003c!--IMG_0--\u003e\u003cspan style=\"color: rgb(153, 153, 153); display: block; font-size: 12px; line-height: 18px; overflow-wrap: break-word; text-align: center\"\u003e\u003c!--NO_READ_BEGIN--\u003e董韫美\u003c!--NO_READ_END--\u003e\u003c/span\u003e\u003c/span\u003e\u003c/p\u003e\u003cp class=\"image_desc\"\u003e\u003c/p\u003e\u003cp\u003e\u003c/p\u003e\u003cp\u003e\u003c/p\u003e\u003cp\u003e董韫美�𻂋񀙔日出生于云南昆明，1956𻂏月毕业于东北人民大学（今\u003c!--SECURE_LINK_BEGIN_0--\u003e吉林大学\u003c!--SECURE_LINK_END_0--\u003e）数学系，1956年留校任助教，同年进入\u003c!--SECURE_LINK_BEGIN_1--\u003e中国科学院\u003c!--SECURE_LINK_END_1--\u003e新成立的计算技术研究所工作，1978�月��月在美国\u003c!--SECURE_LINK_BEGIN_2--\u003e斯坦福大学\u003c!--SECURE_LINK_END_2--\u003e任访问学者，1983𻂍月被聘为研究员，1984年任博士生导师。1985𻂋月中国科学院软件研究所成立，董韫美转入软件所工作。1993年当选为中国科学院学部委员（院士）。\u003c!--AI_AD_1000--\u003e\u003c!--AI_AD_2000--\u003e\u003c!--NO_AD_0--\u003e\u003c!--EOP_0--\u003e\u003c/p\u003e\u003c!--PARAGRAPH_0--\u003e\u003cp\u003e中国科学院软件研究所回顾道，董韫美在软件理论、技术、工具和汉字信息处理等多个领域做出了系统性、创造性工作。20世�年代初至中期，主持研制出国内最早的实用高级程序语言\u003c!--VERTICAL_CARD_BEGIN_0--\u003eBCY\u003c!--VERTICAL_CARD_END_0--\u003e，并先后�机、109机、015机等机器上实现了相应的编译程序及其它系统软件，在国家重大科研事业中长期应用并发挥了重大作用。他在形式文法、语法检查、程序测试等方面解决了系列重要问题。60年代初，为刻画 Algol 及类似语言的语法，与合作者提出新语法模型—\u003c!--VERTICAL_CARD_BEGIN_1--\u003eP语法\u003c!--VERTICAL_CARD_END_1--\u003e。在BCY研制期间，找到了后来被国际上称为“LL文法”的条件和自动生成语法矩阵的方法。70年代初，对于程序测试，独立提出了\u003c!--VERTICAL_CARD_BEGIN_2--\u003e通路覆盖法\u003c!--VERTICAL_CARD_END_2--\u003e。70年代末期，提出了用计算机设计高质量汉字字形的\u003c!--VERTICAL_CARD_BEGIN_3--\u003e参量图形学方法\u003c!--VERTICAL_CARD_END_3--\u003e及实现技术，并研制出汉字字形设计系统 CCDS。80年代中期，率先在国内开展软件复用技术研究，实现国内第一个可复用软件设计系统。90年代以来，在基于复用的文法推断方面，提出了一种新的上下文无关语言递归函数理论\u003c!--VERTICAL_CARD_BEGIN_4--\u003eCFRF\u003c!--VERTICAL_CARD_END_4--\u003e，设计了上下文无关文法句子的线性时间枚举算法，解决了国际上关于是否存在线性时间算法的未决问题（Open problem）。\u003c!--NO_AD_1--\u003e\u003c!--EOP_1--\u003e\u003c/p\u003e\u003c!--PARAGRAPH_1--\u003e\u003cp\u003e他先后获�年中国科学院科技进步一等奖、1992年国家科技进步二等奖、2013年\u003c!--SECURE_LINK_BEGIN_3--\u003e中国计算机学会\u003c!--SECURE_LINK_END_3--\u003e终身成就奖等。发表论�余篇，编辑学术会议论文选集一本。培养硕士�人，博士񉌼人。曾任中国科学院软件研究所学术委员会主任、学位评定委员会主任、软件研究所计算机科学开放实验室（后为计算机科学国家重点实验室）首届主任、学术委员会主任。曾长期担任国务院学位委员会学科评议组成员，《计算机学报》主编，曾任全国科技发展长远规划办公室软件组组长，第三、第四届中国计算机学会理事等职。\u003c!--NO_AD_2--\u003e\u003c!--EOP_2--\u003e\u003c!--NO_AD_3--\u003e\u003c!--EOP_3--\u003e\u003c!--NO_AD_4--\u003e\u003c!--EOP_4--\u003e\u003c/p\u003e\u003c!--PARAGRAPH_4--\u003e\u003c!--PARAGRAPH_3--\u003e\u003c!--PARAGRAPH_2--\u003e\u003cdiv powered-by=\"qqnews_ex-editor\"\u003e\u003c/div\u003e\u003cstyle\u003e.rich_media_content{--news-tabel-th-night-color: #444444;--news-font-day-color: #333;--news-font-night-color: #d9d9d9;--news-bottom-distance: 22px}.rich_media_content p:not([data-exeditor-arbitrary-box=image-box]){letter-spacing:.5px;line-height:30px;margin-bottom:var(--news-bottom-distance);word-wrap:break-word}.rich_media_content .qn-editor-copy p:not([data-exeditor-arbitrary-box=image-box]){letter-spacing:unset;line-height:unset;margin-bottom:unset;word-wrap:unset}.rich_media_content{color:var(--news-font-day-color);font-size:18px}@media(prefers-color-scheme:dark){body:not([data-weui-theme=light]):not([dark-mode-disable=true]) .rich_media_content p:not([data-exeditor-arbitrary-box=image-box]){letter-spacing:.5px;line-height:30px;margin-bottom:var(--news-bottom-distance);word-wrap:break-word}body:not([data-weui-theme=light]):not([dark-mode-disable=true]) .rich_media_content .qn-editor-copy p:not([data-exeditor-arbitrary-box=image-box]):not(.qn-editor-copy){letter-spacing:unset;line-height:unset;margin-bottom:unset;word-wrap:unset}body:not([data-weui-theme=light]):not([dark-mode-disable=true]) .rich_media_content{color:var(--news-font-night-color)}}.data_color_scheme_dark .rich_media_content p:not([data-exeditor-arbitrary-box=image-box]){letter-spacing:.5px;line-height:30px;margin-bottom:var(--news-bottom-distance);word-wrap:break-word}.data_color_scheme_dark .rich_media_content .qn-editor-copy p:not([data-exeditor-arbitrary-box=image-box]){letter-spacing:unset;line-height:unset;margin-bottom:unset;word-wrap:unset}.data_color_scheme_dark .rich_media_content{color:var(--news-font-night-color)}.data_color_scheme_dark .rich_media_content{font-size:18px}.rich_media_content p[data-exeditor-arbitrary-box=image-box]{margin-bottom:11px}.rich_media_content\u003ediv:not(.qnt-video),.rich_media_content\u003esection{margin-bottom:var(--news-bottom-distance)}.rich_media_content hr{margin-bottom:var(--news-bottom-distance)}.rich_media_content .link_list{margin:0;margin-top:20px;min-height:0!important}.rich_media_content blockquote{background:#f9f9f9;border-left:6px solid #ccc;margin:1.5em 10px;padding:.5em 10px}.rich_media_content blockquote p{margin-bottom:0!important}.data_color_scheme_dark .rich_media_content blockquote{background:#323232}@media(prefers-color-scheme:dark){body:not([data-weui-theme=light]):not([dark-mode-disable=true]) .rich_media_content blockquote{background:#323232}}.rich_media_content ol[data-ex-list]{--ol-start: 1;--ol-list-style-type: decimal;list-style-type:none;counter-reset:olCounter calc(var(--ol-start,1) - 1);position:relative}.rich_media_content ol[data-ex-list]\u003eli\u003e:first-child::before{content:counter(olCounter,var(--ol-list-style-type)) '. ';counter-increment:olCounter;font-variant-numeric:tabular-nums;display:inline-block}.rich_media_content ul[data-ex-list]{--ul-list-style-type: circle;list-style-type:none;position:relative}.rich_media_content ul[data-ex-list].nonUnicode-list-style-type\u003eli\u003e:first-child::before{content:var(--ul-list-style-type) ' ';font-variant-numeric:tabular-nums;display:inline-block;transform:scale(0.5)}.rich_media_content ul[data-ex-list].unicode-list-style-type\u003eli\u003e:first-child::before{content:var(--ul-list-style-type) ' ';font-variant-numeric:tabular-nums;display:inline-block;transform:scale(0.8)}.rich_media_content ol:not([data-ex-list]){padding-left:revert}.rich_media_content ul:not([data-ex-list]){padding-left:revert}.rich_media_content table{display:table;border-collapse:collapse;margin-bottom:var(--news-bottom-distance)}.rich_media_content table th,.rich_media_content table td{word-wrap:break-word;border:1px solid #ddd;white-space:nowrap;padding:2px 5px}.rich_media_content table th{font-weight:700;background-color:#f0f0f0;text-align:left}.rich_media_content table p{margin-bottom:0!important}.data_color_scheme_dark .rich_media_content table th{background:var(--news-tabel-th-night-color)}@media(prefers-color-scheme:dark){body:not([data-weui-theme=light]):not([dark-mode-disable=true]) .rich_media_content table th{background:var(--news-tabel-th-night-color)}}.rich_media_content .qqnews_image_desc,.rich_media_content p[type=om-image-desc]{line-height:20px!important;text-align:center!important;font-size:14px!important;color:#666!important}.rich_media_content div[data-exeditor-arbitrary-box=wrap]:not([data-exeditor-arbitrary-box-special-style]){max-width:100%}.rich_media_content .qqnews-content{--wmfont: 0;--wmcolor: transparent;font-size:var(--wmfont);color:var(--wmcolor);line-height:var(--wmfont)!important;margin-bottom:var(--wmfont)!important}.rich_media_content .qqnews_sign_emphasis{background:#f7f7f7}.rich_media_content .qqnews_sign_emphasis ol{word-wrap:break-word;border:none;color:#5c5c5c;line-height:28px;list-style:none;margin:14px 0 6px;padding:16px 15px 4px}.rich_media_content .qqnews_sign_emphasis p{margin-bottom:12px!important}.rich_media_content .qqnews_sign_emphasis ol\u003eli\u003ep{padding-left:30px}.rich_media_content .qqnews_sign_emphasis ol\u003eli{list-style:none}.rich_media_content .qqnews_sign_emphasis ol\u003eli\u003ep:first-child::before{margin-left:-30px;content:counter(olCounter,decimal) ''!important;counter-increment:olCounter!important;font-variant-numeric:tabular-nums!important;background:#37f;border-radius:2px;color:#fff;font-size:15px;font-style:normal;text-align:center;line-height:18px;width:18px;height:18px;margin-right:12px;position:relative;top:-1px}.data_color_scheme_dark .rich_media_content .qqnews_sign_emphasis{background:#262626}.data_color_scheme_dark .rich_media_content .qqnews_sign_emphasis ol\u003eli\u003ep{color:#a9a9a9}@media(prefers-color-scheme:dark){body:not([data-weui-theme=light]):not([dark-mode-disable=true]) .rich_media_content .qqnews_sign_emphasis{background:#262626}body:not([data-weui-theme=light]):not([dark-mode-disable=true]) .rich_media_content .qqnews_sign_emphasis ol\u003eli\u003ep{color:#a9a9a9}}.rich_media_content h1,.rich_media_content h2,.rich_media_content h3,.rich_media_content h4,.rich_media_content h5,.rich_media_content h6{margin-bottom:var(--news-bottom-distance);font-weight:700}.rich_media_content h1{font-size:20px}.rich_media_content h2,.rich_media_content h3{font-size:19px}.rich_media_content h4,.rich_media_content h5,.rich_media_content h6{font-size:18px}.rich_media_content li:empty{display:none}.rich_media_content ul,.rich_media_content ol{margin-bottom:var(--news-bottom-distance)}.rich_media_content div\u003ep:only-child{margin-bottom:0!important}.rich_media_content .cms-cke-widget-title-wrap p{margin-bottom:0!important}\u003c/style\u003e\u003c/div\u003e

【纠错】【责任编辑:打球的大强】

深度观察

新华全媒头条丨宁大科院区域国别研究院在浙江慈溪揭牌赋能浙企出海