检索结果-南通市图书馆

自监督预训练驱动的Solidity代码相似性检测方法及应用研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

自监督预训练驱动的Solidity代码相似性检测方法及应用研究

作者：柯贤群西安邮电大学

学位级别：硕士

在当前蓬勃发展的智能合约领域,对合约源代码进行可靠有效的相似性分析是确保智能合约生态系统健康和质量保证的关键一环。随着区块链和智能合约的兴起,Solidity已成为以太坊平台上最常用的智能合约编程语言。然而,由于代码本身的复杂... 详细信息

在当前蓬勃发展的智能合约领域,对合约源代码进行可靠有效的相似性分析是确保智能合约生态系统健康和质量保证的关键一环。随着区块链和智能合约的兴起,Solidity已成为以太坊平台上最常用的智能合约编程语言。然而,由于代码本身的复杂性、规模庞大以及开发人员之间的协作方式,可能会产生一些潜在问题,例如代码冗余和安全漏洞。因此,对Solidity代码相似性的深入研究变得至关重要。这类研究不仅能揭示合约之间的潜在关联,还能发现潜在的安全风险,并提升合约编写的效率,具有重要的实践价值和应用前景。现有的基于特征签名的方法和基于代码表示学习的方法存在一些限制。这些问题源于程序分析中对有效指标的过度依赖,以及智能合约编码中固有的不完善之处。此外,智能合约通常具有复杂的逻辑结构,这种复杂性在进行语法和语义级别的相似性分析时变得更加具有挑战性。为了解决以上难点,本文提出了一套全面的解决方案,并在研究过程中取得了显著的成果。主要研究内容如下:(1)在预训练语言模型引人瞩目的语义学习能力的启发下,本研究提出了Sol BERT(Solidity BERT),这是专为Solidity语言编写的智能合约设计的预训练模型。为了确保能生成高质量的编码,从而促进合约相似性分析,Sol BERT利用BERT方式的预训练形式,通过对Solidity代码进行轻量级规范化,并且从智能合约抽象语法树中提取具有结构感知标记的序列进行预训练,形成基础的预训练模型。在此基础上,进一步执行基于对比学习的自监督微调和无监督白化操作,以优化预训练模型的编码器。在合约克隆检测、漏洞检测和代码聚类等三个合约相似性分析任务上进行实验评估,实验结果显示Sol BERT在这些任务中的表现优于已有的最新方法。在克隆检测任务中,达到91%的精确率,在漏洞检测任务上,达到了96%的精确率。这些结果还验证了Sol BERT编码优化操作的有效性和积极的协同效应。(2)由于自监督预训练过程需要消耗大量的计算资源,并且训练速度慢。受到对抗重编程思想的启发,本论文提出了一种名为Sol ARSD(Solidity Adversarial Reprogramming Similarity Detection)的相似性检测方法。该方法通过对智能合约源代码文件在视觉预训练模型基础上进行跨模重编程来进行检测Solidity代码之间的相似性。通过对合约源代码文件进行对抗性编程,生成了一个对抗攻击的语义图像编码矩阵,用于对预训练的图像分类模型进行对抗性扰动。这使得带有对抗性扰动的载体语义图像能够成功完成对抗性重编程任务的同时,还保持了与原始模型输入的一致性。此外,本文进一步在对比学习的框架下优化了对抗重编程模型,使其适用于相似性检测任务。经过实验评估,该方法表现优于基准方法。在克隆检测任务中,达到84%的精确率,在漏洞检测任务上,达到了85%的精确率。这一全面的方法通过将对抗性编程与对比学习相结合,为探索Solidity代码相似性提供了一种有效的途径。(3)为了检测用Solidity编写的智能合约间的相似性,论文设计并实现了一款结合深度学习方法的智能合约相似性分析系统。该系统基于Flask框架搭建,采用Python编程语言进行数据处理与模型构建。通过对各模块的功能测试,该系统页面布局合理,操作简单流畅,所有功能模块均能正常使用,能够满足检测智能合约中相似性的需求。

关键词：智能合约相似性检测预训练语言模型自监督微调 Solidity代码表征

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

量感在小学数学课堂中的培养策略

