58、肌动蛋白网络上布尔函数的发现

肌动蛋白网络上布尔函数的发现

1. 布尔函数表达式

在研究中给出了几个布尔函数表达式：
- (e2: f2(x0, \ldots, x5) = x0 \cdot x1 \cdot x2 \cdot x3 + x0 \cdot x1 \cdot x3 \cdot x4 \cdot x5 + x0 \cdot x1 \cdot x2 \cdot x3 \cdot x4 + x0 \cdot x2 \cdot x3 \cdot x4 \cdot x5 + x0 \cdot x1 \cdot x2 \cdot x3 \cdot x4 + x1 \cdot x2 \cdot x3 \cdot x4 \cdot x5 + x0 \cdot x1 \cdot x2 \cdot x3 \cdot x4 \cdot x5 + x0 \cdot x1 \cdot x2 \cdot x3 \cdot x4 \cdot x5)
- (e3: f3(x0, \ldots, x5))、(e4: f4(x0, \ldots, x5))、(e5: f5(x0, \ldots, x5))的表达式与(e2)相同。

2. 基于电压的门模型

2.1 模型假设

• 肌动蛋白丝中的每个单体有11个负的多余电荷。
• 肌动蛋白丝的双螺旋结构导致电荷分布不均匀，存在电荷密度高低不同的区域。
• 存在一个明确的距离，即Bjerrum长度(\lambda_B)，超过这个距离，热涨落比溶液中电荷之间的静电吸引或排斥更强。(\lambda_B)与温度成反比，与离子价态(z)成正比，其计算公式为：
  (\lambda_B = \fr