检索结果-南通市图书馆

基于CPN的车载网络无证书匿名认证和密钥协商方案研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

通信学报 2024年第6期45卷 101-116页

作者：郑路冯涛苏春华兰州理工大学计算机与通信学院甘肃兰州730050 日本会津大学计算机科学系福岛会津若松965-8580

为了解决现有车载网络的认证方案中普遍存在密钥托管带来的缺陷,以及没有考虑计算受限电子控制单元(ECU)轻量级部署和安全快速认证的问题,首先,针对计算不受限的ECU网络,提出了一种无双线性配对的轻量级无证书匿名认证和密钥协商方案,... 详细信息

为了解决现有车载网络的认证方案中普遍存在密钥托管带来的缺陷,以及没有考虑计算受限电子控制单元(ECU)轻量级部署和安全快速认证的问题,首先,针对计算不受限的ECU网络,提出了一种无双线性配对的轻量级无证书匿名认证和密钥协商方案,该方案通过椭圆曲线密码体制安全构建认证密钥对,通过哈希函数和异或等轻量级方法实现匿名认证和密钥协商。然后,针对计算受限的ECU网络,提出了一种无证书批量验证方案来降低认证成本。最后,提出了一种基于有色Petri网(CPN)和Dolev-Yao攻击者模型的安全验证方法,对整体方案进行形式化安全性评估。安全评估和性能分析表明,所提方案能有效抵抗重放、伪装、篡改、已知密钥、已知特定会话临时信息攻击等多种不同类型的攻击,在保证多重安全属性的同时有较小的计算与通信成本。

关键词：车载网络安全协议认证与密钥协商有色Petri网形式化验证

基于CSI实例标准化的域泛化人体动作识别模型

在线全文

学校读者我要写书评

暂无评论

通信学报 2024年第6期45卷 196-209页

作者：王杨许佳炜王傲夏慧娟赵传信季一木安徽师范大学计算机与信息学院安徽芜湖241002 南京邮电大学计算机学院江苏南京210003

为了实现完全不依赖目标域数据的Wi-Fi跨域人体动作感知,提出了一种基于CSI实例标准化的域泛化人体动作识别模型INDG-Fi。INDG-Fi使用实例标准化去除CSI特征表示的领域信息,接着构建共享特征提取的动作分类器和域分类器,并通过动作偏向... 详细信息

为了实现完全不依赖目标域数据的Wi-Fi跨域人体动作感知,提出了一种基于CSI实例标准化的域泛化人体动作识别模型INDG-Fi。INDG-Fi使用实例标准化去除CSI特征表示的领域信息,接着构建共享特征提取的动作分类器和域分类器,并通过动作偏向学习和对抗性的域学习,将编码层提取的特征偏向人体动作引起的信号特征,同时远离领域信号影响。为了让模型关注受人体动作影响更显著的子载波信号,在编码层中加入子载波注意力模块。实现结果表明,所提INDG-Fi在不可见的用户和位置的感知性能分别为97.99%和92.73%,能够实现鲁棒的跨域感知。

关键词：信道状态信息无线感知人体动作识别域泛化

车联网边缘场景下基于免疫算法的计算卸载优化

在线全文

学校读者我要写书评

暂无评论

吉林大学学报（工学版） 2024年第1期54卷 221-231页

作者：朱思峰蔡江昊柴争义孙恩林天津城建大学计算机与信息工程学院天津300384 天津工业大学计算机科学与技术学院天津300387

为了解决如何在降低车载终端计算时延的同时保证服务器的低能耗和负载均衡问题,本文首先构建了基于车对车通信的系统模型、时延模型、负载均衡模型、能耗模型和目标优化模型;然后提出了一种基于多目标免疫优化算法的计算卸载方案;最后... 详细信息

