检索结果-南通市图书馆

面向SoC系统芯片中跨时钟域设计的模型检验方法

在线全文

学校读者我要写书评

暂无评论

电子学报 2008年第5期36卷 886-892页

作者：冯毅易江芳刘丹佟冬程旭北京大学微处理器研究与开发中心北京100871

传统方法无法在RTL验证阶段全面验证SoC系统芯片中的跨时钟域设计.为解决此问题,本文首先提出描述亚稳态现象的等价电路实现,用以在RTL验证中准确体现亚稳态现象的实际影响;然后使用线性时序逻辑对跨时钟域设计进行设计规范的描述;为缓... 详细信息

传统方法无法在RTL验证阶段全面验证SoC系统芯片中的跨时钟域设计.为解决此问题,本文首先提出描述亚稳态现象的等价电路实现,用以在RTL验证中准确体现亚稳态现象的实际影响;然后使用线性时序逻辑对跨时钟域设计进行设计规范的描述;为缓解模型检验的空间爆炸问题,进一步针对跨时钟域设计的特点提出基于输入信号的迁移关系分组策略和基于数学归纳的优化策略.实验结果表明本文提出的方法不仅可以在RTL验证阶段有效地发现跨时钟域设计的功能错误,而且可以使验证时间随实验用例中寄存器数量的递增趋势从近似指数级增长减小到近似多项式级增长.

关键词：形式化验证模型检验跨时钟域设计线性时序逻辑

硫化氢对Aβ_(25-35)诱导的小鼠Neuro-2a细胞自噬的影响

在线全文

学校读者我要写书评

暂无评论

第二军医大学学报 2016年第7期37卷 852-857页

作者：高丹柯莉赵丰丽乔沛丰晏勇重庆医科大学附属第一医院神经内科重庆400016

目的探讨硫化氢(H2S)对Aβ25-35诱导的小鼠成神经细胞瘤细胞Neuro-2a自噬的影响及其潜在机制。方法将Neuro-2a细胞随机分为空白对照组、Aβ25-35处理组、Aβ25-35+NaHS组、Aβ25-35+3-甲基腺嘌呤(3-MA)组、NaHS组及Aβ25-35+NaHS+LY294... 详细信息

目的探讨硫化氢(H2S)对Aβ25-35诱导的小鼠成神经细胞瘤细胞Neuro-2a自噬的影响及其潜在机制。方法将Neuro-2a细胞随机分为空白对照组、Aβ25-35处理组、Aβ25-35+NaHS组、Aβ25-35+3-甲基腺嘌呤(3-MA)组、NaHS组及Aβ25-35+NaHS+LY294002组。Aβ25-35+NaHS组和Aβ25-35+3-MA组细胞分别用NaHS和3-MA预处理2h后均加用Aβ25-35继续处理24h;Aβ25-35+NaHS+LY294002组除加入NaHS预处理外需在Aβ25-35处理前0.5h加入特异性PI3K/Akt通路抑制剂LY294002。采用MTT法观察各组细胞存活率,蛋白质印迹法检测自噬蛋白Beclin-1、微管相关蛋白(LC3)及P62的表达,免疫荧光法检测LC3的表达及分布,透射电镜法观察自噬体的形成。结果 (1)与空白对照组相比,Aβ25-35作用细胞后细胞存活率降低(P<0.05),Beclin-1及LC3-Ⅱ表达增加,P62表达降低(P<0.05),荧光显微镜及电镜下可见细胞自噬体明显增多。(2)与Aβ25-35组相比,Aβ25-35+3-MA组和Aβ25-35+NaHS组细胞存活率均增高(P<0.05),Beclin-1及LC3-Ⅱ表达降低,P62表达增高(P<0.05),自噬体减少。(3)Aβ25-35+NaHS组p-Akt和p-mTOR的表达高于Aβ25-35组(P<0.05),而加入LY294002后,Aβ25-35+NaHS+LY294002组细胞p-Akt和p-mTOR表达与Aβ25-35+NaHS组相比降低(P<0.05)。结论外源性H2S能对抗Aβ25-35的细胞毒性,可能与活化PI3K/Akt/mTOR途径抑制Aβ25-35引起的细胞自噬相关。

关键词：阿尔茨海默病硫化氢自噬 β淀粉样蛋白 PI3K/Akt/mTOR通路

