期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
量子无穷正则语言的代数性质
被引量：
2
1
作者
韩召伟
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2012年第5期9-13,共5页
引入了量子Müller自动机和量子无穷正则语言的概念.注意到量子Müller自动机识别的量子无穷正则语言的像集总是有限的,借助语义分析方法和量子状态构造技术,研究了量子Müller自动机的代数刻画,即证明了任一量子Mülle...
引入了量子Müller自动机和量子无穷正则语言的概念.注意到量子Müller自动机识别的量子无穷正则语言的像集总是有限的,借助语义分析方法和量子状态构造技术,研究了量子Müller自动机的代数刻画,即证明了任一量子Müller自动机与具有分明初状态和状态转移函数且具有量子终状态的量子Müller自动机是相互等价的;借此给出了量子无穷正则语言的代数描述和层次刻画,即任一量子无穷语言A是可识别的当且仅当A的像集有限且A可表示为有限个特殊量子无穷正则语言的并;作为应用,证明了即使量子逻辑本身缺少分配律,量子无穷正则语言关于正则运算仍然封闭.
展开更多
关键词
量子
逻辑
量子
Müller自动机
量子无穷正则语言
在线阅读
下载PDF
职称材料
量子Müller自动机与单体二阶量子逻辑
被引量：
1
2
作者
韩召伟
李永明
《软件学报》
EI
CSCD
北大核心
2014年第1期27-36,共10页
给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量...
给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正则语言关于无穷正则运算的封闭性.同时,给出了量子Müller自动机所识别语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Büchi基本定理.
展开更多
关键词
量子
逻辑
正交模格
量子
Müller自动机
量子无穷正则语言
单体二阶
量子
逻辑
Büchi定理
在线阅读
下载PDF
职称材料
量子Bchi自动机的代数及逻辑刻画
被引量：
1
3
作者
韩召伟
《电子学报》
EI
CAS
CSCD
北大核心
2013年第6期1093-1100,共8页
提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量...
提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量子逻辑(简记为LVMSO)的概念,给出量子Bchi自动机所识别无穷语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Bchi基本定理.
展开更多
关键词
量子
逻辑
量子
Buchi自动机
量子无穷正则语言
代数刻画
单体二阶
量子
逻辑
Buchi定理
在线阅读
下载PDF
职称材料
题名
量子无穷正则语言的代数性质
被引量：
2
1
作者
韩召伟
机构
陕西师范大学数学与信息科学学院
出处
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2012年第5期9-13,共5页
基金
教育部高等学校博士学科点专项科研基金项目(200807180005)
陕西省教育厅科学研究计划项目(12JK0869)
陕西师范大学科研启动基金项目(999553)
文摘
引入了量子Müller自动机和量子无穷正则语言的概念.注意到量子Müller自动机识别的量子无穷正则语言的像集总是有限的,借助语义分析方法和量子状态构造技术,研究了量子Müller自动机的代数刻画,即证明了任一量子Müller自动机与具有分明初状态和状态转移函数且具有量子终状态的量子Müller自动机是相互等价的;借此给出了量子无穷正则语言的代数描述和层次刻画,即任一量子无穷语言A是可识别的当且仅当A的像集有限且A可表示为有限个特殊量子无穷正则语言的并;作为应用,证明了即使量子逻辑本身缺少分配律,量子无穷正则语言关于正则运算仍然封闭.
关键词
量子
逻辑
量子
Müller自动机
量子无穷正则语言
Keywords
quantum logic
quantum Müller automaton
quantum infinite regular language
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
量子Müller自动机与单体二阶量子逻辑
被引量：
1
2
作者
韩召伟
李永明
机构
陕西师范大学数学与信思科学学院
陕西师范大学计算机科学学院
出处
《软件学报》
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
职称材料
题名
量子Bchi自动机的代数及逻辑刻画
被引量：
1
3
作者
韩召伟
机构
陕西师范大学数学与信息科学学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2013年第6期1093-1100,共8页
基金
国家自然科学基金(No.11271237)
国家自然科学基金数学天元专项基金(No.11226266)
陕西师范大学科研启动基金(No.999553)
文摘
提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量子逻辑(简记为LVMSO)的概念,给出量子Bchi自动机所识别无穷语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Bchi基本定理.
关键词
量子
逻辑
量子
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
职称材料
题名
作者
出处
发文年
被引量
操作
1
量子无穷正则语言的代数性质
韩召伟
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2012
2
在线阅读
下载PDF
职称材料
2
量子Müller自动机与单体二阶量子逻辑
韩召伟
李永明
《软件学报》
EI
CSCD
北大核心
2014
1
在线阅读
下载PDF
职称材料
3
量子Bchi自动机的代数及逻辑刻画
韩召伟
《电子学报》
EI
CAS
CSCD
北大核心
2013
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
