检索结果-维普期刊中文期刊服务平台

基于大语言模型的模糊测试研究综述被引量：1: 1; 作者李岩杨文章 +1 位作者张翼薛吟兴《软件学报》北大核心 2025年第6期2404-2431,共28页; 模糊测试是一种自动化的软件测试方法,通过向目标软件系统输入大量自动生成的测试数据,以发现系统潜在的安全漏洞、软件缺陷或异常行为.然而,传统模糊测试技术受限于自动化程度低、测试效率低、代码覆盖率低等因素,无法应对现代的大型... 展开更多; 关键词大语言模型模糊测试测试输入生成缺陷检测后模糊处理; 在线阅读下载PDF 职称材料

认识引黄建设引黄热爱引黄: 2; 作者杨文章张丹军《水利水电技术》 CSCD 北大核心 2002年第8期4-9,共6页; 万家寨引黄工程是解决山西省水资源紧缺和主要工业城市用水危机,维系山西省经济长远发展的生命工程.同时,万家寨引黄工程又是世界级工程.其主要表现在:(1)是一项规模宏大的工程;(2)是一项高难度、高科技的引水工程;(3)是全过程、全方位... 展开更多; 关键词万家寨引黄工程运营引水工程水资源; 在线阅读下载PDF 职称材料

基于GM跟驰模型的内河限制性航道船舶交通流基本图被引量：7: 3; 作者廖鹏杨文章 +2 位作者褚明生张玮王昊《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2022年第3期602-608,共7页; 为准确掌握内河航道上船舶交通流的运行特征与规律,考虑船舶正常航行时为保持舵效所需的最低航速与最小安全间距,引入最低航速和最大密度2个特征变量,对经典的GM跟驰模型进行局部修正,然后根据锡澄运河现场实船跟驰实验数据,回归拟合了... 展开更多; 关键词内河航道船舶交通流基本图跟驰实验舵效; 在线阅读下载PDF 职称材料

内河单线航道船舶双向通航方式分析被引量：1: 4; 作者杨文章廖鹏 +1 位作者孔庄张卿茹《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2023年第1期174-181,共8页; 为分析内河单线航道双向通航的可行性和合理性,研究了单线航道2种双向通航方式的关键参数与船舶延误.根据潮汐式通航原理,计算了双向潮汐式通航周期、停泊区所需最小容量和船舶平均延误;采用船舶交通仿真方法,分析了单线航道双向连续通... 展开更多; 关键词单线航道双向通航停泊区会让区延误; 在线阅读下载PDF 职称材料

真空断路器操作轴上拐臂夹角测量方法的探讨被引量：2: 5; 作者杨文章成守勇《高压电器》 CAS CSCD 北大核心 2002年第1期62-63,共2页; 通过理论分析与实践 ,探讨了具有同一公垂线的几条异面直线间夹角的测量方法 ,提出了一种简便测量真空断路器操作轴拐臂夹角的思路。; 关键词真实断路器操作轴拐臂夹角测量装置; 在线阅读下载PDF 职称材料

孔位置度检测量规的设计计算被引量：3: 6; 作者杨文章《机械设计与制造》 2002年第1期88-89,共2页; 1前言真空开关及操作机构上有许多零件的连接是靠螺钉和铆钉通过两零件上一系列孔而把它们紧固在一起的.在加工孔时,孔的中心对图纸上所规定的理论位置都会有误差,为了使螺钉或铆钉等连接件在装配时能自由地通过两个互相连接零件上的孔... 展开更多; 关键词真空开关孔径量度检测量规设计计算; 在线阅读下载PDF 职称材料

粉状落叶松单宁胶粘剂及其应用被引量：12: 7; 作者霍淑贤卓红花 +2 位作者何奇李宏兵杨文章《林产工业》北大核心 2002年第4期37-39,共3页; 粉状落叶松单宁胶粘剂,是内蒙古森工栲胶制品有限责任公司与南京林业大学合作研制开发的,可以替代酚醛树脂,用于Ⅰ类胶合板生产的低毒、环保的新型木材胶粘剂。本产品已获国家专利(专利号:ZL95105354),于1998年开始大批量生产。; 关键词胶合板生产环保原理粉状落叶松单宁胶粘剂应用; 在线阅读下载PDF 职称材料

