检索结果-南通市图书馆

DBI-Go:动态插桩定位Go二进制的非法内存引用

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

软件学报 2024年第6期35卷 2585-2607页

作者：陈金宝张昱李清伟丁伯尧中国科学技术大学计算机科学与技术学院安徽合肥230026

Go语言,也称Golang,由于其语法简单、原生支持并发、自动内存管理等特性,近年受到很多开发者的欢迎.Go语言期望开发者不必了解变量或对象是分配在栈上还是在堆中,而由Go编译器的逃逸分析来决定分配位置,再由Go垃圾收集器自动回收无用的... 详细信息

Go语言,也称Golang,由于其语法简单、原生支持并发、自动内存管理等特性,近年受到很多开发者的欢迎.Go语言期望开发者不必了解变量或对象是分配在栈上还是在堆中,而由Go编译器的逃逸分析来决定分配位置,再由Go垃圾收集器自动回收无用的堆对象.Go的逃逸分析必须正确决定对象的分配位置以保证内存状态的正确性.然而,目前Go社区中逃逸相关问题频发,潜在导致程序崩溃等致命问题,而目前对该方面的研究缺失.为有效检测编译器生成的代码是否存在可能引起运行时崩溃的非法内存引用,填补研究空白,对Go程序执行进行抽象建模,并提出两条判定写入违例的规则.基于这两条规则,克服Go二进制中高层语义缺失、运行时信息不便获取等挑战,设计一个轻量化的分析工具***-Go采用静态分析加动态二进制插桩的分析方式,基于动态二进制分析框架Pin来实现,可以识别Go二进制中违例的store指令.实验结果表明,DBI-Go可以检测出Go社区中所有已知的逃逸相关Issues;DBI-Go还发现一个目前Go社区未知的问题,该问题已经得到确认.在实际项目上的应用则表明DBI-Go可以帮助开发人员找出逃逸算法的错误.测试结果还表明DBI-Go采取的措施可以有效降低误报率且在93.3%的情况下带来的额外运行时开销小于原先的2倍.同时,DBI-Go无需修改Go的编译运行时,可以适配不同版本的Go,有较高的适用性.

关键词：二进制分析动态二进制插桩静态分析 Go 编译器测试逃逸分析

老年宫颈癌患者癌组织与癌旁组织中HMGA2、KI67、miR-135a-5p表达及意义

在线全文

学校读者我要写书评

暂无评论

中国老年学杂志 2024年第20期 4924-4927页

作者：袁会娟杜春芳袁俊斋王源濮阳医学高等专科学校平顶山市第一人民医院妇产科

目的分析宫颈癌结构性转录因子高迁移率族蛋白(HMG)A2、细胞核相关抗原(KI67)、微小RNA(miR)-135a-5p在老年宫颈癌中表达及意义。方法选择行宫颈癌手术治疗患者55例，手术时切取其癌组织及相应的癌旁组织进行对比。采用免疫组化法测定... 详细信息

目的分析宫颈癌结构性转录因子高迁移率族蛋白(HMG)A2、细胞核相关抗原(KI67)、微小RNA(miR)-135a-5p在老年宫颈癌中表达及意义。方法选择行宫颈癌手术治疗患者55例，手术时切取其癌组织及相应的癌旁组织进行对比。采用免疫组化法测定HMGA2、KI67、miR-135a-5p表达并分析其表达与老年宫颈癌的关系。结果与癌旁组相比，宫颈癌组血清HMGA2、KI67表达显著升高，miR-135a-5p表达显著降低(P0.05)。老年宫颈癌组织HMGA2、KI67、miR-135a-5p表达与国际妇产科联盟(FIGO)分期、分化程度、浸润程度、淋巴结转移、脉管癌栓均有统计学差异(P<0.05)。老年宫颈癌组织HMGA2、KI67表达呈正相关(r=0.528,P=0.001),KI67、miR-135a-5p表达呈负相关(r=-0.631,P=0.001),HMGA2、miR-135a-5p表达呈负相关(r=-0.327,P=0.001)。结论老年宫颈癌组织HMGA2、KI67阳性表达呈上调状态，miR-135a-5p阳性呈下调状态，三者之间密切相关，且其表达的高低变化与FIGO分期、分化程度、浸润程度、淋巴结转移、脉管癌栓等临床特征具有相关性，可能共同参与老年宫颈癌发展。

关键词：宫颈癌结构性转录因子细胞核相关抗原微小RNA

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于相变材料的非易失光子多值器件研究

光子学报 2024年第1期53卷 222-229页

作者：宋兵王金融张亨宇孙振源李清江国防科技大学电子科学学院长沙410073

