检索结果-南通市图书馆

基于程序约束的细粒度JVM测试程序约简方法

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

软件学报 2024年第7期35卷 3204-3226页

作者：杜义恒王赞赵英全陈俊洁陈翔侯德俊郑开天津大学智能与计算学部天津300350 南通大学信息科学技术学院江苏南通226019 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093 天津大学信息与网络中心天津300072

为了对Java虚拟机(JVM)进行测试,开发人员通常需要手工设计或利用测试生成工具生成复杂的测试程序,从而检测JVM中潜在的缺陷.然而,复杂的测试程序给开发人员定位及修复缺陷带来了极高的成本.测试程序约简技术旨在保障测试程序缺陷检测... 详细信息

为了对Java虚拟机(JVM)进行测试,开发人员通常需要手工设计或利用测试生成工具生成复杂的测试程序,从而检测JVM中潜在的缺陷.然而,复杂的测试程序给开发人员定位及修复缺陷带来了极高的成本.测试程序约简技术旨在保障测试程序缺陷检测能力的同时,尽可能地删减测试程序中与缺陷检测无关的代码.现有研究工作基于Delta调试在C程序和XML输入上可以取得较好的约简效果,但是在JVM测试场景中,具有复杂语法和语义依赖关系的Java测试程序约简仍存在粒度较粗、约简效果较差的问题,导致约简后的程序理解成本依然很高.因此,针对具有复杂程序依赖关系的Java测试程序,提出一种基于程序约束的细粒度测试程序约简方法JavaPruner.首先,在语句块级别设计细粒度的代码度量方法;随后,在Delta调试技术上引入语句块之间的依赖约束关系来对测试程序进行约简.以Java字节码测试程序为实验对象,从现有的针对JVM测试的测试程序生成工具中筛选出具有复杂依赖关系的50个测试程序作为基准数据集,并在这些数据集上验证JavaPruner的有效性.实验结果表明,JavaPruner可以有效删减Java字节码测试程序中的冗余代码.与现有方法相比,在所有基准数据集上,约简能力平均可提升37.7%.同时,JavaPruner可以在保障程序有效性及缺陷检测能力的同时,将Java字节码测试程序最大约简至其原有大小的1.09%,有效降低了测试程序的分析和理解成本.

关键词： Java虚拟机 JVM测试测试程序约简 Delta调试

同方期刊数据库

基于交互反应优化高球比炉料结构的研究及应用

在线全文

学校读者我要写书评

暂无评论

炼铁 2024年第1期43卷 59-62页

作者：董相娟滕召杰武建龙陈建郑凯中国钢研科技集团有限公司北京100081 首钢京唐钢铁联合有限责任公司河北唐山063200

不同炉料之间存在着交互反应,采用熔滴性能试验,对京唐高炉高球比条件下的合理炉料结构进行了研究。结果表明,不同炉料搭配后软化性能和熔滴性能有明显差异:烧结矿与酸性球团矿、碱性球团矿搭配的炉料结构性能最优;烧结矿与碱性球团矿... 详细信息

不同炉料之间存在着交互反应,采用熔滴性能试验,对京唐高炉高球比条件下的合理炉料结构进行了研究。结果表明,不同炉料搭配后软化性能和熔滴性能有明显差异:烧结矿与酸性球团矿、碱性球团矿搭配的炉料结构性能最优;烧结矿与碱性球团矿搭配的炉料结构性能居中;而烧结矿搭配酸性球团矿并配石灰石的的炉料结构性能较差。2019-2021年,京唐3座5500m^(3)高炉采用优化后的高球比炉料结构,球团矿比例达50%以上,其中3号高炉月均球团矿比例最高达到65%,3座高炉长期稳定顺行,主要技术经济指标持续提升。

关键词：特大型高炉球团矿烧结矿交互反应软化性能炉料结构

在线全文

学校读者我要写书评

暂无评论

基于权重复用的训练加速算法

实验技术与管理 2024年第5期41卷 15-22页

作者：应仰威章洛铭齐炜郑楷周泓浙江大学生物医学工程与仪器科学学院浙江杭州310027

