排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
针对目前应用广泛的高炉冶炼工艺,提出总图运输设计应使工艺流程合理,物流顺畅短捷,减少物料损失,降低生产能耗以及降低建设投资。 相似文献
2.
针对目前应用广泛的转炉冶炼工艺,提出总图运输设计不但应使车间外设施布置合理,物流顺畅短捷,还应结合车间内物流及平面布置,使之工艺流程合理,实现高能低耗。 相似文献
3.
由于多栈的模型图灵等价,因此通用的异步通讯程序模型的验证问题不可判定.为此,基于Petri网,提出了一个新的模型通讯——通讯Petri网对异步通讯程序进行刻画,通过对输入通讯进行k-型限制,以及对每个栈进行基于正则语言泵引理的抽象,通过将这样限制下的模型编码到数据Petri网,证明了限制下的新模型可覆盖性可判定. 相似文献
1