搜索筛选:
搜索耗时0.7983秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：雷红轩,,
来源： 年份：2013
量子计算研究主要有物理学家和计算机科学家两支力量,前者关注的是量子计算的物理实现,后者关注的是量子程序设计语言的理论和实现.而程序验证是保证程序正确性的关键技术.如...
[学位论文] 作者：雷红轩,
来源：陕西师范大学 年份：2005
自动机理论是算法描述和分析,计算复杂性理论,可计算性等研究的基础,它为计算理论提供了可靠的数学模型。同样,模糊自动机提供了一种研究和处理包含模糊性的自然语言的有力工...
相关搜索：
