国家重点基础研究发展计划(2011CB933202) 作品数:13 被引量:25 H指数:3 相关作者: 蔡新霞 杨海钢 崔秀海 张茉莉 罗金平 更多>> 相关机构: 中国科学院电子学研究所 中国科学院研究生院 中国科学院大学 更多>> 发文基金: 国家重点基础研究发展计划 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 电子电信 机械工程 一般工业技术 更多>>
面向算术单元的FPGA工艺映射算法 被引量:1 2012年 本文提出了一种针对算术单元的FPGA工艺映射算法ArithM.实验结果表明,与公认ABC中的黑盒子映射算法相比,本文算法能平均减少逻辑单元面积7%,减少电路关键路径延时5%.ArithM采用了单元共享、平衡算术链以及吸收邻近节点三种方法来优化算术资源. 路宝珠 杨海钢 郝亚男 张茉莉 崔秀海关键词:FPGA 工艺映射 A Portable Instrument for Rapid Field Test of E. coli Based on Bioluminescent Magnetic Immunoassay 2012年 王蜜霞 罗金平 刘晓红 蔡新霞关键词:纳料材料 一种新型水质细菌总数快速检测仪的研制 被引量:4 2014年 为实现自然水细菌总数快速检测的需求,基于三磷酸腺苷(ATP)生物发光法,研制了K2010型水质细菌总数快速检测仪。采用研制的快速检测仪分别对大肠杆菌标准品和太湖水实际样品进行了检测。此检测仪集成高精度AD转换器件,以小型光电倍增管(PMT)为光电转换器件,通过合理的电路、光路设计,结合实验室的自制试剂,实现了对自然水环境中细菌总数的快速检测;并可以通过GPS模块进行定位,将位置信息和检测结果通过GPRS模块传到远程终端。对大肠杆菌标准品进行检测的结果表明,在4.6×101~4.67×107CFU/mL范围内,相关性达到0.9515,检测下限达到46CFU/mL,满足水质细菌总数检测需求。针对自然水环境检测的需求,对3种不同的水处理方法进行了比较分析,在此基础上分别在夏季和冬季对太湖水进行了采样和检测。结果表明,夏季,采集到23个样本,与国标法对比发现,在102—105CFU/mL浓度范围内两者相关系数R一0.9169;冬季采集到40个样本,水中细菌浓度较低(在101~104CFU/mL之间)。检测结果说明,研制的K2010检测仪能正确区分富营养水质和贫、中营养水质,且检测速度快,准确度较高,重复性良好,可在水环境监测中用于水质细菌的快速筛查。 刘军涛 罗金平 高嘉乐 刘晓红 蔡新霞关键词:细菌总数 生物发光 一种透皮无创血糖检测系统的设计与实验验证 被引量:4 2010年 介绍了一种基于反离子电渗方法的非侵入式血糖监测系统。该系统通过集成恒电流源和双恒电势仪电路,配合高灵敏度介体酶传感器,实现了反离子电渗抽取和抽取至体表葡萄糖的检测。并且通过良好的降噪和提升采样精度的设计,有效提高了测量的准确性。根据所检测的葡萄糖浓度与组织液葡萄糖浓度以及血糖浓度间相对稳定的对应关系,本系统可以自动计算出血糖浓度。经过动物实验验证:该无创血糖监测系统经过一次有创校准后能够实现血糖监测。对比常规的有创测量方法,在动物血糖自然变化状态下,该系统的监测结果能够很好地反映出血糖的平均浓度值;在人为干预动物血糖浓度的情况下,该系统的监测结果能够较好地反映出血糖的变化趋势。 肖宏辉 常凌乾 杨庆德 贺银增 蔡新霞关键词:血糖 无创测量 改进的基于属性不变量生成和数学归纳法的时序逻辑优化算法 被引量:1 2012年 为了在时序逻辑综合中使电路面积和关键路径延迟同时得到快速优化,提出一种改进的基于假设后验证的时序优化算法.在位并行随机模拟提取候选属性不变量之前,利用寄存器共享来降低初始候选不变量数目,以减少SAT程序的频繁调用;然后利用推测化简模型和改进的数学归纳法将基本条件和归纳步骤合并处理,有效地降低了电路规模和关键路径延迟,同时提高了算法运行速度.实验数据表明,文中算法使寄存器和节点规模平均下降41%和48%,关键路径延迟减小30%;与同类方法相比,该算法运行时间平均下降17%. 郝亚男 杨海钢 路宝珠 崔秀海 张茉莉基于冗余寄存器分类的时序网络面积优化算法 2012年 本文根据时序网络中存在冗余的特点,提出将冗余寄存器分为三类:在所有可达状态空间输出端逻辑值恒为常数的寄存器、输入端相同的寄存器和对原始输出端逻辑值无影响的寄存器;并提出了一种基于AIGs(And-In-verter Graphs)的移除冗余寄存器的面积优化算法.将三值模拟、寄存器共享和COI(Cone of Influence)化简三种方法结合实现冗余寄存器的消除,达到减少寄存器数和节点数,优化时序网络面积的目的.实验结果表明,本算法可以使寄存器规模平均下降23%,节点数平均减少26%. 郝亚男 杨海钢关键词:COI 面积优化 聚吡咯氧化石墨烯修饰的神经微电极阵列 被引量:2 2015年 利用电化学方法,在多通道神经微电极阵列芯片上制备聚吡咯氧化石墨烯薄膜材料,并对该材料的电化学行为进行了分析。对神经微电极阵列芯片采用计时电压法探究,确定了定向修饰聚吡咯氧化石墨烯薄膜的最佳电沉积条件。微电极阵列芯片为多通道实时检测神经细胞的电生理和电化学信号提供了一种新的器件,但其检测灵敏度、信噪比需进一步的提高。将聚吡咯氧化石墨烯的平面微电极阻抗值降低了92.1%,且提高了对多巴胺循环伏安响应的灵敏度,对神经电生理信号和电化学信号的检测具有重要意义。 王力 蒋庭君 石文韬 宋轶琳 徐声伟 蔡新霞关键词:电沉积 阻抗 神经电生理微电极阵列检测系统研制 被引量:8 2011年 该文设计了基于微电极阵列的16通道神经电生理信号检测系统。检测系统由硬件和软件两部分组成,其中硬件部分可分为以下3个模块:微电极阵列接口模块,用于实现微电极阵列和检测系统的可靠连接;多通道信号放大模块,用于对微弱电生理信号进行提取并放大至合适的幅度;数据采集模块,对放大后的电生理信号进行高速数据采集并通过USB2.0接口和计算机相连。软件部分采用多线程、多缓存等技术保证对信号的实时观测和分析。对检测系统的主要参数进行了测试,并结合实验室自制神经微电极阵列对SD大鼠海马区脑切片进行神经电生理信号的检测。系统的输入噪声Vrms<2μV,放大倍数为1000倍,频率带宽范围为10~3000 Hz,并且能够检测到放电幅度为20μV左右的神经电生理信号。该文针对微电极阵列神经电生理信号检测中的技术难点,从硬件和软件设计上保证微弱信号的提取,检测系统的分辨率可达0.6μV,各项参数能够满足神经电生理信号的检测需要。 林楠森 宋轶琳 刘春秀 蔡新霞关键词:微电极阵列 基于FPGA的三通道高精度光学检测仪 2013年 为了实现微弱光信号的快速高精度检测,设计了一种基于FPGA的三通道高精度光学检测仪。该仪表利用灵敏度极高的光电转换模块作为感光元件,将光强信号转换为数字脉冲信号,之后利用FPGA对脉冲信号进行高频计数,通过脉冲频率反映光的强弱。在FPGA内部构建了NIOS II作为整个仪表的控制核心,并移植了μC/OS-II操作系统,实现对键盘、液晶、步进电机等模块的控制功能。系统采用了三通道设计,可以同时测量三种不同待测试剂,且三通道间相互干扰小,一致性好,系统噪声低,大大提高了检测效率。在实际发光检测应用中,该仪表灵敏度高,线性度好,检测时间短,成为现场快速光学检测的有效工具。 王彬 刘军涛 王蜜霞 罗金平 曲书雪 蔡新霞关键词:光子计数 现场可编程逻辑阵列 针对递归函数的高级综合编译优化算法 被引量:2 2013年 为了消除高级综合中的递归函数调用,提出一种基于函数调用图(FCG)和分支决策的编译优化算法.首先在LLVM编译器架构下给出FCG的中间结构,将递归调用转换为非递归函数的嵌套调用,然后借助决策树的构造规则去除函数体中的分支判断及未调用的子支,最后采用子函数复用、资源预评估的方法控制实现电路的规模.实验结果表明,与内联展开算法RecursionHW相比,采用该算法综合后的逻辑单元数平均减少63%,时钟频率平均提高3.2倍,并且高级综合的总时长随递归深度的增大而呈指数级减少. 张茉莉 杨海钢 刘峰 黄娟 崔秀海关键词:递归函数 函数调用图 决策树