您好,欢迎来到中国浙江网上技术市场! 登录 快速注册 帮助中心 客服电话: 0571-85009137

成果
  • 成果
  • 需求
  • 专家
  • 中介
搜索

首页>专家>专家信息

姓名 李 未 性别 技术职称 院士
专业名称 计算机软件技术
单位名称 软件开发环境国家重点实验室 所属地区 北京北京市
通讯地址 北京航空航天大学新主楼G座6层 邮编 100083
外语语种 英语 水平
技术领域 技术子领域 研究方向
电子信息 计算机软件? 计算机科学理论与软件基础

近五年来主要科研成果及服务企业成果案例:

  提出了用结构操作语义描述软件中并发、同步及通讯现象的方法。李未院士使用这种方法最先给出了Ada语言有关任务,包括并行、汇聚、通讯、同步及选择等机制的语义,建立了在并行机制下的程序模块以及程序例外处理的语义。他的工作系统地解决诸如像Ada、Edison等并式程序设计语言的操作语义问题。结构操作语义方法已成为程序设计语言语义学的一种经典方法,李未院士是参与创立、发展和完善该方法的主要学者之一。1992年李未院士建立了开放逻辑理论,用简单、直接而严格的方法解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。他在逻辑中首次引入了“极限”的一般概念,并证明任何一个经验模型,只要它的规律可以用一阶语言表示,则对任何一个关于此模型的假说,都存在一个认识进程,该进程以这个假说为出发点,并以模型的全部规律为极限。他的理论已引起了国内外同行的关注,国内几所大学和中国科学院已在这方面发表论文进行研究。开放逻辑正在成为计算机科学和人工智能的一种新研究方法。李未院士主持设计了我国第一台在中间指令层既支撑Prolog语言,又支持Lisp余元的多堆栈体系结构,研制了加强型推理工作站,并在国内首次完成集成化的知识库开发环境。主持设计和研制了基于计算机总线互连网络的可扩展计算机群系统,该系统用于航天、遥感及其空羽流等计算,达到了相应巨型机上同类计算的效果。

为企业提供技术服务类型(技术服务、技术咨询、合作开发等):

  

联系方式 010-82337576
午夜福利免费院