首页 >
李 未
✍ dations ◷ 2025-11-20 21:54:41 #李 未
李未（1943年6月8日－），北京人，中国计算机专家，中国科学院院士，北京航空航天大学原校长。他主要从事计算机软件与科学理论以及因特网应用研究，研究领域包括并发程序设计语言语义理论、软件开发方法、人工智能基础及超大规模集成电路辅助设计技术。1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位，曾任英国科学与工程委员会、纽卡瑟大学和爱丁堡大学计算机系高级研究员，欧洲共同体发展信息战略计划（ESPRIT）及德国不莱梅大学教授级研究员，德国萨尔大学（Zuse）客座教授。1986年任教授，并被批准为博士导师，1997年当选为中国科学院院士。1981年提出了用结构操作语义描述软件中并发、同步及通讯现象的方法，系统地解决了诸如Ada、Edison等并发式程序设计语言的操作语义问题，结构操作语义方法已成为程序设计语言语义学的一种经典方法。1992年建立了开放逻辑理论，解决了信息的不完全性、知识的可错性及推理的非单调性的描述问题。1998年在中国首先倡导海量信息计算的理论与方法研究。2002年开始任北京航空航天大学校长。2008年，当选第十一届全国政协委员，代表科学技术界，分入第三十一组。并担任教科文卫体委员会专委。
相关
- 热袍菌门热袍菌门(Thermotogae)，又译作栖热袍菌门，是一类嗜热或者超嗜热细菌，其细胞外面有一层“袍”一样的膜包裹，可以利用碳水化合物。不同的种类可适应不同的盐浓度和氧含量。重要的
- 无性繁殖无性生殖是指生物体不以透过生殖细胞的结合方式，也就是不经由减数分裂来产生配子，直接由母体细胞分裂后产生出新个体的生殖方式。主要分为孢子繁殖（英语：Sporogenesis）、分裂生殖
- 结核杆菌结核杆菌，即结核分枝杆菌（学名：Mycobacterium tuberculosis）是专性需氧微生物，1882年德国微生物学家罗伯·柯霍在柏林宣告它是结核病的病原体。他凭着此发现获得了1905年诺贝尔生
- 浊齿龈擦音浊齿龈擦音是辅音的一种。和此音对应的国际音标符号会因为此音是否有咝音还是无咝音而有所改变：吴语中的属有咝音，据邪俟船子音而定，均属阳调。浊齿龈有咝音的特征：英语中有此音
- 机能主义心理学派机能主义心理学，主要研究内部心理与外部环境相互影响时，思维、意识在其中所发挥的作用。机能主义心理也研究意识，不过其做法相异与结构主义心理学。其中结构主义的研究方法是“
- 品质管制质量控制（英语：quality control，缩写为 QC）是质量管理的一部分，致力于满足质量要求。中国全国科学技术名词审定委员会对质量控制的一种定义为：“为使客户确信某一物品或服务的质量
- 通俗拉丁语通俗拉丁语（拉丁文：sermo vulgaris，意为“通俗话”，又叫民间拉丁语，或流行拉丁语），是古典拉丁语在法国、意大利、西班牙、葡萄牙、罗马尼亚等地的民间通俗变体。中世纪早期开始分化
- 接合生殖水绵是水绵属（学名：Spirogyra）绿藻门物种的总称，又名石衣、水衣、水苔、石发、陟厘、侧梨、水青苔，是一种普遍生活在淡水里的真核多细胞藻类，因体内含有1－16条带状、螺旋形的叶绿体
- 1984年1984年欧洲足球锦标赛（Euro 84）于1984年6月12日至27日在法国举行。本届比赛是由欧洲足联主办的第七届欧洲足球锦标赛。本届决赛圈与去届一样，共8支球队参赛，而赛制则有所变更。8
- 热加工热加工是相对于机械加工而言的，一般是在较高的温度下将金属软化或熔化处理后再冷却至常温的成形技术，常见的是凝固成形（铸造）、连接技术（焊接）和塑性成形（锻压和冲压）。热加工成形过
