检索结果-南通市图书馆

维普期刊数据库

一种利用大语言模型增强静态分析代码摘要能力的方法

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2024年

作者：汪海沛孙福特张磊复旦大学计算机科学与技术学院

技术作为静态分析的关键手段之一，一直以来都面临效率与精度的权衡问题。现有的传统静态分析工具为生成准确的摘要，需要耗费大量的分析时间。为解决这一问题，提出了利用大语言模型增强静态分析代码摘要能力的方法。首先，采用基于思... 详细信息

技术作为静态分析的关键手段之一，一直以来都面临效率与精度的权衡问题。现有的传统静态分析工具为生成准确的摘要，需要耗费大量的分析时间。为解决这一问题，提出了利用大语言模型增强静态分析代码摘要能力的方法。首先，采用基于思维链的少样本提示方法对大语言模型进行微调，实现精准的摘要生成；其次，实现对复杂摘要导致状态爆炸问题的建模；最后，提出创新的静态分析与大语言模型的调度策略，提前预测需要应用大语言模型的场景，并实现大语言模型与静态分析过程的交互。设计并实现了工具LLM-SAST，并在Tomcat等开源软件上进行了测试。实验结果表明，相较于目前经典的静态分析工具FlowDroid与Soot，精度提升了10%到400%不等，运行时间减少了50%到90%不等，证明了该方法有效提升了静态分析的精度与效率。

关键词：静态程序分析大语言模型提示工程代码摘要

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

父亲的红鬓马

诗刊 2024年第6期 106-109页

作者：吉尔不详

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

我的第一场诗歌课

诗探索 2024年第1期 127-130页

作者：吉尔新疆库车市人民医院

我在小时候是一个敏感的孩子,大姐出嫁、搬迁老屋、丢失了用了好几年的削笔刀,我都会很难过,并且我总是难过。一条叫黑子的小狗跳上灶台叼走了馒头,被父亲用锄头砸伤,母亲说猫有九条命,狗有七条命,我想黑子还有六条命呢。黑子躺在地上,...

我在小时候是一个敏感的孩子,大姐出嫁、搬迁老屋、丢失了用了好几年的削笔刀,我都会很难过,并且我总是难过。一条叫黑子的小狗跳上灶台叼走了馒头,被父亲用锄头砸伤,母亲说猫有九条命,狗有七条命,我想黑子还有六条命呢。黑子躺在地上,四条腿直伸,我蹲在地上一直哭,看着眼睛蓄满泪水的黑子,因疼痛发出的呻吟越来越弱,黑子看着我,它的眼睛清澈,泪水顺着眼角往下流,把眼角下的毛发冲出了一道黑色的泪痕。

关键词：

基于ACWGAN-Gp的行星齿轮箱不平衡故障诊断方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

控制工程 2024年

作者：史浩进邱吉尔陶洪峰靳广虎江南大学物联网工程学院南京航空航天大学直升机传动技术重点实验室江南大学教育部轻工过程先进控制重点实验室

针对实际工业过程中行星齿轮箱振动故障样本获取较为困难，可用于特征提取的训练数据类别不平衡的问题，提出了一种具有梯度惩罚的Wasserstein距离辅助分类生成对抗网络(ACWGAN-Gp)。首先利用快速傅里叶变换处理齿轮箱原始振动信号，然... 详细信息

针对实际工业过程中行星齿轮箱振动故障样本获取较为困难，可用于特征提取的训练数据类别不平衡的问题，提出了一种具有梯度惩罚的Wasserstein距离辅助分类生成对抗网络(ACWGAN-Gp)。首先利用快速傅里叶变换处理齿轮箱原始振动信号，然后将高斯分布下的随机噪声与真实数据输入生成器输出伪样本，判别器中引入真实数据和伪样本分布的Wasserstein 距离作为损失项，并添加梯度惩罚，反向传播优化网络参数直到纳什平衡。实验表明，以余弦相似度和弗雷切特起始距离作为相似度度量，伪样本与真实样本具有较高相似度，且将伪样本扩充到不平衡数据集中能有效提升故障诊断性能。

关键词：行星齿轮箱故障诊断辅助分类生成对抗网络 Wasserstein距离梯度惩罚

法国里昂国家歌剧院新歌剧《人质》世界首演:讲述普通女性的故事

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

歌剧 2024年第7期 22-25页

作者：吉尔(编译) 不详

作为“重新洗牌音乐节”(Rebattre les cards)的一部分,法国里昂国家歌剧院保留了一张王牌——全新歌剧《人质》(Otages)的全球首演。2024年3月,该剧作为法国里昂国家歌剧院今年的第三部同时也是最后一部歌剧制作上演。

关键词：新歌剧法国里昂音乐节首演重新洗牌人质

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

在线全文

学校读者我要写书评

暂无评论

积极调研依法履职 4

积极调研依法履职

人民日报

作者：黄福特

