摘要：提出两个事件时序概念与相关规则,用于分析事件关联消息类型为挑战数的时态性质,形式化抽象物理不可克隆函数(PUFs)随机会话秘钥生成功能,扩展事件逻辑(LoET)用于形式化分析PUFs安全协议的理论.以一个基于SRAM PUFs(基于静态随机存取存储器的PUF类型)的安全双向认证协议分析为例,形式化规约了协议基于PUFs随机秘钥生成和双向认证过程,基于扩展的事件逻辑,采用定理证明方法推理证明了该协议在合理假设下满足双向强认证性质.研究表明扩展的事件逻辑理论可用于设计和分析基于PUFs安全协议.

摘要：针对当前基于深度学习的遥感图像超分辨率重建模型部署时对硬件要求较高,本文设计了一种轻量级基于重参数化的残差特征遥感图像超分辨率重建网络。首先,采用重参数化方法设计了一种残差局部特征模块,以有效地提取图像局部特征;同时考虑到图像内部出现的相似特征,设计了一个轻量级的全局上下文模块对图像的相似特征进行关联以提升网络的特征表达能力,并通过调整该模块的通道压缩倍数来减少模型的参数量和改善模型的性能;最后,在上采样模块前使用多层特征融合模块聚合所有的深度特征,以产生更全面的特征表示。在UC Merced遥感数据集上进行测试,该算法在遥感图像3倍超分辨率下的参数量为539 K,峰值信噪比为30.01 dB,结构相似性为0.8449,模型的推理时间为0.010 s;而HSENet算法的参数量为5470 K,峰值信噪比为30.00 dB,结构相似性为0.8420,模型的推理时间为0.059 s。实验结果表明,该算法相比HSENet算法,参数量更少,运行速度较快,且峰值信噪比与结构相似性也有一定的提高。在DIV2K自然图像数据集上进行测试,该算法的峰值信噪比和结构相似性相比其他算法也有一定的优势,表明该算法的泛化能力较强。

摘要：针对锂离子电池均温性差和液冷系统能耗高等问题,以方形锂离子电池为研究对象,在电池单体模型验证的基础上,设计了串并对称式液冷流道的锂离子电池散热结构,对比了5种流道方案,在优选方案四的基础上,分析了液冷板中的液冷流速、铝板厚度组合和液冷系统的启动时间对电池散热效果和液冷系统能耗的影响.结果表明:与方案一的流道形状S0对比,方案四的流道形状S3能够将模组中电池单体的最大温差降低15%;此外,电池的最高温度随着液冷流速的增加呈现先减小后平缓的趋势;在保证液冷系统总质量不变的前提下,与初始的铝板厚度组合h0对比,调整后的铝板厚度组合h4可将电池模组的最大温差降低12%;电池在2.5C放电时,延迟液冷系统启动时间至563 s,既可以保证电池在最佳的工作温度范围内,又能节约液冷系统约39%的能耗成本.

摘要：为合理利用源侧备用资源,提出基于随机潮流和半不变量法的备用风险评估指标,以准确量化因备用不足而造成的潮流越限风险;为了实现源侧备用资源和网侧可控资源的协同优化,将网侧有载调压变压器和电容器组无功补偿装置纳入决策变量,以系统运行成本最低和系统运行越限风险指标值最小为优化目标,构建计及备用风险性的新型电力系统源网协同安全经济调度模型;将布朗运动和莱维飞行随机游走机制融入多目标微分进化算法,设计新型的布朗-莱维多目标微分进化算法,对模型进行高效求解。算例分析结果验证了所提方法的有效性和优越性。

摘要：针对传统差分进化算法在解决复杂优化问题时性能不足的问题,提出了一种双重经验结合的自适应差分进化算法,该算法提出了基于个体经验和集体经验结合的参数自适应机制.在该机制中,每个个体都有自己的缩放因子和杂交概率,并且个体同时利用自身经验和多个成功个体的集体经验来自适应地更新参数值.该机制不仅很好地利用了个体自身的演化信息,还结合了集体的有益信息,有利于生成优秀个体,提高算法性能.此外,自适应差分进化算法设计了一种新的带外部存档的变异策略,该变异策略引入了一个调整变异策略贪婪性的参数,这个参数在进化过程中随着函数评价次数的增加而动态变化,自适应地调整变异策略在不同进化阶段的贪婪性,较好地平衡了算法的勘探和开采,进而提高算法性能.在CEC2017基准集上对算法进行数值实验,并将自适应差分进化算法与多个改进的差分进化算法进行了比较.实验结果表明:自适应差分进化算法取得了较好的求解结果,并在整体上优于其他算法.

