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

下载全文  

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

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

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

  

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

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

鸟类卫星跟踪数据可视分析方法研究—以朱鹮为例

下载全文  

目的 鸟类跟踪技术的成熟发展使得鸟类专家可以轻松获得大量鸟类运动数据。然而,数据规模的增加使得传统方法难以有效完成数据检索和分析。研究如何辅助专家有效地分析这些数据,挖掘其中的有用信息,具有很强的实用价值。本文基于国家Ⅰ级重点保护物种朱鹮的卫星跟踪数据,从鸟类专家对数据分析的需求出发,提出了一种运动轨迹的可视分析方法。方法 基于二维地图进行多视图协同展示的交互布局方式,以及聚类分析方法等对朱鹮运动轨迹进行可视分析,挖掘朱鹮的生活状态和习性。在以上工作的基础上,设计实现了一个朱鹮运动轨迹可视分析系统。结果 本文提出的可视分析方法,允许用户从时空维度和时期（繁殖期、游荡期、越冬期）、状态（夜宿、觅食）等具有生态学意义的维度观察朱鹮运动轨迹,对运动数据进行统计分析,了解朱鹮运动行为。与现有朱鹮数据分析方法相比,本文提出的可视分析方法能够同时从多个不同维度对运动数据进行分析,针对朱鹮的生活状态和生活习性进行更深入的分析挖掘。结论 案例分析表明,基于本文提出的方法,鸟类专家可以从多个角度对朱鹮运动轨迹数据进行综合分析,达到对鸟类习性和状态进行研究挖掘的目的,并能够为其他鸟类跟踪数据分析工作提供思路和方法。… …   相似文献

李欣悦  蒋娴  曹卫群  刘冬平 《中国图象图形学报》2023,28(8):2549-2560

基于NSCT域滚动引导滤波与自适应PCNN的医学图像融合

  

针对传统CT和MRI医学图像融合后存在边缘轮廓模糊、纹理细节丢失等问题,提出基于NSCT域结合相位一致性滚动引导滤波与改进参数自适应双通道PCNN的图像融合方法。首先,采用相位一致性滚动引导滤波对CT源图像进行增强,提高骨骼轮廓结构清晰度。然后,通过NSCT变换分解增强后的CT和… …   相似文献

邸敬  郭文庆  刘冀钊  廉敬  任莉 《计算机应用研究》2023,40(8)

L4虚拟内存子系统的形式化验证

  

第二代微内核L4在灵活度和性能方面极大地弥补了第一代微内核的不足,这引起学术界和工业界的关注.内核是实现操作系统的基础组件,一旦出现错误,可能导致整个系统瘫痪,进一步对用户造成损失.因此,提高内核的正确性和可靠性至关重要.虚拟内存子系统是实现L4内核的关键机制,聚焦于对该机制进行… …   相似文献

章乐平  赵永望  王布阳  李悦欣  冯潇潇 《软件学报》2023,34(8):3527-3548

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

  

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

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

约束求解与定理证明专题前言

下载全文  

  相似文献

蔡少伟  陈振邦  王戟  詹博华  赵永望 《软件学报》2023,34(8):3465-3466

基于CycleGAN的灰度图像彩色化方法

下载全文  

当前主流的图片彩色化方法包括传统算法和深度学习方法.随着深度学习模型的发展,基于深度学习的灰度图像彩色化方法能带来更好的着色效果,但仍然存在细节损失和着色枯燥问题.针对上述问题,本文将CycleGAN模型应用在非单一类别的灰度图像彩色化上,使其在动物、植物、风景等图片上有逼真的着… …   相似文献

陈宗楠  叶耀光  潘家辉 《计算机系统应用》2023,32(8):126-132

基于区块链的物联网设备自主管控方案

下载全文  

传统物联网设备管理系统可能存在隐私数据易泄露、设备运行情况难掌握、异常事件难追溯等痛点, 给个人、企业乃至社会层面都带来了不利影响. 针对以上问题, 本文设计了一种基于区块链的物联网设备自主管控及管控行为审计方案, 通过区块链存证技术将接入系统的设备信息锚定至区块链, 对设备全生… …   相似文献

邓艳  叶新荣  余斌  罗慧宁 《计算机系统应用》2023,32(8):75-85

面向工业场景数据安全的优化卸载方法

  

针对工业场景数据传输过程中存在的安全卸载问题,文中首次将安全策略作为决策变量融入优化问题,应用计算卸载原理以及差分进化算法,提出了一种数据安全卸载算法.首先针对工业现场设备的本地计算、本地边缘计算、跨车间边缘计算和云计算4种计算模式以及数据安全进行数学建模,将多级安全策略、任务卸… …   相似文献

