格值Mealy自动机的同余和同态 被引量：10

1

作者 韩召伟 李永明 《模糊系统与数学》 CSCD 北大核心 2007年第2期53-64,共12页

提出格值Mealy自动机的概念,从代数角度出发详细研究此类自动机的性质,同时研究此类自动机的同余和同态,揭示此类自动机的代数性质和取值格半群的紧密联系,最终研究格值Mealy自动机的极小化,给出可在有限步实现极小化的算法。

关键词 格半群 格值Mealy自动机 同余 同态 极小化

下载PDF 职称材料

基于量子逻辑的下推自动机与上下文无关文法 被引量：8

2

作者 韩召伟 李永明 《软件学报》 EI CSCD 北大核心 2010年第9期2107-2117,共11页

给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上... 给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(l-VCFG)的等价性. 展开更多

关键词 量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 量子上下文无关文法

下载PDF 职称材料

具有少量参与者的分层量子密钥分发协议 被引量：1

3

作者 闫晨红 李志慧 +1 位作者 刘璐 韩召伟 《软件学报》 EI CSCD 北大核心 2023年第6期2878-2891,共14页

分层量子密钥分发在量子通信中有重要作用,除了使用EPR与GHZ态可实现分层量子密钥分发,非对称高维多粒子纠缠也为解决分层量子密钥分发提供了一种新思路,这种方法在量子信道使用次数上比传统的使用二部链路的量子密钥分发更有效.介绍了... 分层量子密钥分发在量子通信中有重要作用,除了使用EPR与GHZ态可实现分层量子密钥分发,非对称高维多粒子纠缠也为解决分层量子密钥分发提供了一种新思路,这种方法在量子信道使用次数上比传统的使用二部链路的量子密钥分发更有效.介绍了3用户在同构意义下的5种分层密钥结构,并给出4、5用户的可分区分层密钥结构.然后对于所介绍的各类分层密钥结构,通过将上述两种方法进行对比,得到实现各类密钥结构理想化密钥率最高的方案.当量子网络用户大于3且密钥结构可分区时,证明仅使用EPR与GHZ态就可实现各层理想化密钥率是1,并以4、5用户的可分区分层密钥结构为例展开说明. 展开更多

关键词 分层量子密钥分发 非对称高维多粒子纠缠 理想化密钥率 GHZ态与EPR态

下载PDF 职称材料

中等职业学校机电一体化教学改革初探 被引量：3

4

作者 韩召伟 《科技创新导报》 2017年第10期202-202,204,共2页

中等职业学校的主要任务是培养优秀的专业人才,特别是在培养具有很强操作性和实践性能力人才方面下功夫,因而必须积极推动能够提升学生实践能力的教学模式,同时也要重视基础理论知识的教育,但当前一些中等职业学校在教学方面还存在不足... 中等职业学校的主要任务是培养优秀的专业人才,特别是在培养具有很强操作性和实践性能力人才方面下功夫,因而必须积极推动能够提升学生实践能力的教学模式,同时也要重视基础理论知识的教育,但当前一些中等职业学校在教学方面还存在不足。该文对机电一体化教学问题进行了深入的分析和研究,首先对存在的一些问题和不足进行了分析,并分析了产生的原因,最后就如何更好地在中等职业学校开展机电一体化教学,推动教学模式改革,提升教学质量,促进学生综合能力的提升提出了自己的一些看法,希望能够对促进机电一体化教学改革和创新提供参考。 展开更多

关键词 中等职业学校 机电一体化 教学改革

下载PDF 职称材料

量子无穷正则语言的代数性质 被引量：2

5

作者 韩召伟 《陕西师范大学学报（自然科学版）》 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 职称材料

取值于赋值幺半群的加权下推自动机的代数性质 被引量：1

6

作者 付雯静 韩召伟 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2017年第3期9-16,共8页

引入取值于赋值幺半群的加权下推自动机、标准型加权下推自动机的定义,证明了在双幺赋值幺半群框架下,加权下推自动机与标准型加权下推自动机相互等价,且以终态方式与以空栈方式识别语言的加权下推自动机能够识别相同的形式幂级数;在Cau... 引入取值于赋值幺半群的加权下推自动机、标准型加权下推自动机的定义,证明了在双幺赋值幺半群框架下,加权下推自动机与标准型加权下推自动机相互等价,且以终态方式与以空栈方式识别语言的加权下推自动机能够识别相同的形式幂级数;在Cauchy双幺赋值幺半群上,加权上下文无关语言对于和、连接、正克林闭包运算封闭。结果表明加权下推自动机的诸多性质并不依赖于赋值幺半群的分配律和结合律。 展开更多

关键词 赋值幺半群 双幺赋值幺半群 加权下推自动机 加权上下文无关语言

下载PDF 职称材料

量化上下文无关语言的代数性质 被引量：1

7

作者 付雯静 韩召伟 《计算机科学》 CSCD 北大核心 2017年第7期57-60,88,共5页

通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语言与量化上下文无关文法生成的语言相同。

关键词 双幺赋值幺半群 量化下推自动机 量化上下文无关文法 量化上下文无关语言

下载PDF 职称材料

量子Bchi自动机的代数及逻辑刻画 被引量：1

8

作者 韩召伟 《电子学报》 EI CAS CSCD 北大核心 2013年第6期1093-1100,共8页

提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量... 提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量子逻辑(简记为LVMSO)的概念,给出量子Bchi自动机所识别无穷语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Bchi基本定理. 展开更多

关键词 量子逻辑 量子Buchi自动机 量子无穷正则语言 代数刻画 单体二阶量子逻辑 Buchi定理

下载PDF 职称材料

量子上下文无关文法的代数性质 被引量：1

9

