不确定型模糊Kripke结构的计算树逻辑模型检测

来源 :电子学报 | 被引量 : 0次 | 上传用户:feylodiw
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究了不确定型模糊Kripke结构的计算树逻辑的模型检测问题,并说明了该问题可以在对数多形式时间内解决.首先给出了不确定型模糊Kripke结构的定义,引入了模糊计算树逻辑的语法和语义.为了刻画存在量词 和任意量词在不确定型模糊Kripke结构中的两种语义解释,在模糊计算树逻辑语法中引入了路径量词sup,inf和sup,inf,分别用于替换存在量词和任意量词.其次讨论了基于不确定型模糊Kripke结构的计算树逻辑模型检测算法,特别地对于模糊计算树逻辑公式suppUq,suppUq,infpUq
其他文献
哲理的故事在美国,一位母亲在圣诞节前夕带着五岁的儿子去买礼物。大街上回响着圣诞节的赞歌,橱窗里装饰着枞树彩灯,乔装的可爱小精灵载歌载舞,商店里五光十色的玩具应有尽有。
介绍了硫化Co-Mo/Al2O3催化剂的热处理方法及其结果。实验表明,硫化催化剂经热处理后,加氢脱硫活性明显增加,以塞吩转化率表示的催化活性随处理温度升高而变化,在450℃时观察到催化活性的极大值
有个好脾气的上司是个幸福的事儿,团队氛围和谐融洽,大家工作起来心平气和。可凡事并非想象中那样美好,当我从一名普通职员升任到管理层,赫然发现,你在跟方方面面发生关系,如
用NH_3-TPD,IR技术研究了混合金属络合物羟基镍铝交联蒙托土的表面羟基和表面酸性。考察了制备方法、Al/Ni比对其表面酸性的影响,同时用异丙苯裂解反应表征了其催化性能。结
“通鉴开坛”栏目,意在从《资治通鉴》中汲取前人管理的智慧和营养。牛年,我们结束了在群雄逐鹿中的耕耘漫步;紧接着在虎虎生威的新年,即将徜徉在中国走向统一强盛的汉唐巅峰。我
为克服陶瓷器鉴定传统方法的局限性,提出一种基于加权欧氏距离的陶瓷器超声波辨识方法.以三个完全相同的方形陶瓷盒子作为实验样品,根据样品的断面扫描电镜照片,分析超声波波
人们通常不喜欢"暴脾气"上司,当众发火,总被视为领导力的败笔。但也不要以为,永远温文尔雅的上司,就一定会深得人心,脾气好得过了头,便成了道貌岸然。
图三角数量的计算是计算网络聚集系数和传递性的重要步骤.大数据背景下,以采样为策略的近似计算成为图三角计算的主要方法,然而此类方法面临时空消耗和计算错误性两大难题.本
<正> 已有熔铁氨合成催化剂中添加稀土的报道.我们通过添加稀土得到了几种活性较高的催化剂,经进一步改进制备工艺(水浸处理后),活性又有所提高.本文利用XRD和AES等,对经水浸
有一个公案,弟子问师父为什么会这么快乐,师父回答说:我吃饭就是吃饭,睡觉就是睡觉。这个公案说的就是要有一颗专注的心,每时每刻的心都在当下,不想过去,不想未来,不想得,不想失,不想是,不想非,就注意当下。专注当下既能做好当下的事,也少了很多烦恼。如果吃饭的时候还留意着,我这一碗饭里只有青菜几片,你那一碗是大鱼大肉,则马上生起了是非心、人我心、攀比心,痛苦马上随之而来。你只专注吃你碗里的饭就好了,不要