题名基于大语言模型的模糊测试研究综述被引量：1: 1; 作者李岩杨文章张翼薛吟兴; 机构中国科学技术大学软件学院中国科学技术大学计算机科学与技术学院中国科学技术大学苏州高等研究院; 出处《软件学报》北大核心 2025年第6期2404-2431,共28页; 基金国家自然科学基金(61972373)。; 文摘模糊测试是一种自动化的软件测试方法,通过向目标软件系统输入大量自动生成的测试数据,以发现系统潜在的安全漏洞、软件缺陷或异常行为.然而,传统模糊测试技术受限于自动化程度低、测试效率低、代码覆盖率低等因素,无法应对现代的大型软件系统.近年来,大语言模型的迅猛发展不仅为自然语言处理领域带来重大突破,也为模糊测试领域带来了新的自动化方案.因此,为了更好地提升模糊测试技术的效果,现有的工作提出了多种结合大语言模型的模糊测试方法,涵盖了测试输入生成、缺陷检测、后模糊处理等模块.但是现有工作缺乏对基于大语言模型的模糊测试技术的系统性调研和梳理讨论,为了填补上述综述方面的空白,对现有的基于大语言模型的模糊测试技术的研究发展现状进行全面的分析和总结.主要内容包括:(1)概述模糊测试的整体流程和模糊测试研究中常用的大语言模型相关技术;(2)讨论大模型时代之前的基于深度学习的模糊测试方法的局限性;(3)分析大语言模型在模糊测试方法中不同环节的应用方式;(4)探讨大语言模型技术在模糊测试中的主要挑战和今后可能的发展方向.; 关键词大语言模型模糊测试测试输入生成缺陷检测后模糊处理; Keywords large language model(LLM) fuzzing test input generation defect detection post-fuzzing; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名认识引黄建设引黄热爱引黄: 2; 作者杨文章张丹军; 机构山西省万家寨引黄工程管理局; 出处《水利水电技术》 CSCD 北大核心 2002年第8期4-9,共6页; 文摘万家寨引黄工程是解决山西省水资源紧缺和主要工业城市用水危机,维系山西省经济长远发展的生命工程.同时,万家寨引黄工程又是世界级工程.其主要表现在:(1)是一项规模宏大的工程;(2)是一项高难度、高科技的引水工程;(3)是全过程、全方位国际参与的大型工程;(4)建设和管理是一项庞大的系统工程;(5)具有显著效益的工程.为此,需要通过科学论证,以达到充分发挥工程显著效益,管好用好引黄工程的目的.; 关键词万家寨引黄工程运营引水工程水资源; Keywords Wanjiazhai Yellow River Diversion Project construction management operation; 分类号 TV67 [水利工程—水利水电工程]; 在线阅读下载PDF 职称材料

题名基于GM跟驰模型的内河限制性航道船舶交通流基本图被引量：7: 3; 作者廖鹏杨文章褚明生张玮王昊; 机构东南大学交通学院河海大学港口海岸与近海工程学院; 出处《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2022年第3期602-608,共7页; 基金国家自然科学基金资助项目(52172303).; 文摘为准确掌握内河航道上船舶交通流的运行特征与规律,考虑船舶正常航行时为保持舵效所需的最低航速与最小安全间距,引入最低航速和最大密度2个特征变量,对经典的GM跟驰模型进行局部修正,然后根据锡澄运河现场实船跟驰实验数据,回归拟合了内河船舶交通流的3种速度间距关系,从而构建了新的内河限制性航道船舶交通流基本图模型.结果表明,所提出的船舶交通流基本图模型符合实际,指数模型和对数模型检验的MAPE值小于5%,RMSE值小于0.4,R^(2)值大于0.93.该基本图模型是对经典车辆交通流基本图模型的局部拓展,使之既有交通流的普遍规律,又符合内河船舶的航行特点,建议采用指数模型或对数模型描述内河限制性航道船舶交通流基本图.; 关键词内河航道船舶交通流基本图跟驰实验舵效; Keywords inland waterway vessel traffic flow fundamental diagram vessel-following experiment rudder effect; 分类号 U692.3 [交通运输工程—港口、海岸及近海工程]; 在线阅读下载PDF 职称材料

