|
|
||
| 李未简介： | ||
|
|
|
|
|
李未 男，1943年6月8日出生，北京航空航天大学计算机系教授，博士生导师， 中国科学院院士，国务院学位委员会委员。现任北京航空航天大学校长，软件开发环境国 重点实验室主任，国家级有突出贡献的专家。1966年北京大学数学与力学系毕 业，1983年获英国爱丁堡大学计算机科学博士学位。李未院士在实用并发语言语义和 问嚼 论序列及其极限研究等方面取得了开创性研究成果 。1998年李未院士在我国首先倡导泻 量信息计算的理论与方法研究，现在担任国家重点基础研究发展规划（973）项目"网 络环境 下海量信息组织、处理及传输的理论与方法"首席科学家。 李未院士曾获95年国家自然科学二等奖一项，省部级科技进步奖一等奖及二等奖多项，97年获光华科技基金奖一等奖，98年获何梁何利科技进步奖。在国内外著名杂志上发表学术论文一百余篇。他的主要研究成就简介如下： 1981年李未院士提出了用结构操作语义描述软件中并发、同步及通讯现象的方法。李未院士使用这种方法最先给出了Ada语言有关任务，包括并行、汇聚、通讯、同步及选择等机制的语义，建立了在并行机制下的程序模块以及程序例外处理的语义。他的工作系统地解决了诸如像Ada、Edison等并发式程序设计语言的操作语义问题。结构操作语义方法已成为程序设计语言语义学的一种经典方法，李未院士是参与创立、发展和完善该方法的主要学者之一。 1992年李未院士建立了开放逻辑理论，用简单、直接而严格的方法解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。他在逻辑中首次引入了"极限"的一般概念，并证明任何一个经验模型，只要它的规律可以用一阶语言表示，则对任何一个关于此模型的假说,都存在一认识进程，该进程以这个假说为出发点，并以模型的全部规律为极限。他的理论已引起了国内外同行的关注，国内几所大学和中国科学院已在这方面发表论文进行研究。他曾经应邀在德、法、英、丹麦及瑞典等国大学讲演和讲学。开放逻辑正在成为计算机科学和人工智能的一种新研究方法。 李未院士主持设计了我国第一台在中间指令层既支持Prolog语言，又支持Lisp语言的多堆栈体系结构，研制了加强型推理工作站，并在国内首次完成集成化的知识库开发环境。主持设计和研制了基于计算机总线互连网络的可扩展计算机群系统。该系统用于航天、遥感及真空羽流等计算，达到了相应巨型机上同类计算的效果。 |
||
|
|
||
|
联系我们 | 关于我们 建议1024*768分辨率，IE4.0 以上浏览器浏览本站点
|
