检索结果-南通市图书馆

SMTLOC:基于多源频谱的SMT求解器缺陷定位

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

软件学报 2024年第7期35卷 3314-3331页

作者：王笑爽周志德李晓晨江贺任志磊大连理工大学软件学院辽宁大连116024 高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学) 江苏南京210016

SMT求解器作为重要的基础软件,其存在的缺陷可能会导致依赖于它的软件功能失效,甚至带来安全事故.然而,修复SMT求解器缺陷是一个十分耗时的任务,因为开发者需要花费大量的时间和精力来理解并找到缺陷的根本原因.虽然已有许多软件缺陷定... 详细信息

SMT求解器作为重要的基础软件,其存在的缺陷可能会导致依赖于它的软件功能失效,甚至带来安全事故.然而,修复SMT求解器缺陷是一个十分耗时的任务,因为开发者需要花费大量的时间和精力来理解并找到缺陷的根本原因.虽然已有许多软件缺陷定位方面的研究,但尚未有系统的工作研究如何自动定位SMT求解器缺陷.因此,提出一种基于多源频谱的SMT求解器缺陷定位方法SMTLOC.首先,对于给定的SMT求解器缺陷,SMTLOC提出一种枚举算法,用以对触发该缺陷的公式进行变异,从而生成一组不触发缺陷,但与触发缺陷的公式具有相似执行路径的证人公式.然后,SMTLOC根据证人公式的执行路径以及SMT求解器的源码信息,提出一种融合覆盖频谱和历史频谱的文件可疑度计算方法,从而定位可能存在缺陷的文件.为了验证SMTLOC的有效性,收集60个SMT求解器缺陷.实验结果表明,SMTLOC的缺陷定位效果明显优于传统的频谱缺陷定位方法,SMTLOC可以将46.67%的缺陷定位在TOP-5的文件内,定位效果提升了133.33%.

关键词： SMT求解器缺陷定位覆盖频谱历史频谱

采用局部子图嵌入的MOOCs知识概念推荐模型

在线全文

学校读者我要写书评

暂无评论

计算机科学与探索 2024年第1期18卷 189-204页

作者：居程程祝义江苏师范大学计算机科学与技术学院江苏徐州221116 江苏省教育信息化工程技术研究中心江苏徐州221116 高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学) 南京211106

大规模开放在线课程(MOOCs)在减少用户学习盲区和改善用户体验方面已经有大量的研究,尤其是基于图神经网络的个性化课程资源推荐,但现有工作主要集中在固定或同质图上,容易受到数据稀疏问题的影响且难以扩展。在局部子图上使用图卷积,... 详细信息

大规模开放在线课程(MOOCs)在减少用户学习盲区和改善用户体验方面已经有大量的研究,尤其是基于图神经网络的个性化课程资源推荐,但现有工作主要集中在固定或同质图上,容易受到数据稀疏问题的影响且难以扩展。在局部子图上使用图卷积,并结合扩展的矩阵分解(MF)模型来解决这一问题。首先,将异构图分解为多个基于元路径的子图,结合随机游走采样方法实现在采样节点富有影响力邻域的同时捕获实体之间复杂的语义关系,并在局部邻域上进行图卷积平滑各节点表示,实现高可扩展性;然后,使用注意力机制适应性地融合不同子图的上下文信息,更全面地构建用户偏好;最后,通过扩展矩阵分解优化模型参数,获得推荐列表。为了验证提出模型的性能,在公开的MOOCs数据集上进行对比实验,相较于最优基线,性能提升了2%,内存计算需求降低了近500%,缓解数据稀疏问题的同时仍具有较强的可扩展性。

关键词：大规模开放在线课程(MOOCs) 图神经网络个性化课程推荐图卷积基于元路径的子图扩展矩阵分解

基于改进SBR的舰船SAR成像快速仿真计算方法

在线全文

学校读者我要写书评

暂无评论

电子学报 2024年第2期52卷 602-613页

