• 新余投资2.6亿元建设陆路口岸查验区 2019-05-14
  • 跟着“减肥导师”孙俪学习健康减肥诀窍! 2019-05-13
  • 40载情定广彩 终练就“国大师” 2019-05-13
  • 看着就像笑,连语文基础都不懂,还要称逻辑大师,亵渎文明差不多 2019-05-12
  • 新华时评:美逆潮流而动,必将付出代价 2019-05-11
  • [大笑]当然要付钱,你占用属于大家的资源,那怕是一根针都要付钱! 2019-05-10
  • 朝韩领导人再次举行会晤 2019-05-09
  • 阿根廷主帅提前公布首发阵容 梅西阿圭罗领衔战冰岛 2019-05-09
  • 在实现复兴的道路上,注定要经历暴风骤雨。开展伟大斗争,不仅仅是说说而已。 2019-05-08
  • 风水神话用狸猫换太子的手法,用农村外面的变化,来替代农业生产的变化,这种忽悠欺骗性非常强, 2019-05-07
  • 楼市下半年或持续降温 房地产长效机制加速推进 2019-05-06
  • 从平平无奇到千年书圣 王羲之如何被捧上神坛? 2019-05-05
  • 国外看中国科技:中国隧道技术发展迅速享誉世界 2019-05-05
  • 轩辕坛-当售后服务插上互联网翅膀 2019-05-04
  • 合肥报业传媒集团党委书记、社长甄奎祝贺人民日报创刊70周年 2019-05-04

  • 当前位置: 首页>>校园动态>>正文

    法国国立工艺学院计算机科学系Kamel教授来我??寡踅涣?
    2019-04-19 11:46 宣传部  审核人:   (点击: )

    天津时时彩后三走势 www.udhr.com.cn 4月18日下午,法国国立工艺学院计算机科学系 Kamel Barkaoui教授应我校党委研究生工作部和计算机与通信工程学院邀请,在计通学院 401会议室为全校教师和研究生作了题为“利用局部持久性来弱化Petri网的状态空间生成”的学术报告,报告会由计通学院院长魏海平教授主持。

    Kamel Barkaoui教授首先介绍了Petri网的基本概念,Petri网是一种适合于系统描述和分析的数学模型,用来描述和分析系统中的控制流和信息流,尤其是那些有异步和并发活动的系统,其主要由根库所(Place),变迁(Transition),有向弧线(Arcs),令牌(Token)所构成。然后介绍了Petri网的相关研究内容,即状态爆炸问题以及并发系统的形式验证问题,并在报告中介绍了两种应对该问题的方法。最后就报告内容与在场师生进行了深入讨论与交流,并期待与我校师生在相关领域进行合作,同时欢迎我校师生到法国国立工艺学院交流学习。(马超 文/贾莉 摄)

     

    人物简介:

    Kamel Barkaoui法国国立工艺学院计算机科学系教授,第三届国际计算理论研讨会(ICTAC 2006)的程序委员会联合主席。曾担任第18届正式方法国际研讨会(FM 2012)、第35Petri网与并发应用与理论国际会议(Petri Nets 2014)、第14届并行应用于系统设计国际会议(ACSD 2014)总联席主席,是国际关键计算机系统杂志(IJCCBS)IEEE/CAA自动化杂志的副主编。他于2016年当选突尼斯科学、文学和艺术学院(Beit al-Hikma)成员。长期致力于并行离散事件系统的形式化描述方法、验证方法、控制方法和性能评估等方向的研究。发表论文100余篇,其中1995年获IEEE系统人与控制论国际研讨会优秀论文奖。

    天津时时彩后三走势

    Copyright?辽宁石油化工大学 2010 辽宁石油化工大学网络信息中心维护
    工信备案号:辽ICP备10014085号-2       公安备案号:21040402000061
    Email: [email protected] 地址:辽宁省抚顺市望花区丹东路西段一号 邮编:113001
    电话(TEL):024-56865005 传真(FAX):024-56860766 招生电话:024-56865000

     

  • 新余投资2.6亿元建设陆路口岸查验区 2019-05-14
  • 跟着“减肥导师”孙俪学习健康减肥诀窍! 2019-05-13
  • 40载情定广彩 终练就“国大师” 2019-05-13
  • 看着就像笑,连语文基础都不懂,还要称逻辑大师,亵渎文明差不多 2019-05-12
  • 新华时评:美逆潮流而动,必将付出代价 2019-05-11
  • [大笑]当然要付钱,你占用属于大家的资源,那怕是一根针都要付钱! 2019-05-10
  • 朝韩领导人再次举行会晤 2019-05-09
  • 阿根廷主帅提前公布首发阵容 梅西阿圭罗领衔战冰岛 2019-05-09
  • 在实现复兴的道路上,注定要经历暴风骤雨。开展伟大斗争,不仅仅是说说而已。 2019-05-08
  • 风水神话用狸猫换太子的手法,用农村外面的变化,来替代农业生产的变化,这种忽悠欺骗性非常强, 2019-05-07
  • 楼市下半年或持续降温 房地产长效机制加速推进 2019-05-06
  • 从平平无奇到千年书圣 王羲之如何被捧上神坛? 2019-05-05
  • 国外看中国科技:中国隧道技术发展迅速享誉世界 2019-05-05
  • 轩辕坛-当售后服务插上互联网翅膀 2019-05-04
  • 合肥报业传媒集团党委书记、社长甄奎祝贺人民日报创刊70周年 2019-05-04