检索结果-南通市图书馆

面向处理器功能验证的硬件化System Verilog断言设计

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2024年第6期61卷 1436-1449页

作者：张子卿石侃徐烁翔王梁辉包云岗处理器芯片全国重点实验室(中国科学院计算技术研究所) 北京100190 中国科学院大学计算机科学与技术学院北京100049 上海科技大学信息科学与技术学院上海201210 中国科学技术大学计算机科学与技术学院合肥230027

功能验证在处理器芯片开发流程中所占用的时间超过70%,因此优化提升功能验证环节的效率非常必要.软件仿真等传统验证方法提供了包括断言等多种验证机制,以提升验证的细粒度可见性和自检查能力,但是软件仿真运行速度较慢,在高效性方面有... 详细信息

功能验证在处理器芯片开发流程中所占用的时间超过70%,因此优化提升功能验证环节的效率非常必要.软件仿真等传统验证方法提供了包括断言等多种验证机制,以提升验证的细粒度可见性和自检查能力,但是软件仿真运行速度较慢,在高效性方面有明显不足.基于FPGA的硬件原型验证方法能极大地加速验证性能,但其调试能力较弱,虽能快速发现漏洞,但难以定位漏洞出现的具体位置和根本原因,存在有效性不足难题.为同时解决上述功能验证有效性与高效性的问题,提出一种将不可综合的断言语言SVA(SystemVerilog Assertion)自动转换成逻辑等效但可综合的RTL电路的方法,聚焦于断言这一类对设计进行非全局建模、纵向贯穿各抽象层级的验证方式,对基于全局指令集架构(instruction set architecture,ISA)模型的验证能力进行补足.同时,结合FPGA细粒度并行化、高度可扩展的优势,对处理器的验证过程进行硬件加速,提升了处理器的开发效率.实现了一个端到端的硬件断言平台,集成对SVA进行硬件化的完整工具链,并统计运行在FPGA上的硬件化断言的触发和覆盖率情况.实验表明,和软件仿真相比,所提方法能取得超过2万倍的验证效率提升.

关键词：断言处理器验证硬件仿真现场可编程逻辑门阵列原型验证

在线全文

学校读者我要写书评

暂无评论

秋白反对文化侵略思想的软实力价值

文化软实力 2024年第1期9卷 82-90页

作者：许琳琳张子青新疆大学马克思主义学院新疆大学历史学院

“文化侵略”这一概念,最早由瞿秋白在《前锋》杂志第一期中提出。这一概念一经提出在近代思想界引起诸多反响。瞿秋白反帝国主义文化侵略思想的形成源于他对唯物史观的实践、对列宁帝国主义理论的理解以及近代国内民族主义思潮的影响... 详细信息

“文化侵略”这一概念,最早由瞿秋白在《前锋》杂志第一期中提出。这一概念一经提出在近代思想界引起诸多反响。瞿秋白反帝国主义文化侵略思想的形成源于他对唯物史观的实践、对列宁帝国主义理论的理解以及近代国内民族主义思潮的影响。其主要内容包括帝国主义文化入侵的手段、危害性和应对策略。进入21世纪,我国与新帝国主义在意识形态领域的斗争仍旧激烈。瞿秋白的反帝国主义文化侵略思想为我们认清西方国家嬉变的文化霸权逻辑提供了思路,准确把握内蕴其中的理论逻辑,能够有助于我们增强中华民族凝聚力、提升中华文化影响力。

关键词：瞿秋白文化侵略文化帝国主义人类命运共同体

电荷迁移方向调控的BiVO_(4)量子点/苝四羧酸Z型异质结与纳米金修饰在人工光合成H_(2)O_(2)中的协同作用

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Catalysis 2024年第7期62卷 277-286页

作者：梁腾李雨彤徐帅姚宇欣许荣萍边辑张紫晴井立强黑龙江大学化学化工与材料学院功能无机材料化学教育部重点实验室催化技术国际联合研究中心实验室黑龙江哈尔滨150080

利用太阳能驱动的半导体光催化技术将H_(2)O和O_(2)转化为H_(2)O_(2),是传统蒽醌工艺的可持续替代方案之一.在光催化O_(2)还原生产H_(2)O_(2)的过程中,主要涉及到O_(2)的还原和H_(2)O的氧化两个半反应.然而,单一的窄带隙半导体往往难以... 详细信息