作者：章琪琪张寅范君杰夏翀翔闫钧华南京航空航天大学空间光电探测与感知工业和信息化部重点实验室江苏南京211106 南京航空航天大学航天学院江苏南京211106 上海卫星工程研究所上海200240

针对SAR(Synthetic Aperture Radar)舰船成像仿真应用中电磁散射特性计算效率低下的问题,在现有SBR(Shooting and Bouncing Rays)算法的基础上,本文提出两方面改进.一是基于叶节点空间邻域编码搜索的射线管相交面元检测算法,通过只追踪... 详细信息

针对SAR(Synthetic Aperture Radar)舰船成像仿真应用中电磁散射特性计算效率低下的问题,在现有SBR(Shooting and Bouncing Rays)算法的基础上,本文提出两方面改进.一是基于叶节点空间邻域编码搜索的射线管相交面元检测算法,通过只追踪射线管中心射线并搜索叶节点空间周围潜在相交面元,在有效提升相交检测速度的同时避免遗漏相交面元;二是射线管三角剖分快速分裂算法,将射线管和相交面元投影至射线管虚拟孔径面,利用Delaunay三角剖分算法自适应地将射线管快速分裂成连续的子射线管.对典型舰船目标进行RCS(Radar Cross Section)计算及SAR成像仿真实验,结果表明,在保证计算精度的前提下,本文方法计算效率比Kd树(K-dimension tree)加速SBR方法提升14倍以上,比经典自适应射线管分裂SBR方法提升3倍以上,计算效率显著提高.

关键词： SAR成像仿真 SAR回波仿真舰船RCS计算弹跳射线法自适应射线管分裂

在线全文

学校读者我要写书评

暂无评论

采用辅助学习的物体六自由度位姿估计

光学精密工程 2024年第6期32卷 901-914页

作者：陈敏佳盖绍彦达飞鹏俞健东南大学自动化学院江苏南京210096 东南大学复杂工程系统测量与控制教育部重点实验室江苏南京210096 南京航空航天大学空间光电探测与感知工业和信息化部重点实验室江苏南京211106

为了在严重遮挡以及少纹理等具有挑战性的场景下,准确地估计物体在相机坐标系中的位置和姿态,同时进一步提高网络效率,简化网络结构,本文基于RGB-D数据提出了采用辅助学习的六自由度位姿估计方法。网络以目标物体图像块、对应深度图以及... 详细信息

为了在严重遮挡以及少纹理等具有挑战性的场景下,准确地估计物体在相机坐标系中的位置和姿态,同时进一步提高网络效率,简化网络结构,本文基于RGB-D数据提出了采用辅助学习的六自由度位姿估计方法。网络以目标物体图像块、对应深度图以及CAD模型作为输入,首先,利用双分支点云配准网络,分别得到模型空间和相机空间下的预测点云;接着,对于辅助学习网络,将目标物体图像块和由深度图得到的Depth-XYZ输入多模态特征提取及融合模块,再进行由粗到细的位姿估计,并将估计结果作为先验用于优化损失计算。最后,在性能评估阶段,舍弃辅助学习分支,仅将双分支点云配准网络的输出利用点对特征匹配进行六自由度位姿估计。实验结果表明:所提方法在YCB-Video数据集上的AUC和ADD-S<2 cm结果分别为95.9%和99.0%;在LineMOD数据集上的平均ADD(-S)结果为99.4%;在LM-O数据集上的平均ADD(-S)结果为71.3%。与现有的其他六自由度位姿估计方法相比,采用辅助学习的方法在模型性能上具有优势,在位姿估计准确率上有较大提升。

关键词：六自由度位姿估计辅助学习深度图像三维点云

三位一体膨胀型阻燃剂诱导聚脲复合材料阻燃性能提升

在线全文

学校读者我要写书评

暂无评论

复合材料学报 2024年

作者：王军胡闯王超张亚孙亚如阳平平刘彦北京理工大学重庆创新中心现代兵器技术实验室北京理工大学爆炸科学与安全防护全国重点实验室南京航空航天大学飞行器先进设计技术国防重点学科实验室