数学学习与研究 2024年第6期 17-19页

作者：柯群香福建省三明市建宁县实验小学福建三明354500

《义务教育数学课程标准(2022年版)》已经将量感作为小学数学核心素养的重要内容之一.量感能够帮助小学生提升抽象表达能力,优化其逻辑思维,使其拥有更多的数学经验.目前,小学数学课堂缺少培养学生量感的教学方法,有关培养小学生量感的... 详细信息

《义务教育数学课程标准(2022年版)》已经将量感作为小学数学核心素养的重要内容之一.量感能够帮助小学生提升抽象表达能力,优化其逻辑思维,使其拥有更多的数学经验.目前,小学数学课堂缺少培养学生量感的教学方法,有关培养小学生量感的课堂设计存在不足.文章通过对量感在小学数学课堂中有效落实的价值分析和情况分析,探讨量感培育策略,探究更适合当前小学生成长需要的量感教学计划,优化教学课堂,实现小学生数学核心素养的提升.

关键词：量感培养活动小学数学课堂教学策略

维普期刊数据库博看期刊

帕利哌酮缓释片与盐酸哌罗匹隆片治疗精神分裂症的临床效果比较

在线全文

学校读者我要写书评

暂无评论

临床合理用药杂志 2024年第17期17卷 50-53页

作者：李益群柯龙婷福建省泉州市第三医院精神科 362000

目的比较帕利哌酮缓释片与盐酸哌罗匹隆片治疗精神分裂症的临床效果。方法选取2020年1月—2022年1月泉州市第三医院收治的精神分裂症患者86例,以随机数字表法分为帕利哌酮组和盐酸哌罗匹隆组,每组43例。帕利哌酮组采用帕利哌酮缓释片... 详细信息

目的比较帕利哌酮缓释片与盐酸哌罗匹隆片治疗精神分裂症的临床效果。方法选取2020年1月—2022年1月泉州市第三医院收治的精神分裂症患者86例,以随机数字表法分为帕利哌酮组和盐酸哌罗匹隆组,每组43例。帕利哌酮组采用帕利哌酮缓释片治疗,盐酸哌罗匹隆组采用盐酸哌罗匹隆片治疗,2组均治疗8周。比较2组患者疗效,治疗前后阳性和阴性症状量表(PANSS)评分、认知功能评分、血清炎性因子[白介素-6(IL-6)、白介素-8(IL-8)、白介素-1β(IL-1β)]水平,不良反应。结果帕利哌酮组总有效率为83.72%,高于盐酸哌罗匹隆组的62.79%(χ^(2)=4.807,P=0.028)。治疗8周后,2组阳性症状、阴性症状、精神病理评分及总分均低于治疗前,且帕利哌酮组低于盐酸哌罗匹隆组(P0.05);2组血清IL-6、IL-8、IL-1β水平均低于治疗前,且帕利哌酮组低于盐酸哌罗匹隆组(P<0.05或P<0.01)。帕利哌酮组与盐酸哌罗匹隆组不良反应总发生率比较差异不显著(34.88%vs.39.53%,χ^(2)=0.199,P=0.655)。结论帕利哌酮缓释片治疗精神分裂症患者的效果优于盐酸哌罗匹隆片,患者临床症状、认知功能改善更加显著,有效抑制炎性反应,且不良反应发生率较低。

关键词：精神分裂症帕利哌酮缓释片盐酸哌罗匹隆片症状评分认知功能炎性因子不良反应

X线片测量肱骨大结节角与肩袖撕裂的相关性研究

在线全文

学校读者我要写书评

暂无评论

医疗装备 2024年第11期37卷 10-12,16页

作者：陈一二柯群浙江省台州医院浙江台州317000

目的探讨X线片测量肱骨大结节角(GTA)与肩袖撕裂的相关性,为肩袖撕裂的预防、早期诊断和治疗提供依据和指导。方法回顾性分析2020年1月至2023年12月医院收治的138例因肩部疼痛不适行肩部X线检查患者的病历资料。根据临床诊断结果将发... 详细信息

