基于Petri网展开的多线程程序数据竞争检测与重演

下载全文  

数据竞争是多线程程序的常见漏洞之一,传统的数据竞争分析方法在查全率和准确率方面难以两全,而且所生成检测报告难以定位漏洞的根源.鉴于Petri网在并发系统建模和分析方面具有行为描述精确、分析工具丰富的优点,提出一种基于Petri网展开的新型数据竞争检测方法.首先,对程序的某一运行轨… …   相似文献

鲁法明  黄莹  曾庆田  包云霞  唐梦凡 《软件学报》2023,34(8):3726-3744

反射剖面精确拟合的次表面散射计算方法

下载全文  

近年来,随着电影、游戏、虚拟现实应用等对真实感要求的不断提高,针对人体组织、牛奶等半透明材质的实时渲染变得越发重要.针对当前大部分次表面散射计算方法难以正确估计散射范围的问题,提出了一种全新的次表面散射计算方法用以精确表示最大散射距离.首先,针对暴力蒙特卡洛光子追踪结果进行模拟,… …   相似文献

梁仕宇  高阳  丛宇  郝爱民 《软件学报》2023,34(8):3757-3773

SDN环境下DDoS攻击检测和缓解系统

下载全文  

分布式拒绝服务攻击(distributed denial of service, DDoS)是网络安全领域的一大威胁. 作为新型网络架构, 软件定义网络(software defined networking, SDN)的逻辑集中和可编程性为抵御DDoS攻击提供了新的思路. 本文… …   相似文献

沈浩桐  魏松杰 《计算机系统应用》2023,32(8):133-139

综述:基于密码技术的人工智能隐私保护计算模型

下载全文  

  相似文献

《电子学报》2023,51(8):2260-2276

层级语义融合的场景文本检测

下载全文  

目的 场景文本检测是场景理解和文字识别领域的重要任务之一,尽管基于深度学习的算法显著提升了检测精度,但现有的方法由于对文字局部语义和文字实例间的全局语义的提取能力不足,导致缺乏文字多层语义的建模,从而检测精度不理想。针对此问题,提出了一种层级语义融合的场景文本检测算法。方法 该方法包括基于文本片段的局部语义理解模块和基于文本实例的全局语义理解模块,以分别引导网络关注文字局部和文字实例间的多层级语义信息。首先,基于文本片段的局部语义理解模块根据相对位置将文本划分为多个片段,在细粒度优化目标的监督下增强网络对局部语义的感知能力。然后,基于文本实例的全局语义理解模块利用文本片段粗分割结果过滤背景区域并提取可靠的文字区域特征,进而通过注意力机制自适应地捕获任意形状文本的全局语义信息并得到最终分割结果。此外,为了降低边界区域的预测噪声对层级语义信息聚合的干扰,提出边界感知损失函数以降低边界区域特征的歧义性。结果 算法在3个常用的场景文字检测数据集上实验并与其他算法进行了比较,所提方法在性能上获得了显著提升,在Totoal-Text数据集上,F值为87.0%,相比其他模型提升了1.0%;在MSRA-TD500（MSRA text detection 500 database）数据集上,F值为88.2%,相比其他模型提升了1.0%;在ICDAR 2015（International Conference on Document Analysis and Recognition）数据集上,F值为87.0%。结论 提出的模型通过分别构建不同层级下的语义上下文和对歧义特征额外的惩罚解决了层级语义提取不充分的问题,获得了更高的检测精度。… …   相似文献

王紫霄  谢洪涛  王裕鑫  张勇东 《中国图象图形学报》2023,28(8):2343-2355

5G-V2X中基于轨迹预测的安全高效群组切换认证协议

  

针对5G-V2X场景中大量车辆执行切换认证的效率问题,提出了一种基于轨迹预测的安全高效群组切换认证协议。首先,通过预测车辆轨迹,提前完成密钥协商协议。其次,通过用户分组算法将具有移动相关性的车辆视为同一群组,再采用无证书聚合签名技术批量验证群组内所有车辆。再次,针对聚合签名技术易… …   相似文献

张应辉  钱佳乐  曹进  郑东 《通信学报》2023,44(8):144-154

3D-BSNet:双边特征和相似度量的点云实例分割网络

  

针对现有的三维分割方法在挖掘点云特征时,会忽略几何特征有效利用的问题,提出双边特征和相似度量的点云实例分割网络3D-BSNet（3D-bilateral feature and similarity measure network）。该网络主要由双边特征学习和轻量级相似度量两部分… …   相似文献

田枫  徐昕  刘芳  刘宗堡 《计算机应用研究》2023,40(8)

SPH固流交互中的实时固体破碎动画模拟

下载全文  

目的 针对固流交互中的固体破碎现象模拟研究较少、物理模型复杂、多求解器耦合性差、真实感与实时性难以兼顾等问题,提出一种适用于光滑粒子流体动力学（smoothed particle hydrodynamics,SPH）固流交互统一粒子框架的实时固体破碎模拟方法。方法 首先,结合断裂力学理论与统一粒子框架下固体边界粒子的空间和物理特性,构建基于物理的能量分析模型。然后,通过实时分析固体与流体之间的能量转化和自身能量平衡,将满足条件的粒子作为破碎发生的启发点。最后,采用基于几何的碎块生成方法,将启发点集作为种子点构建Voronoi图,完成碎块的生成。为确保模拟系统实时性,将模拟系统进行并行优化并加载至图形处理器（graphics processing unit,GPU）并行执行。结果 通过在不同复杂度和粒子规模的实验场景中进行模拟得到的结果表明,本文方法能够稳定地模拟固体受到流体冲击后发生的破碎现象,破碎细节真实感良好,在百万级粒子规模下能够满足实时性要求,可大规模并行执行且GPU加速效果显著,加速收益随场景规模增大而增大。结论 与现有研究相比,本文方法充分结合物理与几何方法的优点,与SPH统一粒子框架具有更高的耦合性,能够稳定地模拟固流交互中的固体破碎现象,细节符合现实世界物理规律,真实感渲染效果良好,可应用于洪涝、海啸、溃坝和泥石流等自然灾害的交互式预演、电子游戏特效等领域。… …   相似文献

邵绪强  张鑫  杨仕和  金佚钟 《中国图象图形学报》2023,28(8):2447-2460

低碳导向的网约车合乘动态匹配算法研究

  

针对网约车合乘减排效益未能充分发挥的问题,提出一种低碳导向的网约车合乘动态匹配算法,可在保证网约车合乘经济效益的同时优化合乘的减排效益。首先根据合乘规则构建可合乘网络,然后基于图优化理论将可合乘网络转换为带权无向图,同时基于COPERT模型计算潜在合乘订单的碳减排量作为无向图的权… …   相似文献

于天翔  李文翔  张玉梁  陈豪  董洁霜 《计算机应用研究》2023,40(8)

基于条件生成对抗网络的光场图像透视视图生成算法

  

光场图像新视图生成算法在视点内插和外插方面已经取得了良好的研究成果,但在视点位置平移和旋转一定角度情形下的透视视图生成仍然是一项具有挑战性的任务。针对上述问题,提出了一种基于条件生成对抗网络的光场图像透视视图生成算法LFIPTNet（light field image persp… …   相似文献

张逸骋  井花花  晏涛 《计算机应用研究》2023,40(8)