利用太阳能驱动的半导体光催化技术将H_(2)O和O_(2)转化为H_(2)O_(2),是传统蒽醌工艺的可持续替代方案之一.在光催化O_(2)还原生产H_(2)O_(2)的过程中,主要涉及到O_(2)的还原和H_(2)O的氧化两个半反应.然而,单一的窄带隙半导体往往难以满足整体反应的热力学电位要求.为了克服这一挑战,研究人员借鉴自然光合作用的原理,提出了构建Z型异质结体系的策略.这种体系不仅能有效促进电荷的分离,从而增强光催化效率,而且能保留光生电荷较强的氧化还原能力,这对于H_(2)O_(2)的光合成至关重要.此外,O_(2)的活化对于H_(2)O_(2)光合成同样重要.然而,目前在构建Z型异质结时,对于Z型异质结的两组分自身电荷传输方向的匹配性鲜有关注.因此,构建具有电荷定向传输的Z型异质结,并精准负载O_(2)活化位点,对于提高H_(2)O_(2)的光合成效率和稳定性具有重要意义.本文以苝-3,4,9,10-四羧酸二酐(PTCDA)为前驱体,在水解的过程中,引入预制备的钒酸铋量子点(BQD),原位构建BQD/PTA Z型异质结.然后,通过低温辅助光还原策略将纳米Au精确修饰在苝四甲酸(PTA)上,制得具有定向电荷传输的BQD/PTA-Au Z型异质结.形貌表征结果表明,PTA的形态为平均厚度为3.5 nm的不规则纳米片,其表面均匀负载了直径约为7 nm的BQD纳米颗粒,而超小的Au纳米粒子(直径约为5 nm)则负载在PTA纳米片的边缘.优化后的BQD/PTA-Au异质结光催化H_(2)O_(2)产率为218.6μmol g^(-1)h^(-1),约为PTA纳米片的6.4倍;此外,在405 nm波长下,该异质结的表观量子产率为PTA的4.8倍.在模拟太阳光条件下,BQD/PTA-Au异质结的太阳能到化学能转换效率(SCC)为0.47%;且在连续5次的循环实验中表现出良好的稳定性.光物理和光化学测试结果表明,BQD/PTA Z型异质结的构建显著促进了PTA的电荷分离,Au修饰后复合体的电荷分离进一步增强.扫描开尔文探针(SKP)测试结果表明,BQD和PTA的能带结构满足Z型电荷传输路径,电子顺磁共振和原位X射线光电子能谱分析结果表明,所构建的Z型异质结由于电荷传输方向匹配,显著促进·O_(2)-自由基的形成;而后续的Au修饰则能够定向接受来自PTA的光生电子.旋转圆盘电极测试结果表明,BQD/PTA-Au的平均电子转移数最接近2,说明其遵循两电子氧还原反应(ORR)路径.结合物种捕获实验推测,·O_(2)-自由基是BQD/PTA-Au异质结光合成H_(2)O_(2)的主要活性物种.原位漫反射红外光谱测试证实,纳米Au修饰可进一步提高O_(2)在催化剂表面吸附,并加速两电子的O_(2)还原反应.综上,本文围绕着具有各向异性电荷迁移的PTA,设计构建了电荷定向迁移的Z型异质结体系,实现了高效的H_(2)O_(2)光合成,为高效Z型异质结体系设计构建提供了新思路.

关键词： Z型异质结苝四甲酸 BiVO_(4)量子点 H_(2)O_(2)光合成氧还原

Gully internal erosion triggered by a prolonged heavy rainfall event in the tableland region of China's Loess Plateau

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

International Soil and Water Conservation Research 2023年第4期11卷 610-621页

作者： Jiaxi Wang Yan zhang Kunheng Li ziqing zhang Chang Chen College of Soil and Water Conservation Beijing Forestry University Beijing 100083China Forest Ecosystem Studies National Observation and Research StationJixianShanxi 042200China

Gully erosion is a severe form of soil erosion,but gully internal erosion processes are poorly understood,especially at the event *** investigate gully internal erosion intensity and understand the related gully development mechanism in an agricultural environment with gully head stabilization and vege-tation restoration efforts,two successive field investigations were carried out just before and after a prolonged rainfall event in 2021 in the tableland region of China's Loess *** gullies were investigated and all experienced gully internal erosion,while most gully boundaries were stable during the heavy rainfall event based on the comparison of the UAV digital orthograph maps(DOMs acquired with Unmanned Aerial Vehicle)before and after the rainfall *** proportion of gully internal erosion area to gully internal area of the 13 investigated gullies ranged from 3 to 55%,with average areal erosion proportion of the gully sidewall and gully bed of 21%and 36%,*** erosion area of subdrainage units(SDUs)on the gully sidewall was positively correlated to the SDU area,average SDU slope gradient and vegetation type,while the erosion area on the gully bed was positively correlated to the gully area,gully depth and gully bed slope *** internal erosion was not significantly correlated with gully drainage area because the connectivity between the upslope and gully areas was interrupted and the effective drainage area of the gully was obviously reduced by soil erosion conser-vation measures,including terraces on the upslope drainage area,shrub belts,and water ***,gully internal erosion is still active under the heavy rainfall storm against the background of the'Grain for Green'and'Gully Stabilization and Tableland Protection'programs,and integrated measures for preventing both gully expansion and gully internal erosion must be further enhanced in the context of climate change.

