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

摘要：拓扑优化设计的压力驱动柔顺机构拓扑构型容易出现类铰链结构,导致难以制造加工。为了满足制造工艺要求,提出一种考虑最小尺寸控制的压力驱动柔顺机构拓扑优化设计方法。采用改进的固体各向同性材料惩罚模型,利用达西定律结合排水项计算流体压力载荷,以机构的互应变能最大化和应变能最小化为优化目标,采用Otsu算法和拓扑细化算法提取柔顺机构的骨架特征,从而构建最小特征尺寸控制,以结构体积和最小特征尺寸作为约束,建立考虑最小尺寸控制的压力驱动柔顺机构拓扑优化模型,采用移动渐近线算法进行压力驱动柔顺机构拓扑优化问题求解。数值算例结果表明,所提设计方法获得的压力驱动柔顺机构最小特征尺寸满足约束,能够有效地抑制类铰链结构,并且分析不同最小控制尺寸对柔顺机构拓扑优化结果影响规律。

摘要：应用Polyflow软件分别建立了U型件模型、带内外气体辅助层厚度不同的U型件模型和U型件开口有倾角的模型。针对传统挤出、不同内外层辅助气体厚度、不同开口倾角下3种情况进行了数值模拟计算,并用Origin软件对部分结果进行了分析。研究发现,使用气体辅助技术比型腔结构优化更有利于模流平衡;当内外气体辅助层厚度不同时,内层气体层厚度偏大、外层气体层偏薄时,更有利于抑制U型件开口收缩的变形;而对口模开口臂倾斜角度的修正更有利于减小或调整U型件开口收缩的变形。

摘要：针对列车运行环境内因意外突发事件所造成的异物侵限而影响列车安全运行的问题,在被广泛应用于工业领域的YOLOv3目标检测模型的基础之上,提出一种融合轨道限界和侵限异物识别的快速检测方法。首先,以ResNet-18网络作为铁路限界检测的主干网络,利用辅助检测模块提升限界检测精度,达到特征提取速度快,语义信息丰富充足等目标。同时采用基于行锚框的分割算法检测轨道线坐标位置,结合标准轨距下的限界定义确定铁路异物入侵限界的范围,以减少侵限异物检测的区域。其次,设计基于Octave卷积的层内多尺度残差模块,将单通道卷积变为基于图像频率的双通道卷积,以降低卷积计算量,进一步提升异物侵限算法的检测速度。最后,引入空间金字塔模块和特征自适应融合模块,实现高、低级语义信息交换,从而增加网络对不同尺度目标的感知能力,并减少语义冲突问题。通过对比实验验证异物侵限检测算法的精度、速度和有效性。实验结果表明,所述方法能以172帧/s的速度对轨道位置和限界区域进行检测,精确度达98.12%。与其他算法相比,在大中小3种目标尺度上都超越了其他对比算法。所提出的融合轨道限界和侵限异物检测的方法,在保证精度的前提下,速度达到YOLOv3算法的2倍,能够满足列车对侵限异物的实时检测需求。

摘要：研究具有某种高度对称性的t-设计及其自同构群的分类问题是代数组合学的重要课题之一。目前关于旗传递Steiner t-设计的分类问题已被Huber解决。然而当设计的自同构群的旗传递性减弱为区传递时,研究结果更加丰富,工作也更加困难。利用有限单群分类定理及2-传递置换群的分类结果,解决了自同构群为散在单群的区传递Steiner t-设计的分类问题,并证明了:设D=(P,E)为非平凡Steiner t-设计且G≤Aut(D)为点本原群,若G的基柱Soc(G)为散在单群,则G区传递作用在D上当且仅当G旗传递作用在D上,且D为已知的5种旗传递Steiner t-设计之一。

