雷红轩
- 作品数：37 被引量：85H指数：7
- 供职机构：内江师范学院数学与信息科学学院更多>>
- 发文基金：四川省教育厅科学研究项目国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学文化科学更多>>
- 格值正则语言的性质被引量：1
- 2005年
- 给出了格值正则文法与格值正则语言的定义.从文法的角度来研究语言的性质,讨论了格植正则语言关于正则运算的封闭性及其条件.
- 盛莉雷红轩李永明
- 关键词：格半群
- 新世纪教师应树立的人才观
- 2006年
- 新时期教师应树立科学的人才观,才能适应时代的要求。文章对新世纪教师应树立科学的人才观进行论述．
- 吴立宝雷红轩吴丹
- 关键词：教师人才观
- 两类量子游走组成的非确定型量子程序的终止验证
- ，量子算法仍然处在很低水平的量子线路阶段。本文首先给出了(f)3和(f)4空间中由量子游走组成的非确定型量子程序的概念,其次讨论了它们从初态运行时在不同的测量算子下的可达集合终止集合和发散集合.研究表明:非确定型量子程序...
- 雷红轩
- 关键词：计算机算法
- 两类具有输出字符功能的模糊自动机的关系被引量：9
- 2004年
- 在文中,对文献8中介绍的具有输出字符功能的模糊自动机和模糊有限状态自动机的定义作了修改,并对它们进行了系统的研究,揭示了此两类自动机和取分配格的代数性质的紧密联系;得到了此两类自动机在:(1)强等价;(2)等价;(3)弱等价条件下的许多重要结论。
- 雷红轩李永明
- 关键词：模糊自动机等价
- 量子程序验证中若干问题研究
- 量子计算研究主要有物理学家和计算机科学家两支力量,前者关注的是量子计算的物理实现,后者关注的是量子程序设计语言的理论和实现.而程序验证是保证程序正确性的关键技术.如基于逻辑推理的验证,最著名的就是霍尔(Hoare)逻辑;...
- 雷红轩
- 文献传递
- 格值自动机与格值正则文法
- 2004年
- 给出了格值文法的定义与分类,对格值正则文法与自动机的关系作了详细讨论,得出了两个重要的结论,即:由给定的格值正则文法可以构造一个格值自动机使二者接受的语言集相同;反之亦然.
- 盛莉雷红轩
- 关键词：格半群格值自动机
- 几类非确定型量子程序的终止验证被引量：1
- 2016年
- 程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量子程序设计语言是描述量子系统的一种新的形式化模型,量子程序的验证问题就显得更为迫切和必要.本文首先讨论了量子通讯中常用的比特翻转、相位翻转、去极化、幅值阻尼、相位阻尼等信道作为特殊的非确定型量子程序从计算基态开始运行时的可达集合和终止集合等程序验证问题.其次,把上述五种量子程序两两组合组成非确定型量子程序,根据这五种量子程序的可达集合之相似点,最终合并成三种非确定型量子程序,重点讨论了这三种非确定型量子程序从计算基态开始运行时的终止和发散等程序验证问题.研究表明:这三种非确定型量子程序从计算基态0开始运行时都是终止的;而从计算基态1开始运行时:比特翻转信道和去极化信道组成的非确定型量子程序的终止和发散与分别刻画它们的两个参数有关;比特翻转信道和相位翻转信道组成的非确定型量子程序的终止和发散只与刻画比特翻转信道的参数有关;幅值阻尼信道和相位阻尼信道组成的非确定型量子程序是发散的,其发散条件与刻画量子信道的两个参数都没有关系.本文的结果可以为量子信息安全中量子通讯协议的验证提供理论和技术支持.
- 雷红轩彭家寅刘熠
- 关键词：量子通讯信息安全
- 两类量子游走组成的非确定型量子程序的终止验证被引量：1
- 2015年
- 首先给出了C3和C4空间中由量子游走组成的非确定型量子程序的概念,其次讨论了它们从初态运行时在不同的测量算子下的可达集合、终止集合和发散集合。研究表明:非确定型量子程序的终止、发散和可达集合、发散集合与选取的测量算子有密切的关系。程序在不同测量算子作用下从同一个初态运行时可能终止,也可能发散;并且,同一个初态的可达集合中终态和发散态共存。
- 雷红轩
- 基于狼群算法与二维最大熵的图像分割被引量：21
- 2018年
- 为快速准确地分割出图像中的感兴趣目标,提出改进的狼群算法并结合二维最大熵实现图像目标分割。在狼群算法的游走环节利用混沌系统动态调整惯性权重,在攻击环节对整个解空间进行混沌全局搜索,并将改进狼群算法与二维最大熵相结合优化准则函数。实验结果表明,该算法能够实现对目标图像的精确分割,与基本狼群算法结合二维最大熵分割相比速度更快,准确度更高。
- 陈超宣士斌雷红轩
- 关键词：图像分割二维最大熵混沌系统
- 格值有限状态机子机的构造算法
- 2010年
- 给出了格值有限状态机(简记为LFSM)状态后继的概念,研究了它的性质,并提出了格值子机、格值真子机和基于格值子机的可分离性的概念,讨论了格值子机的若干性质。最后,给出了两个构造格值子机的算法,并通过实例验证了此算法。
- 雷红轩黄建科
- 关键词：可分离性子机
