巴基斯坦卡西姆港 EPTL 码头设计介绍

简要介绍巴基斯坦卡西姆港ＥＰＴＬ液体化学品码头的结构设计，并对如何做好国际总承包工程中的设计提出看法。

固溶处理对316LN耐晶间腐蚀性能的影响

在1 000、1 050、1 100℃下对试样进行固溶处理,再在650℃下进行敏化处理,利用EPR法确定热处理工艺对晶间腐蚀的影响。结果表明:当保温时间较短时,随着固溶温度的升高,再活化率R值和电量比Qr/Qa减小;当保温时间过长时,R值和电量比Qr/Qa增大。草酸浸蚀实验的结论与EPR实验相一致。在1 050℃下保温20min能够得到较好的耐晶间腐蚀性能。

分划扩充命题时态逻辑关于stutter不变性的特征定理

分划扩充命题时态逻辑通过加入分划算子P^(1,2),增强了经典命题时态逻辑的表达能力。本文就该扩充逻辑关于stutter不变性的研究,给出了它的一个关于stutter不变性的特征定理,即具备stutter不变性质的扩充时态逻辑的表达能力和不含○算子(后继Next算子)的分划扩充命题时态逻辑相同。这样在具体的模型检测的实现过程中可以看情况地使用偏序归约技术,进而可以大大地减少模型的状态空间数,使相应的模型检测算法效率得到显著提高,使一些状态个数过大的模型检测成为可能。