高级搜索

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

完全可编程阀门阵列生物芯片下容错导向的高阶综合算法

朱予涵 刘博文 黄兴 刘耿耿

朱予涵, 刘博文, 黄兴, 刘耿耿. 完全可编程阀门阵列生物芯片下容错导向的高阶综合算法[J]. 电子与信息学报, 2024, 46(11): 4141-4150. doi: 10.11999/JEIT240049
引用本文: 朱予涵, 刘博文, 黄兴, 刘耿耿. 完全可编程阀门阵列生物芯片下容错导向的高阶综合算法[J]. 电子与信息学报, 2024, 46(11): 4141-4150. doi: 10.11999/JEIT240049
Tan Zheng, Wang Lisheng . The Quantitative Properties of Exponential Stability of Nonlinear Continuous Neural Network[J]. Journal of Electronics & Information Technology, 2001, 23(3): 300-303.
Citation: ZHU Yuhan, LIU Bowen, HUANG Xing, LIU Genggeng. Fault-tolerance-oriented High-level Synthesis Algorithm for Fully Programmable Valve Array Biochips[J]. Journal of Electronics & Information Technology, 2024, 46(11): 4141-4150. doi: 10.11999/JEIT240049

完全可编程阀门阵列生物芯片下容错导向的高阶综合算法

doi: 10.11999/JEIT240049
基金项目: 福建省杰出青年科学基金(2023J06017)
详细信息
    作者简介:

    朱予涵:女,博士生,研究方向为微流体生物芯片设计自动化

    刘博文:男,博士生,研究方向为微流体生物芯片设计自动化

    黄兴:男,博士,教授,研究方向为微流体生物芯片及超大规模集成电路设计自动化

    刘耿耿:男,博士,教授,研究方向为微流体生物芯片及超大规模集成电路设计自动化

    通讯作者:

    刘耿耿 liugenggeng@fzu.edu.cn

  • 中图分类号: TN402; TP391.41

Fault-tolerance-oriented High-level Synthesis Algorithm for Fully Programmable Valve Array Biochips

