欢迎访问南京邮电大学计算机学院、软件学院、网络空间安全学院!   |  联系我们
首页 > 学术交流 > 文章详情

青年博士论坛预告2017年12月6日(周三)10:00-11:00

来源: 计算机学院 | 发表时间: 2017-12-04 | 浏览次数: 13

时间:126(周三)10:00-11:00

  

地点:仙林校区计算机学科楼327会议室

  

报告人:潘海玉

  

题目:Model checking fuzzy and multi-valued computation tree logic

  

摘要:Model-checking has been established as one of the most effective formal verification techniques for analyzing the correctness of software and hardware designs. The model-checking approach has been extended to handle fuzzy and multi-valued systems during the last several decades.  In this report, we first present fuzzy computation tree logic, a fuzzy extension of temporal logic, by combining general fuzzy logic with computation tree logic, and discuss its model checking problem. We then introduce computation tree logic with membership values in a finite lattice called multi-valued computation tree logic. We provide model checking algorithms for the path semantics, fixpoint semantics, and algebraic semantics of the multi-valued computation tree logic.

  

报告人简介:

2012年博士毕业于华东师范大学,陕西师范大学在站博士后,泰州学院计算机科学与技术学院副教授,江苏省高校“青蓝工程”中青年学术带头人培养对象,中国人工智能学会离散智能计算专委会委员,中国计算机学会理论计算机专委会委员研究方向为形式化方法。负责主持国家自然科学基金面上项目、中国博士后基金、广西可信软件重点实验室开放基金。以第一作者身份在IEEE Transactions on Fuzzy SystemsFuzzy Sets and SystemsInternational Journal of Approximate ReasoningTheoretical Computer ScienceFundamenta Informaticae等国内外重要学术刊物和国际会议发表论文20余篇,其中中国计算机学会推荐国际学术刊物上发表文章7篇,SCI收录7篇,EI收录13篇。