首页 >
林惠民
✍ dations ◷ 2024-12-22 20:10:18 #林惠民
林惠民(1947年11月13日-)是一位中国计算机科学家,计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究。1947年生于福建省福州市,1982年毕业于福州大学计算机科学系,1986年获中国科学院软件研究所博士学位。现任中国科学院软件研究所研究员。1999年当选为中国科学院院士。
相关
- 声门声门(glottis)是两瓣声带之间的开口。在言语发生中,以声带的振动作为声音源的音称为浊音。声门是肺部压出的空气通过声带的出口。发生过程中牵涉到声门的音素称为声门音。声门
- 皮克氏病皮克氏病(Pick's disease,PiD),为一种渐进性痴呆。通常开始于中年,形成于早年,其反应为缓慢渐进的性格改变与社交能力衰退,并伴有智力、记忆和语言组织能力损伤,此外还会有情感淡漠
- 土地在经济学中,土地(英语:land)概括了所有自然资源,包括地理位置、土壤、矿产、森林、渔业资源、水资源、空气质量、地球静止轨道、电磁波谱、太阳等。土地是一种生产要素,是所有商品
- 男丁格尔 (大爱剧场)《男丁格尔》是一部描写李彦范师兄真实人生的电视剧,共10集,于2015年5月4日至2015年5月15日在大爱电视《长情剧展》时段(台湾时间星期一至星期五晚上22:00)播放。本段时间均以二
- PGI2前列环素(英语:Prostacyclin,简称为PGI2)是脂类中类花生酸家族中的一个成员,分子中有一个次级五元环,其前体是花生四烯酸或其他二十碳不饱和脂肪酸。前列环素会抑制血小板介导的凝
- 血栓素A2血栓素A2是一种血栓素,常用作血管收缩剂,可以激活血小板、使其聚集,是治愈组织损伤和发炎的常用药。但也会导致心绞痛。血栓素A2通过血栓素A合酶由前列腺素H2产生,在水溶液中极
- 异氟烷异氟醚(或称异氟烷,英文Isoflurane,商品名Forane),是种常用的全身麻醉药,可用于诱导或维持麻醉。但受制于异氟醚对气管的刺激性,一般会用其他药物诱导麻醉。异氟醚的给药方式为吸入
- NCAA国家大学体育协会(英语:National Collegiate Athletic Association,缩写:NCAA)是美国一家非盈利组织,总部位于印第安纳州印第安纳波利斯。国家大学体育协会管理着1,281个大专院校
- 火柴火柴,又称自来火、洋火棍,是取火工具,利用某些物质的剧烈氧化还原反应,产生高温而发火燃烧。火柴由火柴头(发火或引火介质)和火柴梗(燃烧介质)两部分组成,配合磷皮(发火介质)摩擦点火。
- 锁链素锁链素(Desmosine)是在相同的或者邻近的多肽由三个醛赖氨酸侧链和一个赖氨酸侧链形成的交联体。在尿液,血浆或痰样品中的锁链素的检测可以是由于与某些疾病相关的高弹性蛋白酶