作者 宋小震 韩召伟 李永明 《计算机工程与应用》 CSCD 北大核心 2011年第4期42-46,71,共6页

提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算... 提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。 展开更多

关键词 量子逻辑 正交模格 量子上下文无关文法 量子上下文无关语言

下载PDF 职称材料

Lukasiewicz逻辑值上下文无关语言的代数刻画 被引量：1

10

作者 韩召伟 韩召莹 《计算机工程与应用》 CSCD 北大核心 2011年第3期47-50,119,共5页

提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l... 提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l-VPDA间的相互等价性;并证明任意以空栈方式接受模糊语言的l-VPDA与状态转移除一步转移为模糊的以外,其余都是经典函数的l-VPDA是相互等价的;详细研究了l-值模糊上下文无关语言的代数和层次刻画,以及对于正则运算的封闭性。 展开更多

关键词 Lukasiewicz逻辑 l值下推自动机 l值模糊上下文无关语言 代数刻画

下载PDF 职称材料

基于量子逻辑的下推自动机的代数刻画 被引量：1

11

作者 韩召伟 李永明 《计算机工程与科学》 CSCD 2008年第11期72-74,共3页

首先,本文提出量子下推自动机(简记为L-VPDA)的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性;其次... 首先,本文提出量子下推自动机(简记为L-VPDA)的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性;其次详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。 展开更多

关键词 量子逻辑 正交模格 量子下推自动机 量子上下文无关语言 代数刻画

下载PDF 职称材料

模糊Büchi自动机的等价刻画 被引量：1

12

作者 韩召伟 李永明 《计算机学报》 EI CSCD 北大核心 2013年第6期1235-1245,共11页

模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊... 模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊Büchi自动机与具有分明初始状态和状态转移函数且具有模糊终状态的模糊Büchi自动机是等价的,藉此研究了模糊ω-正则语言的代数刻画和层次刻画,讨论了模糊ω-正则语言关于正则运算的封闭性;其次引入单体二阶Lukasiewicz逻辑的概念,给出模糊Büchi自动机识别语言的等价逻辑刻画;最后通过引入ω-星自由和ω-非周期模糊ω-语言,利用'层次化'处理技巧得到了多值逻辑意义下的分类定理,对模糊ω-正则语言给出了一种分类方法. 展开更多

关键词 模糊逻辑 模糊Büchi自动机 模糊ω-正则语言 单体二阶Lukasiewicz逻辑 刻画

下载PDF 职称材料

量子Müller自动机与单体二阶量子逻辑 被引量：1

13

作者 韩召伟 李永明 《软件学报》 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 职称材料

一体化教学在中职机械基础课程中的应用

14

作者 韩召伟 《环球市场信息导报》 2018年第9期145-145,共1页

在现今的中职机械基础课程教学的过程中,由于教师采用传统的教学方法,只重视理论知识的传授,忽略了实践教学的重要性,从而导致学生的学习兴趣不高涨,动手能力不强等问题。中职机械基础课程中理论基础教学和实践教学是相辅相成的,因此在... 在现今的中职机械基础课程教学的过程中,由于教师采用传统的教学方法,只重视理论知识的传授,忽略了实践教学的重要性,从而导致学生的学习兴趣不高涨,动手能力不强等问题。中职机械基础课程中理论基础教学和实践教学是相辅相成的,因此在中职机械基础课程的教学过程中要将理论和实践结合到一起,采用一体化教学,切实提高中职机械基础课程的教学水平。文章对教学一体化的优势进行了分析,并对一体化教学如何让在中职机械基础课程中应用进行了相关阐述。 展开更多

关键词 机械基础课程 一体化教学 中职 应用 基础课程教学 实践教学 教学方法 学习兴趣

原文传递

机械制造自动化技术特点与发展趋势

15

作者 韩召伟 《环球市场信息导报》 2017年第1期114-114,共1页

机械制造行业是我国工业体系当中至关重要的方面，不仅对我国经济发展具有重要的支撑作用，而且也是提升我国国际竞争力的重要行业，要想使机械制造行业在“中国制造2025”战略下取得新的发展，必须高度重视自动化技术的发展。本文对机... 机械制造行业是我国工业体系当中至关重要的方面，不仅对我国经济发展具有重要的支撑作用，而且也是提升我国国际竞争力的重要行业，要想使机械制造行业在“中国制造2025”战略下取得新的发展，必须高度重视自动化技术的发展。本文对机械制造自动化技术的特点以及发展趋势进行了分析和研究，首先对其特点进行了梳理，在此基础上分析了其发展趋势，希望能够对我国机械制造行业更好的应用、改革、创新、推动自动化化技术的发展具有重要的参考价值。 展开更多

关键词 机械制造行业 自动化技术 发展趋势 国际竞争力 工业体系 支撑作用 经济发展 中国制造

原文传递

计算机技术在数控系统中的应用

16

作者 韩召伟 《电子技术与软件工程》 2018年第7期151-151,共1页

随着计算机技术研究的不断深入,以及在社会各领域的广泛应用,计算机已经成为人们日常工作、生活和学习中的重要组成部分。在机械加工、制造领域,计算机技术的应用解决了传统机械加工中存在的诸多问题,提高了生产效率,实现了企业核心竞... 随着计算机技术研究的不断深入,以及在社会各领域的广泛应用,计算机已经成为人们日常工作、生活和学习中的重要组成部分。在机械加工、制造领域,计算机技术的应用解决了传统机械加工中存在的诸多问题,提高了生产效率,实现了企业核心竞争力的提高。本文以计算机在数控系统中的应用为研究内容,从多个角度分析计算机辅助数控机床的优势,从而更加深刻的认识计算技术与传统行业融合所带来的巨大变革。 展开更多

关键词 计算机技术 数控系统 应用

下载PDF 职称材料