结合相变材料与马赫-曾德尔干涉仪调制器结构,设计了一种包含ITO微加热器的非易失性光子多值器件,通过对相变材料的结构参数进行仿真,优化了器件的调制窗口。同时对ITO微加热器的结构进行仿真设计,使微加热器的效率更高,更容易实现器件... 详细信息

结合相变材料与马赫-曾德尔干涉仪调制器结构,设计了一种包含ITO微加热器的非易失性光子多值器件,通过对相变材料的结构参数进行仿真,优化了器件的调制窗口。同时对ITO微加热器的结构进行仿真设计,使微加热器的效率更高,更容易实现器件的多值调制。测试表明,该器件在施加电脉冲的过程中实现了超过32个状态(5 bit)的多值调制。这种电调制的非易失性光子多值器件为大规模的非易失性可配置光子硬件神经网络提供了基础的单元。

关键词：非易失性光子器件马赫-曾德尔干涉仪相变材料硒化锑氧化铟锡多值

硫化亚铁改性生物炭修复锑污染土壤及修复后稳定性评估

在线全文

学校读者我要写书评

暂无评论

环境科学 2024年

作者：张森李清雨姜登岭曹莹高存富孟甜李强中国环境科学研究院环境检测与实验中心华北理工大学建筑工程学院

为探究硫化亚铁改性生物炭(FeS-BC)对锑冶炼厂周边污染土壤的修复效果与机制，以贵州省晴隆县某废弃锑冶炼厂周边土壤为研究目标，通过土壤培养试验，对比研究了原始生物炭(BC)和硫化亚铁改性生物炭材料(FeS-BC)对土壤锑(Sb)浸出毒性、... 详细信息

为探究硫化亚铁改性生物炭(FeS-BC)对锑冶炼厂周边污染土壤的修复效果与机制，以贵州省晴隆县某废弃锑冶炼厂周边土壤为研究目标，通过土壤培养试验，对比研究了原始生物炭(BC)和硫化亚铁改性生物炭材料(FeS-BC)对土壤锑(Sb)浸出毒性、有效态含量和赋存形态的影响.结果表明，FeS/BC质量比为1:5、投加量为7%时对不同Sb污染程度土壤（G1～G6）中Sb的平均稳定效果最好，达到了66.85%;FeS-BC在较宽的pH范围内（2.0～10.0）均可保持较高的Sb稳定效率;在一定比例BC处理下，修复过程中不同Sb污染程度土壤（G1～G6）中Sb的浸出浓度和有效态含量有所波动，在修复60d后分别降低了5.89%±3.04%（1.44%～9.08%）和20.49%±17.74%（4.83%～58.39%），而FeS-BC在修复期内均能有效降低Sb浸出浓度和有效态含量，在修复60d后分别降低了35.80%±13.80%（17.78%～55.05%）和34.84%±2.28%（31.60%～37.64%）;FeS-BC材料对土壤中Sb稳定机制包括:静电吸引、离子交换、氧化还原、络合作用和沉淀作用;BC和FeS-BC修复14d后的不同Sb污染程度土壤（G1～G6）经干湿交替和冻融循环后，BC修复的土壤中Sb浸出液浓度和有效态含量均增加，存在一定释放风险，FeS-BC修复的土壤中Sb浸出液浓度增加而有效态含量降低.

关键词：锑(Sb) 生物炭硫化亚铁土壤修复稳定机制

我国西部高等教育政策的演进逻辑及高质量发展

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

重庆高教研究 2024年第5期12卷 60-73页

作者：李清煜王书琴中国人民大学教育学院北京100872

政策是主导西部高等教育发展的核心因素,高质量政策是西部高等教育高质量发展的前提与保障。基于历史制度主义的分析框架,可将西部高等教育政策的变迁历程分为以规模扩张与“外部输血”为特征的政策探索期(2001—2013年)、以质量提升与... 详细信息

