检索结果-南通市图书馆

“经之道”与“史之迹”:清代中期的“风雅正变”论

在线全文

学校读者我要写书评

暂无评论

中国文学研究 2024年第1期 120-127页

作者：厉运伟山东师范大学文学院山东济南250014

自朱自清先生判分正变为“风雅正变”与“诗体正变”,学界关于正变的研究遂歧为两途,而不复措意于汉代以后的“风雅正变”之论说。“风雅正变”本为经学话语,它导源于《毛诗序》,至郑玄而具备规模,在内部构成上遵循着价值主导、史事证... 详细信息

自朱自清先生判分正变为“风雅正变”与“诗体正变”,学界关于正变的研究遂歧为两途,而不复措意于汉代以后的“风雅正变”之论说。“风雅正变”本为经学话语,它导源于《毛诗序》,至郑玄而具备规模,在内部构成上遵循着价值主导、史事证立的原则,由此导致了自身结构上的矛盾。清代中期是“汉学昌明”的时代,形成了以时世、美刺、声乐论说正变的多重进路,而表现出一种历史化的诠释倾向:或秉持史家的意识与立场以立论,或以具体的历史事件取代宏大的叙事结构,或致力于揭示诗乐共存、以声为用的原初文化形态。在清代中期知识、思想与价值系统的调整以及经史观念的互动与重构中,“风雅正变”说所得以成立的前提与基础,渐由价值的依据转向事实的依据,从而呈现出从经之“道”到史之“迹”、从经学话语到历史话语转换的态势。

关键词：风雅正变经学话语历史话语知识价值

CBL联合TBL教学模式在临床检验基础实习教学中的应用研究

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

在线全文

学校读者我要写书评

暂无评论

检验医学与临床 2022年第13期19卷 1857-1859页

作者：张福勇李晞邓燕陆庆华齐运伟王健广西医科大学第一附属医院检验科广西南宁530021

临床检验基础是医学检验的一门重要课程。临床实习阶段是学生理论与实践相结合,学会用理论指导实践,在实践中巩固理论的重要学习阶段。该文就基于案例教学法联合以团队为基础的教学法教学模式在临床检验基础实习教学中的具体实施过程、... 详细信息

临床检验基础是医学检验的一门重要课程。临床实习阶段是学生理论与实践相结合,学会用理论指导实践,在实践中巩固理论的重要学习阶段。该文就基于案例教学法联合以团队为基础的教学法教学模式在临床检验基础实习教学中的具体实施过程、实施效果及实施过程中发现的问题进行探讨。

关键词：临床检验基础案例教学法以团队为基础的教学法实习教学

IATG:基于解释分析的自动驾驶软件测试方法

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

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第6期35卷 2753-2774页

作者：谢瑞麟崔展齐陈翔郑丽伟北京信息科技大学计算机学院北京100101 南通大学信息科学技术学院江苏南通226019

以深度神经网络(deep neural network,DNN)为基础构建的自动驾驶软件已成为最常见的自动驾驶软件解决方案.与传统软件一样,DNN也会产生不正确输出或意想不到的行为,基于DNN的自动驾驶软件已经导致多起严重事故,严重威胁生命和财产安全.... 详细信息

以深度神经网络(deep neural network,DNN)为基础构建的自动驾驶软件已成为最常见的自动驾驶软件解决方案.与传统软件一样,DNN也会产生不正确输出或意想不到的行为,基于DNN的自动驾驶软件已经导致多起严重事故,严重威胁生命和财产安全.如何有效测试基于DNN的自动驾驶软件已成为亟需解决的问题.由于DNN的行为难以预测和被人类理解,传统的软件测试方法难以适用.现有的自动驾驶软件测试方法通常对原始图片加入像素级的扰动或对图片整体进行修改来生成测试数据,所生成的测试数据通常与现实世界差异较大,所进行扰动的方式也难以被人类理解.为解决上述问题,提出测试数据生成方法IATG(interpretability-analysis-based test data generation),使用DNN的解释方法获取自动驾驶软件所做出决策的视觉解释,选择原始图像中对决策产生重要影响的物体,通过将其替换为语义相同的其他物体来生成测试数据,使生成的测试数据更加接近真实图像,其过程也更易于理解.转向角预测模型是自动驾驶软件决策模块重要组成部分,以此类模型为例进行实验,结果表明解释方法的引入有效增强IATG对转向角预测模型的误导能力.此外,在误导角度相同时IATG所生成测试数据比DeepTest更加接近真实图像;与semSensFuzz相比,IATG具有更高误导能力,且IATG中基于解释分析的重要物体选择技术可有效提高semSensFuzz的误导能力.

