- 1
- 2
- 3
- 4
- 5
具有模糊时态的广义可能性线性时序逻辑的模型检测
资料介绍
本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPo LTL(Generalized Possibilistic Linear Tempora Logic)进行了扩张,并通过实例说明了GPoFLTL比GPo LTL具有更强的表达能力;其次在广义可能性测度下通过模糊矩阵运算讨论了“不久”,“几乎总是”等几类模糊时态性质的模型检测问题;最后研究了模糊时态性质的必要性阈值模型检测问题,给出了基于自动机的GPoFLTL的阈值模型检测算法及算法的复杂度.
部分文件列表
文件名 | 大小 |
具有模糊时态的广义可能性线性时序逻辑的模型检测.pdf | 1M |
部分页面预览
(完整内容请下载后查看)最新上传
-
21ic小能手 打赏10.00元 1天前
-
21ic小能手 打赏5.00元 1天前
-
21ic小能手 打赏5.00元 1天前
-
21ic小能手 打赏5.00元 1天前
-
21ic下载 打赏320.00元 2天前
用户:liqiang9090
-
21ic下载 打赏260.00元 2天前
用户:gsy幸运
-
21ic下载 打赏110.00元 2天前
用户:zhengdai
-
21ic下载 打赏130.00元 2天前
用户:WK520077778
-
21ic下载 打赏100.00元 2天前
用户:sun2152
-
21ic下载 打赏70.00元 2天前
用户:xuzhen1
-
21ic下载 打赏40.00元 2天前
用户:w178191520
-
21ic下载 打赏70.00元 2天前
用户:xzxbybd
-
21ic下载 打赏50.00元 2天前
用户:铁蛋锅
-
21ic下载 打赏30.00元 2天前
用户:kk1957135547
-
21ic下载 打赏30.00元 2天前
用户:forgot
-
21ic下载 打赏30.00元 2天前
用户:w993263495
-
21ic下载 打赏30.00元 2天前
用户:年轻的国王
-
21ic下载 打赏30.00元 2天前
用户:happypcb
-
21ic下载 打赏30.00元 2天前
用户:不觉明了
-
21ic下载 打赏20.00元 2天前
用户:xujibicool
-
21ic下载 打赏10.00元 2天前
用户:idlaoming
-
21ic小能手 打赏10.00元 2天前
-
21ic小能手 打赏5.00元 2天前
-
21ic小能手 打赏5.00元 2天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏20.00元 3天前
-
21ic小能手 打赏20.00元 3天前
-
注册1 打赏0.01元 3天前
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.05元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
-
注册1 打赏0.01元 3天前
用户:21ic下载
全部评论(0)