为了解决如何在降低车载终端计算时延的同时保证服务器的低能耗和负载均衡问题,本文首先构建了基于车对车通信的系统模型、时延模型、负载均衡模型、能耗模型和目标优化模型;然后提出了一种基于多目标免疫优化算法的计算卸载方案;最后将本文方案与多种卸载方案进行了对比实验。实验结果表明,本文方案能够有效降低用户的平均卸载时延,优化服务器之间的工作负载并有效降低能耗,且性能较各卸载方案有所提升。

关键词：车联网边缘计算计算卸载车对车通信免疫算法

维普期刊数据库博看期刊

自适应双坐标系的差分进化算法求解混合变量优化问题

在线全文

学校读者我要写书评

暂无评论

计算机学报 2024年

作者：周新宇黄君洪彭虎王晖王峰江西师范大学计算机信息工程学院南昌工程学院信息工程学院九江学院计算机与大数据科学学院吉林大学计算机科学与技术学院武汉大学计算机学院

如何设计求解混合变量优化问题(Mixed-variable Optimization Problems， MVOPs)的相关算法，是计算机算法设计与分析领域中的一个重要研究方向.该问题的求解难点在于需同时优化连续型和离散型决策变量，目前进化算法(Evolutionary Algo... 详细信息

如何设计求解混合变量优化问题(Mixed-variable Optimization Problems， MVOPs)的相关算法，是计算机算法设计与分析领域中的一个重要研究方向.该问题的求解难点在于需同时优化连续型和离散型决策变量，目前进化算法(Evolutionary Algorithms，EAs)是求解该问题的一种有效手段.然而，现有的相关EAs忽略了问题变量之间的相关性，导致算法性能还存在一定不足.为此，本文从变量相关性角度出发，提出了一种自适应双坐标系的差分进化算法来求解MVOPs.首先，利用种群的协方差矩阵信息来构建特征坐标系，实现在特征坐标系下执行算法的相关操作，以松弛连续变量与离散变量之间的相关性;其次，为避免种群多样性丢失，仍保留了原坐标系，并设计了一种自适应策略来应用特征坐标系和原坐标系，以发挥双坐标系的优势;最后，为提高离散变量的优化效果，专门设计了一种基于离散变量相关性的局部搜索策略，以增强算法的整体性能.为验证本文方法性能，在一套包含28个测试函数的通用测试集上进行了大量实验，与5种求解MVOPs的知名EAs进行了对比，结果表明本文方法有更好性能.此外，在一个实际MVOP上，即焊接梁设计问题，本文方法能取得目前已知最好解.本文方法为计算机算法设计和分析领域的相关工作提供了新的思路.

关键词：混合变量差分进化变量相关性特征坐标系双坐标系

点云密度对无人机激光雷达森林参数估测精度的影响

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

林业科学研究 2024年第2期37卷 39-47页

作者：周梅李春干李振余铸广西大学计算机与电子信息学院广西南宁530004 广西大学林学院广西南宁530004 广西林业勘测设计院广西南宁530011

[目的]点云密度是影响无人机激光雷达数据获取和预处理成本和效率的关键因素,探明点云密度对林分尺度无人机激光雷达森林参数估测精度的影响,有助于优化无人机激光雷达森林应用技术方案。[方法]以马尾松、桉树人工林为研究对象,采用百... 详细信息

[目的]点云密度是影响无人机激光雷达数据获取和预处理成本和效率的关键因素,探明点云密度对林分尺度无人机激光雷达森林参数估测精度的影响,有助于优化无人机激光雷达森林应用技术方案。[方法]以马尾松、桉树人工林为研究对象,采用百分比重采样方法,对密度为247点·m^(-2)的原始点云按40%、20%、8%、4%和2%的比例降低点云密度,得到1个全密度原始点云数据集和5个稀疏密度点云数据集;每个数据集独立进行点云分类、地面点滤波和数字高程模型生成、点云高度归一化等预处理并提取激光雷达变量;对于同一森林类型的同一个森林参数(林分蓄积量、断面积、平均高和平均直径)的估测,各个数据集都采用相同的乘幂模型结构式进行模型拟合,然后比较分析模型优度统计指标的差异,包括:决定系数(R^(2)),相对根方根误差(rRMSE)和平均预报误差(MPE);采用配对样本t检验方法对各个数据集的森林参数估测结果和激光变量的差异进行统计分析。[结果]当点云密度分别稀疏至100、50、…、5点·m^(-2)时,各个森林参数估测模型的精度保持基本一致;各个稀疏密度点云数据集的森林参数估测值的均值与原始点云数据集的估测值的均值不存在显著性差异(p≥0.05);各个稀疏密度点云数据集激光变量的均值和原始点云数据集激光变量的均值基本上不存在显著性差异(p>0.05)。[结论]在无人机激光雷达森林资源调查监测应用中,点云密度可低至5点·m^(-2)。然而,本试验结果仍需通过不同飞行高度获取不同密度点云数据予以验证。

关键词：林分蓄积量断面积平均高平均直径 UAV-LiDAR变量乘幂模型

大科普理念下专业图书馆科普服务跨界合作行动者网络构建

在线全文

学校读者我要写书评

暂无评论

图书馆论坛 2024年

作者：李永丽韩雯倩李健西南大学档案馆西南大学计算机与信息科学学院

大科普理念下专业图书馆科普服务跨界合作是一个多元异质主体参与的系统，文章引入行动者网络理论构建专业图书馆科普服务跨界合作行动者网络。采用网络调研法和文献调研法，对开展跨界合作科普服务的专业图书馆进行调研，识别出专业图... 详细信息

大科普理念下专业图书馆科普服务跨界合作是一个多元异质主体参与的系统，文章引入行动者网络理论构建专业图书馆科普服务跨界合作行动者网络。采用网络调研法和文献调研法，对开展跨界合作科普服务的专业图书馆进行调研，识别出专业图书馆科普服务跨界合作中的行动者。在此基础上，重点选择五家不同情况的专业图书馆为调研样本，对其馆员、合作方人员及用户进行访谈，明确核心行动者与强制通行点，分析各行动者的利益和障碍。对各行动者转译过程进行研究，呈现各行动者构建起专业图书馆科普服务跨界合作行动者网络的动态过程，并对该行动者网络的运行机理进行分析。最终形成“政府领导、母体机构支持、专业图书馆为主体、社会组织协同、用户参与”的科普服务跨界合作格局。

关键词：大科普理念行动者网络理论专业图书馆科普服务跨界合作

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

一种支持交易筛选的高性能智能合约测试方案

西安电子科技大学学报 2024年第3期51卷 194-202页

作者：彭泳翔马勇刘志全王立波吴永东陈宁唐泳暨南大学信息科学技术学院广东广州510632 江西师范大学计算机信息工程学院江西南昌330022 广东省网络与信息安全漏洞研究重点实验室广东广州510643 电子科技大学计算机科学与工程学院四川成都610054

近年来,作为以太坊的重要组成部分,智能合约引起了工业界与学术界的广泛兴趣。智能合约是一段部署在区块链上的程序,为分布式交易提供了可能。然而,由于智能合约携带的金融属性,使其成为黑客攻击的目标。因此,为保证合约的安全性,需对... 详细信息

近年来,作为以太坊的重要组成部分,智能合约引起了工业界与学术界的广泛兴趣。智能合约是一段部署在区块链上的程序,为分布式交易提供了可能。然而,由于智能合约携带的金融属性,使其成为黑客攻击的目标。因此,为保证合约的安全性,需对漏洞合约进行修复并通过测试保证功能一致性。然而,现有智能合约测试方案缺乏拓展性、重放准确性低以及储存消耗大等问题。为此,提出一种支持交易筛选的高性能智能合约测试方案。该方案首先基于以太坊状态变更建模交易特征,增强扩展性;接着基于二阶树结构储存以太坊历史数据,优化储存空间;最后通过分叉机制进行交易重放,实现在不干扰主链的情况下对修复合约进行测试。基于所提方案实现原型工具SCTester,并与现有合约测试方案EVMPatch、HARTEL和KIM相比较。实验结果表明,所提方案在拓展性与重放准确率有更好的表现,并且在空间消耗方面,所提方案相较于KIM降低了约21.6%的储存空间;在时间消耗方面,所提方案相较于KIM在账户测试场景下的交易重放减少了约70.5%的时间消耗。

关键词：区块链智能合约合约测试

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

在线全文

学校读者我要写书评

暂无评论

面向算力网络的智慧调度综述

自动化学报 2024年第6期50卷 1086-1103页

作者：李逸博李小平王爽蒋嶷川东南大学计算机科学与工程学院南京211189 东南大学计算机网络和信息集成教育部重点实验室南京211189 广东工业大学计算机学院广州510006

分布异构计算资源通过网络连接形成算力网络(Computing power network,CPN),其以“连”和“算”为核心.针对广分布异构性导致可行解空间巨大、强不确定性导致可行解空间易变、高约束复杂性导致可行解孤岛繁多、多目标性导致冲突目标权... 详细信息

分布异构计算资源通过网络连接形成算力网络(Computing power network,CPN),其以“连”和“算”为核心.针对广分布异构性导致可行解空间巨大、强不确定性导致可行解空间易变、高约束复杂性导致可行解孤岛繁多、多目标性导致冲突目标权衡优化难等挑战,提出一个多层次算力网络体系框架,包括参数化结构化业务管理、三阶段(计划、调度、执行)闭环调度模式、多模态资源管理三个功能.提出支持快速、高效、鲁棒的“算法+知识+数据+算力”的算力网络智慧调度框架,形式化分析可行解空间,解析调度策略关键参数,定性分析调度算法性能与效率的内在关系,详细综述调度算法类型,综述算力网络调度研究进展与发展方向.对比已有相关综述研究,展望算力网络调度未来理论和技术的难点与趋势.

关键词：算力网络云计算边缘计算资源调度知识

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

区块链系统身份管理机制研究综述

计算机工程与应用 2024年第1期60卷 57-73页

作者：李馥娟马卓王群江苏警官学院计算机信息与网络安全系南京210031 计算机软件新技术国家重点实验室(南京大学) 南京210093

区块链技术是一项集P2P网络、共识机制、密码学、博弈论、经济学等众多技术与理论于一体的应用创新,以其去中心化这一特质冲击着传统系统中心化机制带来的种种约束,通过共识机制在一个无需第三方信任机构的开放网络环境中实现交易的可... 详细信息

区块链技术是一项集P2P网络、共识机制、密码学、博弈论、经济学等众多技术与理论于一体的应用创新,以其去中心化这一特质冲击着传统系统中心化机制带来的种种约束,通过共识机制在一个无需第三方信任机构的开放网络环境中实现交易的可信性、可溯源、防篡改等功能,其所形成的新型计算范式和信任机制有助于推动管理模式的转变。同时,区块链技术具有的账本公开和多方共识机制,为以交易为最小数据单元的区块链系统身份管理提出了挑战。梳理区块链系统身份管理技术的重要研究成果,为系统掌握区块链身份标识和认证方式、加强不同应用场景中的信息发现和价值挖掘提供借鉴。在讨论传统系统与区块链系统身份管理特征,并明确区块链身份管理主要内容的基础上,阐释UTXO模型和账户模型的特点,深入分析基于公钥转换、数字证书和去中心化数字身份3类区块链系统身份标识机制,以及匿名认证、实名认证和可控匿名认证3类区块链认证方式,最后对区块链身份管理技术的未来发展进行展望。

关键词：区块链身份管理身份标识身份认证