搜索筛选:
搜索耗时0.0790秒,为你在为你在102,285,761篇论文里面共找到 23 篇相符的论文内容
发布年度:
[期刊论文] 作者：韩召伟,,
来源：电子学报 年份：2013
提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻...
[学位论文] 作者：韩召伟,,
来源：陕西师范大学 年份：2011
量子计算的思想源于物理与计算之间的联系.由于可逆性是量子物理的一个重要特征,所以该问题可追溯到Bennett于1973年证明了任意的Turing机都能被可逆的Turing机有效地模拟Ben...
[期刊论文] 作者：韩召伟,,
来源：电子技术与软件工程 年份：2018
随着计算机技术研究的不断深入,以及在社会各领域的广泛应用,计算机已经成为人们日常工作、生活和学习中的重要组成部分。在机械加工、制造领域,计算机技术的应用解决了传统机械加工中存在的诸多问题,提高了生产效率,实现了企业核心竞争力的提高。本文以计算机......
[期刊论文] 作者：韩召伟,
来源：陕西师范大学学报：自然科学版 年份：2012
引入了量子Müller自动机和量子无穷正则语言的概念.注意到量子Müller自动机识别的量子无穷正则语言的像集总是有限的,借助语义分析方法和量子状态构造技术,研究了...
[期刊论文] 作者：韩召伟,
来源：科技创新导报 年份：2017
摘 要：中等职业学校的主要任务是培养优秀的专业人才，特别是在培养具有很强操作性和实践性能力人才方面下功夫，因而必须积极推动能够提升学生实践能力的教学模式，同时也要重视基础理论知识的教育，但当前一些中等职业学校在教学方面还存在不足。该文对机电一体化教学......
[期刊论文] 作者：韩召伟,
来源：电子学报 年份：2013
提出量子Bchi自动机（简记为LVBA）的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画...
[期刊论文] 作者：韩召伟,,
来源：中国科技纵横 年份：2017
本文对Schemebuilder进行了简要分析,研究了运用面向对象法建模的软件Dymoda和用键合图法建模的仿真软件20-sim.最后对机电一体化建模技术和仿真软件的发展前景进行了系列总...
[期刊论文] 作者：韩召伟,,
来源：环球市场信息导报 年份：2017
机械制造行业是我国工业体系当中至关重要的方面,不仅对我国经济发展具有重要的支撑作用,而且也是提升我国国际竞争力的重要行业,要想使机械制造行业在“中国制造2025”战略...
[期刊论文] 作者：韩召伟,,
来源：环球市场信息导报 年份：2018
中职机械专业具有较强的实践性,在进行基础课程教学的过程中应清楚的认识到这一点,因此,这就要求教师将机械专业的理论知识与实践内容相结合在一起,注重培养学生的实践技能,...
[学位论文] 作者：韩召伟,
来源：陕西师范大学 年份：2007
取值于格半群的自动机比其它形式的模糊自动机能接受更为广泛的形式语言与模糊语言，将基于词的计算模型建立在更广泛的理论之上．因此，对取值于格半群的自动机代数性质的研究和极......
[期刊论文] 作者：韩召伟,
来源：教育学 年份：2014
摘要：高等数学是近代数学的基础，是现代科学技术中应用最广泛的一门学科.在高等数学教学中， 恰当地开发和有效地利用多媒体技术，能起到事半功倍的效果.本文主要探讨多媒体教学在高等数学中应用优势，并给出高等数学中采用多媒体的教学建议. 关键字：高等数学；多媒体；教......
[期刊论文] 作者：韩召伟, 李永明,,
来源：软件学报 年份：2014
给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了...
[期刊论文] 作者：韩召伟, 李永明,,
来源：软件学报 年份：2010
给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量...
[期刊论文] 作者：韩召伟,李永明,
来源：模糊系统与数学 年份：2007
提出格值Mealy自动机的概念，从代数角度出发详细研究此类自动机的性质，同时研究此类自动机的同余和同态，揭示此类自动机的代数性质和取值格半群的紧密联系，最终研究格值Mealy自动......
[期刊论文] 作者：韩召伟,李永明,
来源：计算机工程与科学 年份：2008
首先，本文提出量子下推自动机（简记为L-VPDA）的概念，从代数角度出发详细研究了此类自动机的性质，同时建立此类自动机的代数刻画，即利用量子状态构造证明了任意L-VPDA与状态转移为经......
[期刊论文] 作者：韩召伟,韩召莹,
来源：计算机工程与应用 年份：2011
提出了基于Lukasiewicz逻辑的下推自动机（l-VPDA）的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模...
[期刊论文] 作者：韩召伟,李永明,
来源：软件学报 年份：2014
给出量子Müller自动机（简称LVMA）的概念，通过引入量子有限步可识别语言和量子状态构造方法，证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价，利用该等价性，建立......
[期刊论文] 作者：付雯静,韩召伟,
来源：计算机科学 年份：2017
通过引入量化下推自动机与量化上下文无关文法的定义,研究了以两种不同方式接受语言的量化下推自动机等价性问题,证明了在可交换的双幺赋值幺半群上,量化下推自动机接受的语...
[期刊论文] 作者：韩召伟,李永明,
来源：计算机学报 年份：2013
模糊语言的研究是形式语言研究的焦点之一，然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向．文章在模糊ω-语言的研究基础上，从模糊逻辑角度研究了模糊ω-正则......
[期刊论文] 作者：韩召伟,李永明,
来源：计算机学报 年份：2004
模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-...
相关搜索：
