欧美第一页,亚洲欧美日韩国产,狠狠色欧美亚洲狠狠色WWW,欧美精品视频一区二区三区

當前位置: > 學術報告 > 理科 > 正文

理科

Fuzzy Alternating Refinement Relations Under the G?del Semantics

發(fā)布時間:2021-10-18 瀏覽:

報告題目:Fuzzy Alternating Refinement Relations Under the G?del Semantics

報告人: 潘海玉 桂林電子科技大學副教授

講座日期:2021-10-21

講座時間16:30

報告地點:騰訊會議267941889

主辦單位:數學與統(tǒng)計學院

講座人簡介:

潘海玉,桂林電子科技大學副教授,碩士生導師。2009年畢業(yè)于浙江理工大學,獲得工學碩士學位;2012畢業(yè)于華東師范大學,獲得博士學位;2013-2017年在陜西師范大學博士后流動站工作。 現任中國計算機學會理論計算機專委會執(zhí)行委員、中國計算機學會形式化方法專委會執(zhí)行委員、中國人工智能學會離散智能計算專委會委員、中國邏輯學會非經典邏輯與計算專委會委員和中國系統(tǒng)工程學會模糊數學與模糊系統(tǒng)專委會委員。研究方向為形式化方法、模糊邏輯。負責主持國家自然科學基金面上項目、國家自然科學基金地區(qū)項目、中國博士后基金、廣西自然科學基金面上項目、廣西可信軟件重點實驗室開放基金。以第一作者身份在IEEE Transactions on Fuzzy Systems,Fuzzy Sets and Systems,International Journal of Approximate Reasoning,Theoretical Computer Science,Fundamenta Informaticae等國內外重要學術刊物和國際會議發(fā)表論文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.

在线成人国产| 怡红院在线观看极品| 综合亚洲婷婷| 亚洲熟女ave区| 蜜桃夜色AV| 日韩免费高清网站| 快色| 2020成人在线毛片| 久久久无码精品亚洲日韩久久| 久久乐99| 亚欧美在线观看| 青青视频少妇| 视频露脸一区| 夜久久少妇网| 日韩中字一区| 亚洲熟妇一| 青青草草原在线99| 麻豆天美传媒欣然| 日韩无码人妻一区| 成人无码在线播放器| 黄片播放区| 男女插综合网| 欧美亚洲日韩国产| 日韩亚洲精品小说| 亚洲激情五月丁香| 特黄又黄又大又粗| 久久久天天操| A级毛片高清免费视频就| 性情网站情爱| 好男人视频在线观看免费看片| 韩国人妻中文字幕| 成人片国产精品亚洲| 老色鬼永久精品| 国产v亚洲v天堂a无码| 人人吹天天爱| 亚洲精品无码久久久久AV麻豆| 手机能看的日本东京热| 色欲人妻| 亚洲综合自拍视频| 日本小黄片| 亚美AV在线|