关键词：深度神经网络自动驾驶软件解释方法软件测试

在线全文

学校读者我要写书评

暂无评论

基于冗余覆盖信息约简的软件缺陷定位方法

电子学报 2024年第1期52卷 324-337页

作者：王浩仁崔展齐岳雷陈翔郑丽伟北京信息科技大学计算机学院北京100101 南通大学计算机科学与技术学院江苏南通226019

软件规模和复杂程度的不断提高,为软件质量保障带来了严峻的挑战.软件缺陷定位是一种重要的软件质量保障技术,其中基于频谱的缺陷定位(Spectrum-based Fault Localization,SFL)是应用最为广泛的软件缺陷定位技术,其通过分析语句覆盖信... 详细信息

软件规模和复杂程度的不断提高,为软件质量保障带来了严峻的挑战.软件缺陷定位是一种重要的软件质量保障技术,其中基于频谱的缺陷定位(Spectrum-based Fault Localization,SFL)是应用最为广泛的软件缺陷定位技术,其通过分析语句覆盖信息矩阵计算代码语句的可疑度值,并根据可疑度值定位缺陷所在语句.然而,语句覆盖信息矩阵中存在着严重的数据冗余问题,冗余的数据极大地影响了SFL的缺陷定位性能.以Defects4J数据集中395个程序的语句覆盖信息矩阵为例,在超过一半的语句覆盖信息矩阵中有90%的语句存在与其具有相同覆盖信息的语句.特征选择是常用的数据预处理技术,通过去除冗余和不相关特征来获取原始特征集中有价值的特征子集.因此,我们将语句覆盖信息矩阵作为原始特征集,将冗余覆盖信息约简建模为特征选择问题,提出了一种基于冗余覆盖信息约简的软件缺陷定位方法(Fault Localization based on Redundant coverage information Reduction,FLRR).首先,使用特征选择技术对语句覆盖信息和测试用例执行结果组成的语句覆盖信息矩阵进行约简,得到语句覆盖信息矩阵子集;然后,使用SFL计算语句覆盖信息矩阵子集中语句的可疑度值,并根据可疑度值对语句进行降序排列,以定位缺陷语句.本文使用六种常用的特征选择技术对语句覆盖信息矩阵进行特征选择和约简,以得到语句覆盖信息矩阵子集,并使用四种典型的SFL技术对语句覆盖信息矩阵子集中的语句进行缺陷定位.为评估FLRR的缺陷定位性能,本文使用E_(inspect)@n和MRR(Mean Reciprocal Rank)评价指标在基于Defects4J的数据集上与四种典型的SFL技术进行了对比实验.实验结果表明,FLRR能够有效提升SFL的缺陷定位性能.对于E_(inspect)@n指标,当n=1时,FLRR相比DStar、Ochiai、Barinel和OP2分别多定位到23条、26条、14条和13条缺陷语句,分别增加了69.70%、76.47%、45.16%和38.24%;对于MRR指标,FLRR相比DStar、Ochiai、Barinel和OP2分别提升了20.08%、24.94%、17.45%和19.15%.

关键词：缺陷定位特征选择软件调试可疑度语句覆盖信息测试用例

在线全文

学校读者我要写书评

暂无评论

状态转换图制导的ARP错误检测方法

软件学报 2024年

作者：林高毅崔展齐陈翔郑丽伟南通大学信息科学技术学院北京信息科技大学计算机学院

