林惠民

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

相关

  • 西库昂的阿拉图斯阿拉图斯(西库昂)(英语:Aratus of Sicyon),(前271年-前213年),军事将领及政治家,其父西库昂的克雷尼亚斯(Cleinias)被罢官后,他随之流亡到阿尔戈斯。公元前251年他重夺西库昂,并使与亚该亚
  • 形容词形容词是词类中的一类。其根本特点是自由地作定语、修饰名词或名词性短语。在语义上,形容词多表示性质、状态、属性、描述等含义。和名词、动词相比,形容词本身的词类地位最不
  • 附睾副睾(Epididymis)是一个多数曲折、细小的管子构成的器官,一面连接着输精管(Ductus deferens),一面连接着睾丸(Testis)的曲细精管。当精子离开睾丸时,就跑到副睾里,继续生长成熟
  • 运动员运动员是指的是一个人拥有高于平常人的身体条件,耐力,以及敏捷度等等,也因为以上条件而擅长于运动竞赛。古希腊文中的竞赛便为“athls”,而竞赛者称做“athletes”。从更特定的
  • 德尔塔德尔塔运载火箭是一种不可重复使用运载火箭的大家族,于1960年代开始进行美国的太空酬载任务,并发射超过300次,且成功率高达95%以上。现役有德尔塔2号运载火箭及德尔塔4号运载火
  • 真空烹调真空低温烹调法 (法语:Cuisine sous vide),又作低温慢煮法,在台湾又被称为舒肥法(为Sous vide的音译),是一种通过利用较低温度长时间加热的烹饪方法,目的是要带出原料(尤其是肉类)的最
  • ΟOmicron(大写Ο,小写ο,中文音译:奥密克戎),是第十五个希腊字母。Omicron 字面上的意思是“小的 O”(o mikron),以便与ω“o mega,大 O”区别。它在希腊数字中代表70。大写Ο用于:小写
  • 第五元素高蒙博伟国际(法国)《第五元素》(法语:Le Cinquième élément)是部1997年的法国英语科幻动作片,由吕克·贝松担任导演和编剧,剧本根据他设想的故事题材创作,影片由布鲁斯·威利斯
  • 克劳德·香农克劳德·艾尔伍德·香农(英语:Claude Elwood Shannon,1916年4月30日-2001年2月26日),美国数学家、电子工程师和密码学家,被誉为信息论的创始人。香农是密歇根大学学士,麻省理工学院
  • 1707年联合法案《1707年合并法案》(Acts of Union 1707)是1706年和1707年英格兰国会和苏格兰国会分别通过的一对国会法案。当时英格兰王国和苏格兰王国两国谈判后订立了《联合条约》(Treaty o