[论文解读] Simple fluidic digital half-adder

Alex J. L. Morgan, David A. Barrow+2 more|arXiv (Cornell University)|Feb 2, 2016

Electrohydrodynamics and Fluid Dynamics参考文献 7被引用 8

一句话总结

本文提出一种基于液滴流体逻辑的简单流体一比特半加法器，其中二进制状态（0/1）通过通道中是否存在水滴来表示。该装置利用流体阻力控制液滴在汇合处的流向：当仅一个输入存在液滴时，液滴流向求和输出；当两个输入均存在液滴时，其中一个液滴被偏转至排泄口，另一个则继续流向第二个汇合点，从而实现求和与进位输出的计算。该系统通过COMSOL仿真和实验室实验在不同流速下得到验证，表现出稳健功能，并为级联全加法器铺平了道路。

ABSTRACT

A fluidic one-bit half-adder is made of five channels which intersect at a junction. Two channels are inputs, two channels are outputs and one channel is the drain. The channels direct fluid from input fragments to output fragments and the streams of fluid interact at the junctions. Binary signals are represented by water droplets introduced in the input channels: presence of a droplet in an input or output segments symbolises logical {\sc True}, absence --- {\sc False}. The droplets travel along channels by following a path of least resistance unless deflected at the junction. We demonstrate the function of the half-adder in both computer modelling and laboratory experiments, and propose a design of a one-bit full adder based on simulation.

研究动机与目标

• 设计一种最小化、低成本的流体逻辑电路，仅通过物理流体动力学实现二进制加法。
• 证明流体阻力可基于输入状态可靠地引导液滴至正确输出，实现在无外部控制下的逻辑运算。
• 在仿真与实验室实验中，验证半加法器在不同流速下的功能表现。
• 基于半加法器设计，提出一种级联的一比特全加法器架构。
• 探索基于被动、自主流体系统的潜力，用于未来可编程诊疗与芯片上实验室应用。

提出的方法

• 该半加法器使用五个通道：两个输入、两个输出（求和与进位）以及一个排泄口，所有通道汇聚于中心汇合点。
• 二进制逻辑通过输入和输出通道中液滴的存在（真）或缺失（假）来编码。
• 流体阻力使用Hagen-Poiseuille方程计算，阻力由通道几何形状、流体粘度和流速决定。
• 液滴沿阻力最小路径流动，流向由输出路径之间的相对阻力控制。
• 当两个液滴在汇合点相遇时，选择阻力较高的路径，其中一个液滴被偏转至排泄口，模拟逻辑运算。
• 通过级联两个半加法器汇合点，对全加法器进行仿真，输入信号来自A、B和进位输入（Cin），输出为求和（S）和进位输出（Cout）。

实验结果

研究问题

• RQ1 一个仅含五个通道的最小化流体汇合点，能否通过液滴动力学同时实现XOR与AND逻辑运算？
• RQ2 在不同流速下，流体阻力如何控制多输入汇合点中的液滴流向？
• RQ3 该半加法器设计是否可在无外部控制的情况下，于不同流速剖面中通过实验验证？
• RQ4 是否可行通过流体阻力与液滴相互作用，将半加法器级联为功能性的单比特全加法器？
• RQ5 基于液滴运动与阻力的被动流体系统，能否用于构建可扩展、自主的计算电路？

主要发现

• 该半加法器仅通过流体阻力和液滴存在/缺失，成功实现了XOR（求和）与AND（进位）逻辑运算。
• 该装置在三种流速剖面下均表现可靠：8:0.4、16:0.4 和 16:1 ml/hr，证实对流速变化具有鲁棒性。
• COMSOL仿真验证了全加法器配置下所有八种输入组合的正确液滴路由，求和与进位输出均准确无误。
• 当A和B输入均激活而Cin未激活时，B的液滴被偏转至排泄口，而A的液滴继续流向第二个汇合点，正确生成Cout。
• 当三个输入全部激活（A=1, B=1, Cin=1）时，系统正确地将A和Cin分别引导至Cout和S，验证了全加法器逻辑方程。
• 排泄通道实现了两两与运算的析取（A·B + A·C + B·C），确认在四种输入组合中液滴排出至排泄口的行为完全正确。