摘要：不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻辑方法,包括推理规则和安全性质模型.展示新方法的应用时,使用其分析了ZG和KPB这两个局部逻辑正确性已知的两方不可否认协议,以及YLL这个逻辑正确性尚在讨论的基于区块链的多方不可否认协议.实验显示,对前两个协议的分析结果与既有事实相符,对第三个协议的分析发现其无法为收方提供设计者所宣称的时限性.以上结论从逆向工程角度佐证了扩展ZQZ逻辑方法是一种行之有效的不可否认协议分析新方法.

摘要：为了描述不同干燥方法下水蜜桃微观结构的变化规律,以水蜜桃为物料,运用石蜡切片制备、显微观测、图像处理等技术获得了热风干燥(HAD),真空干燥(VD),冷冻干燥(FD),热风真空联合干燥(HA-VD)及冷冻热风联合干燥(F-HAD)过程中不同水分比下水蜜桃切片的显微图像和细胞微观结构参数分布曲线。分析了不同干燥方法对微观结构参数(细胞截面积、截面周长、圆度、壁面粗糙度及孔隙率)的影响,通过多项式拟合建立了水分比与微观结构参数的拟合方程。结果表明水蜜桃微观结构参数发生变化的阶段一般是在HAD的前半程(水分比1~0.5)以及VD和FD的后半程(水分比0.5以下)。干燥过程中细胞截面积均值的变化趋势为:FD<HAD<VD<HA-VD<F-HAD,细胞截面周长均值变大的幅度依次为:HAD<HA-VD<VD<F-HAD<FD,细胞圆度均值变小的程度依次为:HAD<FD<F-HAD<HA-VD<VD,细胞壁面粗糙度均值增大幅度依次为:F-HAD<VD<FD<HA-VD<HAD,孔隙率增大的程度依次为:FD<F-HAD<HAD<HA-VD<VD。这表明与单一干燥方法相比,对应的组合干燥能够显著抑制微观结构参数的变化。研究结果为探究不同干燥方式下水蜜桃微观结构参数随水分比的变化规律和建立水蜜桃在干燥过程中的数学模型提供重要参考。

摘要：国外已有的试验研究表明:没有初始荷载的情况下采用盖板加固的梁柱刚接节点受力性能良好,其破坏模式都是在盖板末端的梁截面上出现塑性铰;但对于负载下加固节点的受力性能研究则较少。该文在有限元研究的基础上,对盖板和原节点之间的相互作用关系做出合理的假设,并提出了模拟盖板加固的简化力学模型,进一步研究了负载下加固节点的受力性能。通过简化力学模型分析,得到了负载下加固节点中初始荷载与新增荷载在加固盖板与原节点之间的分配关系,负载下盖板加固节点不能视为一个整体来设计,平截面假定也不再满足。同时简化力学模型计算结果表明盖板长度对最终荷载在盖板和原节点之间的分配关系影响很小,盖板厚度是节点负载下加固的主要几何设计参数。

摘要：为满足液晶可调谐滤波器(Liquid Crystal Tunable Filter,LCTF)滤波性能和多参数优化的需求,本文提出了一种基于人工免疫算法(Immune Algorithm,IA)的里奥(Lyot)型LCTF优化设计方法。该方法以Lyot型LCTF的光透过率、透射主峰的半高宽(Full Width at Half Maximum,FWHM)、截止区旁瓣抑制(Side Lobe Suppression,SLS)等滤波器基本光谱性能指标为评价函数,基于特定评价函数约束下的全局寻找LCTF最佳液晶盒厚度和驱动电压配置参数组合进行优化设计。仿真结果表明,IA算法优化后的LCTF与传统Lyot型LCTF相比,旁瓣抑制效果提升了73.42%,整体滤波效果提升了13.90%,同时用可调控评价函数权重来实现滤波器性能的智能调控以满足不同应用场景需求。该设计方法可避免传统滤波器对器件厚度线性精度的严重依赖,不仅在液盒厚度、级数选择上更加灵活,可改善光谱响应时间和光透过率,而且省略了繁琐的实验调试工作量,具有一定的研发高效性、实用性以及经济性。

摘要：通过人工智能图像深度学习技术,实现了电力系统二次回路的智能校核。对二次系统图纸、现场照片或视频等图像素材进行机器深度学习,提取图像中的端子接线、二次元件标签标识等元素,结合二次回路设计相关规则和技术要求,实现对二次回路图实一致性智能核对,达到用机器代替人工,减少人力投入,消除作业人员主观因素干扰,提升校核工作质量的目的。基于AI图像深度学习技术的二次回路及定值智能校核系统的开发,将作为电网运行检修的强有力的辅助手段。

