林惠民

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

相关

  • 阻塞性睡眠呼吸暂停阻塞性睡眠呼吸暂停(英语:Obstructive Sleep Apnea, OSA),是睡眠呼吸暂停中的最常见形式,它是上呼气道受阻(英语:airway obstruction)所引起的。 它的特点是在睡眠时重复性的呼吸
  • 凝血酶1a2c, 1a3b, 1a3e, 1a46, 1a4w, 1a5g, 1a61, 1abi, 1abj, 1ad8, 1ae8, 1afe, 1aht, 1ai8, 1aix, 1awf, 1awh, 1ay6, 1b5g, 1b7x, 1ba8, 1bb0, 1bbr, 1bcu, 1bhx, 1bmm, 1bmn
  • 郎格罕细胞朗格汉斯细胞(又称兰氏细胞)是在皮肤和黏膜的树状细胞(抗原呈递细胞),其中含有称作伯贝克颗粒(英语:Birbeck granules)的胞器,在上皮中的任何一层都有朗格汉斯细胞,不过主要是在棘状
  • 通用规范汉字表陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧ 
  • 仡佬字陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧  小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧  书法 ‧ 飞白书笔画 ‧ 
  • 时间逻辑在逻辑中,术语时间逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统。它有时也被称为时态逻辑,这是 Arthur Prior 在1960年代介入的基于模态逻辑的特殊
  • 生化反应生物化学(英语:biochemistry,也作 biological chemistry),顾名思义是研究生物体中的化学进程的一门学科,常常被简称为生化。它主要用于研究细胞内各组分,如蛋白质、糖类、脂类、核
  • 二甲基硫二甲基硫醚,是最简单的硫醚化合物。结构、性质与二甲基醚类似。常温下为无色挥发性液态。有着如海鲜般特殊气味物质。在自然界中,常由蛋白质的分解产生。这也是海鲜腥味的来源
  • 德国人德意志人,或中译德国人(die Deutschen)这个术语在使用中可能有多种含义。族群意义上的“德国人”的概念在历史上曾经发生过多次变化。譬如,瑞士说德语的人早已形成了完全异于德
  • 野依良治野依良治(日语:野依 良治/のより りょうじ Noyori Ryōji ?,1938年9月3日-),日本化学家,专长有机化学。曾任理化学研究所所长,现任名古屋大学特别教授等职。文化勋章表彰。文化功劳