针对CSP、FTSC、QSP三种薄板坯连铸工艺不同特点,比较了它们的生产能力,分析了薄板坯连铸机型与铸坯厚度对生产能力的影响。
互联网摘选
以上示例演示了CSP的复合语言&即如何用Parallel构造把细致的无状态的组件组成分层的网络。
互联网摘选
目前薄板坯连铸连轧CSP(Compact Strip Production)工艺所开发的钢种有:(1)ECC、UCC和IF软钢;
互联网摘选
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。
互联网摘选
