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

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