韩召伟
【姓名】 韩召伟
【职称】 讲师;
【研究领域】 计算机软件及计算机应用;物理学;计算机硬件技术;
【研究方向】 计算智能
【发表文献关键词】 格半群,格值Mealy自动机,同余关系,同态映射,极小化问题,等价关系,模糊自动机,定义,数学归纳法,代数性质,上确界,格值自动机,归纳证明,序半群,零因子,模糊语言,定理,下确界,状态集合,状态转移...
【工作单位】 陕西师范大学
【曾工作单位】 陕西师范大学;
【所在地域】 陕西西安
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/13 11 12 10 49 1731
中国期刊全文数据库    共找到12篇
[1]闫晨红;李志慧;刘璐;韩召伟;.具有少量参与者的分层量子密钥分发协议[J]软件学报.2023,(06)
[2]付雯静;韩召伟;.取值于赋值幺半群的加权下推自动机的代数性质[J]陕西师范大学学报(自然科学版).2017,(03)
[3]付雯静;韩召伟;.量化上下文无关语言的代数性质[J]计算机科学.2017,(07)
[4]韩召伟;李永明;.量子Müller自动机与单体二阶量子逻辑[J]软件学报.2014,(01)
[5]韩召伟;李永明;.模糊Büchi自动机的等价刻画[J]计算机学报.2013,(06)
[6]韩召伟;.量子Bchi自动机的代数及逻辑刻画[J]电子学报.2013,(06)
[7]韩召伟;韩召莹;.Lukasiewicz逻辑值上下文无关语言的代数刻画[J]计算机工程与应用.2011,(03)
[8]宋小震;韩召伟;李永明;.量子上下文无关文法的代数性质[J]计算机工程与应用.2011,(04)
[9]韩召伟;.量子无穷正则语言的代数性质[J]陕西师范大学学报(自然科学版).2012,(05)
[10]韩召伟;李永明;.基于量子逻辑的下推自动机与上下文无关文法[J]软件学报.2010,(09)
更多
中国博士学位论文全文数据库    共找到1篇
中国优秀硕士学位论文全文数据库    共找到1篇
[1]韩召伟.格值自动机的代数性质与极小化算法[D].陕西师范大学.2007
更多