目的探讨X线片测量肱骨大结节角(GTA)与肩袖撕裂的相关性,为肩袖撕裂的预防、早期诊断和治疗提供依据和指导。方法回顾性分析2020年1月至2023年12月医院收治的138例因肩部疼痛不适行肩部X线检查患者的病历资料。根据临床诊断结果将发生肩袖撕裂的患者纳入试验组(64例),未发生肩袖撕裂的患者纳入对照组(74例)。比较两组GTA的差异;考察GTA预测肩袖撕裂的临界值和预测能力;评价2名放射科医师测量结果的一致性和相关性。结果试验组GTA大于对照组,差异有统计学意义(P<0.05)。区分试验组与对照组患者的GTA最佳临界值为≥70°,受试者工作特征(ROC)曲线下面积为0.826,灵敏度和特异度分别为0.88和0.81。2名放射科医师测量GTA结果的组内相关系数(ICC)为0.677,Pearson’s相关性系数r=0.547。结论采用X线片测量GTA对肩袖撕裂具有较好的预测价值和较高的测量一致性,可为肩袖撕裂的预防、早期诊断和治疗提供依据和指导。

关键词：肱骨大结节角肩袖撕裂 X线片肱骨近端骨形态

维普期刊数据库博看期刊

智慧管理系统下气压治疗仪对骨科术后患者下肢深静脉血栓形成的预防效果

在线全文

学校读者我要写书评

暂无评论

医疗装备 2024年第8期37卷 133-136页

作者：柯群万黎明浙江省台州医院浙江台州318050

目的探讨智慧管理系统下气压治疗仪联合护理干预对预防骨科术后患者下肢深静脉血栓形成的效果。方法选取2022年1月至2023年1月医院行下肢骨科手术的100例患者为研究对象,采用随机数字表法分为对照组和观察组,每组50例。对照组实施气压... 详细信息

目的探讨智慧管理系统下气压治疗仪联合护理干预对预防骨科术后患者下肢深静脉血栓形成的效果。方法选取2022年1月至2023年1月医院行下肢骨科手术的100例患者为研究对象,采用随机数字表法分为对照组和观察组,每组50例。对照组实施气压治疗仪联合护理干预,观察组在对照组的基础上实施智慧管理系统。比较两组下肢深静脉血栓形成发生率、下肢静脉血液峰速度、下肢静脉血液平均流速、骨科术后患者下肢的肿胀率、护理满意度、生活质量评分。结果干预前,两组下肢静脉血液峰速度、平均速度及生活质量评分比较,差异有统计学意义(P<0.05);干预2周后,观察组下肢静脉血栓形成率、术后下肢肿胀率低于对照组,差异有统计学意义(P<0.05);观察组下肢深静脉血液峰速度、下肢静脉血液平均流速高于对照组,差异有统计学意义(P<0.05);观察组护理干预满意度、术后生活质量评分高于对照组,差异有统计学意义(P<0.05)。结论智慧管理系统下气压治疗仪联合护理干预措施,能有效改善骨科术后患者的血液循环和凝血功能,预防下肢深静脉血栓形成,缓解下肢肿胀。

关键词：智慧管理系统气压治疗仪护理干预骨科深静脉血栓形成

利用小角中子核磁散射分离研究AerMet100钢中纳米析出相的形貌和成分

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

在线全文

学校读者我要写书评

暂无评论

金属学报 2024年第8期60卷 1109-1118页

作者：柯于斌李彬段辉平散裂中子源科学中心东莞523803 中国科学院高能物理研究所北京100049 北京航空航天大学材料科学与工程学院北京100191

AerMet100超高强度钢以其优异的力学性能广泛应用于飞机起落架。其超高强度主要源于合金回火过程中产生的大量M_(2)C型针状析出相的二次硬化作用。由于AerMet100高强钢中的纳米析出相与马氏体基体共格且尺寸细小,无法进行萃取,很难采用... 详细信息