聚合物材料存在易燃、易被氧化的缺点，以及传统膨胀型阻燃体系存吸湿性大、阻燃效率较低、与基体相容性差等缺陷。结合气相阻燃、凝聚相阻燃的设计理念，制备出三位一体膨胀型阻燃剂（PTA-PA）。研究不同含量的PTA-PA对聚脲（PUA）的... 详细信息

聚合物材料存在易燃、易被氧化的缺点，以及传统膨胀型阻燃体系存吸湿性大、阻燃效率较低、与基体相容性差等缺陷。结合气相阻燃、凝聚相阻燃的设计理念，制备出三位一体膨胀型阻燃剂（PTA-PA）。研究不同含量的PTA-PA对聚脲（PUA）的阻燃性能及力学的影响，分析材料在燃烧、热解过程中气相和凝聚相产物，探究PTA-PA阻燃剂的阻燃机制，建立膨胀型阻燃剂与复合材料热稳定性、阻燃性能和火灾安全性之间的关系。结果表明：和纯PUA相比，添加20.0 wt% PTA-PA 的PUA复合材料（PUA-4）具有较高的热稳定性，800 ℃下残炭量为21.9％；PUA-4复合材料的垂直燃烧等级从V-2级提高到V-0级，LOI分别从22.2%提高到28.4%，线烧蚀率、热释放速率峰值和总热释放量分别降低19.8%，71.7%和18.3%。本研究为高性能阻燃聚合物复合材料的制备提供理论基础和事实依据。

关键词：聚脲膨胀型阻燃剂阻燃性能阻燃机制力学性能

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于局部攻击图的最小关键漏洞集分析方法

计算机工程与设计 2024年第6期45卷 1607-1614页

作者：沈霄梦徐丙凤何高峰南京林业大学信息科学技术学院江苏南京210037 南京航空航天大学高安全系统的软件开发与验证技术工业和信息化部重点实验室江苏南京211106 南京邮电大学物联网学院江苏南京210003

为缓解攻击图应用在工业互联网安全防护中的状态空间爆炸问题,提出一种基于局部攻击图的最小关键漏洞集分析方法。提出一种以重要资产节点为目标的局部攻击图生成算法,通过裁剪不可达目标节点的攻击路径缓解状态空间爆炸问题;基于局部... 详细信息

为缓解攻击图应用在工业互联网安全防护中的状态空间爆炸问题,提出一种基于局部攻击图的最小关键漏洞集分析方法。提出一种以重要资产节点为目标的局部攻击图生成算法,通过裁剪不可达目标节点的攻击路径缓解状态空间爆炸问题;基于局部攻击图生成过程中得到的攻击路径漏洞集直接进行最小关键漏洞集分析,节省传统分析方法在搜索关键漏洞过程中对攻击图进行二次遍历的时空开销。在此基础上,通过工业网络实例进行分析并开展相关工作比较,实验结果表明,所提方法合理可行,可高效分析网络系统中的最小关键漏洞集。

关键词：工业互联网攻击图关键漏洞集状态空间爆炸网络安全局部攻击图生成安全防御

在线全文

学校读者我要写书评

暂无评论

一种面向车联网的零日攻击检测方法

计算机科学 2024年

作者：王博赵金城徐丙凤何高峰南京林业大学信息科学技术学院人工智能学院南京邮电大学物联网学院高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)

由于缺乏攻击数据，车联网零日攻击检测通常采用基于异常的方法。但由于车辆实际行驶过程中复杂多样的环境以及行为模式的多变，导致正常的行为模式会出现较大的差异，采用基于异常的方法容易导致高误报率。而在车联网环境中零日攻击和... 详细信息

