检索结果-南通市图书馆

Pebble格值有穷自动机和有界传递闭包逻辑

在线全文

学校读者我要写书评

暂无评论

Pebble格值有穷自动机和有界传递闭包逻辑

作者：范艳焕陕西师范大学

学位级别：硕士

作为计算的简单数学模型,自动机在计算机科学中的文本处理、编译程序、硬件设计、人工智能等应用领域中起着重要的作用.同时自动机也可以作为语言识别器,用来研究各种形式语言.随着Zadeh的模糊集理论的提出,自动机识别语言的能力扩展到... 详细信息

作为计算的简单数学模型,自动机在计算机科学中的文本处理、编译程序、硬件设计、人工智能等应用领域中起着重要的作用.同时自动机也可以作为语言识别器,用来研究各种形式语言.随着Zadeh的模糊集理论的提出,自动机识别语言的能力扩展到了模糊集理论的应用范围,并随之产生了模糊自动机.通常,模糊自动机在[0,1]单位区间取值,为了加强模糊自动机的数据处理能力,我们把值域扩展到更一般的格值代数结构上,特别地,李永明把有穷自动机的代数结构取为一般的格,证明了格值有穷自动机与格值确定型有穷自动机以及带ε转移格值自动机之间的等价性,给出了基于一般格值逻辑的自动机所对应的Kleene定理表现形式.关于自动机与单体逻辑之间的研究己经取得非常丰富的理论成果,并分别在加权逻辑,量子逻辑,Lukasieuicz逻辑和Multi-Valued逻辑上得到相应的推广,那么本文将就基于格值逻辑下做一些相应的工作.本文的主要研究内容如下： 1.引入单体二阶格值逻辑,进而给出基于格值逻辑下的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Biichi-Elgot定理.通过引入星-自由语言与非周期格值语言,完全刻画了可以用一阶格值逻辑定义的格值语言,得到了格值逻辑意义下的Schiitzenberger定理. 2.我们定义了格值逻辑下的一阶有界传递闭包逻辑并且用一阶有界传递闭包逻辑刻画格值有穷自动机;3.我们还介绍了两类格值有穷自动机：nested格值有穷自动机(?)pebble格值有穷自动机,这两类格值有穷自动机是一个带有单道读写带的机械装置;而且,这两类格值自动机都可以由一阶有界传递闭包逻辑来刻画.从而得到：这两类有nested pebble装置的格值有穷自动机所接受的语言与格值有穷自动机所接受的语言是等价的.

关键词：格值有穷自动机 MSO 一阶逻辑有界传递闭包逻辑 pebble格值有穷自动机

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

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

电子学报 2018年第1期46卷 152-159页

作者：范艳焕李永明潘海玉陕西师范大学计算机科学学院陕西西安710062 青海师范大学民师院数学系青海西宁810008 泰州学院计算机科学与技术学院江苏泰州225300

本文研究了不确定型模糊Kripke结构的计算树逻辑的模型检测问题,并说明了该问题可以在对数多形式时间内解决.首先给出了不确定型模糊Kripke结构的定义,引入了模糊计算树逻辑的语法和语义.为了刻画存在量词?和任意量词在不确定型模糊Kr... 详细信息

本文研究了不确定型模糊Kripke结构的计算树逻辑的模型检测问题,并说明了该问题可以在对数多形式时间内解决.首先给出了不确定型模糊Kripke结构的定义,引入了模糊计算树逻辑的语法和语义.为了刻画存在量词?和任意量词在不确定型模糊Kripke结构中的两种语义解释,在模糊计算树逻辑语法中引入了路径量词?_(sup),?_(inf)和_(sup),_(inf),分别用于替换存在量词?和任意量词.其次讨论了基于不确定型模糊Kripke结构的计算树逻辑模型检测算法,特别地对于模糊计算树逻辑公式?_(sup)pUq,_(sup)pUq,?_(inf)pUq和_(inf)pUq分别给出时间复杂度为对数多项式时间的改进算法.

