检索结果-南通市图书馆

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

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

小型微型计算机系统 2024年

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

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

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

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

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

鱼菜共生技术及其系统装备的研究现状与展望

南京农业大学学报 2024年

作者：李天沛汪小旵施印炎丁为民南京农业大学工学院江苏省现代设施农业技术与装备工程实验室

中国淡水养殖产量稳居世界第一位，但过量投饲和养殖模式落后带来的水体富营养化、生产效率低下以及水产品质量无法得到保障等问题严重制约了水产养殖业的健康发展，因此发展鱼菜共生等生态种养模式是加快发展生态循环农业并最终实现农... 详细信息

中国淡水养殖产量稳居世界第一位，但过量投饲和养殖模式落后带来的水体富营养化、生产效率低下以及水产品质量无法得到保障等问题严重制约了水产养殖业的健康发展，因此发展鱼菜共生等生态种养模式是加快发展生态循环农业并最终实现农业绿色可持续发展的重要途径。鱼菜共生技术可实现氮素和水资源的高利用率，生产农产品的同时生态效益也很显著。鱼菜共生系统包含水产养殖、养殖尾水预处理、微生物降解转化、作物栽培等农艺环节，涉及多种农业生产过程和装备。本文总结了国内外现代鱼菜共生技术的发展现状，介绍了鱼菜共生系统的装备组成和模式特点，分析了鱼菜共生技术及其装备存在的问题和挑战，对鱼菜共生技术未来的发展作出展望与建议，以期为鱼菜共生技术的研究和我国生态种养模式可持续发展提供参考。

关键词：鱼菜共生种养装备水产养殖无土栽培尾水处理氮素循环

以标准化引领全民健身公共服务高质量发展：运作逻辑、现实困境与实现路径

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

首都体育学院学报 2024年

作者：刘莉张小沛池建北京邮电大学体育部上海体育大学经济管理学院北京体育大学

全民健身公共服务标准化是助力更高水平全民健身公共服务体系建设、实现体育高质量发展和体育强国建设的重要内容。运用文献研究法和逻辑分析法探究了以标准化引领我国全民健身公共服务高质量发展的理论逻辑、运作逻辑和现实困境。基于... 详细信息

全民健身公共服务标准化是助力更高水平全民健身公共服务体系建设、实现体育高质量发展和体育强国建设的重要内容。运用文献研究法和逻辑分析法探究了以标准化引领我国全民健身公共服务高质量发展的理论逻辑、运作逻辑和现实困境。基于此，提出以下实现路径：从顶层设计抓规划，明确全民健身公共服务标准化的战略统筹方向；以法律与法规促规范化服务，推进全民健身公共服务标准化运行机制建设；以智力支持提质量，加强全民健身公共服务人才培养和数字技术赋能；以区域融合促合作，促进标准化的全民健身公共服务的均等化与协调发展；督导评估重落实，完善标准化的全民健身公共服务评估监督机制。

关键词：标准化体育全民健身高质量发展公共服务

科学家精神融入本科拔尖创新人才培养的四重逻辑

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

当代教育论坛 2024年

作者：邢晓沛杨佳胡夏湖南工商大学团委首都师范大学心理学院教学办公室首都师范大学心理学院

科学家精神是科学技术工作者在长期科研实践中，在理想追求和道德完善方面力求实现的最高境界，已积淀形成为宝贵的精神财富。培植科学家精神是本科拔尖创新人才培养的内在需求。科学家精神融入本科拔尖创新人才培养具有以下重要价值：... 详细信息

