林惠民

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

相关

  • 组织 (生物学)组织旧称
  • Bh5f14 6d5 7s2(计算值)2, 8, 18, 32, 32, 13, 2 (预测)第一:742.9(估值) kJ·mol−1 第二:1688.5(估值) kJ·mol−1 第三:2566.5(估值) kJ·mol−1 (主条目:
  • Schistosoma haematobium埃及血吸虫(学名:Schistosoma haematobium),一种扁形动物,寄生虫,是寄生于人类引起血吸虫病的一种血吸虫。埃及血吸虫基因组大小为385 Mbp,2012年,完成了埃及血吸虫的全基因组测序。
  • 地球空洞说地球空洞说是一种认为地球是一颗中空星球的假说,该假说还通常认为地球有一个适宜人类居住的内表面。虽然在过去某一段时期,有关冒险文学作品使此说流行,但现在这一想法只有很少
  • 发射说人类对光学(optics)的研究开始于古代。最晚于公元前700年,古埃及人与美索不达米亚人便开始磨制与使用透镜;之后前6~5世纪时古希腊哲学家与古印度哲学家提出了很多关于视觉与光线
  • 伤寒玛莉玛丽·马伦(英语:Mary Mallon,1869年9月23日-1938年11月11日),爱尔兰人,1883年独自移民至美国,是美国第一位被发现的伤寒健康带原者,因此被称为伤寒玛丽(Typhoid Mary)。玛丽是一个厨师
  • 生物人类学体质人类学 文化人类学 语言人类学 分子人类学 社会人类学 考古学应用人类学 民族志 参与观察 文化相对论文化 • 社会 史前史 • 人类演化 亲属 婚姻 • 家庭 物质文化 种
  • 战神一号战神一号运载火箭(Ares I)是美国国家航空航天局在星座计划(Project Constellation)中所所研制的载人运载火箭(CLV),其名字源自于希腊神话中的战神阿瑞斯。按原计划,美国国家航空航天
  • 非洲苏铁非州苏铁是非洲苏铁属(Encephalartos)的苏铁,原产于非洲,但却处于濒危。它们是最原始的裸子植物之一。非洲苏铁是由德国植物学家Johann Georg Christian Lehmann于1834年描述的
  • abbr class=abbr title=R34: 引起灼伤R34/abbr警示性质标准词(英语:Risk Phrases,简写:R-phrases)是于《欧联指导标准67/548/EEC 附录III: 有关危险物品与其储备的特殊风险性质》里定义。该列表被集中并再出版于指导标准2001/