深度学习已广泛应用在科研教学、工业生产等各领域,但因其数据量庞大和模型结构复杂,在模型训练阶段要依赖大量的计算资源。为了能在实验教学环节提升资源利用效率,让学生更加熟练地掌握数据搜集和模型参数调整优化的能力,提出了一种基... 详细信息

深度学习已广泛应用在科研教学、工业生产等各领域,但因其数据量庞大和模型结构复杂,在模型训练阶段要依赖大量的计算资源。为了能在实验教学环节提升资源利用效率,让学生更加熟练地掌握数据搜集和模型参数调整优化的能力,提出了一种基于权重复用的训练加速方法,分别对VGG和ResNet网络结构的深度和宽度进行伸缩拓展,允许模型复用结构相似但不需要完全一致的网络权重。实验结果表明,在CIFAR10数据集上测试,采用权重复用方法进行初始化的训练更快收敛,而且在训练结束时与随机化训练的准确率相近,实现拓展后的网络加速训练,是一种更加灵活的知识迁移方法,有助于培养学生对复杂模型的理解与优化能力。

关键词：卷积神经网络知识迁移训练加速权重复用

同方期刊数据库

退化高寒草甸土壤真菌群落水平分布格局及驱动因子

在线全文

学校读者我要写书评

暂无评论

草地学报 2024年第4期32卷 1105-1111页

作者：王英成芦光新郑开福金鑫周学丽姚世庭青海大学青海西宁810016

为探讨退化高寒草甸土壤真菌群落水平分布格局及驱动因子,本研究采用嵌套式取样方法在1000 m×1000 m的中度退化草甸区域内,综合分析了土壤真菌群落在不同取样距离上物种多样性和功能组成的变化规律及驱动土壤真菌群落分布的主要环境因... 详细信息

为探讨退化高寒草甸土壤真菌群落水平分布格局及驱动因子,本研究采用嵌套式取样方法在1000 m×1000 m的中度退化草甸区域内,综合分析了土壤真菌群落在不同取样距离上物种多样性和功能组成的变化规律及驱动土壤真菌群落分布的主要环境因子。结果表明:在不同取样距离上,土壤真菌的α多样性和群落结构存在显著的差异,退化草甸环境异质性可导致真菌群落的变化。FunGuil功能预测表明草甸退化使得腐生型和病理性土壤真菌增加,草甸退化过程中地上植被群落的改变可导致土壤真菌营养型的变化。此外,土壤营养成分是驱动退化草甸土壤真菌群落水平分布格局的主要环境因子。因此,微生物多样性空间分布受控于不同的环境因素,而土壤营养成分的改变容易引起退化草地生态系统中微生物的空间分布变化。

关键词：退化草甸土壤真菌群落组成功能组成水平分布

机器人辅助、荧光腹腔镜导航保留十二指肠全胰切除术1例临床报告

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

中国普通外科杂志 2024年第3期33卷 456-461页

作者：姜改明郑凯李宇铠康强柯阳李越华昆明医科大学第二附属医院肝胆胰外科二病区云南昆明650101

背景与目的:机器人技术与导航技术相结合为外科手术的精准性以及减少术后并发症提供了有力的保障和支持,但目前仍未见机器人辅助、荧光腹腔镜导航保留十二指肠全胰切除的报道。本文总结1例终末期慢性胰腺炎伴胰管结石行达芬奇机器人辅... 详细信息

背景与目的:机器人技术与导航技术相结合为外科手术的精准性以及减少术后并发症提供了有力的保障和支持,但目前仍未见机器人辅助、荧光腹腔镜导航保留十二指肠全胰切除的报道。本文总结1例终末期慢性胰腺炎伴胰管结石行达芬奇机器人辅助、荧光腹腔镜导航保留十二指肠全胰切除术治疗的临床经验。方法:回顾性分析昆明医科大学第二附属医院肝胆胰外科二病区2022年11月1例终末期慢性胰腺炎伴胰管结石患者行达芬奇机器人辅助、荧光腹腔镜导航保留十二指肠全胰切除术的临床资料。结果:患者,男性,61岁。术前诊断:慢性胰腺炎,胰管结石,胰腺钙化,胰腺萎缩,2型糖尿病。手术顺利,手术时间300 min,出血量200 mL。术后病理提示慢性胰腺炎、胰管结石。术后未出现出血、胰瘘、胆汁漏、十二指肠缺血坏死等并发症,仅出现血糖升高,给予胰岛素皮下注射血糖控制良好,于术后10 d康复出院。结论:在熟练掌握机器人辅助腹腔镜下胰体尾切除术和保留十二指肠的胰头切除术的前提下,严格把握适应证,开展达芬奇机器人辅助、荧光腹腔镜导航保留十二指肠全胰切除术是安全可行的,但该术式的远期疗效有待进一步的观察。