政策是主导西部高等教育发展的核心因素,高质量政策是西部高等教育高质量发展的前提与保障。基于历史制度主义的分析框架,可将西部高等教育政策的变迁历程分为以规模扩张与“外部输血”为特征的政策探索期(2001—2013年)、以质量提升与“输造结合”为特征的政策发展期(2013—2020年)、以内生发展与优化赋能为特征的政策完善期(2020年至今)3个阶段。其中,政策变迁背后的深层结构是区域经济不协调与区域协调发展战略不断推进的经济结构、行政体制改革与政府职能转变的政治结构,以及“西部”身份标签不断固化的文化观念结构;阻滞变迁的锁定效应包括政府主体政策选择的锁定与高校主体发展方式的锁定;推动变迁的动力是促进高等教育区域协调发展、服务西部经济社会发展和提供优质高等教育资源。高质量强调政策演进需要从问题解决与价值取向的维度对现有政策进行完善、升级或重构。立足新时代新阶段新要求,要以高质量政策推动西部高等教育实现高质量发展,超越单向赋能,探索循环发展;扭转悲观预期,强化特色发展;突破锁定效应,促进内生发展;激活长效动力,实现协同可持续发展。要在政策系统中重新认识和处理好高等教育全局与西部、西部内部、东西之间以及教育内外部4对重要关系,统筹兼顾当前和长远发展需求,办好人民满意的西部高等教育。

关键词：西部高等教育高质量发展政策变迁历史制度主义

沙棘多糖对小鼠酒精性肝炎和肠道屏障功能的治疗研究

在线全文

学校读者我要写书评

暂无评论

食品工业科技 2024年

作者：李清马广礼翟艺恒孟涛许昌职业技术学院医疗卫生学院河南大学

目的：本研究旨在探讨沙棘多糖（Hippophae rhamnoides polysaccharides，HRP）对酒精性肝炎（Alcoholic Hepatitis，AH）的保护作用及其作用机制，特别是其对小鼠肝炎和肠道屏障损伤的影响。方法：通过建立小鼠酒精性肝炎模型，使用沙... 详细信息

目的：本研究旨在探讨沙棘多糖（Hippophae rhamnoides polysaccharides，HRP）对酒精性肝炎（Alcoholic Hepatitis，AH）的保护作用及其作用机制，特别是其对小鼠肝炎和肠道屏障损伤的影响。方法：通过建立小鼠酒精性肝炎模型，使用沙棘多糖（低剂量100 mg/kg、高200 mg/kg）对小鼠进行灌胃处理（1次/日），观察其对小鼠血浆生化指标、肝脏组织生化指标、肝脏及肠道组织病理形态学变化的影响。同时，分析沙棘多糖对小鼠肠道通透性及结肠组织炎症和肠道屏障功能的影响。结果：与模型组相比，沙棘多糖低、高剂量组小鼠血浆中的AST、ALT显著降低，ALB明显升高（P<0.01或P<0.05）。HRP低、高剂量组能显著降低血浆中TC、TG、LDL-C、FFA水平，并提高HDL-C水平（P<0.01或P<0.05）。肝脏组织中，HRP能显著降低TG与TC含量，减少促炎因子IL-6、IL-1β和TNF-α的水平，并提高肝脏SOD、GSH水平，降低MDA水平（P<0.01或P<0.05）。病理学检查发现，HRP能改善肝脏结构，减少脂肪变性和炎症细胞浸润。此外，HRP能显著降低血浆LPS和D-乳酸水平，改善肠道组织病理学变化，并提高紧密连接蛋白基因表达水平，降低结肠炎症因子表达（P<0.01或P<0.05）。结论：HRP对酒精性肝炎具有保护作用，能够改善小鼠的肝脏损伤和肠道屏障功能，降低肝脏脂质蓄积和炎症反应。

关键词：沙棘多糖酒精性肝炎肠道屏障功能氧化应激炎症因子

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

黑色岩系稀土元素地球化学特征及地质意义

稀土 2024年第1期45卷 63-75页

作者：卢正浩谢宏白洋王孟斋张兰贵州大学资源与环境工程学院贵州贵阳550000 贵州大学喀斯特实验室贵州贵阳550000

贵州铜仁坝黄一带牛蹄塘组底部黑色岩系中蕴藏具有工业价值的富铀磷质岩。为了探讨赋矿岩系源区性质及古海洋的氧化还原环境,本文进行了岩石稀土地球化学研究。结果显示,稀土元素地球化学数据未受到成岩作用和分析方法的明显影响,能够... 详细信息

