林惠民

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

相关

  • 脊索动物门脊索动物门(学名:Chordata)是指有脊索,或其在演化过程退化而被脊椎取代的动物。是动物界生态位最顶级的门。少数学者提出将半索动物门也置于脊索动物门下,并命名为口索动物亚门。
  • 尿道尿道(拉丁语学名:Urethra)是动物体内泌尿系统的器官之一。它从膀胱连通到体外,它的作用是将尿排出体外。在雄性哺乳动物中它还有将精液导出的作用,因此也是生殖器官之一。在胚胎
  • 匈人匈人是一个古代生活在欧亚大陆的游牧民族群体。在公元前至2世纪期间他们被怀疑与在亚洲的北方活动的匈奴人有关,他们在4世纪西迁到了东欧被首次发现,并入侵东、西罗马帝国。欧
  • 信息架构信息架构(英语:Information Architecture)是在信息环境中,影响系统组织、导览、及分类标签的组合结构。它是也基于信息架构方法论,并运用内容管理技术来管理和组织信息的一个专门
  • 威廉·詹姆斯威廉·詹姆斯(英语:William James,1842年1月11日-1910年8月26日),美国哲学家、心理学家。他的弟弟亨利·詹姆斯是著名作家。他和查尔斯·桑德斯·皮尔士一起建立了实用主义。威廉
  • 皿部,为汉字索引中的部首之一,康熙字典214个部首中的第一百〇八个(五划的则为第十四个)。就繁体和简体中文中,皿部归于五划部首。皿部以下方为部字。且无其他部首可用者将部首归
  • 回归年回归年(tropical year),也称为太阳年(solar year),是由地球上观察,太阳平黄经变化360°,即太阳再回到黄道(在天球上太阳行进的轨道)上相同的点所经历的时间。相对于分点和至点,精确的时
  • 蓝宝石蓝宝石是宝石级刚玉中除红色的红宝石之外,其它颜色刚玉宝石的通称,主要成分是氧化铝(Al2O3)。蓝宝石的莫氏硬度为9,仅次于金刚石。25℃时的电阻率为1×1011Ω·cm,电绝缘性能优良
  • 粮农组织联合国粮食及农业组织(法语:L'Organisation des Nations Unies pour l'Alimentation et l'Agriculture,缩写为ONUAA; 英语:Food and Agriculture Organization of the United Na
  • 机翼机翼是为固定翼航空器(包括飞机和滑翔机)提供升力的主要部件,模仿鸟类的翅膀,维持其在空中的稳定飞行以及提供必要的操纵力。机翼上通常安装有固定翼航空器的主操纵面-副翼,以及辅