在线全文

学校读者我要写书评

暂无评论

莜麦及莜麦醋的营养成分分析

中国调味品 2016年第5期41卷 8-10,15页

作者：杨丹丹于海峰齐鲁工业大学食品科学与工程学院济南250353

对莜麦醋及莜麦中的营养成分进行了分析测定。结果表明:莜麦醋与莜麦中分别含灰分2.51%,1.32%,还原糖2.53%,0.77%,总糖2.87%,1.04%,蛋白质5.02%,12.59%,氨基酸2.08%,10.02%,Ca 142.34%,78.88%,Mn 4.94%,4.23%,Zn 2.85%,2.49%,Fe 15.20%,40.15%,P 404.02%,210.30%,Mg 169.99%,77.74%,且莜麦醋中还含有川芎嗪23.03mg/L。可见经传统的固态酿造过程,莜麦中大部分的营养成分都进入到了莜麦醋中。莜麦醋营养丰富,市场开发前景良好。

关键词：莜麦莜麦醋营养成分分析

在线全文

学校读者我要写书评

暂无评论

基于属性关系图的同名实体区分算法

计算机工程与科学 2010年第9期32卷 61-64页

作者：郝丹丹郭景峰郑超燕山大学信息科学与工程学院河北秦皇岛066004

同名问题在大规模的数据库或者数字化图书馆中普遍存在,且困扰着许多研究课题。本文首先提出一种新的图结构——属性关系图(ARG)形象地刻画实体特征及实体间的联系,并给出一种基于属性关系图框架的同名区分算法ARG-Resolution,对共享同... 详细信息

同名问题在大规模的数据库或者数字化图书馆中普遍存在,且困扰着许多研究课题。本文首先提出一种新的图结构——属性关系图(ARG)形象地刻画实体特征及实体间的联系,并给出一种基于属性关系图框架的同名区分算法ARG-Resolution,对共享同一名字的作者进行分析,根据他们之间的相似度将其聚类,最终得到对应真正实体的各个结果聚类。实验证明挖掘作者间的潜在连接进一步提高了同名区分的质量,成功解决了同名问题。

关键词：同名属性链接相似性层次聚类

在线全文

学校读者我要写书评

暂无评论

低频检波器频谱补偿算法建模及仿真

地球物理学报 2017年第11期60卷 4321-4326页

作者：邢雪峰孙丹陈玉达徐洋林君地球信息探测仪器教育部重点实验室长春130026 吉林大学仪器科学与电气工程学院长春130026

采用数值仿真的方法建立了动圈式检波器的仿真模型,推导检波器传递函数,通过对实际动圈式检波器频率特性的测试,验证了动圈式检波器数值仿真模型的正确性,分析动圈检波器频率响应特性,分别对动圈式检波器的自然频率、灵敏度、阻尼比进... 详细信息

采用数值仿真的方法建立了动圈式检波器的仿真模型,推导检波器传递函数,通过对实际动圈式检波器频率特性的测试,验证了动圈式检波器数值仿真模型的正确性,分析动圈检波器频率响应特性,分别对动圈式检波器的自然频率、灵敏度、阻尼比进行仿真,对不同自然频率、灵敏度、阻尼比对检波器输出频率特性的影响进行了分析,使用二阶二次型反馈补偿方法,设计检波器低频补偿结构,结果表明:数值仿真模型与实际检波器的频率响应一致,补偿结构使检波器自然频率由2 Hz降低至0.2 Hz.

关键词：低频检波器传递函数频率响应反馈补偿

在线全文

学校读者我要写书评

暂无评论

ZnO纳米晶的面催化活性特性研究

人工晶体学报 2011年第4期40卷 1017-1021页

作者：郭莉王丹军闫龙付峰强小丹刘启瑞延安大学化学与化工学院陕西省化学反应工程重点实验室延安716000 榆林学院化学与化工学院榆林719000

以Zn(NO3)2和NaOH为起始原料,采用溶剂热法合成了片状和柱状纳米ZnO。采用XRD、XPS、FE-SEM、BET等对样品的形貌、组成和结构进行了表征。以罗丹明B作为模型污染物来评价其光催化性能,讨论了ZnO的形貌对其活性的影响。结果表明,片状纳米... 详细信息

