检索结果-维普期刊中文期刊服务平台

Monadic分划逻辑中的Fraisse定理: 1; 作者田启家沈恩绍沈复兴《北京师范大学学报（自然科学版）》 CAS CSCD 1995年第3期285-289,共5页; 给出Ｍｏｎａｄｉｃ分划逻辑初等等价的一个代数刻画，从而把Ｆｒａｉｓｓｅ定理从一阶的情形推广到了Ｍｏｎａｄｉｃ分划逻辑的情形。; 关键词分划逻辑 Fraisse定理 M分划逻辑; 在线阅读下载PDF 职称材料

模糊有穷自动机与单体二阶Lukasiewicz逻辑被引量：8: 2; 作者李永明《计算机学报》 EI CSCD 北大核心 2008年第10期1788-1794,共7页; 该文引入了单体二阶Lukasiewicz逻辑,进而给出了模糊有穷自动机识别语言的逻辑描述,证明了多值逻辑意义下的Bchi与Elgot基本定理.通过引入星-自由模糊语言与非周期模糊语言,刻画了可以用一阶Lukasiewicz逻辑定义的模糊语言.; 关键词模糊逻辑有穷自动机单体二阶Lukasiewicz逻辑模糊语言模糊计算; 在线阅读下载PDF 职称材料

模糊Büchi自动机的等价刻画被引量：1: 3; 作者韩召伟李永明《计算机学报》 EI CSCD 北大核心 2013年第6期1235-1245,共11页; 模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊... 展开更多; 关键词模糊逻辑模糊Büchi自动机模糊ω-正则语言单体二阶Lukasiewicz逻辑刻画; 在线阅读下载PDF 职称材料

量子Müller自动机与单体二阶量子逻辑被引量：1: 4; 作者韩召伟李永明《软件学报》 EI CSCD 北大核心 2014年第1期27-36,共10页; 给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量... 展开更多; 关键词量子逻辑正交模格量子Müller自动机量子无穷正则语言单体二阶量子逻辑 Büchi定理; 在线阅读下载PDF 职称材料

量子Bchi自动机的代数及逻辑刻画被引量：1: 5; 作者韩召伟《电子学报》 EI CAS CSCD 北大核心 2013年第6期1093-1100,共8页; 提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量... 展开更多; 关键词量子逻辑量子Buchi自动机量子无穷正则语言代数刻画单体二阶量子逻辑 Buchi定理; 在线阅读下载PDF 职称材料

一元子结构谓词逻辑中相似的代数语义: 6; 作者王军涛王梅折延宏《电子学报》 EI CAS CSCD 北大核心 2023年第4期956-964,共9页; 借助一元模糊谓词逻辑与S5型模糊模态逻辑的等价性,建立了一元子结构谓词逻辑中相似联结词的代数语义,引入了相似一元剩余格,并研究了其基本的代数性质.其次,研究了相似一元剩余格上的相似滤子,刻画了可表示的相似一元剩余格.最后,引入... 展开更多; 关键词一元子结构谓词逻辑相似一元剩余格相似滤子完备性半线性扩张; 在线阅读下载PDF 职称材料

