渗氮钢38CrMoAl(%:0.35~0.42C、0.20~0.45Si、0.30~0.60Mn、1.35~1.65Cr、0.15~0.25Mo、0.70~1.10Al)由100 t EBT DC EAF-100 t LF-200 mm×200 mm,150 mm×150 mm方坯连铸机流程生产。通过出钢过程加60%Al,LF加40%Al,高...渗氮钢38CrMoAl(%:0.35~0.42C、0.20~0.45Si、0.30~0.60Mn、1.35~1.65Cr、0.15~0.25Mo、0.70~1.10Al)由100 t EBT DC EAF-100 t LF-200 mm×200 mm,150 mm×150 mm方坯连铸机流程生产。通过出钢过程加60%Al,LF加40%Al,高碱度渣吹氩精炼,精炼末期喂Φ16 mm 28Ca-55Si线,加大中间包浸入式水口内径,全程保护浇铸等工艺措施成功生产出38CrMoAl钢,可连浇5炉钢,轧材总氧含量为(5~8)×10^(6),各项性能均满足用户要求。展开更多
利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有...利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有一定通用性,并可将其推广到其他通过信号量机制解决进程通信的问题当中。展开更多
文摘渗氮钢38CrMoAl(%:0.35~0.42C、0.20~0.45Si、0.30~0.60Mn、1.35~1.65Cr、0.15~0.25Mo、0.70~1.10Al)由100 t EBT DC EAF-100 t LF-200 mm×200 mm,150 mm×150 mm方坯连铸机流程生产。通过出钢过程加60%Al,LF加40%Al,高碱度渣吹氩精炼,精炼末期喂Φ16 mm 28Ca-55Si线,加大中间包浸入式水口内径,全程保护浇铸等工艺措施成功生产出38CrMoAl钢,可连浇5炉钢,轧材总氧含量为(5~8)×10^(6),各项性能均满足用户要求。
文摘利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有一定通用性,并可将其推广到其他通过信号量机制解决进程通信的问题当中。