bob官网下载

当前位置: > 学术交流检测结果 > 理科生 > 正文

理科

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

报告地点:腾讯会议267941889

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

讲座人简介:

潘海玉,桂林市电子无线生物学的技术本科一本一本大学专业副院士,调查生硕士学历生硕导。09年畢業于在我们理工学本科一本一本大学专业,荣获工学调查生硕士学历学历;2012畢業于华中师范本科一本一本大学专业,荣获医学博土学历;2013-20110年在山东师范本科一本一本大学专业医学博土后流动量站运转。 列任我们核算机学着学说核算机专委会履行常务理事会会、我们核算机学着的方式化技巧专委会履行常务理事会会、我们人工服务自动化学着离散自动化核算专委会常务理事会会、我们规律学着非精选规律与核算专委会常务理事会会和我们控制工程设计建设学着损坏数学分析与损坏控制系统专委会常务理事会会。调查趋势为的方式化技巧、损坏规律。提供节目主持中国人自然的美环境生物学的理财产品、期货、现货、微盘表上工程、中国人自然的美环境生物学的理财产品、期货、现货、微盘区域工程、我们医学博土后理财产品、期货、现货、微盘、广东省自然的美环境生物学的理财产品、期货、现货、微盘表上工程、广东省信得过平台重要的试验室开园理财产品、期货、现货、微盘。以最写作者双重身份在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.

pc加拿大 pc加拿大 pc加拿大 pc加拿大 pc加拿大