期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
基于CodeBERT和Stacking集成学习的补丁正确性验证方法
1
作者 韩威 姜淑娟 周伟 《计算机科学》 北大核心 2025年第1期250-258,共9页
近年来,自动程序修复已成为软件工程领域的重要研究课题。然而,现有的自动修复技术大多是基于补丁生成和测试的,在补丁验证环节时间成本很高。此外,由于测试套件的不完备,许多候选补丁虽然能通过测试,但实际上并不正确,从而导致补丁过... 近年来,自动程序修复已成为软件工程领域的重要研究课题。然而,现有的自动修复技术大多是基于补丁生成和测试的,在补丁验证环节时间成本很高。此外,由于测试套件的不完备,许多候选补丁虽然能通过测试,但实际上并不正确,从而导致补丁过拟合。为提高补丁验证的效率并缓解补丁过拟合的问题,提出了一种静态的补丁验证方法。该方法首先使用大型预训练模型CodeBERT自动提取缺陷代码片段和补丁代码片段的语义特征,然后使用历史缺陷修复补丁数据训练Stacking集成学习模型,训练之后的模型可以对新的缺陷修复补丁进行有效验证。在Defects4J缺陷数据集相关的1 000个补丁数据上对所提方法的验证能力进行评估。实验结果表明,该方法可以有效地验证补丁的正确性,从而提高补丁验证的效率。 展开更多
关键词 自动程序修复 补丁验证 预训练模型 集成学习 Defects4J缺陷数据集
在线阅读 下载PDF
城乡土地利用变化监测图斑快速核查方法及应用 被引量:2
2
作者 李博辉 任福 +1 位作者 胡聪南 李中 《测绘地理信息》 CSCD 2024年第5期138-142,共5页
随着城乡建设现代化进程不断加快,土地资源变化监测以及土地督察的需求日益增加,需要通过遥感监测技术提取和核查大量的变化图斑。通过基于层级信息的变化图斑空间化匹配方法,减少图斑提取后套合比对的工作量,以此对图斑进行预判预查降... 随着城乡建设现代化进程不断加快,土地资源变化监测以及土地督察的需求日益增加,需要通过遥感监测技术提取和核查大量的变化图斑。通过基于层级信息的变化图斑空间化匹配方法,减少图斑提取后套合比对的工作量,以此对图斑进行预判预查降低图斑核查数量,并构建图斑核查业务模型,规范图斑核查流程,实现对图斑的快速核查与监管。在此基础上,设计实现变化图斑核查系统,实现了图斑预判预查和核查业务,提高了图斑核查效率,对土地督察工作起到了促进作用。 展开更多
关键词 变化图斑 图斑预判预查 图斑核查 土地利用 遥感影像
原文传递
光固化复合材料预浸料修理补片的研制 被引量:4
3
作者 陈浩 刘玉亭 +1 位作者 刘成武 魏东 《兵器材料科学与工程》 CSCD 北大核心 2008年第2期91-94,共4页
根据飞机战时结构损伤快速抢修的需要,结合飞机自身结构特点和飞行特点,综合分析固化复合材料预浸料柔性修理补片应具备的技术指标和修理工艺特点。通过开发性和对比性试验,解决在补片制备过程中遇到的难点。最后对补片进行环境适应性... 根据飞机战时结构损伤快速抢修的需要,结合飞机自身结构特点和飞行特点,综合分析固化复合材料预浸料柔性修理补片应具备的技术指标和修理工艺特点。通过开发性和对比性试验,解决在补片制备过程中遇到的难点。最后对补片进行环境适应性试验、疲劳试验、静力试验、玻璃化转变温度试验,确定补片的最佳组成方案。 展开更多
关键词 光敏胶 光固化 增强材料 预浸料修理补片 玻璃化转变温度
在线阅读 下载PDF
基于缓存窗口和段补丁预取的流媒体动态调度算法 被引量:3
4
作者 杨戈 朱晓民 +1 位作者 廖建新 黄海 《电子与信息学报》 EI CSCD 北大核心 2007年第5期1198-1201,共4页
该文提出了一种新的基于缓存窗口和段补丁预取的移动流媒体动态调度算法,采用代理缓存窗口自适应伸缩和分段缓存补丁块方案,实现了移动流媒体对象在代理服务器中缓存的数据量和其流行度成正比的原则。仿真结果表明,对于客户请求到达速... 该文提出了一种新的基于缓存窗口和段补丁预取的移动流媒体动态调度算法,采用代理缓存窗口自适应伸缩和分段缓存补丁块方案,实现了移动流媒体对象在代理服务器中缓存的数据量和其流行度成正比的原则。仿真结果表明,对于客户请求到达速率的变化,该算法比传统算法具有更好的适应性,在最大缓存空间相同的情况下,能显著减少通过补丁通道传输的补丁数据,从而降低了服务器和骨干网络带宽的使用,能快速缓存媒体对象到缓存窗口,同时减少了代理服务器的缓存平均占有量。 展开更多
关键词 移动流媒体 调度算法 代理缓存 段补丁预取
在线阅读 下载PDF
潜在锁固型滑坡的类型、形成条件和预判方法研究 被引量:30
5
作者 泮晓华 薛雷 +3 位作者 秦四清 李国梁 李培 王苗苗 《工程地质学报》 CSCD 北大核心 2014年第6期1159-1167,共9页
已有研究表明滑动是大型灾难性滑坡最常见的失稳机制类型,且滑动过程中一般都伴随滑动面上锁固段(承受应力集中,提供关键承载作用的部位)的应力集中和脆性破坏,其强度和变形决定着边坡的整体稳定性,作者将此类滑坡统称为锁固型滑坡。本... 已有研究表明滑动是大型灾难性滑坡最常见的失稳机制类型,且滑动过程中一般都伴随滑动面上锁固段(承受应力集中,提供关键承载作用的部位)的应力集中和脆性破坏,其强度和变形决定着边坡的整体稳定性,作者将此类滑坡统称为锁固型滑坡。本文通过分析研究我国36个大型典型灾难性滑坡实例,首次归纳总结了锁固性滑坡的类型和形成条件等共性规律,同时提出了任一边坡能否发展成为锁固型滑坡的预判方法。本文研究成果是锁固型滑坡进一步进行失稳破坏类型预分析、稳定性评价及失稳滑动预报等共性规律的认识和实施防灾减灾措施的前提,具有较好的科学意义和防灾减灾指导价值。 展开更多
关键词 滑坡 锁固段 类型 形成条件 预判定方法
在线阅读 下载PDF
微针辅助透皮贴片药物经皮渗透的促透效果考察 被引量:1
6
作者 夏旭 高文彦 +2 位作者 刘筱雅 沈晨 叶金翠 《中国医药工业杂志》 CAS CSCD 北大核心 2018年第12期1684-1689,共6页
为了探究微针辅助经皮给药的促透效果,本试验通过自制盐酸雷莫司琼贴片与微针联合应用,考察透皮贴片经微针辅助给药后的体外渗透性能及其体内药动学。采用Valia-Chien双室渗透池进行离体豚鼠皮肤渗透试验,Beagle犬进行药动学试验。离体... 为了探究微针辅助经皮给药的促透效果,本试验通过自制盐酸雷莫司琼贴片与微针联合应用,考察透皮贴片经微针辅助给药后的体外渗透性能及其体内药动学。采用Valia-Chien双室渗透池进行离体豚鼠皮肤渗透试验,Beagle犬进行药动学试验。离体皮肤渗透试验结果显示,微针辅助给药试验组药物的稳态渗透速率、48 h累积渗透量分别是仅贴片给药对照组的1.68倍和1.80倍,渗透时滞也显著低于仅贴片给药对照组(P<0.01)。Beagle犬药动学试验结果显示,经微针预处理试验组的c_(max)和AUC_(0→t)分别为仅贴片给药对照组的4.8倍和4.6倍,具显著差异(P<0.01),t_(max)亦较对照组显著缩短(P<0.01,6.2 h vs 30.7 h)。离体皮肤渗透试验和在体皮肤药动学试验评价结果显示,微针辅助给药在促进药物吸收与缩短渗透时滞方面均有显著效果。 展开更多
关键词 盐酸雷莫司琼 微针预处理 贴片 透皮 促透效果
原文传递
一种新的双基地MIMO雷达杂波模拟方法 被引量:1
7
作者 姜钦山 刘红明 +1 位作者 曹东凯 李会勇 《雷达科学与技术》 北大核心 2015年第3期249-253,共5页
针对双基地MIMO雷达杂波单元划分复杂、计算量大,严重影响仿真速度的问题,提出了一种新的杂波单元划分方法,并采用杂波单元参数预存储的技术大幅度减少仿真过程中存在的重复性计算工作。新的杂波生成方法兼顾了发射角度分辨率、接收角... 针对双基地MIMO雷达杂波单元划分复杂、计算量大,严重影响仿真速度的问题,提出了一种新的杂波单元划分方法,并采用杂波单元参数预存储的技术大幅度减少仿真过程中存在的重复性计算工作。新的杂波生成方法兼顾了发射角度分辨率、接收角度分辨率、距离分辨率三重约束,能有效降低杂波单元划分的复杂度,大幅度提高双基地MIMO雷达仿真平台运行效率。最后通过建模方法仿真出杂波,验证了上述结论。 展开更多
关键词 双基地 MIMO雷达 杂波建模 杂波单元 预存储
在线阅读 下载PDF
共固化补片预修补铝板的阻尼和疲劳寿命研究
8
作者 李才华 邓琼 刘双燕 《哈尔滨商业大学学报(自然科学版)》 CAS 2014年第6期708-714,共7页
制备了黏弹阻尼层共固化复合材料补片,对固支的薄铝板应力集中区域进行预修补,利用基于频域的半功率带宽法测试了修补前后的结构阻尼比.建立有限元模型,采用滞后阻尼的假定计算了组合结构的等效阻尼比,对比实验值验证了该模型.采用基于... 制备了黏弹阻尼层共固化复合材料补片,对固支的薄铝板应力集中区域进行预修补,利用基于频域的半功率带宽法测试了修补前后的结构阻尼比.建立有限元模型,采用滞后阻尼的假定计算了组合结构的等效阻尼比,对比实验值验证了该模型.采用基于功率谱密度的频域分析方法估算了结构随机振动疲劳寿命.考察了阻尼层厚度、补片长度和纤维层层数对结构等效阻尼比和随机振动疲劳寿命的影响.研究结果表明制备的黏弹阻尼层共固化复合材料补片可以提高薄壁结构的阻尼效果,并可以提高修补件的振动疲劳寿命. 展开更多
关键词 复合材料 黏弹阻尼层 预修补 有限元 等效阻尼比 随机振动疲劳寿命
在线阅读 下载PDF
20keV质子在聚碳酸酯微孔膜中传输的动态演化过程
9
作者 白雄飞 牛书通 +5 位作者 周旺 王光义 潘鹏 方兴 陈熙萌 邵剑雄 《物理学报》 SCIE EI CAS CSCD 北大核心 2017年第9期122-128,共7页
测量了20 ke V质子穿过倾斜角为+1?的聚碳酸酯微孔膜后,出射粒子的位置分布、相对穿透率以及电荷纯度随时间的演化.实验发现,能量电荷比E/q≈10~1k V的质子穿过绝缘纳米微孔的物理机理与E/q≈10~0k V和E/q≈10~2k V区域离子有显著不同.... 测量了20 ke V质子穿过倾斜角为+1?的聚碳酸酯微孔膜后,出射粒子的位置分布、相对穿透率以及电荷纯度随时间的演化.实验发现,能量电荷比E/q≈10~1k V的质子穿过绝缘纳米微孔的物理机理与E/q≈10~0k V和E/q≈10~2k V区域离子有显著不同.对于E/q≈10~1k V的质子穿过绝缘纳米微孔,存在一段相当长的导向建立之前(导向前)的过程,在该时期内出射质子及氢原子的特性和导向建立后的特性有很大差异.在导向前的演化过程中,我们可以观察到出射质子的峰位逐渐向孔轴向附近转移;出射氢原子由束流方向的尖峰以及孔轴向的主峰构成,峰位角保持基本不变且尖峰逐渐消失.这一过程的主要机理为微孔内表面以下的多次随机二体碰撞和近表面镜面反射两种传输方式逐步向电荷斑约束下的"导向效应"过渡的过程.对E/q≈10~1k V区间离子"导向前过程"的完整观测,使得对低能向中能过渡区间离子穿过绝缘微孔膜物理机制和图像有更深入和完整的认识,有助于约10 ke V离子微束的精确控制和应用. 展开更多
关键词 微孔膜 电荷斑 导向效应 导向前
在线阅读 下载PDF
南水北调中线穿漳工程混凝土裂缝处理 被引量:1
10
作者 韩永席 岳耕 《人民长江》 北大核心 2016年第11期48-50,57,共4页
对南水北调中线穿漳河交叉建筑物进行质量检查时发现,管身段、出口节制闸及泄槽段部分存在混凝土裂缝。根据南水北调工程相关规定,对发现的裂缝进行了分类。经研究决定,对Ⅰ类裂缝采取切槽嵌缝方式进行处理,对Ⅱ类裂缝采取化学灌浆方式... 对南水北调中线穿漳河交叉建筑物进行质量检查时发现,管身段、出口节制闸及泄槽段部分存在混凝土裂缝。根据南水北调工程相关规定,对发现的裂缝进行了分类。经研究决定,对Ⅰ类裂缝采取切槽嵌缝方式进行处理,对Ⅱ类裂缝采取化学灌浆方式处理。介绍了裂缝处理过程及注意事项。处理后,对不同处理方式的效果进行了评价,结果表明Ⅰ类裂缝处理效果较为满意,Ⅱ类裂缝处理效果有待加强。 展开更多
关键词 切槽嵌缝 预缩砂浆 化学灌浆 聚氨酯 混凝土裂缝
在线阅读 下载PDF
基于提高皮革利用率与品质的绿色涂饰技术 被引量:2
11
作者 韦永红 《西部皮革》 2021年第14期6-9,共4页
通过分析涂饰化工材料的性能,选用对环境友好的水性化料,设计相应的涂饰工艺,进行对比试验、优化组合及集成,研发出采用含油蜡的特殊混合物以及适当的补伤发泡作预底涂,达成改善皮性肉感、遮盖伤残、提升皮革成品利用率与品质的绿色涂... 通过分析涂饰化工材料的性能,选用对环境友好的水性化料,设计相应的涂饰工艺,进行对比试验、优化组合及集成,研发出采用含油蜡的特殊混合物以及适当的补伤发泡作预底涂,达成改善皮性肉感、遮盖伤残、提升皮革成品利用率与品质的绿色涂饰技术。 展开更多
关键词 绿色涂饰技术 环境友好 水性化料 油蜡混合物 补伤发泡 预底涂
在线阅读 下载PDF
基于图像块的EM自适应图像去噪算法
12
作者 姚磊 《科技广场》 2017年第2期14-17,共4页
为了提高基于图像块先验的自然图像去噪效果,有效的去除图像中的噪声,本文利用图像块的统计特性提出一种最大期望(Expectation Maximization,简称EM)自适应的学习过程,学习图像块的先验知识,通过映射某个通用先验到指定图像生成特定的... 为了提高基于图像块先验的自然图像去噪效果,有效的去除图像中的噪声,本文利用图像块的统计特性提出一种最大期望(Expectation Maximization,简称EM)自适应的学习过程,学习图像块的先验知识,通过映射某个通用先验到指定图像生成特定的先验。提出的方法相较于标准EM算法需要较少的训练数据,并且在没有无噪图像数据库时可以应用到预滤波的图像中。实验结果表明,该算法能够实现较好的去噪效果,且优于现有的一些图像去噪算法。 展开更多
关键词 图像去噪 图像块 最大期望自适应 先验知识 预滤波图像
在线阅读 下载PDF
An Enhanced Dragonfly Key Exchange Protocol against Offline Dictionary Attack
13
作者 Eman Alharbi Noha Alsulami Omar Batarfi 《Journal of Information Security》 2015年第2期69-81,共13页
Dragonfly is Password Authenticated Key Exchange protocol that uses a shared session key to authenticate parties based on pre-shared secret password. It was claimed that this protocol was secure against off-line dicti... Dragonfly is Password Authenticated Key Exchange protocol that uses a shared session key to authenticate parties based on pre-shared secret password. It was claimed that this protocol was secure against off-line dictionary attack, but a new research has proved its vulnerability to off-line dictionary attack and proving step was applied by using “Patched Protocol” which was based on public key validation. Unfortunately, this step caused a raise in the computation cost, which made this protocol less appealing than its competitors. We proposed an alternate enhancement to keep this protocol secure without any extra computation cost that was known as “Enhanced Dragonfly”. This solution based on two-pre-shared secret passwords instead of one and the rounds between parties had compressed into two rounds instead of four. We prove that the enhanced-Dragonfly protocol is secure against off-line dictionary attacks by analyzing its security properties using the Scyther tool. A simulation was developed to measure the execution time of the enhanced protocol, which was found to be much less than the execution time of patched Dragonfly. The off-line dictionary attack time is consumed for few days if the dictionary size is 10,000. According to this, the use of the enhanced Dragonfly is more efficient than the patched Dragonfly. 展开更多
关键词 PASSWORD Authenticated Key Exchange (PAKE) ORIGINAL DRAGONFLY PATCHED DRAGONFLY ENHANCED DRAGONFLY Two-Pre-Shared PASSWORD
暂未订购
上一页 1 下一页 到第
使用帮助 返回顶部