首页 >
林惠民
✍ dations ◷ 2025-05-16 03:06:33 #林惠民
林惠民(1947年11月13日-)是一位中国计算机科学家,计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究。1947年生于福建省福州市,1982年毕业于福州大学计算机科学系,1986年获中国科学院软件研究所博士学位。现任中国科学院软件研究所研究员。1999年当选为中国科学院院士。
相关
- 黑碳黑碳(Black carbon)是一种悬浮粒子,源自于含碳物质(主要是石油、煤、木炭、树木、柴草、塑料垃圾、动物粪便等)不完全燃烧和氧化形成的产物。在扫描电镜下观察,黑碳呈现出亚微米级
- 吸虫纲见内文吸虫(学名:Trematoda)是寄生虫的一种,为扁形动物门吸虫纲动物的总称,也称为瓜仁虫。一些吸虫也被称为二口虫(拉丁语:Distoma)。其名由来是因为它的口吸盘和腹吸盘都被认为是口
- 肠道外营养肠道外营养(parenteral nutrition)是将营养送入静脉中,而非一般地食入后消化。注入的营养品是由专业的制药公司制造,其营养品富有高度养分,包含了葡萄糖、盐、氨基酸还有脂肪等等
- 塞万提斯米格尔·德·塞万提斯·萨韦德拉(西班牙语:Miguel de Cervantes Saavedra,1547年9月29日-1616年4月23日),西班牙小说家、剧作家、诗人。1547年9月29日出生,1616年4月23日在马德里逝
- 可信度信度(英语:Reliability),指的是测量方法的品质,即对同一现象进行重复观察之后是否可以得到相同资料值。科学研究者试图使用一系列的指标来测量个人或社会现象。可信度概念是研究
- 注射剂全身麻醉剂(英语:general anesthetics)是麻醉药中的一类。麻醉药根据作用部位的不同,可分为全身麻醉药(general anesthetics)和局部麻醉药(local anesthetics)。全身麻醉药作用于中
- 棱镜棱镜(英语:Prism),在光学中是一种透明的光学元件,抛光与平坦的表面能折射光线。正确的表面角度取决于应用上的需求,传统的几何形状是以三角型为基础长方形为边的三棱柱。在口头
- 铁系元素铁系元素是指铁、钴、镍这三种性质相似的元素,它们在周期表中分别位居8族、9族及10族(合称ⅧB 族)之首,位于6个铂系元素上方。铁系元素电子壳层的最外层都有两个电子,但第二外层
- 特罗姆兰岛特罗姆兰岛(法语:Île Tromelin,发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Genti
- 悉尼·布伦纳西德尼·布伦纳,CH,FRS(英语:Sydney Brenner,1927年1月13日-2019年4月5日),南非生物学家,2002年诺贝尔生理学或医学奖获得者。布伦纳出生在南非小镇杰米斯顿。他的双亲是犹太移民(英语