由于缺乏攻击数据，车联网零日攻击检测通常采用基于异常的方法。但由于车辆实际行驶过程中复杂多样的环境以及行为模式的多变，导致正常的行为模式会出现较大的差异，采用基于异常的方法容易导致高误报率。而在车联网环境中零日攻击和已知攻击的攻击原理相似，受迁移学习的启发，基于条件生成对抗网络提出一种应用少样本学习的车联网零日攻击检测方法。首先，提出一种多生成器和多判别器的条件对抗生成网络模型。其次，设计了一种自适应采样数据增强方法，通过对已知的攻击样本进行数据增强优化该网络模型的输入样本以减少误报。为进一步缓解该网络模型的输入攻击样本过少带来的数据不平衡问题，在判别器中给出了一种协作焦点损失函数重点判别难分类数据。最后，基于F2MD车辆网络仿真平台进行了大量实验，实验结果表明文中方法对于零日攻击的检测效果和检测延迟均优于现有的方法。本文方法为车联网零日攻击检测提供了一种有效的解决方案。

关键词：车联网零日攻击条件生成对抗网络少样本学习异常检测

基于深度学习的冲击电压老炼过程中真空击穿机制甄别优化方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

电工技术学报 2024年第13期39卷 4153-4163页

作者：李世民徐勋晨张潮海南京航空航天大学多电飞机电气系统工信部重点实验室南京210016

冲击电压老炼技术是提高真空电极间隙绝缘能力的有效手段,快速准确地甄别真空击穿机制对揭示冲击电压老炼过程的物理演化机理具有重要意义。该文提出了一种基于深度学习的通过突显击穿前过程提高真空击穿机制甄别准确度的优化方法。对... 详细信息

冲击电压老炼技术是提高真空电极间隙绝缘能力的有效手段,快速准确地甄别真空击穿机制对揭示冲击电压老炼过程的物理演化机理具有重要意义。该文提出了一种基于深度学习的通过突显击穿前过程提高真空击穿机制甄别准确度的优化方法。对五对相同的无氧铜球形电极开展同样的冲击电压老炼试验,分别获得时间提取范围为0~400μs的完整击穿电压电流波形样本和0~200μs的突显击穿前过程的击穿电压电流波形样本,并通过深度学习模型对两种击穿电压电流波形样本开展脉冲电流诱发、场致发射诱发和微粒诱发三种真空击穿机制的甄别训练与测试,并将测试结果与真实结果进行对比分析与评估。结果显示:时间提取范围为0~200μs的突显击穿前过程的击穿电压电流波形样本的击穿机制甄别准确率均在87.99%以上,平均提高了2.55%,其对应的精确率、召回率和F1分数均更优。研究结果表明,突显击穿前过程的击穿电压电流波形处理能够有效地优化真空击穿机制甄别的效果,具有良好的工程应用前景。

关键词：冲击电压老炼击穿机制深度学习突显击穿前过程击穿波形

基于MTRDL的自动飞行系统模式需求建模与验证方法

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第9期35卷 4265-4286页

作者：徐恒黄志球胡军陶传奇王金永石帆南京航空航天大学计算机科学与技术学院江苏南京210016 徐州工程学院信息工程学院江苏徐州221018

在民机自动飞行过程中,自动飞行系统模式转换是影响安全的重要因素,随着现代民机机载系统的功能与复杂度的快速增长,在需求阶段对自动飞行系统模式转换的安全性分析和验证成为重要的挑战.飞行模式转换的复杂性不仅体现在自动飞行过程中... 详细信息

在民机自动飞行过程中,自动飞行系统模式转换是影响安全的重要因素,随着现代民机机载系统的功能与复杂度的快速增长,在需求阶段对自动飞行系统模式转换的安全性分析和验证成为重要的挑战.飞行模式转换的复杂性不仅体现在自动飞行过程中必需的多重飞行模式之间的交互关系,还体现在模式转换与外部环境之间复杂的数据与控制交联关系,这些交联关系同时隐含了飞行模式转换的安全性质,这些特征提高了形式化方法的应用难度.提出一种领域特定的建模验证框架:首先,提出面向自动飞行系统模式转换的领域需求建模语言MTRDL和基于该语言扩展于SysML上的建模方法;其次,提出基于安全需求模板的安全性质辅助规约方法;最后,通过对某机型的若干条目化需求的实例研究,证明所提方法在自动飞行系统模式转换需求验证中的有效性.

关键词：自动飞行系统模式形式化方法 SysML建模安全性质