车联网新型基础设施跨域协同部署研究

基础设施是实现车联网产业融合创新发展的必要支撑,其可靠通信、精准感知和实时计算等能力可赋能智能网联汽车、智能交通、信息通信发展。在研究车联网新型基础设施的范畴与发展现状的基础上,分析了车联网新型基础设施建设与服务在跨域协同方面的挑战。结合国内外发展趋势,提出了“物理分立、逻辑协同”的车联网基础设施系统架构,并提出了进一步的发展建议。     

用于矢量水听器的压电单晶面剪切模式加速度计设计

面剪切振动模式产生于[011]极化方向zxt-45°切型的压电单晶,因具有高压电系数、高机械品质因数、高柔顺系数和低串扰效应等优点,故面剪切模式成为小尺寸、高灵敏度压电传感器的理想选择,在矢量水听器中有着良好的应用前景。该文通过分析面剪切模式振动原理,推导了面剪切模式压电加速度计的电压灵敏度表达式。利用有限元分析软件构建面剪切加速度计模型,研究结构参数对面剪切压电加速度计电压灵敏度和谐振频率的影响规律,优化结构尺寸,最终仿真得到面剪切加速度计开路电压灵敏度为389.72 mV/g,工作频带为20 Hz~3 kHz,横向灵敏度小于3.45%。研究结果表明,与传统的剪切式加速度计相比,所设计的面剪切式加速度计在质量块质量降低50%的同时,电压灵敏度提高了11.6%,这为降低水听器的平均密度、提升水声探测性能提供了新思路。     

基于余弦-指数混沌映射的分块图像加密算法

为平衡混沌映射中结构与性能的关系,保证加密系统安全性,提出一种基于余弦-指数混沌映射的分块图像加密算法。首先,通过非线性指数项对引入了Tent种子映射的余弦映射进行调制,构造新型余弦-指数混沌映射,并利用SHA-256函数产生与明文相关的密钥,生成随机性较强的混沌序列,实现一次一密;然后,基于拉丁方和位级转换,通过两轮拉丁方索引和比特位拼接,分别设计双重拉丁方和扩展比特位算法,并结合二维约瑟夫序列,对块间预置乱后的明文进行块内置乱,实现不同分块的差异化置乱;最后,基于Zig-Zag变换,采用环状仿Zig-Zag变换设计交叉Zig-Zag变换方法,将中间密文与混沌序列进行双向非线性扩散,实现同时改变像素位置与大小,完成图像加密。实验结果表明,该算法密钥空间大,能有效抵御差分分析和统计分析等典型攻击,具有较好的加密效果。     

虚拟现实技术在动漫设计中的应用

随着科学技术的不断创新与发展,虚拟现实技术在中国动漫设计行业中的应用越来越普遍,其已经成为当前动漫设计行业发展的关键技术之一。在动漫设计工作中,要创作出更丰富和精彩的动漫作品,设计者必须凭借现代化信息技术,在动漫设计中融入虚拟现实技术,实现我国动漫设计行业的改革创新。文中主要阐述了虚拟现实技术在动漫设计工作中的主要呈现方法,并探究了在动漫设计工作中应用虚拟现实技术的对策。     

面向软件供应链的异常分析方法综述

软件在国民经济的各个领域占据越来越重要的地位.万物互联的大背景下,信息之间的交互、分析、协同变得越来越普遍,程序/软件之间的依赖关系逐渐增多,这使得人们对系统可靠性和健壮性提出了更高的要求.由开源组件和第三方组件构成的软件供应链,其所面临的安全问题近年来成为了学术界和工业界共同关注的焦点.库函数作为开源软件的重要组成部分,与软件供应链安全有着密切的联系.为了提高软件开发效率,软件库或应用程序编程接口(API)在程序编写过程中会被频繁使用,但库函数中存在的错误或漏洞可能会被攻击者利用,从而损害软件供应链安全.这些错误或漏洞往往与库函数中存在的异常有关,因此本文对适用于库函数的异常分析方法从精度和效率两方面分别进行总结归纳,对于每种异常分析方法的基本思想和重要过程进行阐述,并针对库函数异常分析面临的挑战给出了初步解决思路.对软件供应链中的库函数进行异常分析有助于增强软件系统的健壮性,进而保障软件供应链的安全.     

融合双注意力机制的人群计数算法

