高炉冶炼中的总图运输设计

针对目前应用广泛的高炉冶炼工艺,提出总图运输设计应使工艺流程合理,物流顺畅短捷,减少物料损失,降低生产能耗以及降低建设投资。     

总图运输设计在炼钢工程中的应用

针对目前应用广泛的转炉冶炼工艺,提出总图运输设计不但应使车间外设施布置合理,物流顺畅短捷,还应结合车间内物流及平面布置,使之工艺流程合理,实现高能低耗。     

基于通信Petri网的异步通信程序验证模型

由于多栈的模型图灵等价,因此通用的异步通讯程序模型的验证问题不可判定.为此,基于Petri网,提出了一个新的模型通讯——通讯Petri网对异步通讯程序进行刻画,通过对输入通讯进行k-型限制,以及对每个栈进行基于正则语言泵引理的抽象,通过将这样限制下的模型编码到数据Petri网,证明了限制下的新模型可覆盖性可判定.