题名Monadic分划逻辑中的Fraisse定理: 1; 作者田启家沈恩绍沈复兴; 机构北京师范大学数学系; 出处《北京师范大学学报（自然科学版）》 CAS CSCD 1995年第3期285-289,共5页; 基金国家自然科学基金; 文摘给出Ｍｏｎａｄｉｃ分划逻辑初等等价的一个代数刻画，从而把Ｆｒａｉｓｓｅ定理从一阶的情形推广到了Ｍｏｎａｄｉｃ分划逻辑的情形。; 关键词分划逻辑 Fraisse定理 M分划逻辑; Keywords monadic partition logic Fraisse theorem; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名模糊有穷自动机与单体二阶Lukasiewicz逻辑被引量：8: 2; 作者李永明; 机构陕西师范大学计算机科学学院; 出处《计算机学报》 EI CSCD 北大核心 2008年第10期1788-1794,共7页; 基金国家自然科学基金(10571112) 国家"九七三"重点基础研究发展规划项目专项经费(2002CB312200) 教育部重点研究项目(107106)资助; 文摘该文引入了单体二阶Lukasiewicz逻辑,进而给出了模糊有穷自动机识别语言的逻辑描述,证明了多值逻辑意义下的Bchi与Elgot基本定理.通过引入星-自由模糊语言与非周期模糊语言,刻画了可以用一阶Lukasiewicz逻辑定义的模糊语言.; 关键词模糊逻辑有穷自动机单体二阶Lukasiewicz逻辑模糊语言模糊计算; Keywords fuzzy logic finite automata monadic second-order Lukasiewicz logic fuzzy lan guage fuzzy computation; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名模糊Büchi自动机的等价刻画被引量：1: 3; 作者韩召伟李永明; 机构陕西师范大学数学与信息科学学院陕西师范大学计算机科学学院; 出处《计算机学报》 EI CSCD 北大核心 2013年第6期1235-1245,共11页; 基金国家自然科学基金(11271237 11226266) 陕西师范大学科研启动基金(999553)资助~~; 文摘模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊Büchi自动机与具有分明初始状态和状态转移函数且具有模糊终状态的模糊Büchi自动机是等价的,藉此研究了模糊ω-正则语言的代数刻画和层次刻画,讨论了模糊ω-正则语言关于正则运算的封闭性;其次引入单体二阶Lukasiewicz逻辑的概念,给出模糊Büchi自动机识别语言的等价逻辑刻画;最后通过引入ω-星自由和ω-非周期模糊ω-语言,利用'层次化'处理技巧得到了多值逻辑意义下的分类定理,对模糊ω-正则语言给出了一种分类方法.; 关键词模糊逻辑模糊Büchi自动机模糊ω-正则语言单体二阶Lukasiewicz逻辑刻画; Keywords fuzzy logic fuzzy Btichi automaton fuzzy ω-regular language monadic second-orderLukasiewicz logic characterization; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名量子Müller自动机与单体二阶量子逻辑被引量：1: 4; 作者韩召伟李永明; 机构陕西师范大学数学与信思科学学院陕西师范大学计算机科学学院; 出处《软件学报》 EI CSCD 北大核心 2014年第1期27-36,共10页; 基金国家自然科学基金(11271237,11226266) 陕西师范大学科研启动基金(999553); 文摘给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正则语言关于无穷正则运算的封闭性.同时,给出了量子Müller自动机所识别语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Büchi基本定理.; 关键词量子逻辑正交模格量子Müller自动机量子无穷正则语言单体二阶量子逻辑 Büchi定理; Keywords quantum logic orthomodular lattice quantum Müller automaton quantum infinite regular language monadic second-orderquantum logic Btichi theorem; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名量子Bchi自动机的代数及逻辑刻画被引量：1: 5; 作者韩召伟; 机构陕西师范大学数学与信息科学学院; 出处《电子学报》 EI CAS CSCD 北大核心 2013年第6期1093-1100,共8页; 基金国家自然科学基金(No.11271237) 国家自然科学基金数学天元专项基金(No.11226266) 陕西师范大学科研启动基金(No.999553); 文摘提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量子逻辑(简记为LVMSO)的概念,给出量子Bchi自动机所识别无穷语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Bchi基本定理.; 关键词量子逻辑量子Buchi自动机量子无穷正则语言代数刻画单体二阶量子逻辑 Buchi定理; Keywords quantum logic quantum Büchi automaton quantum infinite regular language algebraic characterization monadic second-order quantum logic Büchi theorem; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构] O153.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名一元子结构谓词逻辑中相似的代数语义: 6; 作者王军涛王梅折延宏; 机构西安石油大学理学院陕西科技大学电气与控制工程学院; 出处《电子学报》 EI CAS CSCD 北大核心 2023年第4期956-964,共9页; 基金国家自然科学基金(No.12001423,No.61976244,No.12171294) 陕西省自然科学基础研究计划(No.2020JQ-762,No.2021JQ-580) 陕西省教育厅自然科学研究专项计划(No.20JK0626)。; 文摘借助一元模糊谓词逻辑与S5型模糊模态逻辑的等价性,建立了一元子结构谓词逻辑中相似联结词的代数语义,引入了相似一元剩余格,并研究了其基本的代数性质.其次,研究了相似一元剩余格上的相似滤子,刻画了可表示的相似一元剩余格.最后,引入了相似一元剩余格对应的逻辑系统,证明了其完备性定理,并解决了其最小半线性扩张问题.; 关键词一元子结构谓词逻辑相似一元剩余格相似滤子完备性半线性扩张; Keywords monadic substructural predicate logic similarity monadic residuated lattice similarity filter complete-ness semilinear extension; 分类号 O155 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	Monadic分划逻辑中的Fraisse定理	田启家沈恩绍沈复兴	《北京师范大学学报（自然科学版）》 CAS CSCD	1995	0	在线阅读下载PDF 职称材料
2	模糊有穷自动机与单体二阶Lukasiewicz逻辑	李永明	《计算机学报》 EI CSCD 北大核心	2008	8	在线阅读下载PDF 职称材料
3	模糊Büchi自动机的等价刻画	韩召伟李永明	《计算机学报》 EI CSCD 北大核心	2013	1	在线阅读下载PDF 职称材料
4	量子Müller自动机与单体二阶量子逻辑	韩召伟李永明	《软件学报》 EI CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料
5	量子Bchi自动机的代数及逻辑刻画	韩召伟	《电子学报》 EI CAS CSCD 北大核心	2013	1	在线阅读下载PDF 职称材料
6	一元子结构谓词逻辑中相似的代数语义	王军涛王梅折延宏	《电子学报》 EI CAS CSCD 北大核心	2023	0	在线阅读下载PDF 职称材料