AitF: EXPL: Algorithmic Fluid Concentration Management for Programmable Microfluidics
AitF: EXPL: Algorithmic Fluid Concentration Management for Programmable Microfluidics
批准号:
1536026
负责人:
Philip Brisk
金额:
$36.18万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-10-01 至 2021-09-30
中文摘要
技术的小型化不仅产生了可编程微处理器电路,而且还产生了用于微流体的可编程芯片实验室(PLoC)系统。这些系统控制微小的液滴,允许精确的混合和测试,可以发展成环境监测,疟疾诊断或癌症细胞的血液测试。与微处理器一样,在芯片上为实验室编程需要了解芯片能做什么和不能做什么,以及一种合适的语言来表达命令。该项目1)开发了一种计算复杂性理论,用于设计产生所需浓度流体混合物的微流体装置,2)为这些装置创建一种特定领域的语言(包括应用程序编程接口,或API和编译器),3)制造和测试设备,以及4)探索编程包括流体浓度步骤在内的复杂生化反应的能力的更广泛影响。项目结果将使PLoC系统更容易使用,pi将首先向学生演示,包括那些来自代表性不足的群体的学生,然后通过科学会议上提出的教程,在更广泛的科学界中推广使用PLoC技术。该项目研究了生成具有所需浓度的一个或多个离散液滴的算法的复杂性和近似性,例如,将样品稀释到10%或15%等,其目标是尽量减少稀释步骤的数量,尽量减少浪费,尽量减少反应物的使用等。这些算法将被推广到产生具有所需的随时间变化的浓度的液滴流。同时,一组具有代表性的ploc将在现场设计和制造,以及一种特定领域的语言和编译器,这将允许使用高级软件对ploc进行编程。在这个项目过程中开发的算法将被集成到一个API中,可以从特定于领域的语言调用该API。这将使用户能够指定生化反应,包括流体浓度生成子程序(自动执行)。该系统将通过使用现场制造的ploc执行这些生化反应来验证。在项目成功完成后,PLoC设计文件以及特定领域的语言规范和编译器、文档和教程材料将公开发布,以鼓励其他科学家使用该平台和方法来提高生产力并减少各自实验室的人为错误。
英文摘要
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.
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI:
10.1145/3060403.3060461
发表时间:
2017-05
期刊:
Proceedings of the Great Lakes Symposium on VLSI 2017
影响因子:
--
作者:
[Brian Crites;Karen Kong;P. Brisk]
通讯作者:
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
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
FuSe-TG: Domain-Specific 3D ReRAM-based Processing-in-Memory Accelerators for Streaming Time Series Applications
-
批准号:2235398
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2023
-
负责人:Philip Brisk
-
依托单位:
SHF: Medium: Collaborative Research: Predictive Modeling for Next-generation Heterogeneous System Design
-
批准号:1763795
-
项目类别:Standard Grant
-
资助金额:$32.24万
-
财政年份:2018
-
负责人:Philip Brisk
-
依托单位:
CPS: TTP Option: Medium: Collaborative Research: Low-Cost, High-Throughput, Cyber-Physical Synthesis of Encrypted DNA
-
批准号:1740052
-
项目类别:Standard Grant
-
资助金额:$103.91万
-
财政年份:2017
-
负责人:Philip Brisk
-
依托单位:
PFI:AIR - TT: Prototyping Microfluidic Very Large Scale Integration Design Automation Tools
-
批准号:1640757
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2016
-
负责人:Philip Brisk
-
依托单位:
I-Corps: Quick Liquid Layout: Commercialization of Microfluidic Very Large Scale Integration Design Automation Tools
-
批准号:1560596
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2015
-
负责人:Philip Brisk
-
依托单位:
CPS: Synergy: Collaborative Research:Cyber-physical digital microfluidics based on active matrix electrowetting technology: software-programmable high-density pixel arrays
-
批准号:1545097
-
项目类别:Standard Grant
-
资助金额:$35.28万
-
财政年份:2015
-
负责人:Philip Brisk
-
依托单位:
CCF: SHF: Small: Collaborative Research: Domain-specific Reconfigurable Processor for Time-Series Data Mining and Monitoring
-
批准号:1528181
-
项目类别:Standard Grant
-
资助金额:$26.22万
-
财政年份:2015
-
负责人:Philip Brisk
-
依托单位:
Design Automation for Paper Microfluidics
-
批准号:1423414
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2014
-
负责人:Philip Brisk
-
依托单位:
CAREER: Design Automation for Microfluidic Large Scale Integration Laboratories-on-a-Chip
-
批准号:1351115
-
项目类别:Continuing Grant
-
资助金额:$49.36万
-
财政年份:2014
-
负责人:Philip Brisk
-
依托单位:
WORKSHOP: Support for the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2011
-
批准号:1059827
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2011
-
负责人:Philip Brisk
-
依托单位:
CPS: Small: System support for generally programmable digital microfluidic biochip devices
-
批准号:1035603
-
项目类别:Standard Grant
-
资助金额:$54.0万
-
财政年份:2010
-
负责人:Philip Brisk
-
依托单位:
海外基金