王飚  王妲  柯吉  马雨庆  张懿璞  王长青  李爱军 《计算机科学》2023,50(8):286-293

联合图全局和局部互信息的重叠社团检测算法

  

  相似文献

《计算机应用研究》2023,40(8)

基于增强序列标注策略的单阶段联合实体关系抽取方法

  

从非结构化文本中抽取实体和关系是自动构建知识库的基础工作.现有的工作主要采用联合学习方法来解决嵌套实体、重叠关系、冗余计算和曝光偏差等问题,但单个模型仅在部分问题上表现出色,尚无模型可以同时解决上述问题.因此,提出了一种基于增强序列标注策略的单阶段联合实体关系抽取方法(A Tok… …   相似文献

朱秀宝  周刚  陈静  卢记仓  向怡馨 《计算机科学》2023,50(8):184-192

面向热点新闻事件的层次化故事脉络生成方法

  

热点新闻事件的发展十分丰富,各个阶段的发展都有其独特的叙述,并且随着事件的发展呈现出层次化故事脉络演化的趋势.针对现有故事脉络生成方法存在脉络可解释性不佳以及缺乏层次性的问题,提出一种面向热点新闻事件的层次化故事脉络生成方法(HSGM).首先,采用改进热词算法来挑选主干种子事件,… …   相似文献

刘东  林川  任丽娜  黄瑞章 《计算机应用》2023,43(8):2376-2381

基于融合神经网络的LncRNA与疾病关联预测方法

  

长链非编码RNA(Long non-coding RNA,LncRNA)的异常表达与疾病的生理和病理过程密切相关,识别LncRNA与疾病之间的潜在关联有助于理解疾病的分子发病机制.以往的方法未能深度整合异构的多源数据以及学习高维特征表示.为此,文中提出了 一种基于融合神经网络(F… …   相似文献

李巧君  章文  杨伟 《计算机科学》2023,50(8):226-232

面向特征演变环境的标记噪声鲁棒学习算法

  

  相似文献

《计算机研究与发展》2023,60(8)

《中国图象图形学报》文档图像智能处理与识别专栏简介

下载全文  

  相似文献

刘成林  金连文  殷绪成  白翔  连宙辉  彭良瑞  刘禹良  陈秀妍 《中国图象图形学报》2023,28(8):2221-2222

基于ETRN具有任意压缩率的彩色加密图像有损压缩

  

当前大多数的先加密后压缩ETC（encryption-then-compression）方法只能够获得有限固定的压缩率,而无法获取到实际需求的任意压缩率。针对此问题提出一种具有任意压缩率的加密彩色图像有损压缩算法,该算法采用均匀下采样和随机下采样有机结合的方式对加密图像进行压缩,… …   相似文献

胡娟  王春桃  边山 《计算机应用研究》2023,40(8)

一个切换认证的5G鉴权协议及其形式化分析

下载全文  

随着移动通信的发展,迎来了第5代移动通信技术(5G). 5G认证与密钥协商(5G authentication and key agreement, 5G-AKA)协议的提出主要是为了实现用户和服务网络的双向鉴权.然而,最近的研究认为其可能会遭受信息破译和消息重放攻击.同时,发现… …   相似文献

刘逸冰  周刚 《软件学报》2023,34(8):3708-3725

基于链路信息估计的低轨卫星网络传输控制协议

下载全文  

近年来,低轨卫星星座快速发展,其在军事和民用领域也将发挥越来越重要的作用. 如何提高低轨卫星网络的带宽利用率成为保障低轨卫星星座发挥价值的重要研究方向. 而传统TCP（Transmission Control Protocol）协议及其变种主要针对地面网络设计,难以适应长往返时延… …   相似文献

王子涵  张娇  张远  潘恬  黄韬 《计算机研究与发展》2023,60(8):1846-1857

一种基于区块链的联邦学习贡献评价方案

  

为了实现联邦学习中公平的收益分配,需要有一个指标来量化每个数据提供者对联合模型的贡献。针对现有的贡献评价方案存在的隐私泄露、不透明和依赖中心服务器等问题,提出一种基于区块链的透明的联邦学习贡献评价方案。首先,提出基于改进的Paillier安全聚合算法,通过联合解密避免了在模型聚合… …   相似文献

徐浩曈  刘立新  王静宇  张晓琳  王永平 《计算机应用研究》2023,40(8)