网赌官方正规平台-网赌大平台些贴吧-首页

  • 一网通办
  • 书记信箱
  • 校长信箱
  • 会议安排
  • 信息公开
  • English
当前位置: > 学术报告 > 理科 > 正文

理科

Fuzzy Alternating Refinement Relations Under the G?del Semantics

发布时间:2021-10-18 浏览:次

报告题目:Fuzzy Alternating Refinement Relations Under the G?del Semantics

报告人: 潘海玉 桂林电子科技大学副教授

讲座日期:2021-10-21

讲座时间16:30

报告地点:Tencent会议267941889

主办单位:数学与统计学院

讲座人概况:

潘海玉,桂林电子科技大学副教授,硕士生导师。2009年毕业于浙江理工大学,获得工学硕士学位;2012毕业于华东师范大学,获得博士学位;2013-2017年在网赌官方正规平台博士后流动站工作。 现任中国计算机学会理论计算机专委会实行委员、中国计算机学会形式化方法专委会实行委员、中国人工智能学会离散智能计算专委会委员、中国逻辑学会非经典逻辑与计算专委会委员和中国系统工程学会模糊数学与模糊系统专委会委员。研究方向为形式化方法、模糊逻辑。负责主持国家自然科学基金面上项目、国家自然科学基金地区项目、中国博士后基金、广西自然科学基金面上项目、广西可信App重点实验室开放基金。以第一编辑身份在IEEE Transactions on Fuzzy Systems,Fuzzy Sets and Systems,International Journal of Approximate Reasoning,Theoretical Computer Science,Fundamenta Informaticae等国内外重要学术刊物和国际会议发表论文20余篇。

讲座概况:

Refinement relations, such as trace containment, simulation preorder and their alternating versions, have been successfully applied in formal verification of concurrent systems. Recently, trace containment and simulation preorder have been adopted and developed in fuzzy systems, but the generalization of their alternating versions to fuzzy systems has not been investigated. To satisfy the need for modeling and analyzing fuzzy systems, this report proposes two types of refinement relations called fuzzy alternating trace containment and fuzzy alternating simulation preorder, based on fuzzy concurrent game structures (FCGSs) under theG?del semantics. These two fuzzy notions inherit properties from the corresponding classical setting. For example, fuzzy alternating simulation preorder for finite-state FCGSs can be computed in polynomial time, fuzzy alternating simulation preorder is a fuzzy subset of fuzzy alternating trace containment, and both relations can be logically characterized in terms of fuzzy version of alternating-time temporal logic. These properties make the theory developed here be suitable for the modeling and verification of fuzzy systems.

网赌官方正规平台|网赌大平台些贴吧

XML 地图 | Sitemap 地图