[论文解读] Slime mould logical gates: exploring ballistic approach

Andrew Adamatzky|arXiv (Cornell University)|May 13, 2010

Slime Mold and Myxomycetes Research参考文献 17被引用 64

一句话总结

本论文提出了一种新颖方法，通过利用黏菌 *Physarum polycephalum* 的‘弹道’传播特性（即在非营养基质上依靠自身动量沿直线移动），实现布尔逻辑门。作者设计了两输入、两输出的逻辑门，通过波片段碰撞计算与非门（AND）和异或门（XOR）等逻辑运算，成功利用改进的Oregonator模型模拟了一位半加法器，展示了非传统生物计算的可行性。

ABSTRACT

Plasmodium of \emph{Physarum polycephalum} is a single cell visible by unaided eye. On a non-nutrient substrate the plasmodium propagates as a traveling localization, as a compact wave-fragment of protoplasm. The plasmodium-localization travels in its originally predetermined direction for a substantial period of time even when no gradient of chemo-attractants is present. We utilize this property of \emph{Physarum} localizations to design a two-input two-output Boolean logic gates $ o $ and $ o $. We verify the designs in laboratory experiments and computer simulations. We cascade the logical gates into one-bit half-adder and simulate its functionality.

研究动机与目标

• 开发一种利用 *Physarum polycephalum* 黏菌自然行为实现布尔逻辑门的方法。
• 探索黏菌在非营养琼脂基质上的定位弹道传播特性，作为可靠信号传输的基础。
• 设计并验证能够计算 AND 和 XOR 等函数的两输入、两输出逻辑门。
• 通过实验与数值模拟，将这些门级联为功能性的 1 位半加法器电路。
• 展示黏菌作为非传统生物计算基质的潜力。

提出的方法

• 在非营养 2% 琼脂板上培养黏菌，并通过切割通道形成逻辑门的几何结构。
• 在黑暗、室温条件下进行实验，将黏菌接种于输入通道，通过扫描观察其传播行为。
• 采用双变量 Oregonator 模型模拟亚激发介质中类似黏菌的波片段行为，调整参数以复现弹道运动特性。
• 该模型采用改进的 Oregonator 方程形式，引入对光敏感的抑制项 ($\phi$)，以模拟化学与光吸引物的作用。
• 在输入通道处激发波片段，分析其传播、碰撞与合并行为，以确定逻辑输出。
• 将逻辑门级联为 1 位半加法器电路，并通过波动力学的延时模拟验证输出结果。

实验结果

研究问题

• RQ1 *Physarum polycephalum* 的黏菌是否能在无化学吸引物梯度的非营养基质上以直线、惯性驱动的方式传播？
• RQ2 黏菌定位的运动相互作用是否可用于实现 AND 和 XOR 等布尔逻辑运算？
• RQ3 能否使用改进的激发介质 Oregonator 模型准确模拟基于黏菌的逻辑门行为？
• RQ4 能否将这些逻辑门级联为功能性的 1 位半加法器电路？
• RQ5 影响实验性黏菌基逻辑门可靠性的因素有哪些？如何改进？

主要发现

• 黏菌表现出弹道传播特性——在无化学吸引物梯度条件下沿直线通过分叉点，控制实验中直线通过的成功率达到 100%。
• 作者成功设计并实验验证了两输入、两输出逻辑门：$P_1$ 计算 $\langle xy, x+y \rangle$，$P_2$ 计算 $\langle x, \overline{x}y \rangle$，其实验可靠性分别为 69% 和 59%。
• 基于 Oregonator 模型的数值模拟验证了两个门的功能，并成功模拟了门级联为一位半加法器的过程。
• 半加法器对所有四种输入组合（$x=0,y=0$；$x=0,y=1$；$x=1,y=0$；$x=1,y=1$）均正确生成了和与进位输出。
• 模拟结果显示，代表 $x=1$ 和 $y=1$ 的波片段会被不应答尾部阻断，从而防止干扰，确保输出正确。
• 研究结论指出，仅在非营养基质上才能实现可靠的逻辑计算；富含营养的基质会导致不可控的分支，使逻辑功能失效。