科学家精神是科学技术工作者在长期科研实践中，在理想追求和道德完善方面力求实现的最高境界，已积淀形成为宝贵的精神财富。培植科学家精神是本科拔尖创新人才培养的内在需求。科学家精神融入本科拔尖创新人才培养具有以下重要价值：落实立德树人根本任务；贯彻创新驱动发展战略。拔尖学生存在的素质弱项主要是：内部动机不足；社会责任感、抗逆力水平和合作精神有待提升。科学家精神融入拔尖创新人才培养的主要内容和有利抓手主要包括：内在动机的激发与创新奉献精神的培育；家国情怀与社会责任感的培植；永不言败的抗压精神与心理调适能力；协同精神与团队合作能力的培养。面对科技强国建设对英才的迫切需求，通过加强顶层设计、激发主体意识、提升主导责任、完善环境支持可促进科学家精神融入拔尖创新人才培养，稳步提升其质量和效益。

关键词：科学家精神本科拔尖创新人才培养

碳烟颗粒掺杂铅基复合阳极的制备及电化学性能研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

稀有金属材料与工程 2024年第2期53卷 483-489页

作者：张晨沛杨长江赵吕兴李灿李启坤常军昆明理工大学冶金与能源工程学院云南昆明650093 铜仁学院材料与化学工程学院贵州铜仁554300

采用一种快速、低成本的方法制得纳米碳材料-碳烟颗粒(C_(H)),并通过粉末冶金和机械合金化技术制备出铅/碳烟颗粒(Pb/C_(H))复合阳极材料,利用纳米碳材料高比表面积和高催化活性等优点,提高铅基阳极的析氧电催化性。使用场发射扫描电子... 详细信息

采用一种快速、低成本的方法制得纳米碳材料-碳烟颗粒(C_(H)),并通过粉末冶金和机械合金化技术制备出铅/碳烟颗粒(Pb/C_(H))复合阳极材料,利用纳米碳材料高比表面积和高催化活性等优点,提高铅基阳极的析氧电催化性。使用场发射扫描电子显微镜(FE-SEM)、傅里叶红外光谱(FTIR)、循环伏安曲线(CV)和线性扫描伏安曲线(LSV)等测试进行表征。C_(H)呈疏松的球链状,具有丰富的羰基和羟基功能团,是良好的电子和质子传递载体。随着C_(H)含量增加,Pb/C_(H)复合阳极的析氧超电位降低。Pb/1.5%C_(H)(质量分数)复合阳极与纯Pb和传统Pb/0.75%Ag阳极相比,其表观交换电流密度分别提高3和2个数量级。在模拟锌电积条件下,其析氧电位低于铅银合金阳极20m V,较纯铅阳极降低133 mV,具有优异的析氧电催化活性。

关键词：碳烟颗粒复合阳极析氧反应锌电积

在线全文

学校读者我要写书评

暂无评论

西部电影中的城乡凝视现象解读

电影文学 2024年第19期 56-62页

作者：侯长生史沛灵长安大学人文学院陕西西安710064 西部电影理论及创作研究基地陕西西安710064

拉康提出“凝视”理论,福柯对“凝视”现象做进一步研究,研究指出其背后存在一定的权力关系并蕴含一种破坏性力量。西部电影在城乡关系的刻画上带有一种“凝视”的文化症候,城市与乡村被刻画为两个对立不相容的客体,并塑造了一系列游移... 详细信息

拉康提出“凝视”理论,福柯对“凝视”现象做进一步研究,研究指出其背后存在一定的权力关系并蕴含一种破坏性力量。西部电影在城乡关系的刻画上带有一种“凝视”的文化症候,城市与乡村被刻画为两个对立不相容的客体,并塑造了一系列游移于城乡之间的“多余人”形象。导演的矛盾身份、文化间性的制约、二元对立思维的束缚是这种城乡凝视生成的主要原因。要想跳出城乡凝视的怪圈就要突破二元对立思维的束缚,实现跨文化叙事。

关键词：凝视城市乡村现代化西部电影

在线全文

学校读者我要写书评

暂无评论

论“善意原则”在国际环境争端解决中的适用

世界社会科学 2024年第1期 81-102+244页

作者：林灿铃张玉沛中国政法大学国际环境法研究中心中国政法大学国际法学院