关键词：胰腺切除术胰腺炎,慢性机器人手术荧光染料

在线全文

学校读者我要写书评

暂无评论

棉花独脚金内酯D27基因表达与功能分析

核农学报 2024年第7期38卷 1234-1248页

作者：周强郭栋财蔡永生陈全家曲延英郑凯新疆农业大学农学院新疆乌鲁木齐830052 教育部棉花工程研究中心/作物遗传改良与种质创新重点实验室新疆乌鲁木齐830052

为探究D27基因在棉花纤维及植株发育过程中的生物学功能,本研究通过生物信息学方法鉴定得到棉属中18个D27基因成员,分析其理化性质、结构及进化关系,利用实时荧光定量PCR(qRT-PCR)技术探究了海岛棉纤维中6个GbD27基因的表达特异性,通过... 详细信息

为探究D27基因在棉花纤维及植株发育过程中的生物学功能,本研究通过生物信息学方法鉴定得到棉属中18个D27基因成员,分析其理化性质、结构及进化关系,利用实时荧光定量PCR(qRT-PCR)技术探究了海岛棉纤维中6个GbD27基因的表达特异性,通过同源重组的方法获得了6个陆地棉GhD27基因,构建GhD27基因的病毒诱导的基因沉默(VIGS)载体并转化至棉花,使用qRT-PCR技术检测其沉默效率及独脚金内酯(SLs)处理下的表达模式,并借助酶联免疫吸附(ELISA)技术测定了沉默植株的内源独脚金内酯含量。结果显示,棉花D27基因家族的开放阅读框(ORF)长度为726~816 bp,编码的D27蛋白含241~271个氨基酸;D27蛋白主要由α-螺旋与无规卷曲构成;进化分析结果显示D27基因高度同源。海岛棉材料新海21的GbD27基因在0~35 d的棉纤维中均存在表达,可能对棉纤维发育存在重要调节作用。陆地棉材料新农大棉4号的GhD27基因在叶片和根部均得到有效沉默,表明已获得GhD27基因沉默植株。在陆地棉GhD27基因的沉默植株中,GhD27基因对独脚金内酯处理均有不同程度的响应,内源性独脚金内酯含量与GhD27基因的表达水平有一定关联。本研究为进一步了解棉花D27基因的分子生物学功能奠定了基础。

关键词：棉花 D27 基因克隆表达分析独脚金内酯

维普期刊数据库博看期刊

低温过氧化氢等离子和脉动真空压力蒸汽灭菌在管腔类手术器械管理中的应用

在线全文

学校读者我要写书评

暂无评论

中国医疗器械信息 2024年第13期30卷 164-166页

作者：郭诗莹郑凯龙泉州市第一医院福建泉州362000

目的:分析不同灭菌技术在管腔类手术器械管理中的应用效果。方法:在医院手术器械中,选取2022年10月~2023年10月消毒供应室提供的管腔类手术器械100件作为研究对象,采用数字表法随机分为Ⅰ组与Ⅱ组,每组件数50件,均采用相同的清洗方法,... 详细信息

