首页 >
林惠民
✍ dations ◷ 2025-06-26 16:10:26 #林惠民
林惠民(1947年11月13日-)是一位中国计算机科学家,计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究。1947年生于福建省福州市,1982年毕业于福州大学计算机科学系,1986年获中国科学院软件研究所博士学位。现任中国科学院软件研究所研究员。1999年当选为中国科学院院士。
相关
- 新霉素新霉素(neomycin)是一种氨基糖苷类抗生素,1949年微生物学家Selman Waksman和他的学生Hubert Lechevalier在弗氏链霉菌(Streptomyces fradiae)中分离获得。新霉素大多用于局部给药
- 麦地那龙线虫麦地那龙线虫病,又名几内亚线虫病(GWD),是龙线虫感染所引发的疾病。人类饮用不洁净的水后,如果水中含有感染了龙线虫幼虫的水蚤,就会受到感染。患者起初没有症状。大约一年后,母虫
- 欧盟乌尔苏拉·冯德莱恩欧洲联盟(英语:European Union;西班牙语:Unión Europea; 法语:Union européenne;德语:Europäische Union),简称欧盟(英语:EU;西班牙语:UE;法语:UE;德语:EU),是欧洲多国共
- 水质水质,水体品质的简称。是指水的化学、物理、生物和辐射性质。对水质的衡量对应一种或多种生物的需要或人类的需要及目的。水质通常对应一组标准,符合某种要求。评价水质的常见
- 药草药用植物也被称为草药、药草,自史前时代以来一直在传统医学实践中被发现和使用。植物合成了数百种化合物,其功能包括植物抵抗昆虫,真菌,植物病害和食草哺乳动物。许多植物化学物
- 碳氢化合物.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger{fon
- 冷姓冷姓是中文姓氏之一。在《百家姓》中排第377位。关于冷姓的来源有不同的说法。部分冷姓源自少数民族( 非汉族):
- 光致蜕变光致蜕变是极端高能量的γ射线和原子核的交互作用,并且使原子核进入受激态,立刻衰变成为两或更多个子核的物理过程。一个简单的例子是,接踵而来的有效的γ射线从原子核中敲出一
- 兰斯兰斯(法语:Reims,法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Genti
- 初等教育初等教育(英语:Primary education,或者英语:Elementary education)一般而言系指第一阶段的义务教育,界于学前教育与中等教育间,初等教育通常在小学或国民小学进行。在一些国家中,初