摘要：制革污泥中含有大量的重金属Cr,毒性大,易迁移,会威胁人类健康.本研究以某停用制革污泥露天堆场作为研究对象,在揭示制革污泥污染特征的基础上,提取污泥中的胶体颗粒,研究不同pH、离子强度下含Cr污泥胶体稳定性及迁移情况.结果表明,堆场污泥中Cr含量为5170~25000 mg·kg^(-1),Cr赋存形态以铁锰氧化物结合态为主,总Cr含量表深层污泥之间无明显分异.表层污泥pH=4.35,处于有氧环境,好氧菌与嗜酸菌为优势菌群;深层污泥pH=7.30,处于无氧环境,厌氧菌为优势菌群.深层污泥中含有大量含Cr污泥胶体(含Cr量为7.851 mg·g^(-1)),在中性和碱性条件下较为稳定,迁移性强;在酸性条件下快速聚沉,迁移性弱.离子强度越高,污泥胶体越容易聚沉、移动性显著降低,且Ca^(2+)比Na^(+)更容易引起污泥胶体的聚沉和弱移动性,因此,向污泥胶体中引入Ca^(2+)可作为降低Cr迁移风险的有效途径.本研究成果可为全面认识同类型制革污泥堆场的污染风险评估和修复方案设计提供重要的理论支撑.

摘要：为了实现多相流的流动过程在线监测和多参数测量,设计并研发了一套应用于气/固两相流检测的双截面8电极电容层析成像系统。采用交流法电容检测原理实现具有16个独立电容检测通道的电容测量电路,实测系统的成像速度为590帧/秒。将双截面电容层析成像系统用于气/固两相流的实时检测,并将两层截面的图像作相关计算,获取成像截面的固相速度分布。由固相速度和浓度最终算出气/固两相流的固相质量流量,从而实现气/固两相流浓度、速度、流量等多参数的综合检测。将双截面ECT传感器算得的质量流量与发料罐重力传感器获取的质量流量作对比发现,两者具有较好的一致性,流量测量误差小于8%。

摘要：某变速器离合器铆接结构在做耐久台架试验时发生断裂。通过对铆钉材料化学成分、宏观断口、微观断口等进行失效分析,判定铆钉断裂为疲劳断裂。结合铆接工艺过程、试验工况下结构有限元分析与疲劳寿命分析方法,对铆钉进行优化设计。基于试验,修正铆钉疲劳寿命仿真分析方法,直径φ4的铆钉,CAE疲劳寿命在55万次左右,与试验相匹配。结合疲劳寿命仿真分析方法提出四种优化设计方案,对现有铆钉表面热处理,增加铆钉位置接触面积,增加铆钉数量,增大铆钉直径。四种方案,仿真分析与试验都能满足铆钉的疲劳寿命要求。基于设计成本的考虑,最后选择的是铆钉表面热处理,由此说明,用有限元技术预测铆钉的疲劳寿命是可行的,本研究可为铆接设计作参考。

摘要：分析了我国不同地区发展煤电面临的缺煤与缺水问题,提出了我国大型高效节水型煤电装备的发展趋势是研制超临界和超超临界空冷汽轮机。介绍了超临界和超超临界空冷汽轮机的技术方案与关键技术,给出了超临界和超超临界空冷汽轮机的高温部件强度设计准则、关键部件寿命设计准则、轴系动特性设计准则、专用末级叶片振动设计准则和专用低压缸刚度设计准则。分析了超临界和超超临界空冷煤电装备的节煤效果、减排效果、节水效果与新增投资回收期。结果表明,发展和研制超临界与超超临界空冷机组,技术方案可行,经济效益与社会效益显著。

摘要：针对铁路客运部门对乘务排班计划编制的问题,分析了车次、交路、乘务员、乘务工时之间的关系.在已知乘务员标准月度乘务工时的前提下,以交路和乘务工时为主要约束条件,以减少乘务班组、降低乘务费用为优化目标,建立客运乘务排班计划编制模型.根据车次之间到发站、到发时间的接续关系,求解符合乘务工时的车次与交路匹配的可行性路径集合,以该集合为基础,提出了求解模型,并设计了基于遗传算法的模型求解算法.通过对某一客运段的车次、班组数据进行算例分析,仿真实验,验证了所提出模型和设计算法可有效解决客运乘务排班计划的编制问题,可降低乘务费用.