数字微流控生物芯片调度算法

Digital Microfluidic Biochip Scheduling Algorithm

数字微流控生物芯片技术是在芯片上集成生化过程中的反应、检测等功能,使芯片能自动完成实验分析的技术。实现了求解数字微流控生物芯片的液滴布局和调度问题的最优解算法。算法将芯片上液滴的移动、混合和检测等操作形式化为逻辑表达式,将表达式输入SMT求解器进行求解,得到液滴的布局和移动的最优解。

Digital microfluidic biochip technology is a technology that integrates the reaction,detection and other functions in the biochemical process on the chip,and automatically completes the experimental analysis.The optimal solution algorithm for solving the droplet layout and scheduling problems of the digital microfluidic biochip was realized.The algorithm formalizes the movement,mixing,and detection of droplets on the chip into logical expressions,and inputs the expressions into the SMT solver for solution.The optimal solution of droplet layout and movement is obtained.