关键词： Gully erosion Mass movement Heavy storm Loess Soil andwater conservation measures

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

导向套不同表面处理工艺的耐蚀性研究

煤矿机械 2024年第3期45卷 44-47页

作者：张自强解恒阳张丽苹郑煤机智鼎液压有限公司郑州450000 郑州煤矿机械集团股份有限公司郑州450000

采用27SiMn材质导向套作为研究对象,研究了镀锌彩色钝化、镀铜、QPQ盐浴、镀锌军绿钝化等4种表面处理工艺在NASS中性盐雾试验、ASS酸性盐雾试验、SO_(2)腐蚀试验、H_(2)S腐蚀试验和HNO_(3)蒸汽腐蚀试验等单一人工模拟腐蚀环境中的抗腐... 详细信息

采用27SiMn材质导向套作为研究对象,研究了镀锌彩色钝化、镀铜、QPQ盐浴、镀锌军绿钝化等4种表面处理工艺在NASS中性盐雾试验、ASS酸性盐雾试验、SO_(2)腐蚀试验、H_(2)S腐蚀试验和HNO_(3)蒸汽腐蚀试验等单一人工模拟腐蚀环境中的抗腐蚀性能。4种表面处理技术在5种单一腐蚀环境中的耐腐蚀性差异较大,试验结果可为在煤矿工作面复杂多样的腐蚀工况下表面处理工艺的选取提供参考和测试方法。

关键词：导向套镀铜镀锌 QPQ 盐雾试验抗腐蚀

在线全文

学校读者我要写书评

暂无评论

Gm-柠檬酸联合植物对矿山污染土壤的修复

有色金属（冶炼部分） 2024年第8期 182-192页

作者：卢玢宇刘武张文龙刘超俊张子晴周仲魁李永强陈井影江西省地质环境与地下空间工程研究中心东华理工大学南昌330013 东华理工大学水资源与环境工程学院南昌330013

