摘要：提出两个事件时序概念与相关规则,用于分析事件关联消息类型为挑战数的时态性质,形式化抽象物理不可克隆函数(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自然图像数据集上进行测试,该算法的峰值信噪比和结构相似性相比其他算法也有一定的优势,表明该算法的泛化能力较强。

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

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

摘要：随着现代药物研究的不断深入,传统计算机模拟已经不能满足未来药物设计实验的需求。分子模拟作为传统计算机模拟的经典技术之一,可以构造分析复杂的分子模型,研究分子运动的动态过程,但模拟结果受人为因素影响大,准确度较低。近年来,人工智能与分子模拟技术的融合成为药物设计研究的新方法。人工智能技术利用大数据筛选出对应的化合物进行分子模拟,并将模拟结果反馈给人工智能系统进行学习,不断优化人工神经网络。联用人工智能与分子模拟技术,提高了药物设计研究的效率,降低了人为因素对模拟结果的影响,增加了模拟结果的可信度。该文总结了当前国内外应用人工智能和分子模拟技术进行药物设计的研究成果,以期为未来药物研发从计算机辅助药物设计(CADD)向人工智能辅助药物研发(AIDD)的转变提供参考。

摘要：为践行“双碳”目标,助力中国地热资源的可持续开发利用,本文采用同位素手段和多矿物平衡模拟法,研究了赣北的白岭温泉与赣南的汤湖温泉和白石温泉的水化学特征。结果表明,白岭温泉（85℃）为弱碱性HCO3-Na型硅-氟水,其总溶解固体（TDS）含量、H2SiO3含量和主要离子浓度均低于汤湖温泉（89℃,弱碱性HCO3-Na型硅-氟水）和白石温泉（85℃,弱碱性SO4-HCO3-Na型硅-氟水）。三个温泉虽均来源于大气降水,但汤湖温泉和白石温泉水的地下滞留时间更长,而白岭温泉的循环深度更大。白岭温泉和汤湖温泉的水岩作用强烈,均存在明显的氧漂移现象,而白石温泉则发生水气同位素交换作用,导致热水的δ18O值降低。长石、方解石、石膏、黄铁矿的溶解和H2S的氧化为温泉中主要离子来源。白岭温泉、汤湖温泉和白石温泉的平均热储温度分别为125、135和149℃,属于中温地热资源,其补给高程分别为1455、1790和1050 m。

摘要：自噬和凋亡是细胞命运调控的两种基本病理生理机制。现有通过对哺乳动物进行研究发现,参与反应的信号通路通过各种串扰机制相互连接。然而,关于双壳贝类等无脊椎动物中的自噬和凋亡串扰的研究仍相对较少。基于此,文章主要介绍细胞自噬和凋亡的分子机制及两者之间的联系,并对双壳贝类的自噬和凋亡的研究进展进行论述,从而探讨自噬与凋亡在水生生物发育和进化过程中的关键作用,以期为进一步探索无脊椎动物自噬与凋亡的分子机制奠定理论基础。

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

摘要：大数据与人工智能技术持续的深化发展及其在陶瓷领域的广泛应用,推动了产业的创新进程和效率的显著提升。本文综述了近年来陶瓷图像智能处理方面的重要研究进展,涵盖了图像修复、质量检测、图像识别、图像检索等多方面关键技术的应用,揭示了人工智能技术如何提升陶瓷设计创新和生产过程的质量。此外,细致分析了智能图像处理技术在优化制造工艺、提高生产效率以及促进陶瓷艺术与文化遗产保护等方面的应用。最后,展望了未来大语言模型如何在陶瓷领域中开拓前沿的创新路径,成为推动行业进步的关键力量。

摘要：作为整个夹具设计中最为复杂和抽象的环节,装夹布局方案的规划直接影响着工件的加工质量、生产效率和制造成本。为此,在前期关于基于层次分析法与定位确定性的工件定位方案规划算法的研究基础上,进一步建立了一种基于逼近理想解排序法(TOPSIS)和基于分解的多目标进化算法(MOEA/D)的夹紧方案设计方法。首先,通过建立选择夹紧表面的层次结构模型,提出了计算候选夹紧表面贴近度的TOPSIS方法。其次,考虑到工件稳定性和装夹变形的双重因素,建立了同时满足夹紧阶段和加工阶段的装夹布局多目标优化模型,在利用切比雪夫方法对多目标函数进行正对性分解的基础上,构建了夹紧方案多目标优化模型的MOEA/D求解方法。最后,利用建立的方法设计出非规则零件钻孔用的装夹布局方案,并与现有夹具结构方案进行对比和分析,结果表明设计方案与现有方案完全吻合。基于TOPSIS和MOEA/D的夹紧方案规划算法易于编程实现,既能为任意工件合理地规划出夹紧方案,也能为计算机辅助夹具设计系统的开发提供理论支持。