试论NPA和SVO计算模型的关联

我们介绍了一个密码协议的计算模型，它作为BAN家族、SVO中的逻辑语义，对于BAN家族和SVO这个逻辑是有效的。我们把自己的计算模型与另一个有联系的NRL协议分析顺进行了比较。通过说明如何把这些模型联系起来，我们提供了统一分析折基础，在统一分析中每一个分析工具都能发挥它们在单个模型背景下所能发挥的最大作用。

不锈钢金属多孔材料固相烧结热变形特性研究

烧结工艺对多孔材料性能有很大的影响,为了获得最佳的力学性能和需要的零件形状,有必要对烧结的热变形过程进行研究。基于SVOS粘塑性本构模型,采用热力耦合计算不锈钢多孔材料在烧结过程中宏观变形。通过自由烧结实验和弯曲实验,使用4阶Gauss函数对烧结应力、体积和剪切粘度等模型参数进行了拟合。讨论了相对密度、线性收缩率等随烧结时间和温度的变化规律。结果表明:模拟过程与实验符合得较好,验证了模型的合理性。不同升温速率下,材料的线性收缩曲线变化不大,因此,升温速率对烧结过程影响较小。升温速率对计算时间影响比较大,升温速率很慢或很快时,计算不容易收敛,计算时间比较长。对模压生坯零件的烧结模拟结果表明,由于初始密度分布不均匀性导致最终密度分布的不均匀,但是密度变化范围不大。