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