资料下载
×
广义可能性模糊时态计算树逻辑的模型检测
消耗积分:0 |
格式:rar |
大小:5.63 MB |
2021-05-12
分享资料个
为了增强计算树逻辑在时序上的表达能力，以广义可能性测度、决策过程和计算树逻辑为基础，硏究了具有决策过程的广义可能性模糊时态计算树逻辑的模型检测。首先采用广乂可能性决策过程作为系统模型;然后引λ模糊时态算子，枃造了模糊时态计算树逻辑并给岀其在广义可能性测度下的语义，得到新的广义可能性模糊时态计算树逻辑用来描述系统属性;最后在广乂可能性调度下通过模糊矩阵运算讨论了¨soowithin、last、 nearly”等几类模糊时态连接词的具体计算方法，给岀相应的模型检测算法。经验证明，广义可能性模糊时态计算树逻辑是广义可能性计算树逻辑在模糊时序上的扩充，具有更强的表达能力。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
