CVSA040-1300启停式切分剪在轧钢中的应用

通过比较启停式飞剪与其它传统飞剪的不同,说明安钢260机组连轧棒材生产线选用启停式飞剪的原因,并阐述了其工作原理和结构特点及其产生的社会效益和经济效益。

基于CVSA的无虚拟机主机端编译器验证适配设计与实现

编译器厂商不断向编译器提供新的非一致性扩展,但这些扩展是否会造成程序的问题,就需要有相应的工具进行检查。CVSA是国际公认的C编译器一致性验证工具,但在验证交叉编译器时具有用况约束。提供一种适配CVSA的设计和实现,以扩展CVSA的使用范围。

CVSA 040飞剪在安钢260机组中的应用及故障分析

通过对CVSA 040飞剪有时出现不正常剪切故障问题,依据其控制原理,分析了故障原因并提出了解决措施,提高了飞剪的作业率。