贵州铜仁坝黄一带牛蹄塘组底部黑色岩系中蕴藏具有工业价值的富铀磷质岩。为了探讨赋矿岩系源区性质及古海洋的氧化还原环境,本文进行了岩石稀土地球化学研究。结果显示,稀土元素地球化学数据未受到成岩作用和分析方法的明显影响,能够利用该参数进行成岩成矿地质意义的探讨。Ceanom值揭示从陡山沱组过渡到牛蹄塘组时,氧化还原环境总体从还原环境向不断波动的次氧化环境转变,直到牛蹄塘组富含多金属页岩沉积时,环境才逐渐向弱还原转变。Ce异常值表明在新远古代末期到早寒武世水体深度处于动态变化中,并经历过一次明显的海侵-海退过程。LREE/HREE比值、稀土配分模式、Y/Ho与Y图解、Er/Nd比值、(La/Sm)N值等,均说明研究区除磷质岩海水化学沉积特征明显外,(含)硅质白云岩、(灰质)白云岩、黑色页岩、富含多金属页岩、含铁泥质硅质岩以及黏土质磷质岩均受到了不同程度陆源碎屑物质的污染。此外,“帽型”的分配曲线、Ce/La比值、较高的Eu异常以及La/Yb-REE图解指示富含多金属页岩和(黏土质)磷质岩还存在热液的输入,表明早寒武世研究区磷和多金属元素富集时热水喷流作用较强烈而活跃。

关键词：稀土元素富铀型磷矿黑色岩系

基于三维结构模型的学业情绪量表修订版在中国大学生中的信效度检验

在线全文

学校读者我要写书评

暂无评论

中国临床心理学杂志 2024年 1097-1102+1126页

作者：万迁杨嘉欣李清雅陈建文华中科技大学教育科学研究院

目的：对基于三维结构模型的学业情绪量表修订版（AEQ-R）进行中文修订。方法：对795名大学生进行问卷调查。采用验证性因素分析、多水平模型、探索性结构方程模型检验结构效度，以学业自我效能感、内部学习动机、学习投入及学业成就问... 详细信息

目的：对基于三维结构模型的学业情绪量表修订版（AEQ-R）进行中文修订。方法：对795名大学生进行问卷调查。采用验证性因素分析、多水平模型、探索性结构方程模型检验结构效度，以学业自我效能感、内部学习动机、学习投入及学业成就问卷为效标检验效标关联效度，并检验各分量表内部一致性信度。结果：各分量表的结构效度良好（χ2/df=0.064～6.194, CFI≥0.985, TLI≥0.910, RMSEA≤0.081, SRMR≤0.023）；效价（45.7%）、唤醒度（3.4%）、聚焦对象（15.1%）三个维度及其交互作用（35.9%）均显著地解释了个体内情绪得分的变异；探索性结构方程模型适用于中文版AEQ-R的结构；积极情绪大多与效标显著正相关（r=0.11～0.74），消极情绪大多显著负相关（r=-0.08～-0.44）；各分量表内部一致性信度为0.863～0.945。结论：中文版AEQ-R能有效测量中国大学生的学业情绪，学业情绪的三维结构模型适用于中国大学生。

关键词：学业情绪修订信度效度

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

“双碳”目标实现的省域实践:以浙江为例

生态与农村环境学报 2024年第2期40卷 191-204页

作者：李清瑶张勇胡民泉俞洁中国计量大学经济与管理学院浙江杭州310018 南京理工大学理学院江苏南京210094

浙江省实现碳达峰碳中和的目标是贯彻党中央提出的新发展理念、构建新发展格局、推动高质量发展的内在要求。研究基于浙江省2000—2019年能源消费等统计数据,以长期能源替代规划系统模型(LEAP)和可拓展的随机性环境影响评估模型(STIRPAT... 详细信息

浙江省实现碳达峰碳中和的目标是贯彻党中央提出的新发展理念、构建新发展格局、推动高质量发展的内在要求。研究基于浙江省2000—2019年能源消费等统计数据,以长期能源替代规划系统模型(LEAP)和可拓展的随机性环境影响评估模型(STIRPAT)相结合,识别浙江省碳排放主要影响因素,构建并预测6种不同情景下浙江省2015—2060年的碳排放趋势、达峰时间和减排路径。结果表明,能源结构升级、能效提升和数字经济深耕高碳排放产业是浙江省当前低碳转型发展的关键驱动力。浙江省实现“双碳”目标需要所有终端能源使用部门实现低碳转型,优先考虑电力、工业和交通部门,其次是商业、居民生活、住宅、农业等部门。在各项节能减排举措的综合作用下,部分电力替代(PES)情景和综合电力替代(CES)情景下浙江省碳达峰时间分别为2024和2025年,达峰总量分别为3.88亿和3.70亿t,可如期实现碳中和。考虑到进行碳统计时存在碳泄漏问题,浙江省应从PES情景出发,力争于2025年达到碳峰值,逐步提升可再生能源在其外购电中的比例,同时发挥数字经济在低碳治理中的作用,采取谨慎的碳中和路径过渡到CES情景,通过各终端能源使用部门利用碳捕捉、碳封存等降碳技术,如期甚至提早实现碳中和。

关键词：双碳目标 STIRPAT模型 LEAP模型减排路径