偏序矩阵相关论文
本文介绍了一种新型时间自动机模型——有限精度时间自动机。它介于离散时间自动机和连续时间自动机之间，可以描述异步系统并进行相......
本学位论文以有限偏序范畴作为研究对象,从范畴的角度,首先考察有限偏序范畴几对重要的对偶概念,如拉回与推出,终对象与始对象,积......
