生物化学协议自动正确性检查的框架 关于数字微流体生物芯片的实现
摘要：数字微流控（DMF）技术的最新进展为一系列生物化学应用提供了有前途的平台，如DNA分析、自动化药物发现和毒性监测。为了在芯片上实现复杂的生物分析，已开发了自动化合成工具以应对设计挑战。目前，合成工具需要通过多个复杂的设计步骤来实现目标DMF架构上的给定生化协议。因此，在将DMF生物芯片部署到安全关键系统之前，有必要确保所需的生化协议已被正确实现，即合成的输出（生物芯片的驱动序列）不包含任何设计或实现错误。我们提出了一种基于符号约束的分析框架，用于检查合成的生化协议与原始设计规范的正确性。基于该框架的验证方案可以检测基于2D阵列或引脚约束的生物芯片以及网络物理系统中的多个合成后流体违规和实现错误。它还生成用于错误定位的诊断反馈。我们展示了聚合酶链反应（PCR）和体外多重生物分析的实验结果，以证明所提出的验证方法。
作者：Sukanta Bhattacharjee, Ansuman Banerjee, Krishnendu Chakrabarty, and Bhargab B. Bhattacharya
论文ID：2211.04719
分类：Emerging Technologies
分类简称：cs.ET
提交时间：2022-11-10