林惠民

✍ dations ◷ 2025-08-30 00:19:30 #林惠民
林惠民(1947年11月13日-)是一位中国计算机科学家,计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究。1947年生于福建省福州市,1982年毕业于福州大学计算机科学系,1986年获中国科学院软件研究所博士学位。现任中国科学院软件研究所研究员。1999年当选为中国科学院院士。

相关

  • 神经性厌食症神经性厌食症(英语:anorexia nervosa),一般称为厌食症(英语:anorexia)是一种进食障碍,一般分别为:“自我约束型”以及“暴饮暴食型”。其中“自我约束型”厌食患者占多数,此型患者会万
  • 无尿症无尿症(英语:Anuria、Anuresis),指的是无排尿的症状,正式的定义为24小时内排尿量小于100毫升的症状。无尿症常常是由于肾功能下降导致的,此外也可能由于肾结石、肿瘤等梗阻而出现,
  • 面粉面粉是一种由小麦类磨成的粉末,是最常见的食品原料之一。欧洲旧石器时代晚期的地层,大约距今三万年前,已有将小麦磨粉制成发酵的粮食饼之考古证据。小麦和大麦在新月沃土被驯化
  • 卢齐欧·封塔纳卢齐欧·封塔纳(Lucio Fontana,1899年2月19日-1968年9月7日)阿根廷/意大利艺术家。生于阿根廷圣塔非省的罗萨里奥,其父为意大利人,其母为阿根廷人。早年在意大利度过。1905年,他返
  • 现代文学现代主义文学,又称现代派文学或现代文学,是1890年-1950年间流行于欧美各国的一个国际文学思潮。在纵向上,前承古典主义文学、浪漫主义文学和现实主义文学,后接后现代主义文学。在
  • 安德烈·德兰安德烈·德兰(André Derain,1880年6月17日-1954年9月8日)是二十世纪初期的法国画家。德兰是二十世纪初期艺术革命的先驱之一,他和亨利·马蒂斯一起创建了野兽派。
  • 绿宝石祖母绿是一种宝石,常被称为“绿宝石之王”。祖母绿是一种很古老的宝石,在古埃及时代就已用做珠宝。当时的著名矿场-克利奥帕特拉(埃及艳后之名),现已因大量开采而耗竭。现今生产祖
  • 富兰克林研究所The Franklin Institute富兰克林研究所(英语:Franklin Institute)是位于美国费城的一个科学博物馆和科学教育研究中心。富兰克林研究所的名称来自于美国科学家、政治家本杰明·
  • 英国通讯英国的通讯业最初由国营的英国皇家邮政电讯分部垄断,另外收音机和电视广播则由英国广播公司和受独立广播管理局(IBA)监管的电视台专营──两所机构直接拥有和控制全英国的广播,
  • 邪灵邪灵,指邪恶的灵体,不少宗教以及世界各地的民间信仰中也有提到。奇幻小说等文学作品常会为了表现宏大的、有史诗感的矛盾冲突而使用恶魔的意象。在这类作品中,恶魔被描写为神及