Android应用开发人员需要在保持应用频繁更新的同时快速检测出应用中Android运行时权限(Android runtime permission, ARP)错误.现有的Android应用自动化测试工具通常未考虑ARP机制,无法有效测试Android应用内的权限相关行为.为帮助开... 详细信息

Android应用开发人员需要在保持应用频繁更新的同时快速检测出应用中Android运行时权限(Android runtime permission, ARP)错误.现有的Android应用自动化测试工具通常未考虑ARP机制,无法有效测试Android应用内的权限相关行为.为帮助开发人员快速检测出应用中ARP错误,提出状态转换图制导的Android应用运行时权限错误检测方法.首先,对被测应用APK文件进行权限误用分析,插桩APK文件中可能导致ARP错误的API,并对APK文件重新签名;然后,安装插桩后的APK文件,动态探索应用以生成其状态转换图(state transition graph, STG);最后,使用STG制导自动化测试,快速检测出应用中ARP错误.基于所提出方法实现原型工具RPBDroid,并与ARP错误动态检测工具SetDroid、PermDroid和传统自动化测试工具APE进行对比实验.实验结果表明, RPBDroid成功检测出17个应用中的15个ARP错误,比APE、SetDroid、PermDroid分别多14、12和14个.此外,相比于测试工具SetDroid、PermDroid和APE, RPBDroid检测ARP错误的平均用时分别减少86.42%、86.72%和86.70%.

关键词： Android应用 Android运行时权限错误权限误用自动化测试工具状态转换图

改进YOLOv5s的旋转框工业零件检测算法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

激光与光电子学进展 2024年第14期61卷 155-164页

作者：魏瑶坤康运江王丹伟赵鹏徐斌机科发展科技股份有限公司中国机械科学研究总院集团

在工业场景应用中，对于紧密排列分布的工业零件，采用水平框目标检测，会存在零件错选漏选及边界方向丢失的问题，因此提出一种基于改进YOLOv5s的旋转工件目标检测算法。首先，引入无参的SimAM网络，在不增加模型参数量的基础上，使网... 详细信息

在工业场景应用中，对于紧密排列分布的工业零件，采用水平框目标检测，会存在零件错选漏选及边界方向丢失的问题，因此提出一种基于改进YOLOv5s的旋转工件目标检测算法。首先，引入无参的SimAM网络，在不增加模型参数量的基础上，使网络更聚焦于关键信息，提高在复杂背景下的特征提取能力并抑制噪声干扰。其次，将原来的完全交并比（CIoU）回归函数替换为引入角度因子的SIoU函数，更加符合旋转框检测要求，将激活函数替换为Mish函数，提高模型收敛速度与精度。最后，引入移相编码法和改进的HardL-Tanh激活函数，实现角度和回归角度余弦值的预测，解决五参数表示法带来的角度多一性和边界问题，实现工件的旋转框检测。所提算法的平均精度均值达97.4%。实验结果表明所提算法权重文件小、平均准确率高、预测用时少，满足工业实时性要求。

关键词：工业零件检测 SimAM 旋转目标检测移相编码法 YOLOv5s

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

覆盖率制导的灰盒模糊测试研究综述

计算机学报 2024年第7期47卷 1665-1696页

作者：崔展齐张家铭郑丽伟陈翔北京信息科技大学计算机学院北京100101 北京科技大学计算机与通信工程学院北京100083 南通大学信息科学技术学院江苏南通226019

由于部署简单、可扩展性强、挖掘到大量真实漏洞等原因,模糊测试得到了科研和工程人员的广泛关注。其中,覆盖率制导的灰盒模糊测试(Coverage-guided Greybox Fuzzing,简称CGF)以被测程序代码覆盖率为反馈信息,可对软件进行较为充分的自... 详细信息

