AitF: EXPL: Algorithmic Fluid Concentration Management for Programmable Microfluidics

AitF：EXPL：可编程微流体的算法流体浓度管理

• 批准号: 1536026
• 负责人: Philip Brisk
• 金额: $ 36.18万
• 依托单位: University of California-Riverside
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-10-01 至 2021-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1536026&HistoricalAwards=false
• 关键词: AitF; EXPL; Algorithmic; Fluid; Concentration

The miniaturization of technology has produced not only programmable microprocessor circuits, but also programmable lab-on-a-chip (PLoC) systems for microfluidics. These systems control tiny fluid droplets, allowing precise mixing and testing, that can be developed into environmental monitors, malaria diagnostics, or blood tests for cancer cells. As with microprocessors, programming a lab on a chip takes knowledge of what the chip can and cannot do, and a suitable language in which to express the commands. This project 1) develops a theory of computational complexity for designing microfluidic devices that produce fluid mixtures with desired concentrations, 2) creates a domain-specific language (including an Application Program Interface, or API and a compiler) for these devices, 3) fabricates and tests devices, and 4) explores the broader impacts of the ability to program complex biochemical reactions that include fluid concentration steps. The project results will make PLoC systems much easier to use, which the PIs will first demonstrate with students, including those from underrepresented groups, and then through tutorials presented at scientific meetings to promote the use of PLoC technologies among the broader scientific community. This project investigates the complexity and approximability of algorithms to generate one or more discrete fluid droplets having a desired concentration, e.g., a sample diluted to 10%, 15%, etc., with objectives such as minimizing the number of dilution steps, minimizing waste, minimizing reactant usage, etc. These algorithms will be generalized to produce of a stream of droplets having desired time-dependent concentrations. Meanwhile, a collection of representative PLoCs will be designed and fabricated on-site, along with a domain-specific language and compiler, which will allow the PLoCs to be programmed using high-level software. The algorithms developed in the course of this project will be integrated into an API that can be called from the domain-specific language. This will enable users to specify biochemical reactions that include fluid concentration generation subroutines (which are performed automatically). The system will be validated by executing these biochemical reactions using the PLoCs that have been fabricated on-site. Upon successful completion of the project, PLoC design files along with the domain-specific language specification and compiler, documentation, and tutorial material, will be released publicly to encourage other scientists to use this platform and approach to increase productivity and reduce human error in their respective laboratories.

技术的小型化不仅产生了可编程微处理器电路，而且还产生了用于微流体的可编程芯片实验室（PLoC）系统。这些系统控制微小的液滴，允许精确的混合和测试，可以发展成环境监测，疟疾诊断或癌症细胞的血液测试。与微处理器一样，在芯片上为实验室编程需要了解芯片能做什么和不能做什么，以及一种合适的语言来表达命令。该项目1)开发了一种计算复杂性理论，用于设计产生所需浓度流体混合物的微流体装置，2)为这些装置创建一种特定领域的语言（包括应用程序编程接口，或API和编译器），3)制造和测试设备，以及4)探索编程包括流体浓度步骤在内的复杂生化反应的能力的更广泛影响。项目结果将使PLoC系统更容易使用，pi将首先向学生演示，包括那些来自代表性不足的群体的学生，然后通过科学会议上提出的教程，在更广泛的科学界中推广使用PLoC技术。该项目研究了生成具有所需浓度的一个或多个离散液滴的算法的复杂性和近似性，例如，将样品稀释到10%或15%等，其目标是尽量减少稀释步骤的数量，尽量减少浪费，尽量减少反应物的使用等。这些算法将被推广到产生具有所需的随时间变化的浓度的液滴流。同时，一组具有代表性的ploc将在现场设计和制造，以及一种特定领域的语言和编译器，这将允许使用高级软件对ploc进行编程。在这个项目过程中开发的算法将被集成到一个API中，可以从特定于领域的语言调用该API。这将使用户能够指定生化反应，包括流体浓度生成子程序（自动执行）。该系统将通过使用现场制造的ploc执行这些生化反应来验证。在项目成功完成后，PLoC设计文件以及特定领域的语言规范和编译器、文档和教程材料将公开发布，以鼓励其他科学家使用该平台和方法来提高生产力并减少各自实验室的人为错误。

项目成果

Reducing Microfluidic Very Large Scale Integration (mVLSI) Chip Area by Seam Carving

• DOI: 10.1145/3060403.3060461
• 发表时间: 2017-05
• 期刊: Proceedings of the Great Lakes Symposium on VLSI 2017
• 作者: Brian Crites;Karen Kong;P. Brisk

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

Diagonal Component Expansion for Flow-Layer Placement of Flow-Based Microfluidic Biochips

• DOI: 10.1145/3126529
• 发表时间: 2017-10-01
• 期刊: ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
• 影响因子: 2
• 作者: Crites, Brian;Kong, Karen;Brisk, Philip
• 通讯作者: Brisk, Philip

Chronoprints: Identifying Samples by Visualizing How They Change over Space and Time

Chronoprints：通过可视化样本随空间和时间的变化来识别样本

• DOI: 10.1021/acscentsci.8b00860
• 发表时间: 2019
• 期刊: ACS Central Science
• 影响因子: 18.2
• 作者: McKenzie, Brittney A.;Robles-Najar, Jessica;Duong, Eric;Brisk, Philip;Grover, William H.
• 通讯作者: Grover, William H.

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