投稿须知
1.1 根据《著作权法》,并结合本刊具体情况,凡接到本刊回执后3个月内未接到稿件处理通知者,系仍在审阅中。作者如欲投他刊,请先与本刊联系,切勿一稿两投。来稿请自留底稿。不采用的稿件一般不寄还。
1.2 来稿一律文责自负。依照《著作权法》有关规定,本刊可对来稿做文字修改、删节,凡有违背原意的修改 ...
学校公告 首页 >学校公告 >

分治归约合成及并行验证语言可分解性

发布时间:2018-12-21 13:40:24
   报  告  人:林立勇

   报告人简介:

   林立勇分别在2011年和2016年获得新加坡南洋理工大学一等荣誉学士学位和博士学位。2016年到2017年间林立勇作为NSERC博士后在加拿大多伦多大学开展研究工作。目前林立勇在新加坡南洋理工大学从事信息物理系统方面有关网络安全方向的博士后研究。林立勇的研究兴趣包括人工智能,形式化方法和监督控制理论。
内容摘要:

   自动计算复杂度理论中的归约有许多理论和实际上的应用,包括自动编程和或许能够帮助我们更深刻地了解复杂度理论中的一些悬而未解的问题。一种比较特殊的归约叫做分治归约, 即将一个大问题归约成多个同样结构的小问题。 分治归约有时能够极大地改进在一些特别情况下已知算法的复杂度。这份报告讨论的是目前对分治归约的一些理解,研究进展和它在一些有序结构的形式化验证问题上的应用。 一个比较具体的应用是语言可分解性的验证问题。语言可分解性是分布式监督控制理论中的一个重要的性质。这份报告将会简单介绍语言可分解性的概念和讨论如何自动合成分治归约来实现在一些特别情况下并行验证语言可分解性和降低验证复杂度。



上一篇:深入学习智能感知-自动驾驶和精准农业的应用
下一篇:量子非局域性的定义、检测及分布

学校地址:重庆市北碚区天生路2号 邮政编码:400716(渝ICP字 06000300号)