期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Java程序资源泄露缺陷检测:传统模型和语言模型的有效性分析
1
作者
刘天阳
叶嘉威
+1 位作者
计卫星
刘辉
《软件学报》
北大核心
2025年第6期2432-2452,共21页
资源泄露是由于有限的系统资源未能及时正确关闭所导致的缺陷,广泛存在于各种语言程序中,且具有一定的隐蔽性.传统的缺陷检测方法通常基于规则和启发式搜索预测软件中的资源泄露.近年来,基于深度学习的缺陷检测方法通过不同的代码表征...
资源泄露是由于有限的系统资源未能及时正确关闭所导致的缺陷,广泛存在于各种语言程序中,且具有一定的隐蔽性.传统的缺陷检测方法通常基于规则和启发式搜索预测软件中的资源泄露.近年来,基于深度学习的缺陷检测方法通过不同的代码表征形式并使用循环神经网络、图神经网络等技术捕获代码中的语义信息.最近的研究显示,语言模型在代码理解和生成等任务中表现出色.然而语言模型针对资源泄露检测这一特定任务上的优势和局限性尚未得到充分评估.研究基于传统模型、小模型和大模型的检测方法在资源泄露检测任务中的有效性,并探究小样本学习、微调以及静态分析与大模型结合的多种改进方式.具体而言,以JLeaks和DroidLeaks数据集为实验对象,从资源泄露根本原因、资源种类、代码复杂度等多个维度分析不同模型的表现.实验结果表明,微调技术能够显著提升大模型在资源泄露检测领域的检测效果.然而,大部分模型在识别第三方库引发的资源泄露上仍需改进.此外,代码复杂度对基于传统模型的检测方法的影响更大.
展开更多
关键词
资源泄露
缺陷检测
实证研究
大模型
在线阅读
下载PDF
职称材料
补肾健脾方介导肠道稳态改善去卵巢大鼠的骨量丢失
被引量：
2
2
作者
谭日威
戴新华
+10 位作者
叶嘉威
招文华
尚奇
陈桂锋
周本根
梁德
沈耿杨
程英雄
范琳燕
任辉
江晓兵
《中国骨质疏松杂志》
CAS
CSCD
北大核心
2024年第12期1717-1723,共7页
目的 探讨肠道稳态在去卵巢(OVX)大鼠骨量丢失中的机制及补肾健脾方的防治作用。方法 18只4月龄的雌性未孕SD大鼠随机平均分为假手术(SHAM)组、去卵巢(OVX)组、补肾健脾方(BSJP)组,每组6只。造模5 d后,SHAM组及OVX组予生理盐水灌胃,BSJ...
目的 探讨肠道稳态在去卵巢(OVX)大鼠骨量丢失中的机制及补肾健脾方的防治作用。方法 18只4月龄的雌性未孕SD大鼠随机平均分为假手术(SHAM)组、去卵巢(OVX)组、补肾健脾方(BSJP)组,每组6只。造模5 d后,SHAM组及OVX组予生理盐水灌胃,BSJP组予补肾健脾方灌胃,连续灌胃12周后取材。大鼠股骨的皮质骨及松质骨采用Micro-CT进行分析,小肠及股骨组织HE染色后镜下观察形态,TRAP染色后对破骨细胞数量进行统计,Western Blot检测肠道屏障关键蛋白Cldn3、小肠及骨组织内的免疫细胞关键标志物TNF-α、IL-17A及趋化因子CCL20、CXCR3、骨组织内破骨标志蛋白C-FOS、DC-STAMP、CTSK表达情况。结果 与OVX组比较,BSJP组肠壁增厚,小肠绒毛结构破坏减轻,股骨内破骨活动减少,Micro-CT骨微结构扫描提示BMD均明显升高;肠道屏障标志蛋白Cldn3蛋白表达上升,免疫细胞关键标志物TNF-α、IL17A及趋化因子CCL20、CXCR3蛋白表达均下降,破骨标志蛋白C-FOS、DC-STAMP、CTSK表达均下降。结论 去卵巢(OVX)大鼠发生骨质疏松的病理基础是肠道稳态失衡,补肾健脾方介导肠道稳态改善去卵巢(OVX)大鼠的骨量丢失。
展开更多
关键词
绝经后骨质疏松症
补肾健脾方
骨量丢失
肠道稳态
在线阅读
下载PDF
职称材料
题名
Java程序资源泄露缺陷检测:传统模型和语言模型的有效性分析
1
作者
刘天阳
叶嘉威
计卫星
刘辉
机构
北京理工大学计算机学院
北京师范大学人工智能学院
出处
《软件学报》
北大核心
2025年第6期2432-2452,共21页
基金
国家自然科学基金重点项目(62232003)。
文摘
资源泄露是由于有限的系统资源未能及时正确关闭所导致的缺陷,广泛存在于各种语言程序中,且具有一定的隐蔽性.传统的缺陷检测方法通常基于规则和启发式搜索预测软件中的资源泄露.近年来,基于深度学习的缺陷检测方法通过不同的代码表征形式并使用循环神经网络、图神经网络等技术捕获代码中的语义信息.最近的研究显示,语言模型在代码理解和生成等任务中表现出色.然而语言模型针对资源泄露检测这一特定任务上的优势和局限性尚未得到充分评估.研究基于传统模型、小模型和大模型的检测方法在资源泄露检测任务中的有效性,并探究小样本学习、微调以及静态分析与大模型结合的多种改进方式.具体而言,以JLeaks和DroidLeaks数据集为实验对象,从资源泄露根本原因、资源种类、代码复杂度等多个维度分析不同模型的表现.实验结果表明,微调技术能够显著提升大模型在资源泄露检测领域的检测效果.然而,大部分模型在识别第三方库引发的资源泄露上仍需改进.此外,代码复杂度对基于传统模型的检测方法的影响更大.
关键词
资源泄露
缺陷检测
实证研究
大模型
Keywords
resource leak
defect detection
empirical study
large language model(LLM)
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
补肾健脾方介导肠道稳态改善去卵巢大鼠的骨量丢失
被引量：
2
2
作者
谭日威
戴新华
叶嘉威
招文华
尚奇
陈桂锋
周本根
梁德
沈耿杨
程英雄
范琳燕
任辉
江晓兵
机构
广州中医药大学第一临床医学院
广州医科大学附属第二医院
广州中医药大学岭南医学研究中心
广州中医药大学第三临床医学院
广州中医药大学第一附属医院
出处
《中国骨质疏松杂志》
CAS
CSCD
北大核心
2024年第12期1717-1723,共7页
基金
广东省自然科学基金面上项目(2021A1515011463,2021A1515011247)
广州市科技计划(2022010117612)。
文摘
目的 探讨肠道稳态在去卵巢(OVX)大鼠骨量丢失中的机制及补肾健脾方的防治作用。方法 18只4月龄的雌性未孕SD大鼠随机平均分为假手术(SHAM)组、去卵巢(OVX)组、补肾健脾方(BSJP)组,每组6只。造模5 d后,SHAM组及OVX组予生理盐水灌胃,BSJP组予补肾健脾方灌胃,连续灌胃12周后取材。大鼠股骨的皮质骨及松质骨采用Micro-CT进行分析,小肠及股骨组织HE染色后镜下观察形态,TRAP染色后对破骨细胞数量进行统计,Western Blot检测肠道屏障关键蛋白Cldn3、小肠及骨组织内的免疫细胞关键标志物TNF-α、IL-17A及趋化因子CCL20、CXCR3、骨组织内破骨标志蛋白C-FOS、DC-STAMP、CTSK表达情况。结果 与OVX组比较,BSJP组肠壁增厚,小肠绒毛结构破坏减轻,股骨内破骨活动减少,Micro-CT骨微结构扫描提示BMD均明显升高;肠道屏障标志蛋白Cldn3蛋白表达上升,免疫细胞关键标志物TNF-α、IL17A及趋化因子CCL20、CXCR3蛋白表达均下降,破骨标志蛋白C-FOS、DC-STAMP、CTSK表达均下降。结论 去卵巢(OVX)大鼠发生骨质疏松的病理基础是肠道稳态失衡,补肾健脾方介导肠道稳态改善去卵巢(OVX)大鼠的骨量丢失。
关键词
绝经后骨质疏松症
补肾健脾方
骨量丢失
肠道稳态
Keywords
postmenopausal osteoporosis
kidney-tonifying and spleen-strengthening prescription
bone loss
gastrointestinal homeostasis
分类号
R285.5 [医药卫生—中药学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Java程序资源泄露缺陷检测:传统模型和语言模型的有效性分析
刘天阳
叶嘉威
计卫星
刘辉
《软件学报》
北大核心
2025
0
在线阅读
下载PDF
职称材料
2
补肾健脾方介导肠道稳态改善去卵巢大鼠的骨量丢失
谭日威
戴新华
叶嘉威
招文华
尚奇
陈桂锋
周本根
梁德
沈耿杨
程英雄
范琳燕
任辉
江晓兵
《中国骨质疏松杂志》
CAS
CSCD
北大核心
2024
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