题名内河单线航道船舶双向通航方式分析被引量：1: 4; 作者杨文章廖鹏孔庄张卿茹; 机构东南大学交通学院中交上海航道勘察设计研究院有限公司; 出处《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2023年第1期174-181,共8页; 基金国家自然科学基金资助项目(52172303) 中央高校基本科研业务费专项资金资助项目(2242019k30064)。; 文摘为分析内河单线航道双向通航的可行性和合理性,研究了单线航道2种双向通航方式的关键参数与船舶延误.根据潮汐式通航原理,计算了双向潮汐式通航周期、停泊区所需最小容量和船舶平均延误;采用船舶交通仿真方法,分析了单线航道双向连续通航所需的条件,并给出了相邻会让区间距和船舶平均延误的计算公式,最后提出了2种通航方式选择的判别条件.结果表明:双向潮汐式通航停泊区所需最小容量和船舶平均延误与单线航道长度和船舶到达率正相关,与船舶速度负相关;船舶均匀到达且到达率小于4艘/h,合理设置会让区,方可实现单线航道双向连续式通航;相邻会让区间距与船舶速度成正比,与船舶到达率成反比,船舶平均延误等于船舶到达率的倒数;单线航道越长,船舶到达率越大,双向连续式通航方式越优.当船舶航速为8 km/h,单线航道长度分别为5、10、20 km时,双向连续式通航适用的船舶最小到达率分别为1.71、0.87、0.44艘/h,否则宜采用双向潮汐式通航.; 关键词单线航道双向通航停泊区会让区延误; Keywords one-way waterway two-way navigation berthing area meeting area delay; 分类号 U692.3 [交通运输工程—港口、海岸及近海工程]; 在线阅读下载PDF 职称材料

题名真空断路器操作轴上拐臂夹角测量方法的探讨被引量：2: 5; 作者杨文章成守勇; 机构锦州新生开关有限责任公司; 出处《高压电器》 CAS CSCD 北大核心 2002年第1期62-63,共2页; 文摘通过理论分析与实践 ,探讨了具有同一公垂线的几条异面直线间夹角的测量方法 ,提出了一种简便测量真空断路器操作轴拐臂夹角的思路。; 关键词真实断路器操作轴拐臂夹角测量装置; Keywords vacuum circuit breaker included angle of inflective arm on operating shaft measuring device; 分类号 TM561.2 [电气工程—电器]; 在线阅读下载PDF 职称材料

题名孔位置度检测量规的设计计算被引量：3: 6; 作者杨文章; 机构锦州开关厂; 出处《机械设计与制造》 2002年第1期88-89,共2页; 文摘 1前言真空开关及操作机构上有许多零件的连接是靠螺钉和铆钉通过两零件上一系列孔而把它们紧固在一起的.在加工孔时,孔的中心对图纸上所规定的理论位置都会有误差,为了使螺钉或铆钉等连接件在装配时能自由地通过两个互相连接零件上的孔,零件上的孔就应保持一定的位置精确度.; 关键词真空开关孔径量度检测量规设计计算; 分类号 TM564 [电气工程—电器] TH82 [机械工程—精密仪器及机械]; 在线阅读下载PDF 职称材料

题名粉状落叶松单宁胶粘剂及其应用被引量：12: 7; 作者霍淑贤卓红花何奇李宏兵杨文章; 机构内蒙古森工栲胶制品有限责任公司; 出处《林产工业》北大核心 2002年第4期37-39,共3页; 文摘粉状落叶松单宁胶粘剂,是内蒙古森工栲胶制品有限责任公司与南京林业大学合作研制开发的,可以替代酚醛树脂,用于Ⅰ类胶合板生产的低毒、环保的新型木材胶粘剂。本产品已获国家专利(专利号:ZL95105354),于1998年开始大批量生产。; 关键词胶合板生产环保原理粉状落叶松单宁胶粘剂应用; 分类号 TS62 [轻工技术与工程] TS653.3 [轻工技术与工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于大语言模型的模糊测试研究综述	李岩杨文章张翼薛吟兴	《软件学报》北大核心	2025	1	在线阅读下载PDF 职称材料
2	认识引黄建设引黄热爱引黄	杨文章张丹军	《水利水电技术》 CSCD 北大核心	2002	0	在线阅读下载PDF 职称材料
3	基于GM跟驰模型的内河限制性航道船舶交通流基本图	廖鹏杨文章褚明生张玮王昊	《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心	2022	7	在线阅读下载PDF 职称材料
4	内河单线航道船舶双向通航方式分析	杨文章廖鹏孔庄张卿茹	《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心	2023	1	在线阅读下载PDF 职称材料
5	真空断路器操作轴上拐臂夹角测量方法的探讨	杨文章成守勇	《高压电器》 CAS CSCD 北大核心	2002	2	在线阅读下载PDF 职称材料
6	孔位置度检测量规的设计计算	杨文章	《机械设计与制造》	2002	3	在线阅读下载PDF 职称材料
7	粉状落叶松单宁胶粘剂及其应用	霍淑贤卓红花何奇李宏兵杨文章	《林产工业》北大核心	2002	12	在线阅读下载PDF 职称材料