由于部署简单、可扩展性强、挖掘到大量真实漏洞等原因,模糊测试得到了科研和工程人员的广泛关注。其中,覆盖率制导的灰盒模糊测试(Coverage-guided Greybox Fuzzing,简称CGF)以被测程序代码覆盖率为反馈信息,可对软件进行较为充分的自动化测试,有效地保障软件质量,是目前最为流行的一类模糊测试技术.研究人员为改进CGF投人了大量精力,产生了许多研究成果.然而,目前并未有研究针对CGF的已有研究工作进行系统性综述.为此,本文分析了近年来CGF的相关重要研究成果,将CGF流程划分为4个阶段:预处理、测试用例选择、测试用例演化和测试用例评估,并系统地分阶段分析了已有研究进展.此外,针对现有工作中评估分析设置不一致的问题,本文整理了CGF领域中常用的测试对象、实验设置及评估指标。最后,基于对已有研究进展的分析,阐述了CGF目前在预处理、测试用例选择等阶段存在的局限性、可能的解决方案以及未来的研究方向。

关键词：模糊测试灰盒测试覆盖率测试用例

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

覆盖率制导的灰盒模糊测试研究综述

计算机学报 2024年

作者：崔展齐张家铭郑丽伟陈翔南通大学信息科学技术学院北京科技大学计算机与通信工程学院北京信息科技大学计算机学院

由于部署简单、可扩展性强、挖掘到大量真实漏洞等原因，模糊测试得到了科研和工程人员的广泛关注。其中，覆盖率制导的灰盒模糊测试（Coverage-guided Greybox Fuzzing，简称CGF）以被测程序代码覆盖率为反馈信息，可对软件进行较为充... 详细信息

由于部署简单、可扩展性强、挖掘到大量真实漏洞等原因，模糊测试得到了科研和工程人员的广泛关注。其中，覆盖率制导的灰盒模糊测试（Coverage-guided Greybox Fuzzing，简称CGF）以被测程序代码覆盖率为反馈信息，可对软件进行较为充分的自动化测试，有效地保障软件质量，是目前最为流行的一类模糊测试技术。研究人员为改进CGF投入了大量精力，产生了许多研究成果。然而，目前并未有研究针对CGF的已有研究工作进行系统性综述。为此，本文分析了近年来CGF的相关重要研究成果，将CGF流程划分为4个阶段：预处理、测试用例选择、测试用例演化和测试用例评估，并系统地分阶段分析了已有研究进展。此外，针对现有工作中评估分析设置不一致的问题，本文整理了CGF领域中常用的测试对象、实验设置及评估指标。最后，基于对已有研究进展的分析，阐述了CGF目前在预处理、测试用例选择等阶段存在的局限性、可能的解决方案以及未来的研究方向。

关键词：模糊测试灰盒测试覆盖率测试用例

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

船舶动力推进系统加速性能控制方法改进

舰船科学技术 2024年第12期46卷 69-72页

作者：刘世伟杨双齐武汉交通职业学院船舶与航运学院湖北武汉430000 武汉船舶职业技术学院交通运输工程学院湖北武汉430050

针对船舶动力推进系统加速性能控制方法实施改进优化。首先,设计船舶动力推进系统加速性能控制模型,通过推进电机推力控制与桨距的调节共同实现推进系统的加速性能控制。船舶集控室将加速命令传输至VDF中央处理单元后,推进变频器内的PL... 详细信息

针对船舶动力推进系统加速性能控制方法实施改进优化。首先,设计船舶动力推进系统加速性能控制模型,通过推进电机推力控制与桨距的调节共同实现推进系统的加速性能控制。船舶集控室将加速命令传输至VDF中央处理单元后,推进变频器内的PLC软件获取获取控制命令,利用模糊控制器控制加速电机转速。针对控制偏差问题,采用遗传算法改进模糊控制器,通过准确控制电机产生的推力实现加速性能控制;VDF中央处理单元获取控制信息后,将螺距控制信息传输至CPP处理单元,由此实现对螺距的控制。实验结果显示,该方法能够有效实现研究对象的加速性能控制,控制响应时间在1 s内,且在联控模式控制过程具有较强的抗干扰性。

关键词：动力推进系统加速性能推进变频器模糊控制器螺距控制