林惠民
简介林惠民博士为计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究,现任中国科学院软件研究所研究员。1999年当选为中国科学院院士。
简介
林惠民博士为计算机软件与理论专家,长期从事计算机程序的形式语义学及形式化方法的研究,现任中国科学院软件研究所研究员。1999年当选为中国科学院院士。
免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。
——— 没有了 ———
编辑:阿族小谱
文章价值打分
- 有价值
- 一般般
- 没价值
当前文章打 0 分,共有 0 人打分
文章观点支持
0
0
文章很值,打赏犒劳一下作者~
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回
打赏
私信
推荐阅读
· 福建省-福州市林惠民
林惠民,计算机软件与理论专家。1947年11月13日生于福建福州。1982年毕业于福州大学计算机科学系。1986年获中国科学院软件研究所博士学位。中国科学院软件研究所研究员。1999年当选为中国科学院院士.长期从事计算机程序的形式语义学及形式化方法的研究。设计并实现了通用进程代数验证工具PAM/VPAM,对这类工具的发展产生了重要影响。与英国Hennessy教授合作提出,并独立发展了“符号互模拟”理论,解决了传统并发计算模型对大量实际应用不能有效模拟的问题,为在计算机上对通信并发进程进行推理和验证提供了理论依据。提出并发计算模型之一π-演算弱互模拟的完备证明系统和唯一不动点归纳法,解决了π-演算的有穷公理化问题。
· 惠民郅姓
郅九如是郅建勇的叔爷爷,是禹城地区郅姓家谱第二次修订的主要组织者。“我们禹城地区郅姓人的一世先祖叫郅生美,300多年前为了摆脱家庭贫困携子女离开祖居的惠民来到禹城郅辛庄。当时这里叫刘家庄,一世祖到了以后带领全家辛勤劳作,人丁逐渐兴旺、家业日益壮大,到郅生美孙子一辈已经成了这一带的大户人家,村子后来就改名为郅辛村了。”郅九如还告诉记者,七世祖晶骉(biāo)、八世祖秀村曾回老家惠民认族联宗,但当时交通不便,又无确切地址,所以未果。“现在交通和信息发达又便利,1999年,我们和惠民、商河两个地方的郅姓族人取得联系,三地以家谱为依据连了宗,还依照约定清明的时候在我们禹城的郅辛庄举行了联宗祭祖典礼。”在究竟哪里是山东郅姓人的源头这个问题上,惠民和商河两地的郅姓人曾有过争论,但根据禹城地区郅姓人家谱的明确记载,禹城的郅姓人确乎出自惠民,“但惠民现在的郅姓人却很少了,只有30多人;而商河地区前郅家村和...
· 惠民县
历史春秋战国时期,惠民县隶属于齐国;汉置厌次县,明朝入武定州,清改惠民县。地理气候惠民县气候四季分明,雨热同季,季风气候明显。1月平均气温−3.3℃,7月平均气温26.5℃,年平均气温12.6℃。行政区划惠民县辖3个街道办事处,11个镇:街道办事处为孙武街道办事处、武定府街道办事处、何坊街道办事处镇为皂户李镇、姜楼镇、石庙镇、李庄镇、清河镇、胡集镇、魏集镇、淄角镇、麻店镇、桑落墅镇、大年陈镇、辛店镇经济惠民县是国家优质棉、商品粮基地县,农产有小麦,玉米,大豆、谷子、高梁,薯类,棉花、花生等。工业有轻纺、化工、机械等产业。风景名胜全国重点文物保护单位:魏氏庄园山东省文物保护单位:大商遗址、大盖遗址、路家遗址、郝家遗址孙子故园孙子兵法城(每年10月份国际孙子文化旅游节在这里举办)。魁星阁古城河水利风景区(国家水利风景区)名人Category:惠民人著名军事家孙武,西汉重臣东方朔等。参考文献
· 山东省-滨州-惠民县魏炳波
魏炳波,材料科学专家。西北工业大学教授。1964年4月12日出生于山东省惠民县,籍贯山东惠民。1983年毕业于山东工学院铸造专业,1986年在南京工学院材料系获硕士学位,1989年在西北工业大学材料系获博士学位。现任西北工业大学副校长。2011年当选为中国科学院院士。主要从事金属材料凝固科学与技术和空间材料科学研究。研制了以电磁悬浮、超声悬浮、静电悬浮、熔体浸浮和自由落体为特征的金属材料超常凝固实验系统。研究了深过冷合金熔体中枝晶和共晶快速生长的动力学机制;揭示了微重力和深过冷条件对快速凝固过程的耦合作用;发展了快速偏晶和包晶凝固的组织演变理论;探索了深过冷合金熔体的热物理性质变化规律。曾获国家自然科学二等奖、国家技术发明二等奖和国家教学成果二等奖。
· 山东省-滨州-惠民县孙允荣
孙允荣(1870~1900),惠民镇大孙家村人。出身于贫苦农民家庭。曾于惠城十字街东租三间小屋做木匠活,也做灯笼出售。晚上在鼓楼街拳场学武,练就一身好功夫。1900年六月,孙允荣去庆云黑牛王庄挂号入义和团,回村后竖起了“山东省武定府惠民县城西大孙家大师兄孙允荣”的义旗,口号是“扶清灭洋”,成为义和团中“乾字团”的一支生力军。入团不久,即杀不法天主教徒,在城乡造成很大影响。他还与济阳中部的义和团取得联系,相互支援。八国联军侵占天津、北京后,山东巡抚袁世凯颁发了《严禁拳匪暂行章程》,规定捉住拳民,定杀不赦。鲁北一带的义和团处于极端艰难境地,孙允荣毅然率众南下。九月,孙允荣与济阳县的大师兄-岭等人传帖召集惠民、济阳、章丘、邹平、商河、齐东六个县的义和团一千余众聚集于济阳县东部玉皇庙,抵抗清军的围攻,并准备兵进济南。孙允荣被推为六县总大师兄、大元帅。他们提出了“红灯照,义和团,打东洋鬼子不费难”,...
知识互答
关于我们
关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。
APP下载
下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信