“无障碍环境建设法的制定，标志着我国的无障碍环境建设进入法治化轨道，这是社会文明进步的体现。”3月9日下午，在广东代表团第六小组会议上，代表们认真审议全国人大常委会工作报告。中国助残志愿者协会会长吕世明代表在发言中围绕... 详细信息

“无障碍环境建设法的制定，标志着我国的无障碍环境建设进入法治化轨道，这是社会文明进步的体现。”3月9日下午，在广东代表团第六小组会议上，代表们认真审议全国人大常委会工作报告。中国助残志愿者协会会长吕世明代表在发言中围绕无障碍环境建设法的制定，以参与者、经......

关键词：无障碍环境吕世明

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

飞行,从热气球开始

环球科学 2024年第7期 84-91页

作者：莉莉·福特杨青(译) 赵瑞(译) 不详

在18世纪中期,人们对飞行的渴望促成了热气球的出现。这种迅速发展的“风囊”也反过来让当时的人们对它产生了更多的期待。当人们第一次尝试通过热气球飞行时,必然会引来成群的观众作为见证。而人类首次将一个直径9米、装满燃烧秸秆所... 详细信息

在18世纪中期,人们对飞行的渴望促成了热气球的出现。这种迅速发展的“风囊”也反过来让当时的人们对它产生了更多的期待。当人们第一次尝试通过热气球飞行时,必然会引来成群的观众作为见证。而人类首次将一个直径9米、装满燃烧秸秆所产生的热空气的纸袋发射升空,只是为了给法国里昂附近一家家庭造纸厂做广告。

关键词：热气球法国里昂热空气造纸厂飞行 18世纪

基于自训练SGAN的调压器半监督故障诊断模型

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

控制工程 2024年第4期31卷 722-728页

作者：程龙陶洪峰邱吉尔沈凌志江南大学物联网工程学院轻工过程先进控制教育部重点实验室江苏无锡214122

针对实际工况下调压器标记样本稀缺导致故障诊断效果不佳的问题,基于自训练算法与半监督生成对抗网络(semi-supervised generative adversarial network,SGAN)设计了故障诊断模型。首先,对燃气调压器一维压力信号进行预处理,得到灰度图... 详细信息

针对实际工况下调压器标记样本稀缺导致故障诊断效果不佳的问题,基于自训练算法与半监督生成对抗网络(semi-supervised generative adversarial network,SGAN)设计了故障诊断模型。首先,对燃气调压器一维压力信号进行预处理,得到灰度图像样本。之后,基于深度卷积生成对抗网络,设计SGAN进行特征提取,判别器采用具有共享权值的堆叠鉴别器模型。然后,设计自训练算法,使用训练好的初始分类器预测无标签样本的类别标签。最后,采用重复标记方式将满足要求的样本扩充到有标签样本集重新训练,保存最终的分类器。实验结果表明,在少量调压器标签样本的情况下,所提模型依旧具有良好的性能。

关键词：半监督学习生成对抗网络自训练调压器故障诊断

维普期刊数据库

锰肥配施γ-pGA对无芒雀麦种子生产的影响

在线全文

学校读者我要写书评

暂无评论

草地学报 2024年第4期32卷 1276-1284页

作者：石国庆隋晓青杨静吉尔尔格张博张勇娟新疆农业大学草业学院新疆草地资源与生态重点实验室西部干旱荒漠区草地资源与生态教育部重点实验室新疆乌鲁木齐830052 乌鲁木齐市园林工程质量监督站(乌鲁木齐市林草种苗站) 新疆乌鲁木齐830092

本研究以无芒雀麦(Bromus inermis)为试验材料,在初花期叶面喷施锰肥配施不同浓度γ-聚谷氨酸(γ-pGA)处理,对无芒雀麦的叶绿素含量(SpAD值)、可溶性糖和淀粉含量,以及产量构成因子和种子产量进行了系统的分析。结果表明:包括单穗小花... 详细信息

本研究以无芒雀麦(Bromus inermis)为试验材料,在初花期叶面喷施锰肥配施不同浓度γ-聚谷氨酸(γ-pGA)处理,对无芒雀麦的叶绿素含量(SpAD值)、可溶性糖和淀粉含量,以及产量构成因子和种子产量进行了系统的分析。结果表明:包括单穗小花数、单穗种子数、单株小穗数、单株种子数、千粒重和种子产量在内的种子产量构成因子分别提升2.94%~16.47%,,6.86%~16.67%,,8.26%~31.39%,,44.98%~67.37%,,8.40%~12.47%和19.61%~27.98%,其中种子产量最高为623.97 kg·hm^(-2)。锰肥配施γ-pGA后无芒雀麦叶片内SpAD值升高,保证其更有效地进行光合作用而积累更多有机物质,在源、库器官中可溶性糖和淀粉发生积累转移,优先保证生殖器官的生长发育。基于综合评价表明,在无芒雀麦初花期喷施0.05%Mn+1.5%γ-pGA,能够有效提高无芒雀麦的种子产量。

关键词：无芒雀麦锰肥 γ-聚谷氨酸产量构成因子种子产量

维普期刊数据库博看期刊

同方期刊数据库