作为一般法律原则，“善意原则”往往在相关案件事实尚无直接证据支持而需以间接证据加以佐证或国际环境条约及国际习惯存在空白的情况下适用于国际环境争端解决，具有十分重要的理论意义与实践价值。该原则适用于制定解释性规则或程序... 详细信息

作为一般法律原则，“善意原则”往往在相关案件事实尚无直接证据支持而需以间接证据加以佐证或国际环境条约及国际习惯存在空白的情况下适用于国际环境争端解决，具有十分重要的理论意义与实践价值。该原则适用于制定解释性规则或程序规则及确立实体环境权利与义务的情形。在国际环境争端解决中适用“善意原则”不仅有利于衡平国家环境权利与义务，亦可对秉持环境利益诉求和价值取向各异的国家及国家集团凝聚全球环境共识、达成相关国际环境协议起到积极的促进作用。

关键词：国际环境法善意原则国际环境争端争端解决法律适用

基于遥测姿态变换的外测数据跟踪部位修正方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

空间控制技术与应用 2024年第2期50卷 59-69页

作者：李冬赵书圆张鑫勇周萱影中国人民解放军91550部队大连116023 国防科技大学长沙410073

外测数据跟踪部位修正对于飞行器飞行试验的高精度轨迹参数获取有着重要意义.提出一种基于飞行器遥测姿态数据和粗略轨迹参数的跟踪部位修正新方法,利用遥测姿态数据确定惯导平台中心与跟踪部位轨迹参数的变换关系,进而由粗略轨迹参数... 详细信息

外测数据跟踪部位修正对于飞行器飞行试验的高精度轨迹参数获取有着重要意义.提出一种基于飞行器遥测姿态数据和粗略轨迹参数的跟踪部位修正新方法,利用遥测姿态数据确定惯导平台中心与跟踪部位轨迹参数的变换关系,进而由粗略轨迹参数推算惯导平台中心与跟踪部位测距、径向速度、方位角和俯仰角的差异值,实现跟踪部位修正量的准确计算.采用误差传播法对粗略轨迹误差影响下的跟踪部位修正精度进行理论分析,验证了该修正方法在实际应用中的有效性.进一步通过仿真实验和实装实验检验了修正精度.结果表明跟踪部位修正量的计算误差远小于外测系统的精度指标要求,有重要的实际应用价值.

关键词：外测跟踪部位遥测轨迹参数误差传播法修正精度

考虑新能源场站间相互作用的宽频振荡特性研究

在线全文

学校读者我要写书评

暂无评论

太阳能学报 2024年第1期45卷 563-573页

作者：马燕峰陈鑫刘新元赵书强江伟建河北省分布式储能与微网重点实验室(华北电力大学) 保定071003 国网江西省电力有限公司宜春供电分公司宜春336000 国网山西省电力公司电力科学研究院太原030001 国网浙江省电力有限公司嘉兴供电公司嘉兴314000

相对于单源并网系统,以风光为代表的多源并网系统由于场站间相互作用的存在,使得系统的宽频振荡分析变得更加复杂。针对新能源场站间相互作用参与的宽频振荡问题,该文首先采用图形化建模方法建立系统的小信号模型并进行仿真验证,接着通... 详细信息

相对于单源并网系统,以风光为代表的多源并网系统由于场站间相互作用的存在,使得系统的宽频振荡分析变得更加复杂。针对新能源场站间相互作用参与的宽频振荡问题,该文首先采用图形化建模方法建立系统的小信号模型并进行仿真验证,接着通过特征值分析法进行宽频振荡模式分析,找出风电场与光伏电站共同参与的交互模式,进一步采用阻抗法研究新能源场站间相互作用并进行影响因素分析。研究结果表明,新能源场站间的相互作用取决于场站等值导纳的相对大小及相位,新能源场站的并网距离及出力比均会对场站间相互作用产生影响从而影响系统交互模式,通过分析新能源的不同位置和运行工况下的交互作用规律可对大规模新能源接入及运行提供一定指导。

关键词：风电场光伏发电系统电力系统稳定性宽频振荡场站间相互作用