林惠民

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

相关

  • 绿弯菌门绿弯菌门(Chloroflexi)是一类通过光合作用产生能量的细菌,又称作绿非硫细菌,尽管还有一部分称作热微菌的细菌也属于绿非硫细菌。它们具有绿色的色素,包括作为反应中心的菌绿素a和
  • 隐球菌病隐球菌病(英语:Cryptococcosis、Cryptococcal disease)是一种可能致命的真菌疾病,由一或二种真菌造成:新型隐球菌(Cryptococcus neoformans)与Cryptococcus gattii,两者原本都被认为
  • 热带雨林热带雨林气候,又称热带型雨林气候,全年高温多雨,可分为两种子类型:常年受赤道低压带控制的赤道多雨气候和常年受潮湿信风控制的热带海洋性气候,在对应的柯本气候分类法中代号为“
  • 清浊音语音学中,将发音时声带振动的音称为浊音(又称有声音,英语:voiced sound),声带不振动的音称为清音(又称无声音,英语:voiceless sound)。辅音(子音)有清有浊,而多数语言中元音(母音)均为浊音,
  • 醛缩酶醛缩酶(英语:aldolase)是一种可以裂解羟醛的酶。包括类型:Tolan Laboratory at Boston UniversityEC 1.1/2/3/4/5/6/7/8/9/10/11/12/13/14/15/16/17/18/19/20/21/22  · 2.1/2
  • 荚果荚果是果实的一种类型,属于单果,是豆科植物特有的果实类型,心皮只有一枚(单心皮)许多荚果以及其中包含的种子被人类当作蔬菜、粮食或中药食用,如大豆、豌豆、槐树角等,常见的荚果包
  • 所罗门·斯奈德所罗门·哈尔伯特·斯奈德(英语:Solomon Halbert Snyder,1938年12月26日-),美国神经学家,生于华盛顿。斯奈德毕业于乔治城大学,现在是约翰斯·霍普金斯大学医学院的精神病学、神经科
  • 阿穆尔河黑龙江(满语:ᠰᠠᡥᠠᠯᡳᠶᠠᠨᡠᠯᠠ,穆麟德:sahaliyan ula,太清:sahaliyan ula,蒙古语:Амар мөрөн),俄罗斯称之为阿穆尔河(俄语:Река Амур,罗马化:Reka Amur,IPA:.mw-pa
  • 莫斯科不相信眼泪《莫斯科不相信眼泪》(俄语:Москва слезам не верит;转写 Moskva slezam ne verit)是1979年由莫斯科电影制片厂出品的一部苏联电影(英语:Cinema of the Sovie
  • 碘离子碘化物指含有碘离子(I−)的化合物, 包括以碘化铯为例的离子化合物以及以四碘化碳为例的共价化合物。大多数离子性碘化物都是可溶于水的,除了黄色的碘化银和碘化铅。检验碘离子时