AerMet100超高强度钢以其优异的力学性能广泛应用于飞机起落架。其超高强度主要源于合金回火过程中产生的大量M_(2)C型针状析出相的二次硬化作用。由于AerMet100高强钢中的纳米析出相与马氏体基体共格且尺寸细小,无法进行萃取,很难采用传统成像手段对其尺寸和成分进行准确表征。本工作结合TEM和XRD的观测结果,采用小角中子散射(SANS)技术分别对454、482、486和498℃回火5 h的AerMet100合金钢中M_(2)C型针状析出相的尺寸、分布和含量进行了定量表征。通过在SANS实验时施加1.1 T横向磁场并对数据沿平行和垂直磁场方向按角度规约,实现了对数据的核、磁散射分离。对核散射曲线的模型拟合结果显示,合金中针状析出相平均长度为6~16 nm,平均直径为1~2 nm,针状碳化物相的体积分数随退火温度升高由0.54%逐渐提高至5.19%。磁散射数据得到的碳化物结构参数均大于核散射结果,说明在碳化物与马氏体基体相界面存在自旋错排的纳米磁畴区。此外,通过对碳化物和基体相中子核磁散射长度密度的对比计算,推断出针状碳化物的可能的化学组成和密度分别为:(Cr_(0.4)Mo_(1.6))C和8.55 g/cm^(3)。

关键词： AerMet100钢纳米析出相小角中子散射核磁散射分离纳米相化学成分

北大简《周驯》所见礼学问题及其儒家属性探微

在线全文

学校读者我要写书评

暂无评论

江西社会科学 2024年第4期44卷 94-100页

作者：柯昊中共陕西省委党校哲学教研部陕西西安710061

北京大学藏西汉竹书《周驯》中关涉众多礼学问题,包括古礼范畴中的宗法训诫传统、祭祀制度、礼制秩序,透过礼学视角可知这篇文献具有儒家属性。《周驯》所涉“驯”与先秦时期的“训”“诰”体密切相关,是周礼中的宗统、君统德训传统的... 详细信息

北京大学藏西汉竹书《周驯》中关涉众多礼学问题,包括古礼范畴中的宗法训诫传统、祭祀制度、礼制秩序,透过礼学视角可知这篇文献具有儒家属性。《周驯》所涉“驯”与先秦时期的“训”“诰”体密切相关,是周礼中的宗统、君统德训传统的重要内容。《周驯》诸章所载“奉祀”“乏祀”均为宗庙祭祀,具有“奉祀”“立嗣”“置贤”的核心内涵,也构成整篇主旨。简文中有“发剋(克)殷而为铭于席端”,之中的“席”和“铭”均涉及礼制,传世和出土礼学文献均有记载。《周驯》包括众多悬而未决的礼学问题,在整理、释读和研究时需要以周礼为背景,而其中所体现的儒家属性也值得深入探讨。

关键词：《周驯》 “训”体宗祀席铭

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

基于3D先验特征的人脸超分辨率重建算法

吉林大学学报（理学版） 2024年第4期62卷 895-904页

作者：姚汉群刘广文王超杨依宁才华付强长春理工大学电子信息工程学院长春130022 长春理工大学空间光电技术国家与地方联合工程研究中心长春130022 电磁空间安全全国重点实验室天津300308 长春理工大学空间光电技术研究所长春130022

为有效解决复杂环境下人脸超分辨率特征恢复的问题,提出一种全新的人脸超分辨率网络.该网络通过融合3D渲染先验知识和双重注意力机制,增强了对人脸空间位置和整体结构的理解,同时提高了细节信息的恢复能力.在数据集CelebAMask-HQ上的实... 详细信息

为有效解决复杂环境下人脸超分辨率特征恢复的问题,提出一种全新的人脸超分辨率网络.该网络通过融合3D渲染先验知识和双重注意力机制,增强了对人脸空间位置和整体结构的理解,同时提高了细节信息的恢复能力.在数据集CelebAMask-HQ上的实验结果表明:对放大4倍下采样的人脸,该算法在峰值信噪比和结构相似性上达到28.76 dB和0.827 5;对放大8倍下采样的人脸,峰值信噪比和结构相似性评价指标达到26.29 dB和0.754 9.与同类的SAM3D算法相比,该算法在处理放大4倍下采样时的峰值信噪比和结构相似性上分别提升了4.09,1.93个百分点,在处理放大8倍下采样时上述两个指标分别提升了2.02,4.54个百分点.从而证明该算法的优越性,也表明在实际应用中人脸的超分辨率恢复能获得更真实和清晰的视觉效果.

