首页 >
林惠民
✍ dations ◷ 2025-09-19 03:36:48 #林惠民
林惠民(1947年11月13日-)是一位中国计算机科学家,计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究。1947年生于福建省福州市,1982年毕业于福州大学计算机科学系,1986年获中国科学院软件研究所博士学位。现任中国科学院软件研究所研究员。1999年当选为中国科学院院士。
相关
- 氨基糖苷类抗生素胺基糖苷类抗生素(aminoglycoside)是具有氨基糖与氨基环醇(英语:aminocyclitol)结构的一类抗生素,在临床主要用于对革兰氏阴性菌、绿脓杆菌等感染的治疗,1960年代到1970年代曾经非
- 社会生物学实证主义 · 反实证主义(英语:Antipositivism) 结构主义 · 冲突理论 中层理论 · 形式理论 批判理论人口 · 团体 · 组织(英语:Organizational theory) · 社会化 社会性
- 可视化分析论可视化分析论是信息可视化与科学可视化领域发展的产物,侧重于借助于交互式用户界面而进行的分析推理。
- 检疫隔离检疫 是风险管理的一种设施。 当人类、动物、植物等,由一个地方进入另一个地方,为防带有传染病等,所以必须进行隔离检疫。本条目出自公有领域:Chisholm, Hugh (编). Quarant
- 日射病中暑(英语:Heat stroke)是一种受室外空气的高温多湿或阳光过久直接照射动物体、人体等造成体温异常升高不降所引起的症状的通称。从病情的差异大致上可分为以下四类:
- 时报文化时报文化出版企业股份有限公司,简称时报文化、时报出版,是台湾大型出版社之一,由《中国时报》创办人余纪忠创办,为台湾第一家股票上柜的出版社。1975年1月,余纪忠筹划创立时报文
- 维氏硬度维氏硬度试验(英语:Vickers hardness test),是压入硬度试验之一种,其测量值用HV表示。维氏硬度试验最初于20世纪20年代初被提出,比起其他硬度试验其优点有:硬度值与压头大小、负荷
- 花样游泳花样游泳(artistic swimming),即包含游泳、体操和芭蕾等各种技巧糅合而成的具备舞蹈表演和艺术造型的游泳类项目之一,该运动项目同时需要足够的身体基本素质、力量和舞蹈技巧。
- 弗拉基米尔大公弗拉基米尔大公(Великий князь владимирский)是中世纪俄罗斯封建分裂时期弗拉基米尔公国统治者的称号。1155年,统治罗斯托夫-苏兹达尔的王公安德烈·
- 亚历山大二世亚历山大·麦克威廉(中世纪盖尔语:Alaxandair mac Uilliam;现代盖尔语:Alasdair mac Uilleim;现代化简称为亚历山大二世;1198年8月24日– 1249年7月6日)是苏格兰国王(1214年-1249年