针对背景复杂、遮挡、人群分布不均等人群计数常见问题,提出了一种结合联合损失的空间-通道双注意力机制卷积神经网络模型(joint loss-based space-channel dual attention network, JL-SCDANet).该网络前端进行图像粗粒度特征提取,中间加入空间注意力机制以及通道注意力机制突出图像重点区域,后端使用可加大感受野且不丢失图像分辨率的空洞卷积提取深层二维特征.此外,该模型结合联合损失函数进行训练,以增强模型的鲁棒性.为了验证模型的改进效果,在3个公共数据集(ShanghaiTech Part B、mall和UCF＿CC＿50)上分别进行了对比实验,在ShanghaiTech Part B数据集中平均绝对误差(MAE)和均方误差(MSE)分别达到了8.13和13.13;在mall数据集中MAE、MSE达到了1.78和2.28;在UCF＿CC＿50数据集中MAE、MSE分别达到了182.12和210.24,实验结果证明了该网络在提高人数统计准确率上的有效性.     

面向关系型数据与知识图谱的数据集成技术综述

目前,各个国家和地区均已将大数据视为重要的战略资源.然而,大数据时代普遍存在数据流通困难、数据监管不足等问题,致使数据孤岛现象严重,数据质量低下,数据要素潜能难以释放.这驱使研究人员探索数据集成技术,以打破数据壁垒、实现信息共享、提升数据质量,进而激活数据要素潜能.关系型数据和知识图谱作为两种至关重要的数据组织与存储形式,在现实生活中应用广泛.为此,聚焦关系型数据和知识图谱,归纳总结并分析实体解析、数据融合、数据清洗3方面的数据集成关键技术,最后展望未来研究方向与趋势.     

拟态路由器TCP代理设计实现与形式化验证研究

拟态路由器基于拟态防御的动态异构冗余架构进行设计,对于未知漏洞后门具有良好的防御能力。协议代理在拟态路由器中处于内外联络的枢纽位置,协议代理的安全性和功能正确性对于拟态路由器有着重要意义。本文设计实现了拟态路由器的TCP协议代理,并采用形式化方法,对其安全性和功能正确性进行了验证。TCP协议代理嗅探邻居和主执行体之间的TCP报文,模拟邻居和从执行体建立TCP连接,并向上层应用层协议代理提供程序接口。基于分离逻辑与组合思想,采用Verifast定理证明器,对TCP协议代理的低级属性,包括指针安全使用、无内存泄露、无死代码等,进行了验证;同时,还对TCP协议代理的各主要功能模块的部分高级属性进行了形式化验证。搭建了包含3个执行体的拟态路由器实验环境,对实现结果进行了实际测试,结果表明所实现的TCP代理实现了预期功能。TCP协议代理实现总计1611行C代码,其中形式化验证所需人工引导定理检查器书写的证明共计588行。实际开发过程中,书写代码实现与书写人工证明所需的时间约为1:1。本文对TCP协议代理的实现与形式化验证工作证明了将形式化验证引入拟态路由器的关键组件开发中是确实可行的,且证明代价可以接受。     

面向能源互联网的零碳园区优化规划关键技术与发展趋势

碳中和、碳达峰的践行,零碳园区是重点之一。新型电力系统背景下,园区的电力能源供应具有水/电/气/热高度融合、源网荷储强不确定、一二次拓扑结构复杂多样等特点,现有的规划设计技术较难满足其应用需求。为此,以零碳园区为主要研究对象,对其优化规划设计的研究现状、关键技术与未来发展趋势展开讨论。首先,从能源互联的角度阐述了零碳园区的内涵架构与其规划设计技术研究现状;其次,归纳并阐述了零碳园区包括能源-交通系统耦合、多能互补、能量梯级利用、需求响应、渐进式规划等优化规划关键技术;最后,从共享理念、数字孪生与云储能等方面分析了园区规划未来的发展趋势,从理念应用、学科交叉、信息融合与态势感知等角度指明了园区规划的技术挑战与研究方向,以期为我国面向能源互联网的零碳园区的发展提供更有力的技术支撑。     

基于纳什议价的多微网综合能源系统分布式低碳优化运行策略

针对当前多微网能源交易中未充分考虑供能侧与需求侧的互动关系,且随着碳交易市场的全面发展,多主体在碳交易机制下能源交易时的利益交互关系需深入挖掘等问题,提出一种基于纳什议价的多微网综合能源系统分布式低碳优化运行策略。首先,综合考虑多微网综合能源系统能源交易中各微网运营商以及用户的利益诉求,基于纳什议价理论构建碳交易机制下多个微网运营商与代表整个多微网用户侧利益的负荷聚合商的合作运行模型。其次,在证明所提纳什议价模型可以最大化社会效益的基础上,将原问题转化为易于求解的两个子问题,运用交替方向乘子法先后对两个子问题进行分布式求解,在交互有限信息的基础上达到博弈均衡,充分保证了各交易主体的信息隐私。最后,通过算例对比证明了所提方法在减少碳排放、提升个体效益和社会效益上的有效性,并深入分析了在碳交易机制下多主体合作运行减少碳排放的综合原因。