首页 >
林惠民
✍ dations ◷ 2025-02-23 14:45:27 #林惠民
林惠民(1947年11月13日-)是一位中国计算机科学家,计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究。1947年生于福建省福州市,1982年毕业于福州大学计算机科学系,1986年获中国科学院软件研究所博士学位。现任中国科学院软件研究所研究员。1999年当选为中国科学院院士。
相关
- 医学院医学院是高等教育体制下的一个学院,课程安排主要是以培养和医学相关专门人才和研究人员为目的。医学院的科系和研究所,大致可分为临床医学和基础医学。临床医学部分包括了医学
- 浮力浮力是指物体在流体(液体和气体)中受到的力,方向与其所受重力相反。浮力来自各表面受流体(液体和气体)压力的差(合力)。浮力的单位是牛顿(N)。相传叙拉古赫农王让工匠替他做了一顶纯
- 线虫动物线虫动物门(学名:Nematoda)是动物界中最大的门之一,为假体腔动物,绝大多数体小呈圆柱形,又称圆虫(roundworms)。线虫的物种很不容易区分,有相关描述的已超过二万五千种,其中超过一半是
- 病媒在流行病学中,载体又称为病媒,是指疾病携带者和传播者,但其本身不受影响。如疟蚊是疟疾的载体,它在吸血的过程中可以将导致疟疾的疟原虫传入人体内,但疟原虫对于疟蚊本身却不带来
- 人口老龄化人口老龄化又称人口老化或人口高龄化、老龄化社会,是指因出生率降低和/或预期寿命延长导致年龄中位数增加的现象。大多数发达国家人口长寿,老龄人群变多;但发展中国家目前也出
- 甲状腺风暴甲状腺风暴 或 甲状腺毒性危机 是甲状腺机能亢进的一种罕见且严重并潜在的危及生命的并发症(甲状腺过度活跃 )。其特征是发高烧(通常高于40°C / 104°F),心跳快速且经常不规律、
- 唐中宗唐中宗李显(656年11月26日-710年7月3日),后改名李哲,是唐朝的第四和第六任皇帝,两次在位:第一次在位时间为684年1月3日-684年2月26日,第二次在位时间为705年2月23日-710年7月3日。唐中
- 俄属北美俄属北美(俄语:Русская Америка,罗马化:Russkaya Amerika)是俄罗斯帝国在北美洲的殖民地,范围与今日美国的阿拉斯加州大致相同。历史可始于俄国官方在18世纪初叶发
- 乔治·海尔乔治·埃勒里·海尔(英语:George Ellery Hale,1868年6月29日-1938年2月21日),美国天文学家。1868年出生于美国芝加哥,父亲是制造电梯的实业家。他曾于麻省理工学院、哈佛大学天文台
- 刚勇者埃德蒙埃德蒙二世(Edmund II,988年-1016年11月30日),绰号刚勇者(Ironside),是埃塞尔雷德之子,1016年4月23日到11月30日的英格兰国王。刚勇者的绰号,来自他对丹麦克努特大帝的反抗。1012年,丹