首页 >
林惠民
✍ dations ◷ 2025-11-04 02:01:52 #林惠民
林惠民(1947年11月13日-)是一位中国计算机科学家,计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究。1947年生于福建省福州市,1982年毕业于福州大学计算机科学系,1986年获中国科学院软件研究所博士学位。现任中国科学院软件研究所研究员。1999年当选为中国科学院院士。
相关
- 布鲁格达氏症候群3布鲁盖达氏症候群(英语:Brugada syndrome (BrS))也称为“突然猝死症”,是一种心脏遗传病。由于心脏电流出现异常,严重的能够引致心脏衰竭或猝死。此症是泰国和老挝当地年轻人在没
- ICD-9-CM V3人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学国际疾病与相关健康问题统计分类(英语:I
- 斐济面积以下资讯是以2016年估计国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2016年估计人类发展指数 以下资讯是以2018年估计斐
- 中世纪温暖时期中世纪温暖时期是指北大西洋地区内由公元10世纪到14世纪所出现一个不正常温暖的时期。大约是在公元950年至1150年,相当于中国的北宋时期。中世纪温暖时期常常成为全球变暖的
- 电压源电压源,即理想电压源,是从实际电源抽象出来的一种模型,在其两端总能保持一定的电压而不论流过的电流为多少,电压源具有两个基本的性质:第一,它的端电压定值U或是一定的时间函数U(t
- 植物激素植物激素(Plant hormone),又称植物荷尔蒙,是一些在植物体内合成,可以从产生部位输送至作用部位,微量浓度即可对植物体产生某种生理作用的活性有机物。植物激素能由产生部位运输至
- 植物组织培养植物组织培养是一种将植物体的部分细胞或组织与母体分离,在适当的条件下加以培养,使它们能够生长、发育、分化与增殖的技术。原理是来自植物细胞的全能性分化能力,也就是植物体
- 查特胡奇县查塔胡其县 (Chattahoochee County, Georgia)是美国乔治亚州西部的一个县级行政单位,西邻阿拉巴马州。面积651平方公里。根据美国2000年人口普查估计,共有人口14,882人。2005
- 1980年1980年美国人口普查(英语:1980 United States Census)是美国历史上第20次全国人口普查,确定了美国的常住人口为226,545,805人,相比1970年美国人口普查,同比增长为11.4%。1980年美
- 雅各布弗朗索瓦·雅各布(法语:François Jacob,1920年6月17日-2013年4月19日)是一位犹太裔法国生物学家,他与雅克·莫诺发现了酶在原核生物转录作用调控中的角色,也就是后来所知的乳糖操