以典型铀矿山周边放射性核素污染土壤为研究对象,采用盆栽试验,分析螯合剂与丛枝菌根真菌联合植物对强化修复放射性污染土壤的影响,揭示螯合剂和丛枝菌根真菌联合植物修复污染土壤的特征。结果表明:施加柠檬酸(CA)与摩西球囊霉菌(Glomus... 详细信息

以典型铀矿山周边放射性核素污染土壤为研究对象,采用盆栽试验,分析螯合剂与丛枝菌根真菌联合植物对强化修复放射性污染土壤的影响,揭示螯合剂和丛枝菌根真菌联合植物修复污染土壤的特征。结果表明:施加柠檬酸(CA)与摩西球囊霉菌(Glomus mosseae,Gm)对黑麦草-空心菜间作模式下的生长、铀富集存在不同程度的促进作用,以二者联合处理效果最明显;联合修复不仅增强了植物地下部分对放射性核素的固定,同时也降低了土壤中有机质的浓度,增强了放射性核素的附着能力;根际土样、植物灰样的扫描电镜分析和能谱图显示,接种Gm或施加CA对植物修复起到积极作用,以联合修复效果最好。

关键词：放射性污染土壤修复植物间作螯合剂丛枝菌根真菌

经颈内静脉进行中心静脉置管的解剖研究及临床意义

在线全文

学校读者我要写书评

暂无评论

中国临床解剖学杂志 2024年第4期42卷 419-423页

作者：陈永正刘维周旭茹黎珂仰张功铭梁伟旭张钰瑞张子晴陈飞陈志国平顶山市中医医院影像科河南平顶山467000 新乡医学院基础医学院河南新乡453000 新乡医学院基础医学院大体形态学实验室河南新乡453000

目的测量颈内静脉穿刺置管长度及途经血管半径,为临床经颈内静脉进行中心静脉穿刺置管提供形态学依据。方法选取31具防腐成年大体标本,解剖静脉全程及其属支,确定穿刺入针点和置管终点,测量置管通路左、右侧入路点到各属支及终点的长度... 详细信息

目的测量颈内静脉穿刺置管长度及途经血管半径,为临床经颈内静脉进行中心静脉穿刺置管提供形态学依据。方法选取31具防腐成年大体标本,解剖静脉全程及其属支,确定穿刺入针点和置管终点,测量置管通路左、右侧入路点到各属支及终点的长度和血管压扁径,依据压扁径推算半径。结果左侧入路,至锁骨下静脉长度(20.47±9.08)mm;左右头臂静脉交汇处(91.17±14.12)mm;终点(148.27±17.25)mm。右侧入路,至锁骨下静脉长度(21.59±7.32)mm;左右头臂静脉交汇处(61.06±9.74)mm;终点(123.22±12.68)mm。左侧,颈内静脉半径(3.85±1.29)mm;锁骨下静脉(4.64±1.07)mm;头臂静脉(5.08±1.01)mm。右侧,锁骨下静脉半径(4.79±0.89)mm;颈内静脉(5.03±1.65)mm;头臂静脉(5.23±0.91)mm。上腔静脉半径(7.92±0.97)mm;奇静脉(4.16±1.21)mm。结论右侧入路行颈内静脉穿刺置管术优势大于左侧;左侧用长度20cm导管、右侧用长度15cm导管可基本满足临床需求。

关键词：中心静脉置管颈内静脉解剖

淮南矿区张集煤矿1410(3)工作面顶板风氧化带探查与评价

维普期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

煤炭技术 2024年第5期43卷 180-183页

作者：王康健翟晓荣唐明张子晴淮南矿业(集团)有限责任公司张集煤矿安徽淮南232001 安徽理工大学地球与环境学院安徽淮南232001

工作面顶板工程地质条件对工作面支架选型、围岩稳定性评价及安全回采具有重要理论与实际意义,以淮南矿区张集煤矿1410(3)上提工作面为研究对象,基于井下钻探探查工程,采用岩心鉴定与描述、X射线衍射分析等方法,开展了工作面顶板风氧化... 详细信息

工作面顶板工程地质条件对工作面支架选型、围岩稳定性评价及安全回采具有重要理论与实际意义,以淮南矿区张集煤矿1410(3)上提工作面为研究对象,基于井下钻探探查工程,采用岩心鉴定与描述、X射线衍射分析等方法,开展了工作面顶板风氧化带探查与评价,获得了工作面基岩风氧化带深度及风化程度。结果表明:工作面顶板30 m范围内岩石存在明显的风氧化现象,基岩风氧化带深度在28~35 m,基岩风氧化程度表现为中等风化-残积土,风氧化带岩石颜色以黄色为主,风化裂隙发育,岩体结构表现为块状-碎裂状-土状,岩石风化后矿物成分以高岭石、蒙脱石、伊利石及绿泥石为主,含量可达60%以上,风氧化带内岩石较正常岩石结构破碎,工程地质特性下降,研究结果可对下一步工作面顶板管理及回采上限确定提供依据和指导。

关键词：风氧化带风化程度 X射线衍射矿物成分

老年癌症患者病情告知偏好质性研究的Meta整合

在线全文

学校读者我要写书评

暂无评论

军事护理 2024年第3期41卷 96-100页

作者：贺晓宇张子晴杨丹胡磊龚霓暨南大学护理学院广东广州510630

目的全面了解老年癌症患者在被告知病情过程中的偏好,为医护人员在临床实践中对老年癌症患者的病情告知提供参考依据。方法计算机检索PubMed、Web of science、The Cochrane Library、Embase、EBSCO、中国知网、维普、万方等数据库中有... 详细信息

目的全面了解老年癌症患者在被告知病情过程中的偏好,为医护人员在临床实践中对老年癌症患者的病情告知提供参考依据。方法计算机检索PubMed、Web of science、The Cochrane Library、Embase、EBSCO、中国知网、维普、万方等数据库中有关老年癌症患者病情告知偏好的质性研究文献,检索时限为建库至2022年7月,采用JBI(Joanna Briggs Institute)质性研究质量评价工具进行文献质量评价,并对文献进行Meta整合。结果共纳入15项研究,将文献提取出的27个主题归纳成10个新的类别,综合成3个整合结果,即告知方式偏好;告知内容偏好;告知过程的支持偏好。结论医护人员及家属应重视老年癌症患者在病情告知过程中的多元化偏好,提供多方面的支持和帮助,从而有效提升老年癌症患者依从性、治疗效果与预后。

关键词：老年癌症病情告知偏好需求质性研究 Meta整合