排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
2.
本文给出了一种新的随机计算的机器模型:概率无限寄存器机器PURM,它比概率Turing机(PTM)更为简单。我们证明了PURM程序与可计算的PTM之间的等价性。基于对PURM程序的构造,我们给出了随机函数可被PURM程序或可计算的PTM模拟的充分条件。最后,讨论了PTM和PURM的一些简单性质。 相似文献
3.
4.
5.
党哲 《河北工业大学学报》1991,(4)
本文首先介绍了结构逻辑(SL)以及其对几种并行模型的描述,然后讨论了并行程序的自动综合和正确性证明。最后用结构逻辑刻划了扩展Petri-网中计算模型并发性。 相似文献
6.
综述了不同热喷涂技术的原理和特点,包括大气等离子喷涂、超音速等离子喷涂、超音速空气燃料喷涂、爆炸喷涂、超低压等离子喷涂、悬浮液等离子喷涂、高速电弧喷涂等.分析了不同热喷涂技术制备的耐磨涂层的国内外研究现状,以及不同材料体系的减摩耐磨涂层的特点及其所适应的最佳热喷涂技术.对未来热喷涂技术制备耐磨涂层的研究方向提出展望. 相似文献
1