布尔网络动力学的线性表示

审查了一种新的矩阵乘积，称为矩阵的半张量积。 使用它，提出了一种逻辑矩阵表达式，其中逻辑变量表示为向量，逻辑函数表示为多重线性映射。 在这种框架下，布尔网络方程被转换为等效的代数形式，成为常规的离散时间线性系统。 分析线性系统的转移矩阵，得出公式以显示：a）不动点的数量； b）不同长度的循环数； c）过渡期，所有点进入吸引子集合； d）每个吸引子的盆。 开发了相应的算法并将其用于一些示例。