【摘 要】
：
交互时态逻辑已被广泛应用于开放系统的规范描述，交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有模糊不确定性信息的开放系统的性质，提出了一
【机 构】
：
泰州学院计算机科学与技术学院,桂林电子科技大学广西可信软件重点实验室,淮北师范大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金（61672023,61673352）,安徽省自然科学基金（1708085MF159）,江苏高校“青蓝工程”,广西可信软件重点实验章研究课题（kx201609）,泰州市科技支撑社会发展计划（TS2015040）
论文部分内容阅读
交互时态逻辑已被广泛应用于开放系统的规范描述，交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有模糊不确定性信息的开放系统的性质，提出了一种模糊交互时态逻辑，并讨论了它的模型检测问题。首先，引入了模糊交互时态逻辑的基于路径和基于不动点的两种语义，证明了其等价性。然后，基于其等价性，给出了模糊交互时态逻辑的模型检测算法和复杂性分析。
其他文献
银屑病(psoriasis)是一种在遗传及环境背景下,以T细胞免疫反应异常为主的慢性炎症性皮肤病。本病病程较长,易反复发作,初始发病人群以青壮年为主,对患者心理生理健康有较大影
目的探究脂肪干细胞ADSC(adipose-derived stem cells)对于同种异体脂肪移植排斥反应的抑制作用。方法以BAL/BC小鼠作为供体,以C57BL/6J小鼠作为受体进行同种异体脂肪移植实
汉字是记录汉民族语言的符号系统。它是世界上最古老的文字之一,也是世界上使用历史最悠久的文字之一。写字是落实语言文字训练的重要内容,也是继承和弘扬中华民族优秀传统文
足球是世界主流运动项目,不仅热门而且不过时,是新时代中国发展最广、影响最大的体育运动项目,其极具观赏性和趣味性,因此深受大众喜爱。特别是高校校园足球,其作为足球运动
随着教学改革的不断深入,教育部门对很多学科都提出了新的课程要求,对于小学数学教学来说。教育部门侧重学生的思维转换,而数学知识的学习能够让学生的思维更加严谨,通过对学
体育学科在初中阶段的教育中占有重要地位,能为学生开展正常的学习与生活打下基础。通过优化初中体育心理健康教学,不仅能使学生通过体育学科的学习加强身体素质,还能促进学
针对图像全局立体匹配精度高、计算量大的问题,提出基于mean shift图像分割的全局立体匹配方法。首先,通过mean shift算法对图像进行分割,获取图像同质区域数量和区域的标号。在计算匹配代价时,根据像素所属的分割区域,对像素进行筛选,从而提高匹配代价计算速度;其次,在代价聚合前,将mean shift算法获取的同质区域数K值赋值给K-means聚类算法,对像素再次聚类,提高立体匹配精度和速
游戏本是儿童间本真学习的一种方式。近年来,随着新课改的不断深入,游戏教学作为一种轻松愉快的教学方式,被广泛用于小学教学课堂中。根据小学英语教学大纲,将教学内容和生动
如今社会在不停的发展,人们对于教育越来越重视,思想品德属于教学当中极为关键的环节,能够对学生的能力和素质起到决定性的作用,所以关于如何提高小学生思想品德的教学质量就
如何从海量文本中自动提取有价值的观点信息已成为重要的技术挑战,当下的观点挖掘方法大多数是在假设主题相互独立的前提下进行的,但实际上主题与主题之间有着复杂的内在联系