摘要：【目的】通过对橡胶衬套各向刚度的优化设计以指导产品设计,以期大幅缩短橡胶衬套的研发周期。橡胶衬套作为新能源汽车、特种车辆、动车组等载运工具的重要连接件,对整车操纵稳定性起着至关重要的作用。【方法】为了避免工程实践中反复调试的繁琐工作,提出了一种考虑材料硬度与缩径量的橡胶衬套各向刚度(径向刚度、轴向刚度、偏摆刚度和扭转刚度)优化设计方法。首先,采用Ogden模型作为橡胶衬套的本构模型,通过试验设计与有限元分析相结合的方法,计算不同内芯外径、橡胶高度、缩径量和材料硬度下衬套各向刚度;然后,建立各向刚度的二阶响应面模型,利用拉丁超立方抽样和方差分析,检验响应面模型精度;最后,根据遗传算法,建立含各向刚度为设计变量的多目标优化模型,并对优化结果进行试验验证。【结果】研究表明:径向刚度、轴向刚度、偏摆刚度和扭转刚度的试验结果与目标值的相对误差分别为7.72%,9.06%,-6.33%和9.16%,均在±10%以内,满足工程应用的要求。【结论】试验结果验证了所建立的各向刚度二阶响应面模型的有效性,以及所提出优化设计方法的可行性,为橡胶衬套产品设计提供指导,可极大地缩短橡胶衬套的研发周期。

摘要：地浸采铀数值模拟是研究场地尺度下铀浸出迁移的重要手段。为准确模拟浸出铀的时空演化,以一组四注一抽现场地浸采铀试验单元为例,探讨模型中水岩反应设置为热力学平衡和反应动力学对模拟结果的影响。结果表明:1)抽液井处浸出铀的试验结果与反应动力学模型的模拟结果接近,与热力学平衡模型的模拟结果相差较大,因此反应动力学模型相比热力学平衡模型更能反映浸出铀的开采过程;2)同一时间内,热力学平衡模型相比反应动力学模型模拟得出的溶浸面积更大,溶浸铀矿物量更多,铀矿物完全浸出所需时间更短;3)热力学平衡模型预测的铀矿物开采程度及浸出铀浓度偏高,开采所需时间偏短,导致高估铀矿物浸出率和低估开采时间。因此,在地浸采铀数值模拟中,反应动力学相比热力学平衡优化了水岩反应的反应速率表达,使模拟更贴近实际。

摘要：为探究模型试验法在车-轨-桥耦合振动研究中的有效性,基于π定理准则和量纲分析方法,推导车-轨-桥耦合振动原型结构与模型结构之间的相似关系。以10︰1为几何相似比,计算原型与模型结构之间的相似常数,利用有限元方法校验原型与模型结构之间的相似关系。依照弹性力相似律,制作包含车辆-轨道-桥梁结构以及动力加载部分的缩尺模型试验系统,采用试验测试与数值仿真相结合的方法,校验了缩尺轨道箱梁结构的模态振型、模态频率以及模型车移动荷载作用下模型桥的加速度响应在时域与频域范围内的可靠性。研究结果表明:原型结构计算加速度响应值和模型结构计算加速度响应反演值曲线一致,校验了由π定理准则及量纲分析所推导的相似关系的准确性;试验测定轨道-箱梁结构模型振型与数值仿真计算所得振型基本一致,且模态频率误差较小,频率误差最大仅为5.97%。表明基于相似理论设计制作的轨道-箱梁结构缩尺模型能够较好地满足试验要求;试验测试与数值仿真计算的列车移动荷载作用下桥梁加速度响应在时域与频域内结果吻合良好,数值规律基本一致,模型桥动力性能误差在10%以内,表明缩尺模型试验系统能够较为精确地反应时域和频域范围内的车-轨-桥耦合振动特性。本文设计制作的车-轨-桥耦合振动缩尺模型试验系统可靠,可用于复杂工况下的车-轨-桥耦合振动分析。

摘要：为分析板式橡胶支座摩擦性能对中小跨径梁桥地震响应的影响,建立简支梁桥和连续梁桥2种桥型的有限元模型,采用增量动力分析方法,对比不同支座滑动摩擦系数对2种桥型在纵横桥向地震作用下地震响应的影响。结果表明:在横桥向地震作用下,简支梁桥主梁易发生转动,对于墩台处的横向限位装置设计参数需区别设计,而连续梁桥主梁呈刚体平移,墩台处的横向限位装置可采用相同设计参数;在纵桥向地震作用下,简支梁桥和连续梁桥桥台处支座更易发生脱空或滑落;在不同方向地震激励下,两种桥型桥墩墩底曲率均随支座摩擦系数增加而增大;在中小跨径梁桥结构设计时,可通过设计不同支座接触面来选择有利于结构抗震的摩擦系数。

摘要：智能家居运用物联网技术为用户提供自动化的智能服务,但传统的集中式架构存在机密性和完整性等安全性问题,而现有的分布式架构又存在重复认证、高延迟等问题。针对这些问题,基于区块链和椭圆曲线集成加密技术提出了一种智能家居认证与访问控制方案,同时还引入了边缘计算,降低系统的延迟。并将基于权能的访问控制与区块链相结合,在区块链上存储权能令牌并设计了相应的智能合约以实现安全的访问控制。安全性分析表明,该方案具有去中心化、不可窜改、机密性、完整性和可扩展性等安全特性。在以太坊区块链上进行仿真,并根据计算开销、通信开销和响应时间等指标对方案进行了性能评估。评估结果表明,相比其他方案,该方案计算开销和通信开销更小,响应时间更短,具有明显的优势。