以Zn(NO3)2和NaOH为起始原料,采用溶剂热法合成了片状和柱状纳米ZnO。采用XRD、XPS、FE-SEM、BET等对样品的形貌、组成和结构进行了表征。以罗丹明B作为模型污染物来评价其光催化性能,讨论了ZnO的形貌对其活性的影响。结果表明,片状纳米ZnO具有较高的(0001)活性面比例,表现出较高的光催化活性。

关键词：溶剂热法纳米ZnO 光催化活性活性面

在线全文

学校读者我要写书评

暂无评论

网络控制系统中混合调度算法的研究

计算机工程 2008年第24期34卷 94-95,99页

作者：陈丹丹夏立王海峰海军工程大学电气与信息工程学院武汉430033 海军91663部队装备质量控制室青岛266011

网络控制系统的性能与信息调度有关,而以往的调度算法大多把时间属性作为确立优先级的依据,无法反映出消息的重要性。该文在最大误差优先算法的基础上,提出以最大优先变化为主,越长时间越低优先级为辅的混合调度算法,丰富了优先级的确... 详细信息

网络控制系统的性能与信息调度有关,而以往的调度算法大多把时间属性作为确立优先级的依据,无法反映出消息的重要性。该文在最大误差优先算法的基础上,提出以最大优先变化为主,越长时间越低优先级为辅的混合调度算法,丰富了优先级的确立依据。仿真实验结果表明,该混合调度算法能够有效提高控制系统的整体性能。

关键词：网络调度网络控制系统混合调度

在线全文

学校读者我要写书评

暂无评论

微纳米气泡强化水处理研究进展

应用化工 2023年第5期52卷 1454-1459页

作者：王丹丹程凯郭冀峰长安大学水利与环境学院旱区地下水文与生态效应教育部重点实验室陕西西安710054

综述了微纳米气泡在强化污废水处理和地表水处理方面的研究进展,包括其对臭氧化技术,光催化技术,气浮技术的强化以及对微生物活性的增强和水体富营养化缓解。为目前微纳米气泡技术在水处理工程中的应用进行总结,并对未来微纳米气泡技术... 详细信息

综述了微纳米气泡在强化污废水处理和地表水处理方面的研究进展,包括其对臭氧化技术,光催化技术,气浮技术的强化以及对微生物活性的增强和水体富营养化缓解。为目前微纳米气泡技术在水处理工程中的应用进行总结,并对未来微纳米气泡技术在水处理领域的研究前景进行展望,以期为微纳米气泡在水处理中的实际应用提供参考。

关键词：微纳米气泡强化污废水处理地表水处理

在线全文

学校读者我要写书评

暂无评论

木瓜抗氧化活性研究

食品工业科技 2014年第15期35卷 130-133页

作者：张丹李丹朱小峰康文艺河南大学天然药物研究所河南开封475004

采用DPPH法、ABTS法和FRAP法三种测定法对木瓜叶和木瓜果实体外抗氧化活性进行综合评价,并分析其总多酚与总黄酮含量与抗氧化活性的关系。结果表明:木瓜6个提取物中,木瓜叶乙酸乙酯部位清除ABTS自由基及还原Fe3+(IC50=6.66μg/mL,TEAC=1... 详细信息

采用DPPH法、ABTS法和FRAP法三种测定法对木瓜叶和木瓜果实体外抗氧化活性进行综合评价,并分析其总多酚与总黄酮含量与抗氧化活性的关系。结果表明:木瓜6个提取物中,木瓜叶乙酸乙酯部位清除ABTS自由基及还原Fe3+(IC50=6.66μg/mL,TEAC=1293.25μmol/g)最强,其中,清除ABTS自由基活性和阳性对照BHT(IC50=6.56μg/mL)相当,还原Fe3+能力低于BHT(TEAC=2503.17μmol/g);木瓜果实乙酸乙酯部位清除DPPH自由基(IC50=48.99μg/mL)能力最强,弱于阳性对照BHT(IC50=24.49μg/mL)。木瓜叶乙酸乙酯部位清除ABTS自由基及还原Fe3+的能力可能与其多酚、黄酮含量高有关,木瓜果实乙酸乙酯部位清除DPPH自由基的能力可能也与其多酚、黄酮含量高有关。

关键词：木瓜抗氧化活性总多酚总黄酮