Funds: Fujian Science Fund for Distinguished Young Scholars (2023J06017)
  • 摘要: 作为新一代流式微流控生物芯片,完全可编程阀门阵列(FPVA)生物芯片具有更高的灵活性和可编程性,已经成为一种流行的生物化学实验平台。然而,由于环境或人为因素,制造过程中通常存在一些物理故障,如通道阻塞和泄漏,这无疑会影响生化检测的结果。此外,高阶综合作为架构综合的首要阶段,其结果的质量直接影响着后续设计的优劣。因此,该文首次研究了FPVA生物芯片高阶综合过程中的容错问题,提出了单元功能转换方法、双向冗余方法、故障映射方法等动态容错技术,为实现高效的容错设计提供了技术保障。通过将这些技术集成到高阶综合设计中,进一步实现了一种高质量的FPVA生物芯片下容错导向的高阶综合算法,包括故障感知的实时绑定策略和故障感知的优先级调度策略,为实现芯片架构的鲁棒性和检测结果的准确性奠定了良好的基础。实验结果显示,所提算法能够得到一个FPVA生物芯片下高质量且容错的高阶综合方案,为后续实现容错物理设计方案提供了有力保障。
  • 基础研究是催生原始创新、推动创新体系整体效能提升的动力源泉,是培育新质生产力、激活发展新动能的关键保障,是推动高质量发展、实现高水平科技自立自强的重要支撑。我国设立国家自然科学基金用于资助基础研究,支持人才培养和团队建设[1]。国家自然科学基金委员会(以下简称自然科学基金委)依法管理国家自然科学基金,负责资助计划、项目设置和评审、立项、监督等组织实施工作[2]。自然科学基金委信息科学部一处主要资助信息与通信系统、信息获取与处理、电子科学与技术及其相关交叉领域的基础研究和应用基础研究。其中,电子科学与技术领域涉及从F0118到F0125的8个二级申请代码,涵盖了电路与系统、电磁场与波、物理电子学、敏感电子学与传感器、生物电子学与生物信息处理和医学信息检测与处理等相关领域[3,4]。此外,电子信息与其他领域交叉二级代码F0126下的相关项目也被纳入电子科学与技术领域进行评审,由于该部分每年涉及的项目申请量极少,本文后续统计数据不包括该申请代码。

    2024年度集中受理期间,信息科学部一处电子科学与技术领域共收到重点项目、面上项目、青年科学基金项目、地区项目、优秀青年科学基金项目和国家杰出青年科学基金项目申请共3269项,本文梳理分析了这6类项目的申请和资助情况,旨在为相关人员了解本领域基础研究队伍、主要研究方向以及发展趋势等提供参考。

    根据2023年度征集的指南建议,并结合信息学部“十四五”发展战略规划和优先资助领域,2024年度信息科学部共发布了3个重点项目群和118个重点项目立项领域[4]。其中,电子科学与技术领域发布15个重点项目指南方向,涉及F0118, F0119, F0120, F0122, F0123, F0124和F0125七个二级代码,30家依托单位的申请人共提交项目申请45项,9家依托单位的11项申请获得资助,项目资助率约为24.44%。表1统计了15个重点项目指南方向的申请和资助情况,其中,第1、第3、第7、第9和第13个指南方向虽有项目申请,但均未获资助;第4个指南方向申请4项,资助2项,尽管该指南方向资助了两项申请,但受资助的两项项目针对的应用场景和采取的技术路线各不相同。由表1数据可见,重点项目申请不仅有项目之间的竞争,还有指南间的竞争,同一指南方向也可能资助两项各具特色的项目申请。

    表 1  2024年度重点项目各指南方向申请与资助
    序号重点项目指南申请数资助数
    1硅基主被动复合毫米波成像芯片(F0118)10
    2高能效高速有线通信接口关键技术(F0118)31
    3用于量子态读出的低噪声硅基芯片(F0118)30
    4多功能一体化智能蒙皮与天线关键技术(F0119)42
    5面向通感融合的超宽带抗干扰全双工射频芯片(F0119)31
    6超宽带异形曲面阵列天线多物理场协同设计(F0119)11
    7三维异质集成射频芯片多物理场耦合机理与协同设计方法(F0119)20
    8超大频比天线阵列关键技术(F0119)21
    9硅基太赫兹高分辨率雷达全集成芯片(F0120)40
    10二维材料声表面波物性调控与新型信息器件(F0122)41
    11基于准单晶 AIN 薄膜的高性能射频滤波器(F0122)21
    12有机半导体光电协同感知温室气体传感器(F0123)11
    13肿瘤分子调控元件的功能预测与分析方法(F0124)60
    14微重力环境下的脑结构与功能信息获取及认知调控(F0124)31
    15多模态舌象信息感知与智能分析(F0125)61
    合计4511
    下载: 导出CSV 
    | 显示表格

    2015~2024年期间,电子科学与技术领域共有94家依托单位提交了284项重点项目申请,其中41家依托单位的86项申请获得资助。表2统计了各年度申请与获得重点项目的依托单位数和占比情况,各年度重点项目的总申请数、总资助数和资助率情况。总体来看,当年申请重点项目的依托单位数总是小于项目的总申请数,2024年度差距最大,达到15,说明同一家依托单位有多项重点项目申请。比较当年获重点项目资助的单位数和项目的总资助数,其中,资助单位数与资助数相等的年份占了一半,但近五年内,2021年度和2024年度两次出现最大差距2,一定程度反映了承担领域重点项目的优势单位不足。

    表 2  2015~2024各年度重点项目申请与资助情况
    年度 依托单位 申请与资助
    申请单位 资助单位 占比(%) 申请数 资助数 资助率(%)
    2015 6 4 66.67 10 5 50.00
    2016 12 5 41.67 14 5 35.71
    2017 32 12 37.50 40 12 30.00
    2018 15 6 40.00 18 6 33.33
    2019 20 6 30.00 26 7 26.92
    2020 31 8 25.81 37 8 21.62
    2021 25 9 36.00 38 11 28.95
    2022 21 9 42.86 26 9 34.62
    2023 22 11 50.00 30 12 40.00
    2024 30 9 30.00 45 11 24.44
    下载: 导出CSV 
    | 显示表格

    表3统计了近十年领域各二级代码重点项目立项、申请与资助情况。从资助率来看,近十年领域重点项目的平均资助率为30.28%,其中F0123资助率最高,达到35.48%;F0121资助率最低,十年间仅有一项申请,且未获资助;F0119资助率位列第二,但十年间该二级代码的重点项目申请数和资助数均最多,获资助项目的方向分别为:电磁场理论和电磁计算10项、天线理论与技术9项、射频器件电路与系统10项和电磁成像及应用6项。生物与医学电子信息获取和处理是十四五期间信息科学部优先发展领域之一,涉及二级代码F0124和F0125。学科处围绕该优先发展领域,广泛组织领域专家研讨,2023年设立“医学影像信息处理前沿理论、方法及应用”重点项目群指南,当年资助6项。F0125医学信息检测与处理二级代码下,2015~2024年共收到申请62项,获得资助16项,近五年支持了10项。F0124生物信息检测与处理代码下获资助的6项均在近五年期间。

    表 3  2015~2024领域各二级代码重点项目总申请与资助情况
    二级代码申请数资助数资助率(%)
    F011823730.43
    F01191063533.02
    F012013323.08
    F0121100.00
    F012228828.57
    F0123311135.48
    F012420630.00
    F0125621625.81
    合计2848630.28
    下载: 导出CSV 
    | 显示表格

    2024年,自然科学基金项目指南取消了面上项目连续两年申请未获资助后暂停一年申请的限制,电子科学与技术领域面上项目申请比2023年度增加约52%,达到1577项,其中2项申请被初筛,原因分别为个人信息不实和申请材料不符合《指南》要求[5]。经通讯评审和会议评审后,获资助185项,资助率约为11.73%。按申请人性别统计,男性申请人1237项,约占总申请数的78.4%,远高于女性申请人的340项;男性申请人获资助比率为12.61%,也高于女性申请人的8.53%。

    本年度,面上项目申请依托单位数为361家,比2023年增加了67家。其中申请数50项及以上的依托单位有2家,46家依托单位的申请数在10~49项之间,34家依托单位的申请数在5~9项之间。申请数5项以下的依托单位共279家,其中148家依托单位的申请数为1项。表4统计了面上项目申请量排名前五的依托单位申请与资助情况。其中,电子科技大学的申请数和获资助数量最多,分别达到73项和17项。这五家依托单位的总申请数约占领域总申请数的14.46%,获资助项目数约占总资助数的25.41%。从依托单位的单位资助率(本单位获资助数/本单位申请数)来看,上海交通大学的资助率最高,是本领域面上项目平均资助率(11.73%)的2倍多。

    表 4  2024年度面上项目申请数排名前十的依托单位申请与资助情况
    单位名称 申请数 资助数 单位资助率(%)
    电子科技大学 73 17 23.29
    西安电子科技大学 50 9 18.00
    上海交通大学 36 11 30.56
    杭州电子科技大学 35 3 8.57
    东南大学 34 7 20.59
    合计 228 47 20.61
    下载: 导出CSV 
    | 显示表格

    本年度,面上项目申请人的最小年龄为28岁,最大年龄为76岁;获得面上项目资助的申请人最小年龄为29岁,最大年龄为62岁,图1按申请人年龄段统计了2024年度领域面上项目申请与资助情况。其中,申请数量和获资助数最多的年龄段在36~40周岁之间,该年龄段的资助率达到13.58%,高于平均资助率11.73%;其次是41~45周岁的年龄段,该年龄段的资助率为8.96%,比平均资助率低2.77%,这两个年龄段申请人的项目申请和资助占比分别达到了60.49%和59.46%;60岁以上的申请人数虽少,但资助率在各年龄段中最高,达到16.67%;30岁及以下的申请人数最少,仅有7人,但资助率达到14.28%,在各年龄段中位居第二。

    图 1  2024年度领域面上项目申请与资助按年龄段分布情况

    表5给出了近五年领域各二级代码面上项目的总申请和资助情况。总体来看,F0119电磁场与波申请数和获得资助数最多,其次是F0125医学信息检测与处理,F0123敏感电子学与传感器位列第三,F0121微波光子学申请数和获得资助数最少。从资助率来看,F0122物理电子学资助率最高,达到19.86%,其次是F0121微波光子学,F0123敏感电子学与传感器资助率最低。

    表 5  2020~2024年度领域各二级代码面上项目总申请与资助情况
    二级代码申请数资助数资助率(%)
    F01184237317.26
    F0119162426816.50
    F01201722816.28
    F01211182319.49
    F01224338619.86
    F0123100313413.36
    F01244858517.53
    F0125131320115.31
    合计557189816.12
    下载: 导出CSV 
    | 显示表格

    图2按年份统计了2020~2024 年间F0123代码面上项目的资助率与学科平均资助率情况。可见,近五年F0123 代码的年度资助率始终低于当年学科的平均资助率。其原因可能在于:(1)敏感电子学与传感器涉及电子、物理、化学、材料等多个学科交叉,项目申请可能侧重传感机理、器件设计、工艺制备以及传感系统等不同方面;(2)敏感电子学与传感器涉及的器件种类多样,涉及光、声、电、磁、力、温度等以及各种气体等不同类型的传感。评审专家观点各异,评价尺度不一致,相较于其他代码形成共识难。近年来,学科处已关注到该情况,通过完善专家库、组织专题研讨会、提高会议重点讨论比例等方式,鼓励该方向的研究人员开展基础和应用基础研究,其资助率与领域平均资助率的差距正逐步缩小,从2020年的最大3.62%缩小到2024年的1.39%。

    图 2  2020~2024年F0123代码面上项目资助率变化图

    2024 年,电子科学与技术领域的青年项目申请量比2023年增加了229项,达到1276项,增幅约21.87%,涉及的依托单位数从369家增加到了430家。其中,4项青年项目申请未按《指南》要求提供导师同意函被初筛,申请人主动要求撤回申请1项,其余1271项申请经过通讯评审和会议评审后,有123家依托单位的264位申请人获得了资助,资助率约为20.69%。获青年项目资助的依托单位数约占申请该类项目依托单位总数的 28.6%,低于2023年的36.59%。

    从依托单位申请量来看,2024年度电子科技大学以46项的申请量位列第一,其次是东南大学22项,中国人民解放军国防科技大学和杭州电子科技大学均为21项,并列第三。与本年度面上项目相比,青年项目申请量在10项及以上的依托单位仅有24家。从申请人性别看,男性申请人共757项,约占总申请数的59.33%,女性申请人共519项,与本年度面上项目申请相比,女性申请人由21.56%提高到了40.67%。但获资助的青年项目中,男性申请人占比约为71.21%,女性申请人占比仅为28.79%。从申请人年龄看,最小申请者年龄为26岁,最大为40岁,表6统计了各年龄的项目申请与资助情况。可见,青年项目申请人的年龄主要集中在29~35周岁之间,申请数量约占总数量的83.70%,资助数占总资助数的88.64%。领域各二级代码的青年项目申请与资助情况如表7所示,其中,F0118电路与系统的资助率最低,F0121微波光子学的资助率最高但申请量最少,F0119电磁场与波的申请量最多。

    表 6  2024年度各年龄下青年项目申请与资助情况
    年龄(周岁)申请数资助数资助率(%)
    262150.00
    2712216.67
    28601830.00
    291223931.97
    301284333.59
    311653923.64
    321673319.76
    331623018.52
    341762514.20
    351482516.89
    363538.57
    373239.38
    383013.33
    392528.00
    401200.00
    下载: 导出CSV 
    | 显示表格
    表 7  2024年度领域各二级代码青年项目总申请与资助情况
    二级代码申请数资助数资助率(%)
    F0118621016.13
    F01193818321.78
    F0120441227.27
    F012129827.59
    F0122841922.62
    F01232615119.54
    F0124741925.68
    F01253416218.18
    合计127626420.69
    下载: 导出CSV 
    | 显示表格

    表8给出了近五年领域各二级代码青年项目的申请和资助情况,其中,F0119电磁场与波申请数和资助数最多,其次是F0125医学信息检测与处理,F0123敏感电子学与传感器位列第三,F0121微波光子学最少。从近五年各二级代码的平均资助率来看,F0121的资助率最高,达到29.66%,其余各二级代码在总平均资助率23.22%附近波动。

    表 8  2020~2024年度领域各二级代码青年项目申请与资助情况
    二级代码申请数资助数资助率(%)
    F01182857124.91
    F0119164938823.53
    F01201714023.39
    F01211183529.66
    F01223679325.34
    F012393220622.10
    F01243227924.53
    F0125118725621.57
    合计5031116823.22
    下载: 导出CSV 
    | 显示表格

    2024年度,电子科学与技术领域收到来自68家依托单位的地区项目申请162项,其中1项申请因申请人博士在读,未按指南要求在申请书附件中上传导师同意函被初筛。经通讯与会议评审后资助23项,资助率约为14.20%。表9统计了各二级代码的申请数、获资助数和资助率。统计结果表明,F0118和F0122资助率最高,为20%;F0125申请量第二多,但资助率偏低;F0121仅有1项申请,且未获得资助。

    表 9  2024年度领域各二级代码地区基金项目申请与资助情况
    二级代码申请数资助数资助率(%)
    F011815320.00
    F011944715.91
    F012010110.00
    F0121100.00
    F012210220.00
    F012323313.04
    F012423417.39
    F01253638.33
    合计1622314.20
    下载: 导出CSV 
    | 显示表格

    表10按依托单位所在省份统计了2024年度地区项目申请、资助和资助率的情况,其中,江西、广西和贵州申请数量位居前三,占12个省份总和的56.79%,获资助项目数是总资助数的56.52%。

    表 10  2024年度地区项目申请与资助随省份分布情况
    省份(简称)申请数资助数资助率(%)
    江西4449.09
    广西29620.69
    贵州19315.79
    云南1715.88
    甘肃14321.43
    宁夏1119.09
    新疆900.00
    内蒙古8337.50
    海南5120.00
    陕西3133.33
    四川200.00
    湖南100.00
    合计1622314.20
    下载: 导出CSV 
    | 显示表格

    图3统计了2020~2024年地区项目的申请数、资助数和资助率情况。近五年,地区基金申请数量逐步增加,从2020年的102项,增加到2024年的162项,增幅58.82%。资助数量略有增加,从18项增加到23项,资助率总体呈现下降趋势,从2020年的17.65%下降到2024年的14.20%。

    图 3  2020~2024年地区项目的申请和资助情况

    2024年度,领域受理来自52家依托单位的优青项目申请116项,经函评后推荐会议答辩项目12项,最终获资助8项。表11给出了领域各二级代码下优青项目申请数、会议答辩数、资助数及资助率。其中,F0119电磁场与波的申请数量最多,达到37项;其次是F0123敏感电子学与传感器,申请25项;F0125医学信息检测与处理排第三,申请24项;F0118、F0120和F0121申请数最少,均为4项。获资助的8项中,3项为F0125医学信息检测与处理,研究方向分别为医学影像处理、医学成像检测和医学影像重建与手术导航;F0119电磁场与波2项,研究方向分别为计算电磁学算法和人工电磁媒质;F0123敏感电子学与传感器2项,研究方向分别为穿戴式敏感材料与传感器和多功能传感器与集成系统;F0124 生物电子学与生物信息处理1项,研究方向为生物信息处理与分析。

    表 11  2024年度领域各二级代码优青项目申请与资助情况
    二级代码申请数答辩数资助数资助率(%)
    F01184000.00
    F011937325.41
    F01204200.00
    F01214000.00
    F01226100.00
    F012325228.00
    F012412118.33
    F0125243312.50
    合计1161286.90
    下载: 导出CSV 
    | 显示表格

    2024年度,领域优青项目申请人中男性97人、女性19人,获资助项目中男性6人、女性2人。图4给出了本年度优青项目申请人的年龄分布情况,其中申请人最小年龄为30岁,最大为40岁;获资助项目中,33岁和36岁各2人,1人34岁、1人37岁、1人39岁,还有1人40岁。

    图 4  2024年度领域申请与资助的优青项目申请人年龄分布情况

    2024年度,优秀青年科学基金项目(港澳)开始并入优秀青年科学基金项目一起评审。本年度,领域受理来自澳门特别行政区的优青项目申请1项,申请代码为F0123;香港特别行政区的优青项目申请6项,其中2项申请代码为F0119,4项申请代码为F0125,但均未获资助。自然科学基金委2019年开始设立优秀青年科学基金项目(港澳)以来,2019~2023年领域共受理项目申请9项,其中2项申请代码为F0118,1项F0119,5项F0123,1项F0125;资助2项,申请代码分别为F0118和F0123。

    2024年度,领域受理了来自48家依托单位的杰青项目申请93项,经函评后推荐会议答辩项目9项,最终获资助6项,表12列出了各二级代码的项目申请与资助情况。本年度,F0119电磁场与波的申请数量最多,达到26项;其次是F0125医学信息检测与处理,申请数量23项;F0123敏感电子学与传感器排第三,申请数21项;而F0121微波光子学申请数为0。获得资助的分别是F0124生物电子学与生物信息处理1项,研究方向为生物信息处理;F0125医学信息检测与处理2项,研究方向分别为医学信息获取与处理、医学成像;F0119电磁场与波3项,研究方向分别为计算电磁学、微波天线和射频电路技术。

    表 12  2024年度领域各二级代码杰青项目申请与资助情况
    二级代码申请数答辩数资助数资助率(%)
    F01183000.00
    F0119264311.54
    F01203000.00
    F01210000.00
    F01226000.00
    F012321200.00
    F012411114.35
    F012523222.15
    合计93966.45
    下载: 导出CSV 
    | 显示表格

    作为2024年度国家自然科学基金深化人才资助体制机制改革举措之一,女性申请杰青的年龄限制放宽到48周岁,以给予她们更多承担项目的机会,着力培养女性科技领军人才。2024年度,领域女性申请人数从2023年的9人增加至20人,其中1人获资助。图5给出了申请人性别和年龄分布情况,其中,男性申请人平均年龄为41.92岁,女性申请人平均年龄为44.45岁。获资助的6位申请人,年龄最小为38岁,最大为43岁,平均年龄41.67岁。

    图 5  2024年度杰青项目申请人性别和年龄分布

    扩大港澳地区依托单位范围,向港澳地区依托单位开放杰青项目申请是2024年度深化人才资助体制机制改革的另一举措。2024年度,领域共受理2项来自香港特别行政区的杰青项目申请,其中1项经函评后进入会议答辩。

    图6统计了近五年领域杰青项目的申请数、资助数和资助率。可见,申请数量从 2020 年的 59 项增加至 2024 年的93项,呈现逐年上升趋势;2021年度项目申请量最少,资助数也最少,仅为3项;近五年项目平均资助率为6.76%,其中 2021年资助率最低,为5.36%,2020年资助率最高,达到8.47%。

    图 6  近五年领域杰青项目申请和资助情况

    本文介绍了自然科学基金委信息科学部信息一处2024 年集中受理期间 “电子科学与技术” 领域收到的6类项目申请与资助情况。2025年即将到来,期待广大科研工作者深入社会生产生活一线,了解市场需求和产业动态,找准领域真问题,在新一轮的自然科学基金项目申请中占得先机。

  • 图  1  FPVA架构及其拓扑连接图

    图  2  制造缺陷示例[11]

    图  3  FPVA生物芯片高阶综合示例

    图  4  FPVA下容错导向的高阶综合算法流程图

    图  5  动态容错技术示例

    1  动态容错绑定算法

     输入:FPVA单元集C,操作集O,组件数量为NM的组件库M,物理故障位置Fi(包括合并单元、故障单元及包含故障连接的单元)
     输出:一个容错的绑定方案
      //初始绑定阶段
      for each operation Oi of O do
       Banding(Oi,Mj) = Random(0, NM–1);//将操作Oi随机绑定到一个组件Mj
      end for
      for each cell Ci of C do
       if Ci == Fi then
         Ci_state = –1;//标记为不可用单元
        Continue;
        else
         Ci_state = 0;//标记为空闲单元
         Continue;
       end if
      end for
      //绑定调整阶段
      for each module Mj of M do
       for each cell Ck of Mj do
        if Ck_state == –1 then //Ck为不可用单元
         Construct_spare_module(Mj);//根据双向冗余技术从空闲单元中选择备用单元
         Banding(Oi,Mj);
        end if
        if Done(Mj) == True do //组件上的操作已执行完成
          Ck_state = 0; //根据单元功能转换将组件Mj占据单元转换为空闲单元
         end if
       end for
      end for
    下载: 导出CSV

    2  动态容错调度算法

     输入:FPVA单元集C, 操作集O,操作间的依赖关系,每个操作执行时间te(Oj),和输入流体,物理故障位置Fi(包括故障单元以及包
     含故障连接的单元)
     输出:一个容错的调度方案
     //初始调度顺序生成
      for each operation Oi of O do
      pri(Oi)=Ojson(Oi)te(Oj)+tc×|son(Oi)1|;//计算操作Oi的优先级
      end for
      Sorting(O);//根据调度优先级由大到小将操作排序
      for each cell Ci of C do
       if Ci == Fi then
        Ci_state = –1;//标记为不可用单元
        Continue;
       else
        Ci_state = 0;//标记为空闲单元
        Continue;
       end if
      end for
      //调度顺序调整
       for each operation Oi of O do
        for each fluid rj of Oi do
         for each cell Ck of rj do
         if Ck_state == –1 then // Ck为不可用单元
          Construct_spare_path(rj);//根据双向冗余技术从空闲单元中选择备用单元
         end if
         if Reached (rj) == True do //输入流体已到达目标组件
          Ck_state = 0;//根据单元功能转换将流体rj占据单元转换为空闲单元
         end if
        end for
       end for
      end for
    下载: 导出CSV

    表  1  图3对应的绑定与调度方案

    时间(s) 动作
    0tc 分别运输输入流体r1, r3, r5
    组件M1, M2, M3
    tc2tc 分别运输输入流体r2, r4到组件M1, M2
    2tc~(2tc+4) 执行混合操作O1, O2
    (2tc+4)(3tc+4) 运输O1, O2的混合产物到混合器M3
    (3tc+4)(3tc+8) 执行混合操作O3
    下载: 导出CSV

    表  2  策略有效性对比结果

    测试用例 (输入流体数,输出流体数,
    混合操作数)
    FPVA
    尺寸
    生物测定完成时间(s) 流体运输路径总长度(mm)
    基准算法 本文算法 优化(%) 基准算法 本文算法 优化(%)
    PCR (8,1,7) ×8×8 14.5 13.8 4.8 56.9 54.4 4.4
    IVD1 (12,6,6) 8×8× 7.2 6.5 9.7 84.0 82.3 2.0
    IVD2 (18,9,9) 10×10× 8.8 8.4 4.5 174.3 171.3 1.7
    ProteinSplit1 (14,2,12) 10×10× 27.4 26.9 1.8 126.4 122.5 3.1
    ProteinSplit2 (32,4,23) 13×13 35.4 33.8 4.5 491.6 486.6 1.0
    Synthetic1 (5,1,4) 8×8 13.5 12.8 5.2 37.2 35.8 3.8
    Synthetic2 (13,1,12) 10×10× 22.6 21.8 3.5 121.6 116.8 3.9
    Synthetic3 (18,1,17) 12×12 28.1 27.4 2.5 217.6 210.7 3.2
    Synthetic4 (22,1,21) 13×13 27.4 26.6 2.9 312.6 305.4 2.3
    Synthetic5 (27,1,26) 13×13 29.9 28.7 4.0 386.9 377.2 2.5
    平均值 4.3 2.8
    下载: 导出CSV

    表  3  与RAS-FT[5]的性能对比结果

    测试用例生物测定完成时间(s)流体运输路径总长度(mm)容错成功率(%)
    RAS-FT[5]基于本文算法的
    架构综合算法
    优化(%)RAS-FT[5]基于本文算法的
    架构综合算法
    优化(%)RAS-FT[5]基于本文算法的
    架构综合算法
    优化
    PCR21.213.834.982.854.434.3100.053.047.0
    IVD111.56.543.5121.982.332.5100.040.060.0
    IVD214.38.441.3239.8171.328.6100.038.062.0
    ProteinSplit138.726.930.5173.1122.529.2100.013.087.0
    ProteinSplit250.133.832.5732.0486.633.5100.03.097.0
    Synthetic118.112.829.357.135.837.3100.029.071.0
    Synthetic230.021.827.3181.8116.835.8100.025.075.0
    Synthetic336.427.424.7327.4210.735.6100.016.084.0
    Synthetic435.826.625.7401.6305.424.0100.011.089.0
    Synthetic538.528.725.5505.3377.225.4100.08.092.0
    平均值31.531.676.4
    下载: 导出CSV
  • [1] VERPOORTE E and DE ROOIJ N F. Microfluidics meets MEMS[J]. Proceedings of the IEEE, 2003, 91(6): 930–953. doi: 10.1109/JPROC.2003.813570.
    [2] HU Kai, DINH T A, HO T Y, et al. Control-layer routing and control-pin minimization for flow-based microfluidic biochips[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017, 36(1): 55–68. doi: 10.1109/TCAD.2016.2568198.
    [3] POLLACK M G, SHENDEROV A D, and FAIR R B. Electrowetting-based actuation of droplets for integrated microfluidics[J]. Lab on A Chip, 2002, 2(2): 96–101. doi: 10.1039/b110474h.
    [4] 陈志盛, 朱予涵, 刘耿耿, 等. 考虑流端口数量约束下的连续微流控生物芯片流路径规划算法[J]. 电子与信息学报, 2023, 45(9): 3321–3330. doi: 10.11999/JEIT221168.

    CHEN Zhisheng, ZHU Yuhan, LIU Genggeng, et al. Flow-path planning algorithm for continuous-flow microfluidic biochips with strictly constrained flow ports[J]. Journal of Electronics & Information Technology, 2023, 45(9): 3321–3330. doi: 10.11999/JEIT221168.
    [5] TSENG T M, LI Bing, HO T Y, et al. Reliability-aware synthesis for flow-based microfluidic biochips by dynamic-device mapping[C]. 2015 52nd ACM/EDAC/IEEE Design Automation Conference, San Francisco, USA, 2015: 1–6. doi: 10.1145/2744769.2744899.
    [6] FIDALGO L M and MAERKL S J. A software-programmable microfluidic device for automated biology[J]. Lab on A Chip, 2011, 11(9): 1612–1619. doi: 10.1039/c0lc00537a.
    [7] LI Bing and SCHLICHTMANN U. Reliability-aware synthesis and fault test of fully programmable valve arrays (FPVAs)[C]. 2017 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, Cambridge, UK, 2017: 1–1. doi: 10.1109/DFT.2017.8244449.
    [8] HUANG Xing, HO T Y, GUO Wenzhong, et al. Computer-aided design techniques for flow-based microfluidic lab-on-a-chip systems[J]. ACM Computing Surveys (CSUR), 2022, 54(5): 97. doi: 10.1145/3450504.
    [9] 刘耿耿, 叶正阳, 朱予涵, 等. 连续微流控生物芯片下一种多阶段启发式的流层物理协同设计算法[J]. 电子与信息学报, 2023, 45(9): 3401–3409. doi: 10.11999/JEIT221155.

    LIU Genggeng, YE Zhengyang, ZHU Yuhan, et al. A multi-stage heuristic flow-layer physical codesign algorithm for continuous-flow microfluidic biochips[J]. Journal of Electronics & Information Technology, 2023, 45(9): 3401–3409. doi: 10.11999/JEIT221155.
    [10] 朱予涵, 黄鸿斌, 林泓星, 等. 连续微流控生物芯片下基于序列对的流层物理设计算法[J]. 计算机辅助设计与图形学学报, 2022, 34(4): 535–544. doi: 10.3724/SP.J.1089.2022.19445.

    ZHU Yuhan, HUANG Hongbin, LIN Hongxing, et al. Sequence-pair-based flow-layer physical design algorithm for continuous-flow microfluidic biochips[J]. Journal of Computer-Aided Design & Computer Graphics, 2022, 34(4): 535–544. doi: 10.3724/SP.J.1089.2022.19445.
    [11] HU Kai, YU Feiqiao, HO T Y, et al. Testing of flow-based microfluidic biochips: Fault modeling, test generation, and experimental demonstration[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2014, 33(10): 1463–1475. doi: 10.1109/TCAD.2014.2336215.
    [12] ESKESEN M C, POP P, and POTLURI S. Architecture synthesis for cost-constrained fault-tolerant flow-based biochips[C]. 2016 Design, Automation & Test in Europe Conference & Exhibition, Dresden, Germany, 2016: 618–623.
    [13] DUBROVA E. Fault-Tolerant Design[M]. New York: Springer, 2013: 185. doi: 10.1007/978-1-4614-2113-9.
    [14] CHOUDHARY G, PAL S, KUNDU D, et al. Transport-free module binding for sample preparation using microfluidic fully programmable valve arrays[C]. 2020 Design, Automation & Test in Europe Conference & Exhibition, Grenoble, France, 2020: 1335–1338. doi: 10.23919/DATE48585.2020.9116370.
    [15] KUNDU D, GIRI J, MARUYAMA S, et al. Fluid-to-cell assignment and fluid loading on programmable microfluidic devices for bioprotocol execution[J]. Integration, 2021, 78: 95–109. doi: 10.1016/j.vlsi.2020.12.004.
    [16] SU Y S, HO T Y, and LEE D T. A routability-driven flow routing algorithm for programmable microfluidic devices[C]. 2016 21st Asia and South Pacific Design Automation Conference, Macao, China, 2016: 605–610. doi: 10.1109/ASPDAC.2016.7428078.
    [17] LAI Guanru, LIN Chunyu, and HO T Y. Pump-aware flow routing algorithm for programmable microfluidic devices[C]. 2018 Design, Automation & Test in Europe Conference & Exhibition, Dresden, Germany, 2018: 1405–1410. doi: 10.23919/DATE.2018.8342232.
    [18] YING Shuaijie, ROY S, HUANG J D, et al. Design for restricted-area and fast dilution using programmable microfluidic device based Lab-on-a-Chip[C]. 2021 24th Euromicro Conference on Digital System Design, Palermo, Italy, 2021: 488–494. doi: 10.1109/DSD53832.2021.00079.
    [19] GRIMMER A, KLEPIC B, HO T Y, et al. Sound valve-control for programmable microfluidic devices[C]. 2018 23rd Asia and South Pacific Design Automation Conference, Jeju, Korea (South), 2018: 40–45. doi: 10.1109/ASPDAC.2018.8297280.
    [20] LIN Y H, HO T Y, LI Bing, et al. Block-flushing: A block-based washing algorithm for programmable microfluidic devices[C]. 2019 Design, Automation & Test in Europe Conference & Exhibition, Florence, Italy, 2019: 1531–1536. doi: 10.23919/DATE.2019.8715125.
    [21] YU H C, LIN Y H, CHEN Zhiyang, et al. Contamination-aware synthesis for programmable microfluidic devices[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022, 41(11): 5016–5029. doi: 10.1109/TCAD.2021.3134892.
    [22] DATTA P, CHAKRABORTY A, and PAL R K. Design optimization for programmable microfluidic devices integrating contamination removal and capacity-wastage-aware washing[J]. IETE Journal of Research, 2020, 66(6): 781–796. doi: 10.1080/03772063.2020.1811784.
    [23] LIANG Siyuan, LI Mengchu, TSENG T M, et al. CoMUX: Combinatorial-coding-based high-performance microfluidic control multiplexer design[C]. 2022 IEEE/ACM International Conference on Computer Aided Design, San Diego, USA, 2022: 1–9.
    [24] HUANG Xing, CAI Huayang, GUO Wenzhong, et al. Control-logic synthesis of fully programmable valve array using reinforcement learning[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2024, 43(1): 277–290. doi: 10.1109/TCAD.2023.3309740.
    [25] CAI Huayang, LIU Genggeng, GUO Wenzhong, et al. Adaptive control-logic routing for fully programmable valve array biochips using deep reinforcement learning[C]. 2024 29th Asia and South Pacific Design Automation Conference, Incheon, Korea, 2024: 564–569. doi: 10.1109/ASP-DAC58780.2024.10473962.
    [26] LIU Chunfeng, LI Bing, BHATTACHARYA B B, et al. Testing microfluidic fully programmable valve arrays (FPVAs)[C]. Design, Automation & Test in Europe Conference & Exhibition, Lausanne, Switzerland, 2017: 91–96. doi: 10.23919/DATE.2017.7926964.
    [27] LIU Chunfeng, LI Bing, BHATTACHARYA B B, et al. Test generation for microfluidic fully programmable valve arrays (FPVAs) with heuristic acceleration[C]. 2018 International Conference on IC Design & Technology, Otranto, Italy, 2018: 97–100. doi: 10.1109/ICICDT.2018.8399765.
    [28] LIU Chunfeng, LI Bing, BHATTACHARYA B B, et al. Test generation for flow-based microfluidic biochips with general architectures[J]. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020, 39(10): 2530–2543. doi: 10.1109/TCAD.2019.2948904.
    [29] BERNARDINI A, LIU Chunfeng, LI Bing, et al. Efficient spanning-tree-based test pattern generation for programmable microfluidic devices[J]. Microelectronics Journal, 2018, 79: 38–45. doi: 10.1016/j.mejo.2018.06.011.
    [30] BERNARDINI A, LIU Chunfeng, LI Bing, et al. Fault localization in programmable microfluidic devices[C]. 2019 Design, Automation & Test in Europe Conference & Exhibition, Florence, Italy, 2019: 1607–1610. doi: 10.23919/DATE.2019.8715023.
    [31] LIU Genggeng, ZENG Yuqin, ZHU Yuhan, et al. Towards automated testing of multiplexers in fully programmable valve array biochips[C]. 2024 29th Asia and South Pacific Design Automation Conference, Incheon, Korea, 2024: 570–575. doi: 10.1109/ASP-DAC58780.2024.10473918.
    [32] LIU Genggeng, ZHU Yuhan, GUO Wenzhong, et al. Fault-tolerance-oriented physical design for fully programmable valve array biochips[C]. 2023 60th ACM/IEEE Design Automation Conference, San Francisco, USA, 2023: 1–6. doi: 10.1109/DAC56929.2023.10247720.
    [33] HUANG Xing, GUO Wenzhong, CHEN Zhisheng, et al. Flow-based microfluidic biochips with distributed channel storage: Synthesis, physical design, and wash optimization[J]. IEEE Transactions on Computers, 2022, 71(2): 464–478. doi: 10.1109/TC.2021.3054689.
  • 加载中
图(5) / 表(5)
计量
  • 文章访问数:  176
  • HTML全文浏览量:  97
  • PDF下载量:  26
  • 被引次数: 0
出版历程
  • 收稿日期:  2024-01-24
  • 修回日期:  2024-09-04
  • 网络出版日期:  2024-09-17
  • 刊出日期:  2024-11-01

目录

/

返回文章
返回