时延Petri网模拟能力研究

Petri网是一个功能强大的建模工具,然而原型Petri网的模拟能力有限,而对原型Petri网的扩充可以提高其模拟能力。时延Petri网是一种重要的含时间因素的Petri网,已广泛应用于并发系统的建模,所以对时延Petri网的模拟能力的研究就非常必要。本文首先说明时延Petri网能够满足零检验理论,然后通过模拟随机存取机来证明时延Petri网具有与图灵机相等的模拟能力。而后用时延Petri网实现对计算机经典问题的建模。

量子Daubechies-D(4)小波变换算法及应用研究

由于量子计算相比经典计算具有突出的优越性,设计基于通用量子语言Q_language的量子Daubechies-D(4)小波变换算法对于小波变换的应用和量子算法的完善具有重要的意义。文章分析了Daubechies-D(4)小波变换过程,给出了量子Daubechies-D(4)小波变换算法的Q_language语言描述,并分析得出其时间和空间复杂度,给出了实现量子Daubechies-D(4)小波变换应用方法。

并行算法的应用与发展

并行计算是新兴的科学,其重要性与日俱增,显示了强大的生命力。在计算机领域并行处理的软件性能也在迅速提高。为了推动这一技术的应用与发展,现在流行的理论模型即并行随机存取机(PRAM)模式及应用,是这一研究领域较为新的、独立的方面。