您的位置： 专家智库 > >

范艳焕

作品数：6 被引量：12H指数：3
供职机构：陕西师范大学计算机科学学院更多>>
发文基金：国家自然科学基金青海省自然科学基金国家教育部博士点基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 4篇期刊文章
  • 2篇学位论文

领域

  • 5篇自动化与计算...
  • 1篇理学

主题

  • 3篇自动机
  • 2篇有界
  • 2篇有穷自动机
  • 2篇时序逻辑
  • 2篇模糊逻辑
  • 2篇格值
  • 2篇PEBBLE
  • 1篇形式化
  • 1篇一阶逻辑
  • 1篇时态逻辑
  • 1篇系统合成
  • 1篇模糊系统
  • 1篇计算树逻辑
  • 1篇格值逻辑
  • 1篇闭包
  • 1篇BÜCHI自...
  • 1篇KRIPKE...
  • 1篇MSO
  • 1篇博弈
  • 1篇传递闭包

机构

  • 6篇陕西师范大学
  • 3篇青海师范大学
  • 1篇泰州学院

作者

  • 6篇范艳焕
  • 4篇李永明
  • 1篇潘海玉
  • 1篇耿生玲

传媒

  • 2篇模糊系统与数...
  • 2篇电子学报

年份

  • 3篇2018
  • 1篇2015
  • 2篇2013
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
Pebble模糊有穷自动机和传递闭包逻辑被引量：4
2015年
定义了Lukasiewicz逻辑下的一阶有界传递闭包逻辑,并且给出了模糊有穷自动机的一阶有界传递闭包逻辑;另外,我们还介绍了两类模糊有穷自动机:Nested模糊有穷自动机和Pebble模糊有穷自动机,并且证得这两类模糊自动机都可以由一阶有界传递闭包逻辑来刻画,因此它们并没有提升模糊自动机的语言识别能力;进而得到本文的主要结论:在Lukasiewicz逻辑下,模糊单体二阶逻辑与Lukasiewicz逻辑下的一阶有界传递闭包逻辑之间等价,且模糊自动机所识别的语言与Pebble模糊有穷自动机识别的语言是等价的。
范艳焕耿生玲李永明
模糊系统验证的形式化方法研究
形式化验证是以数学理论为基础,来确保计算机软硬件系统的正确性和可靠性.经典的形式化验证是基于二值逻辑展开的,它并不能用于处理含有量化信息的系统验证问题.因此,量化形式化验证应运而生,为含有量化信息的系统验证提供了一种有效...
范艳焕
关键词：模糊系统时序逻辑系统合成
文献传递
格值有穷自动机和单体二阶格值逻辑被引量：1
2013年
引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Bubchi-Elgot基本定理。通过引入星自由语言与非周期格值语言,完全刻画了可以用一阶格值逻辑定义的格值语言,得到了格值逻辑意义下的Schubtzenberger分类定理。
范艳焕李永明
关键词：格值逻辑有穷自动机
不确定型模糊Kripke结构的计算树逻辑模型检测被引量：7
2018年
本文研究了不确定型模糊Kripke结构的计算树逻辑的模型检测问题,并说明了该问题可以在对数多形式时间内解决.首先给出了不确定型模糊Kripke结构的定义,引入了模糊计算树逻辑的语法和语义.为了刻画存在量词?和任意量词在不确定型模糊Kripke结构中的两种语义解释,在模糊计算树逻辑语法中引入了路径量词?_(sup),?_(inf)和_(sup),_(inf),分别用于替换存在量词?和任意量词.其次讨论了基于不确定型模糊Kripke结构的计算树逻辑模型检测算法,特别地对于模糊计算树逻辑公式?_(sup)pUq,_(sup)pUq,?_(inf)pUq和_(inf)pUq分别给出时间复杂度为对数多项式时间的改进算法.
范艳焕李永明潘海玉
关键词：计算树逻辑模糊逻辑KRIPKE结构时态逻辑
模糊线性时序逻辑的可实现性被引量：3
2018年
模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊线性时序逻辑公式,判断是否存在满足该公式的系统.如果存在,则构造满足该公式的最优系统.为了检验模糊线性时序逻辑的可实现性,首先引入模糊Büchi博弈的定义,作为检验模糊线性时序逻辑公式是否可实现的模型.其次通过归约的方法,研究模糊Büchi博弈的性质(最优无记忆策略存在性.最后验证模糊线性时序逻辑的可实现性并且给出其系统合成的过程,并说明它们的时间复杂度.
范艳焕李永明
Pebble格值有穷自动机和有界传递闭包逻辑
作为计算的简单数学模型,自动机在计算机科学中的文本处理、编译程序、硬件设计、人工智能等应用领域中起着重要的作用.同时自动机也可以作为语言识别器,用来研究各种形式语言.随着Zadeh的模糊集理论的提出,自动机识别语言的能力...
范艳焕
关键词：MSO一阶逻辑
文献传递
全选 清除 导出
共1页<1>
聚类工具0