分析和设计安全协议的新逻辑

现有的逻辑,有的只可用于分析安全协议,而有的则只可用于设计安全协议.本文提出一种分析和设计安全协议的新逻辑.该逻辑不但可以用来分析安全协议,而且可以用来设计安全协议.通过运用该逻辑,使安全协议的设计和分析可以在同一种逻辑中进行.同时,该逻辑消除了用不同的方法来设计和分析安全协议的不一致性.在分析协议时,首先用逻辑对协议进行形式化,然后用推理规则对协议进行推理.如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞.在设计协议时,通过运用合成规则使协议设计者可用一种系统化的方法来构造满足需要的协议.最后,用该逻辑分析Woo-Lam协议,指出该协议不能满足协议目标.我们用该逻辑重新设计了该协议,说明重新设计的协议能够达到协议的目标.     

塑料件脱漆的原因与预防

故障现象:塑料件表面剥皮,失去黏结性,附着不良,剥落,失去柔韧性(如图1、图2所示)。漆层和聚合物(塑料)部分之间失去附着性。该缺陷常发生在喷漆一段时间后。故障诊断:1.清洁和准备不适当,没有除去脱模剂。2.底材识别错误。3.没有使用正确的底漆。4.没有使用正确或推荐的面漆系统。     

公路穿越山体滑坡区泥石流拦挡导流坝效果数值分析

我国山地面积占全国总面积比例较大,公路在山体中穿行,很容易遭受山体滑坡泥石流的侵害。以某公路穿越陕西省古滑坡体为工程背景,利用实际地形资料建立泥石流演进和拦挡导流坝三维数值模型,对泥石流在不同拦挡措施下的运动进行了数值模拟,得到滑坡泥石流的淹没范围、淹没厚度和演进流速。通过对泥石流数据进行分析,验证了拦挡导流坝对泥石流的防控效果。     

焊接面清洁度对激光焊接质量影响研究

激光焊接技术在汽车生产制造领域的运用极大地提升了生产效率,但影响激光焊接质量的因素也较为庞杂。文章以PXS1-33M传动轴为例,将未清洁与清洁后的PXS节零件焊接效果进行对比。结果表明,清洁后的零件焊接质量有明显提升,完全符合产品的工艺要求,而未经清洁的零件焊接质量参差不齐,加工报废率较高,说明焊接面清洁度对激光焊接质量存在较大影响。此外,文章还探讨了多种清洁手段在实际加工生产中的运用效果,最终总结出了较为理想的清洁方式,有效地降低了产品在激光焊接过程中的报废率。     

城市轨道交通车站站台客流集散模型与仿真

结合车站站台客流类型、客流集散流程和客流集散影响因素,建立城市轨道交通车站站台客流集散模型。采用Anylogic软件建立站台客流集散仿真流程和仿真模型。以北京地铁4号线北京南站站为工程背景,对其站台客流进行了仿真计算。结果表明,站台客流集散模型能有效刻画高峰时段内站台客流的集散变化规律,验证了仿真模型的可行性。进一步探讨了高峰时段内基于不同发车间隔和不同上下行时间差的站台客流集散变化规律以及疏散仿真试验。形成了一种可操作的站台客流集散动态分析方法,可为城市轨道交通运力配置和车站客流组织提供一定参考。