CPS: Synergy: Collaborative Research:Cyber-physical digital microfluidics based on active matrix electrowetting technology: software-programmable high-density pixel arrays

CPS：协同：协作研究：基于有源矩阵电润湿技术的网络物理数字微流体：软件可编程高密度像素阵列

• 批准号: 1545097
• 负责人: Philip Brisk
• 金额: $ 35.28万
• 依托单位: University of California-Riverside
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-09-15 至 2021-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1545097&HistoricalAwards=false
• 关键词: CPS; Synergy; Collaborative; Research; Cyber

Laboratory-on-a-chip (LoC) technology is poised to improve global health through development of low-cost, automated point-of-care testing devices. In countries with few healthcare resources, clinics often have drugs to treat an illness, but lack diagnostic tools to identify patients who need them. To enable low-cost diagnostics with minimal laboratory support, this project will investigate domain-specific LoC programming language and compiler design in conjunction with device fabrication technologies (process flows, sensor integration, etc.). The project will culminate by building a working LoC that controls fluid motion through electronic signals supplied by a host PC; a forensic toxicology immunoassay will be programmed in software and executed on the device. This experiment will demonstrate benefits of programmable LoC technology including miniaturization (reduced reagent consumption), automation (reduced costs and uncertainties associated with human interaction), and general-purpose software-programmability (the device can execute a wide variety of biochemical reactions, all specified in software). Information necessary to reproduce the device, along with all software artifacts developed through this research effort, will be publicly disseminated. This will promote widespread usage of software-programmable LoC technology among researchers in the biological sciences, along with public and industrial sectors including healthcare and public health, biotechnology, water supply management, environmental toxicity monitoring, and many others.This project designs and implements a software-programmable cyber-physical laboratory-on-a-chip (LoC) that can execute a wide variety of biological protocols. By integrating sensors during fabrication, the LoC obtains the capability to send feedback in real-time to the PC controller, which can then make intelligent decisions regarding which biological operations to execute next. To bring this innovative and transformative platform to fruition, the project tackles several formidable research challenges: (1) cyber-physical LoC programming models and compiler design; (2) LoC fabrication, including process flows and cyber-physical sensor integration; and (3) LoC applications that rely on cyber-physical sensory feedback and real-time decision-making. By constructing a working prototype LoC, and programming a representative feedback-driven forensic toxicology immunoassay, the project demonstrates that the proposed system can automatically execute biochemical reactions that require a closed feedback loop. Expected broader impacts of the proposed work include reduced cost and increased reliability of clinical diagnostics, engagement with U.S. companies that use LoC technology, training of graduate and undergraduate students, increased engagement and retention efforts targeting women and underrepresented minorities, student-facilitated peer-instruction at UC Riverside, a summer residential program for underrepresented minority high-school students at the University of Tennessee, collaborations with researchers at the Oak Ridge National Laboratory, and creation, presentation, and dissemination of tutorial materials to promote the adoption and use of software-programmable LoCs among the wider scientific community.

通过开发低成本，自动化点的测试设备，可以通过开发芯片（LOC）实验室（LOC）技术来改善全球健康。在医疗保健资源很少的国家中，诊所经常有药物来治疗疾病，但缺乏识别需要患者的患者的诊断工具。为了启用具有最小实验室支持的低成本诊断，该项目将与设备制造技术（过程流，传感器集成等）一起研究特定领域的LOC编程语言和编译器设计。该项目将通过构建工作LOC来达到高潮，该LOC通过主机PC提供的电子信号来控制流体运动；法医毒理学免疫测定将在软件中编程并在设备上执行。该实验将证明可编程LOC技术的好处，包括微型化（减少的试剂消耗），自动化（降低成本和与人类互动相关的不确定性）和通用软件可编程性（该设备可以执行各种生物化学反应，所有这些反应都在软件中指定）。复制该设备所需的信息以及通过此研究工作开发的所有软件工件将被公开传播。这将促进生物科学研究人员中软件可编程的LOC技术的广泛使用，以及公共和工业领域，包括医疗保健和公共卫生，生物技术，水供应管理，环境毒性监测以及许多其他项目。项目设计和本软件可编程的网络物理实验室实验室协议（可以执行），可以进行一项范围的cromentip（coletip）。通过在制造过程中集成传感器，LOC获得了实时向PC控制器发送反馈的能力，然后可以就接下来执行哪种生物操作做出明智的决定。为了将这个创新和变革性的平台带入实现，该项目应对几项强大的研究挑战：（1）网络物理LOC编程模型和编译器设计； （2）LOC制造，包括过程流和网络物理传感器的整合； （3）依赖网络物理感觉反馈和实时决策的LOC应用程序。通过构建工作原型LOC，并编程代表性反馈驱动的法医毒理学免疫测定，该项目表明，所提出的系统可以自动执行需要封闭反馈循环的生化反应。 Expected broader impacts of the proposed work include reduced cost and increased reliability of clinical diagnostics, engagement with U.S. companies that use LoC technology, training of graduate and undergraduate students, increased engagement and retention efforts targeting women and underrepresented minorities, student-facilitated peer-instruction at UC Riverside, a summer residential program for underrepresented minority high-school students at the University of Tennessee, collaborations with Oak Ridge国家实验室的研究人员以及教程材料的创建，演示和传播，以促进更广泛的科学界的软件可编程LOC的采用和使用。

项目成果

A compiler for cyber-physical digital microfluidic biochips

网络物理数字微流控生物芯片编译器

• DOI: 10.1145/3168826
• 发表时间: 2018
• 期刊: Proceedings of the 2018 International Symposium on Code Generation and Optimization - CGO 2018
• 作者: Curtis, Christopher;Grissom, Daniel;Brisk, Philip
• 通讯作者: Brisk, Philip

ChemStor: Using Formal Methods To Guarantee Safe Storage and Disposal of Chemicals

ChemStor：使用正式方法保证化学品的安全存储和处置

• DOI: 10.1021/acs.jcim.9b00951
• 发表时间: 2020
• 期刊: Journal of Chemical Information and Modeling
• 影响因子: 5.6
• 作者: Ott, Jason;Tan, Daniel;Loveless, Tyson;Grover, William H.;Brisk, Philip
• 通讯作者: Brisk, Philip

Directed Placement for mVLSI Devices

• DOI: 10.1145/3369585
• 发表时间: 2020-04-01
• 期刊: ACM JOURNAL ON EMERGING TECHNOLOGIES IN COMPUTING SYSTEMS
• 影响因子: 2.2
• 作者: Crites, Brian;Kong, Karen;Brisk, Philip
• 通讯作者: Brisk, Philip

An FPGA-based Programmable Vector Engine for Fast Fully Homomorphic Encryption over the Torus

基于 FPGA 的可编程矢量引擎，用于环面上的快速全同态加密

• 发表时间: 2021
• 期刊: SPSL: Secure and Private Systems for Machine Learning (ISCA Workshop
• 作者: Gener, Serhan;Newton, Parker;Tan, Daniel;Richelson, Silas;Lemieux, Guy;Brisk, Philip
• 通讯作者: Brisk, Philip