唯一可达向量网系统的性质及其在信息安全技术上的应用研究

唯一可达向量网系统是每个可达标识只有一个可达向量的一类Petri网。这类Petri网有许多独特的性质，如关联矩阵行满秩，不存在广义T不变量等。这些性质使得这类Petri网的状态方程求解和可达性判定的工作大大简化。在应用上，若把Petri网这种计算模型看作语言产生器，那么唯一可达向量网系统可以用作伪随机序列发生器，也可以用来设计置换，而伪随机序列发生器和置换在信息安全技术中有着广泛的应用。.本项目在系统地分析唯一可达向量网系统性质的基础上，着重研究怎样用唯一可达向量无界网系统构建伪随机数序列发生器和设计置换。工作的基本依据是这类网系统中标识向量同可达向量之间的一一对应关系，关键工作之一是根据不同的背景和作用，为这两种向量建立起同维数向量之间的全序关系。.唯一可达向量无界网系统所产生的伪随机序列是一种无周期序列，具有很好的随机性能；而且对任意正整数k，都可以根据需要构建出k阶置换。