关键词：模型检测计算树逻辑模糊逻辑 Kripke结构时态逻辑

在线全文

学校读者我要写书评

暂无评论

格值有穷自动机和单体二阶格值逻辑

模糊系统与数学 2013年第2期27卷 23-29页

作者：范艳焕李永明陕西师范大学数学与信息科学学院陕西西安710062

引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Bubchi-Elgot基本定理。通过引入星自由语言与非周期格值语言,完全刻画了可以用一阶格值逻辑定义的格值语言,得到了格值逻辑意义... 详细信息

引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Bubchi-Elgot基本定理。通过引入星自由语言与非周期格值语言,完全刻画了可以用一阶格值逻辑定义的格值语言,得到了格值逻辑意义下的Schubtzenberger分类定理。

关键词：格值逻辑有穷自动机单体二阶逻辑格值语言

在线全文

学校读者我要写书评

暂无评论

Pebble模糊有穷自动机和传递闭包逻辑

模糊系统与数学 2015年第4期29卷 38-44页

作者：范艳焕耿生玲李永明青海师范大学民师院数学系青海西宁810008 陕西师范大学计算机科学学院陕西西安710062 青海师范大学计算机学院青海西宁810008

定义了Lukasiewicz逻辑下的一阶有界传递闭包逻辑,并且给出了模糊有穷自动机的一阶有界传递闭包逻辑;另外,我们还介绍了两类模糊有穷自动机:Nested模糊有穷自动机和Pebble模糊有穷自动机,并且证得这两类模糊自动机都可以由一阶有界传递... 详细信息

定义了Lukasiewicz逻辑下的一阶有界传递闭包逻辑,并且给出了模糊有穷自动机的一阶有界传递闭包逻辑;另外,我们还介绍了两类模糊有穷自动机:Nested模糊有穷自动机和Pebble模糊有穷自动机,并且证得这两类模糊自动机都可以由一阶有界传递闭包逻辑来刻画,因此它们并没有提升模糊自动机的语言识别能力;进而得到本文的主要结论:在Lukasiewicz逻辑下,模糊单体二阶逻辑与Lukasiewicz逻辑下的一阶有界传递闭包逻辑之间等价,且模糊自动机所识别的语言与Pebble模糊有穷自动机识别的语言是等价的。

关键词：模糊有穷自动机单体二阶逻辑有界传递闭包模糊逻辑 Pebble模糊有穷自动机

群蜂蜇伤致下肢动脉血栓形成1例报告及文献复习

在线全文

学校读者我要写书评

暂无评论

中外医药研究 2024年第4期3卷 32-34页

作者：魏延焕董庆林范艳艳日照市人民医院急诊科山东日照276800

马蜂蜇伤致急性肢体动脉血栓形成较罕见.笔者通过整理1例重度马蜂蜇伤并发双下肢动脉血栓形成患者的诊治经过并结合文献研究发现,肢体动脉栓塞事件常发生在蜇伤后数小时内,上肢动脉和下肢动脉均有可能发生,主要为肢体的急性缺血表现,如... 详细信息

马蜂蜇伤致急性肢体动脉血栓形成较罕见.笔者通过整理1例重度马蜂蜇伤并发双下肢动脉血栓形成患者的诊治经过并结合文献研究发现,肢体动脉栓塞事件常发生在蜇伤后数小时内,上肢动脉和下肢动脉均有可能发生,主要为肢体的急性缺血表现,如麻木、疼痛、青紫等,严重者可出现肢体组织坏死.蜂毒本身含有的组胺、血栓素、白三烯等血管活性物质和炎症介质,可导致血小板和凝血因子激活、血管内膜损伤、血管收缩等,从而继发动脉血栓形成的可能.

关键词：马蜂蜇伤血栓形成急性肢体缺血

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

注入文化魂老街焕新生 014