目的:分析不同灭菌技术在管腔类手术器械管理中的应用效果。方法:在医院手术器械中,选取2022年10月~2023年10月消毒供应室提供的管腔类手术器械100件作为研究对象,采用数字表法随机分为Ⅰ组与Ⅱ组,每组件数50件,均采用相同的清洗方法,清洗后进行灭菌,Ⅰ组采用低温过氧化氢等离子灭菌,Ⅱ组采用脉动真空压力蒸汽灭菌。对比两组手术器械灭菌时间、灭菌温度,并比较两组器械清洗后不同时间点的灭菌效果和保存3个月、6个月、7个月、8个月、9个月的细菌生长情况。结果:Ⅰ组灭菌时间长于Ⅱ组,灭菌温度低于Ⅱ组(P<0.05)。Ⅰ组手术器械在清洗后4h、6h灭菌合格率低于Ⅱ组(P<0.05)。两组管腔类手术器械保存6个月,ATP荧光检测均未见RLU值超标,灭菌效果均合格,但保存7个月开始,Ⅱ组的管腔类手术器械ATP荧光检测的合格率逐渐降低,且低于Ⅰ组(P<0.05)。结论:低温过氧化氢等离子对管腔类手术器械的灭菌远期效果较理想,还避免高温高压消毒对管腔类手术器械的损伤。

关键词：管腔类手术器械管理低温过氧化氢等离子脉动真空压力蒸汽灭菌

基于Adams/ncode整车车架疲劳寿命分析

在线全文

学校读者我要写书评

暂无评论

内燃机与配件 2024年第7期 9-11页

作者：郑凯铭徐小彬沈阳理工大学汽车与交通学院辽宁沈阳110159

车架作为货车的主要承载部件,承担来自货厢与货物的载荷,同时将该载荷通过悬挂系统传递到车桥和地面,不平的地面又通过轮胎和悬挂系统将载荷反馈到车架上,导致车架受力情况非常复杂,车架的破坏形式不仅有静强度破坏,还存在疲劳破坏。通... 详细信息

车架作为货车的主要承载部件,承担来自货厢与货物的载荷,同时将该载荷通过悬挂系统传递到车桥和地面,不平的地面又通过轮胎和悬挂系统将载荷反馈到车架上,导致车架受力情况非常复杂,车架的破坏形式不仅有静强度破坏,还存在疲劳破坏。通过Adams建立整车动力学模型完成悬架与车架应力点的选取,建立路面工况,输出整车载荷谱。在寿命分析软件ncode中,结合有限元软件Ansys,对整车车架进行三工况下的静力分析,在ncode导入整车载荷谱的rsp格式,输出满载工况下车架疲劳寿命云图。

关键词：车架载荷谱 Adams ncode 寿命分析

超声引导下前路髂腰肌间隙阻滞与髂筋膜阻滞在老年髋部手术中临床效果的比较

在线全文

学校读者我要写书评

暂无评论

中外医疗 2024年第3期43卷 43-46,95页

作者：任伟刘静张丽郑凯泰安市中心医院麻醉科山东泰安271000 泰安市中心医院疼痛科山东泰安271000

目的比较超声引导下前路髂腰肌间隙阻滞与髂筋膜阻滞在老年髋部手术的效果。方法方便选择2022年1月—2023年1月泰安市中心医院收治的52例全髋关节置换术患者为研究对象,经随机数表法分为A组(下前路髂腰肌间隙阻滞)和B组(髂筋膜阻滞),各2... 详细信息

目的比较超声引导下前路髂腰肌间隙阻滞与髂筋膜阻滞在老年髋部手术的效果。方法方便选择2022年1月—2023年1月泰安市中心医院收治的52例全髋关节置换术患者为研究对象,经随机数表法分为A组(下前路髂腰肌间隙阻滞)和B组(髂筋膜阻滞),各26例。对比两组患者静息状态疼痛程度、血流动力学变化情况、神经阻滞操作时间、起效时间、维持时间以及不良反应发生情况。结果T2~T5时,A组视觉模拟评分法(Visual Analogue Scale,VAS)评分显著低于B组,差异有统计学意义(P均0.05)。结论相比髂筋膜阻滞,前路髂腰肌间隙阻滞在腰麻下行全髋关节置换术的髋部手术中起效时间相近,在改变体位时镇痛效果更好。

关键词：髂腰肌间隙阻滞髂筋膜阻滞髋部骨折老年患者

维普期刊数据库博看期刊