摘要：模块化多电平铁路功率调节器作为一个耦合的多变量非线性系统,传统PI控制的直接功率控制难以实现对系统的精确解耦.本文提出了一种基于线性扩张状态观测器的反馈线性化直接功率控制方法,根据Lie导数构建了模块化多电平铁路功率调节器(MMC-RPC)两输入/两输出功率仿射模型,设计了精确反馈线性化功率解耦控制器.针对不确定因素等扰动对精确反馈线性化控制效果的影响,设计了线性扩张状态观测器对扰动进行观测和补偿,实现了功率的精确跟踪控制.最后,通过MATLAB/Simulink平台搭建仿真模型对所提控制方法进行了验证.

摘要：盾构隧道在下卧地层软硬突变、局部堆载等因素影响下易产生不均匀沉降,可能诱发管片环间错台、螺栓断裂和接缝渗水等病害,危及隧道安全。然而,现有试验研究在隧道模型上多将纵向接头简化处理,难以反映盾构隧道纵向受力变形特性,对于隧道下卧软硬突变地层等工况的模拟也较为缺乏。为此,提出一种可同时模拟抗拉、抗弯刚度的“弹簧+螺栓型”接头,并以此接头制作可满足纵向力学性能相似的隧道模型,对盾构隧道进行下卧软硬突变、局部堆载等工况下的模型试验,进一步探明不同因素导致的差异沉降对盾构隧道的影响机理,并采用数值模拟验证了试验的可行性。研究结果表明:1)较单一地层而言,隧道下卧软硬突变时纵向沉降曲线呈现明显的非线性,其隧道沉降及差异沉降最值显著增大,软土侧隧道沉降较硬土侧更为显著,最大沉降、沉降差均出现在突变区软土侧衬砌处;2)下卧地层突变导致隧道横向收敛变形在纵向上分布不均,使软土侧衬砌收敛变形减小,硬土侧衬砌收敛变形显著增大;3)局部堆载对管片弯矩分布影响较小,对弯矩最值影响较大;4)下卧软土区隧道结构内力分布明显变异,隧道衬砌正弯矩区域显著增大,负弯矩区域略有减小,且弯矩最值提升显著。因此针对软硬突变地层,必要时在硬土侧隧道可采用粘钢法等方法提升衬砌横向刚度,以控制其收敛变形;软土侧隧道建议对管片进行螺栓复紧,并加强接缝防水,以减小下卧地层弱化对隧道结构产生的不利影响。

摘要：新基建为文化创意产业的蓬勃发展创造了扎实的物质平台,而文化创意产业同样以其新颖的思维创新反哺前者成长。然而,除却浮于表面的直接干预,隐匿于新基建和文化创意产业系统内部的作用规律才是促进其二者可持续发展的源动力。基于此,本研究以系统动力学技术为依托,以理清创造与创新辩证逻辑关系为引领,通过数值仿真模拟论证了新基建对文化创意产业之显著涌现作用的存在。在理论启示层面,提出了存在于新基建与文化创意产业间以涌现作用与闭环反馈为基础的增效发展规律。在实践启示层面,研究认为文化创意产业发展须稳抓新基建平台跳板,发挥涌现作用的促动价值,充分释放全要素生产率,以系统观念指导产业高质量发展。

摘要：社区治理专业化水平很大程度上决定市域社会治理的效能,提升社区专业化水平首先要解决的是如何测度问题。把社区治理专业化水平测度置于新时代社会治理转型与现代化背景下,综合专业化的社会分工、技治主义、符号权力的定义,运用规范分析方法总结社区治理专业化水平测度的实践逻辑,分别是知识体制的权力依赖、市场取向的技术理性以及数字嵌入的社会合法性,在上述基础上可以尝试构建社区治理专业化水平测度模型。测度理论模型应用应充分考虑“治理用户”最可能所处的应用场景,坚持绩效-过程-对象取向评价相结合的应用策略,使模型解释力厚植于中国式社区治理现代化土壤并在实践中不断修正。这一测度模型构建是一种初步的理论尝试,其效度尚有待实践加以检验,但其指标设计与应用场景策略能为社区治理专业化水平测度提供有益借鉴。

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