搜索筛选:
搜索耗时2.5486秒,为你在为你在102,285,761篇论文里面共找到 37 篇相符的论文内容
发布年度:
[学位论文] 作者：雷红轩,,
来源： 年份：2013
量子计算研究主要有物理学家和计算机科学家两支力量,前者关注的是量子计算的物理实现,后者关注的是量子程序设计语言的理论和实现.而程序验证是保证程序正确性的关键技术.如...
[期刊论文] 作者：雷红轩,,
来源：计算机工程与应用 年份：2010
提出了格值有限状态自动机（LFsA）的同态、强同态的概念，研究了LFSAS同态、强同态的若干性质。在LFSAS强同态的基础上，得到了LFSA的商自动机及其最小化自动机，刻画了商自动机的性质......
[期刊论文] 作者：雷红轩,
来源：重庆文理学院学报：自然科学版 年份：2010
提出了格值有限状态机（简记为LFSM）状态后继、子机和子系统的概念，通过LFSM状态集的4种格值子集刻画了LFSM子系统的一系列性质和构成子系统的充分必要条件．最后，通过LFSMs同态的概......
[期刊论文] 作者：雷红轩,
来源：汉中师范学院学报(自然科学) 年份：2004
提出了具有输出字符功能的格值自动机的概念,详细地研究了它的性质和它的同态性,揭示了此类自动机和取格半群的代数性质的紧密联系,得到了许多重要结果....
[期刊论文] 作者：雷红轩,
来源：产业与科技论坛 年份：2020
D-S理论在处理不确定信息决策时有较强的优势,本文在运筹学教学中引入D-S理论,和运筹学中直接估计法决策做对比,得到了诸多有价值的结论。特别在讨论有无权重的信息融合时,发...
[期刊论文] 作者：雷红轩,,
来源：计算机科学 年份：2015
首先给出了C3和C4空间中由量子游走组成的非确定型量子程序的概念,其次讨论了它们从初态运行时在不同的测量算子下的可达集合、终止集合和发散集合。研究表明:非确定型量子程序的终止、发散和可达集合、发散集合与选取的测量算子有密切的关系。程序在不同测量算......
[期刊论文] 作者：雷红轩,
来源：计算机工程与应用 年份：2010
提出了格值有限状态自动机的定义，给出了格值有限状态自动机的两种同余关系，研究了格值有限状态自动机的半群的若干性质，最后给出了两种有限半群E（A）和E（A）的关系。...
[期刊论文] 作者：雷红轩,
来源：内江师范学院学报 年份：2004
在格值有限状态自动机(简称为LFSA)理论的基础上,给出了LFSA状态后继、LFSA子机、子系统和强子系统的概念,通过后继、可分离性等概念刻画了子机、子系统和强子系统的性质,讨...
[学位论文] 作者：雷红轩,
来源：陕西师范大学 年份：2005
自动机理论是算法描述和分析,计算复杂性理论,可计算性等研究的基础,它为计算理论提供了可靠的数学模型。同样,模糊自动机提供了一种研究和处理包含模糊性的自然语言的有力工...
[期刊论文] 作者：雷红轩, 盛莉,,
来源：计算机工程与应用 年份：2006
引入了完备L-Fuzzy矩阵的概念，给出了基于格半群的模糊有限自动机的形式化定义，即完备格值有限自动机，研究了它的主要性质；给出了完备格值有限自动机的行为矩阵，从行为矩阵出发，给......
[期刊论文] 作者：雷红轩,傅丽,
来源：2015全国理论计算机科学学术年会 年份：2015
讨论了单量子比特空间中,比特翻转、相位翻转、去极化、幅值阻尼和相位阻尼等量子信道作为特殊的非确定型量子程序确定型量子程序,从计算基态运行时程序的可达集合及它们终止...
[期刊论文] 作者：雷红轩,郦丽,
来源：产业与科技论坛 年份：2020
"新工科"对地方本科院校工科专业的建设、培养模式尤其是实践教学改革创新都提出了新的需求。针对目前运筹学实践教学的不足,提出了充分重视实践教学、丰富实践教学内容、改...
[期刊论文] 作者：盛莉, 雷红轩,
来源：汉中师范学院学报 年份：2004
给出了格值文法的定义与分类,对格值正则文法与自动机的关系作了详细讨论,得出了两个重要的结论,即:由给定的格值正则文法可以构造一个格值自动机使二者接受的语言集相同;反...
[期刊论文] 作者：雷红轩,俸卫,
来源：数学杂志 年份：2011
本文研究了格值有限状态自动机（LFSA）的同态和强同态及其性质．利用强同态概念，在格值有限状态自动机的状态集上建立了一种等价关系，得到了格值有限状态自动机的商自动机，证明了商自......
[期刊论文] 作者：雷红轩,钟纯真,
来源：内江师范学院学报 年份：2008
提出了取值于非负实数集R^＋的广义模糊自动机的概念，研究了它的一些简单性质，并将此类自动机运用到网络模型的求解最小树问题中，得到了一个求最小树的算法．最后通过一个实例验证了......
[期刊论文] 作者：傅丽, 雷红轩,
来源：云南师范大学学报：自然科学版 年份：2005
首先在Hilbert代数上定义了二元序关系和一元运算*,讨论了相关的性质,研究了它与Wajsberg代数及弱R0代数之间的关系,由此引入弱Hilbert代数;其次,在弱Hilbert代数上定义了(&#...
[期刊论文] 作者：雷红轩,潘超,
来源：内江师范学院学报 年份：2006
提出了格值有限自动的概念，详细地研究了它的性质和它的同态性，揭示了此类自动机和取值格为格半群的代数性质的紧密联系，得到了许多重要结果．...
[期刊论文] 作者：雷红轩,黄建科,
来源：计算机工程与应用 年份：2010
给出了格值有限状态机（简记为LFSM）状态后继的概念，研究了它的性质，并提出了格值子机、格值真子机和基于格值子机的可分离性的概念，讨论了格值子机的若干性质。最后，给出了两个构造......
[期刊论文] 作者：雷红轩,吕晓亚,
来源：内江师范学院学报 年份：2010
在格值有限状态自动机（简称为LFSA）理论的基础上，给出了LFSA状态后继、LFSA子机、子系统和强子系统的概念，通过后继、可分离性等概念刻画了子机、子系统和强子系统的性质，讨论了构......
[期刊论文] 作者：雷红轩,李永明,
来源：计算机工程与应用 年份：2006
引入了完备L-Fuzzy矩阵的概念，提出了取值于格半群上的输入字符和输出字符长度相同的模糊自动机的概念．即完备的同步格值自动机的概念，研究了它的主要性质；从行为矩阵出发，给出了......
相关搜索：