关键词：机器视觉人脸超分辨率 3D先验注意力机制

激光辐射波长和脉冲寿命对碲化镉熔化阈值的影响

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

在线全文

学校读者我要写书评

暂无评论

材料导报 2024年第7期38卷 40-45页

作者：列维茨基·谢尔盖曹泽祥柯巴·亚历山大柯巴·玛丽亚乌克兰国家科学院半导体物理研究所基辅03028 乌克兰国立技术大学物理技术学院基辅03058 乌克兰国民警卫研究所国家安全系基辅03028

碲化镉的相对分子量为240,密度为5.885 g/cm^(3),熔点为1092℃。碲化镉是一种Ⅱ-Ⅵ族的化合物半导体材料,属于直接带隙型,带隙宽度为1.56 eV。碲化镉是制造X射线、伽马射线和红外线探测器的基本材料。对碲化镉的特别关注主要是由于其大... 详细信息

碲化镉的相对分子量为240,密度为5.885 g/cm^(3),熔点为1092℃。碲化镉是一种Ⅱ-Ⅵ族的化合物半导体材料,属于直接带隙型,带隙宽度为1.56 eV。碲化镉是制造X射线、伽马射线和红外线探测器的基本材料。对碲化镉的特别关注主要是由于其大原子数和大的光电吸收截面。在基于CdTe的伽马辐射势垒探测器结构中,其表面的处理方法之一是纳秒激光照射,在某些情况下,纳秒激光照射可以在触点(Ag、In、Au)和势垒形成的技术处理阶段优化所需的表面参数。另一种方法是在脉冲激光照射下在碲化镉表面形成有序的纳米结构。对基于半导体及其结构的脉冲激光器,可根据其不同的脉冲持续时间τ_(p)和辐射波长λ将其分类。例如,红宝石激光器(λ=694 nm)、钕激光器(一次谐波1064 nm和两次谐波532 nm)、准分子KrF激光器(248 nm)和XeF激光器(351 nm)等,其脉冲持续时间分别为7、20、80、120 ns。这些激光器常被应用于表面修饰等领域。因此,往往有必要事先知道或至少估计在脉冲激光辐射下碲化镉表面的熔化温度和阈值,这取决于激光脉冲持续时间τ_(p)、辐射波长(光吸收系数α(λ))以及碲化镉表面本身的电物理参数,特别是表面重组率S和非平衡电荷载流子的寿命。这些参数取决于表面处理的方法和掺杂物的浓度。在上述情况下,实验研究是非常耗费人力和时间的,因此基于τ_(p)、α(λ)和碲化镉表面本身的电物理参数对融化阈值th和表面温度进行理论计算变得非常重要。本工作采用激光照射碲化镉,辐射波长为300~800 nm,脉冲持续时间为7~120 ns。为了以非破坏性的和有效的方法来管理接近表面层状态的CdTe,在T=80 K下进行了光致发光实验。为了监测熔化阈值,研究了由Acrorad公司制造和抛光的尺寸为5 mm×5 mm×0.5 mm的Cl补偿p-CdTe(111)单晶的光致发光光谱。经过研究发现,在激光脉冲寿命从7ns到1μs的范围内,CdTe熔化阈值明显取决于光吸收系数α(λ)。因为在脉冲寿命长于1μs的情况下,热扩散深度明显大于CdTe中的激光辐射穿透深度,并开始依赖于反射系数R(λ)。对于较短的激光脉冲长度τ_(p),当辐射波长λ变化时,熔化阈值会发生显著变化。同时,非平衡过剩载流子参数的变化(如表面重组速度S从10^(3)m/s增加到10^(5)m/s,还有扩散深度LD从0.4μm增加到2μm)会对CdTe熔化阈值产生至少25%的影响。而且红宝石激光的脉冲持续时间在(20±5)ns区间内的变化导致相对熔化阈值的变化(ΔIth/Ith)为35%。CdTe熔化阈值的计算值可以有效地被用于优化脉冲激光对晶体的表面处理与掺杂。

关键词：碲化镉熔化阈值脉冲激光辐照半导体激光掺杂