CSP的例句大全

According to different feature of CSP, FTSC and QSP, the production of the above processes was compared and the influence of caster type and slab thickness on the production were analyzed.

针对CSP、FTSC、QSP三种薄板坯连铸工艺不同特点，比较了它们的生产能力，分析了薄板坯连铸机型与铸坯厚度对生产能力的影响。

The above examples demonstrate the compositional semantics of CSP& namely how the Parallel construct can be used to compose layered networks from fine-grained stateless components.

以上示例演示了CSP的复合语言&即如何用Parallel构造把细致的无状态的组件组成分层的网络。

At present the steel grades being developed by CSP ( compact strip production) process are ( 1) ECC, UCC and IF soft steel;

目前薄板坯连铸连轧CSP（Compact Strip Production）工艺所开发的钢种有：（1）ECC、UCC和IF软钢；

The idea proposed by Brookes for verifying concurrent programs was applied to Hoare's Communicating Sequential Processes ( CSP). A set of proof rules was presented to verify CSP programs partial correctness.

本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程（CSP），提出了一组证明规则，以验证CSP程序的部分正确性。