搜索筛选:
搜索耗时0.7851秒,为你在为你在102,285,761篇论文里面共找到 37 篇相符的论文内容
发布年度:
[期刊论文] 作者：雷红轩,李永明,
来源：计算机工程与应用 年份：2004
在文中，对文献【8】中介绍的具有输出字符功能的模糊自动机和模糊有限状态自动机的定义作了修改，并对它们进行了系统的研究，揭示了此两类自动机和取分配格的代数性质的紧密联系；......
[期刊论文] 作者：陈超,宣士斌,雷红轩,,
来源：计算机工程 年份：2018
为快速准确地分割出图像中的感兴趣目标,提出改进的狼群算法并结合二维最大熵实现图像目标分割。在狼群算法的游走环节利用混沌系统动态调整惯性权重,在攻击环节对整个解空间进行混沌全局搜索,并将改进狼群算法与二维最大熵相结合优化准则函数。实验结果表明,该......
[期刊论文] 作者：薛艳,雷红轩,李永明,
来源：计算机工程与科学 年份：2011
首先，提出了可能的Kripke结构的定义，建立了可能的Kripke结构的可能性测度空间，并分析了可能的Kripke结构的一系列性质，即任一路径转移的可能性可由其初始状态的可能性分布与各转......
[期刊论文] 作者：吴立宝, 雷红轩, 吴丹,,
来源：内江科技 年份：2006
新时期教师应树立科学的人才观，才能适应时代的要求。文章对新世纪教师应树立科学的人才观进行论述。...
[期刊论文] 作者：王拥兵,张丽霞,雷红轩,
来源：计算机工程与科学 年份：2013
摘要：基于量子逻辑的文法理论是量子计算模型的一个重要研究方向。给出了基于量子逻辑的确定型正则文法的概念，证明了基于量子逻辑的确定型aY-．~4文法与基于量子逻辑的确定型自......
[期刊论文] 作者：雷红轩,彭家寅,牟廉明,
来源：内江师范学院学报 年份：2007
提出了取值于非负实数R^＋的模糊自动机的概念，研究了它的一些简单性质，并将此类自动机应用到动态规划的求解最短路线问题中，得到了一个求最短路线的算法．最后通过一个例子验证了给......
[期刊论文] 作者：雷红轩,彭家寅,刘熠,
来源：电子学报 年份：2016
程序验证是保证程序正确性的关键技术.由于经典世界和量子世界的本质不同,经典程序验证的技术和工具不能直接应用到量子系统.而量子程序设计语言是描述量子系统的一种新的形...
[期刊论文] 作者：盛莉, 雷红轩, 李永明,
来源：纯粹数学与应用数学 年份：2005
给出了格值正则文法与格值正则语言的定义.从文法的角度来研究语言的性质,讨论了格植正则语言关于正则运算的封闭性及其条件....
[期刊论文] 作者：邹蓥,雷红轩,罗兰,陈华英,
来源：内江师范学院学报 年份：2009
探讨了基于格半群上的矩阵的逆和广义逆等问题，给出了格值矩阵的逆、{1}-广义逆和M—P广义逆的概念和它们存在的条件，以及格值矩阵A的任意一个{1}-广义逆的具体形式、M—P广义...
[会议论文] 作者：薛艳,李永明,雷红轩,
来源：2011年全国理论计算机科学学术年会 年份：2004
首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与...
[期刊论文] 作者：雷红轩,席政军,李永明,
来源：软件学报 年份：2013
首先给出了量子最弱自由前置条件（weakest liberal precondition,简称wlp）wlp （A,B,C）-可交换的定义,研究了wlp （A,B,C）-可交换的充分必要条件;其次,得到了wlp 不是良好的谓词转换,...
[期刊论文] 作者：林运国,雷红轩,李永明,
来源：电子学报 年份：2014
本文定义了量子线性时间属性,包括量子安全性,量子不变性,讨论了它们的关系和性质.结合测量一次、测量多次的单向量子有穷自动机,构建了两类乘积量子马尔可夫链,提出了基于自...
[期刊论文] 作者：雷红轩,席政军,李永明,
来源：电子学报 年份：2013
本文首先就广义量子loop程序（简记为GQLoop）的主体由比特翻转、去极化、幅值阻尼、相位阻尼等信道描述时，对它的终止（几乎终止）问题进行了研究．其次，讨论了两类GQkoop程序相互嵌套时......
[期刊论文] 作者：雷红轩,席政军,李永明,
来源：计算机科学 年份：2012
基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,通过选取不同的可观测算子对程序终止的情况...
[期刊论文] 作者：席政军,雷红轩,李永明,,
来源：中国科学:物理学 力学 天文学 年份：2012
通过讨论量子失协的上界,给出可达熵量子关联态的一个必要条件.对于双量子比特系统,利用可获得经典关联的最佳测量定义了关联方向上最小的量子失协,分析得到该度量是量子失协很好的逼近结果.最后,讨论量子关联的动力学过程,发现量子关联在衰减的过程中出现了突......
[会议论文] 作者：李丽君,雷红轩,李永明,
来源：2011年全国理论计算机科学学术年会 年份：2011
首先,提出了基于可能性测度的可能的Kripke 结构的概念,建立了以可能的Kripke 结构为模型的模型检测系统.其次,讨论了可能的Kripke 结构的可能性测度理论,给出了可能的Kripke 结构满足不同的线性时序逻辑(LTL)公式的可能性测度表示.......
[期刊论文] 作者：朱文倩,贺巧,昌春艳,雷红轩,
来源：内江师范学院学报 年份：2009
提出了一种基于整数加群的模糊自动机的数学模型，研究了它的一些基本性质，并将对策论中多人博弈模型转化为模糊自动机模型，给出了一种求最优解的算法，最后用田忌和齐王赛马的例子......
相关搜索：
