排序方式: 共有35条查询结果,搜索用时 0 毫秒
1.
Event-B共享变量和共享事件方法可将大型系统分解成多个子系统,并独立建模开发,但其需要手工干预以实现模型间事件的组合。为提高组合效率,提出一种针对模型的自动化组合理论,并开发自动化组合工具原型。为在精化模型中逐步引入模块调用,改进PROG方法,开发自动精化工具原型。通过2个应用案例,验证了自动化组合工具能自动组合事件,自动精化工具能减少调用变量的数量,从而增强系统模型的可读性和可维护性。 相似文献
2.
3.
河北柏泉铁矿磁选尾矿粒度较粗,-0.074 mm粒级产率为30.76%,有用矿物磷灰石主要富集在细粒级中,且解离度较低,现场在矿浆温度为37 ℃情况下,以氧化石蜡皂+脂肪酸+MES为捕收剂,采用1粗3精1扫、中矿顺序返回闭路流程选磷,获得了P2O5品位和回收率分别约为33%和85%的磷精矿。为了解决现场浮磷需要加温且精矿指标不理想的问题,采用东北大学相关课题组研制的新型常温浮磷捕收剂DJX-6进行了选磷试验,结果表明,试样在磨矿细度为-0.074 mm占60%,浮选矿浆温度为20 ℃、pH=10(Na2CO3用量为400 g/t),水玻璃用量为200 g/t,DJX-6用量为400 g/t的情况下,采用1粗3精1扫闭路流程处理,最终获得P2O5品位为33.30%、P2O5回收率为93.36%的磷精矿。与现场相比,不仅药剂用量大幅度降低、浮选矿浆无需加温,而且磷精矿P2O5回收率从85%左右提高至93.36%,因此,现场浮磷改用DJX-6为捕收剂将取消配套加温系统,大幅度降低能源成本,增加精矿产量,为企业创造显著的经济效益。 相似文献
4.
5.
6.
在调研现有硬币分拣机的基础上,设计了筛板式半自动硬币分拣机。对筛板式半自动硬币分拣机的结构和工作原理进行了介绍,并对其进行了运动仿真。这一筛板式半自动硬币分拣机可以实现硬币的清分、计数和收集,外形美观,结构紧凑,清分准确,效率较高,具有应用价值。 相似文献
7.
陈金鑫 《军民两用技术与产品》2014,(8):22-22
世界首台移动储能应急电源车——“新型绿色环保锌溴电池移动储能应急保电车”在安徽淮北供电公司投入运用。 相似文献
8.
自动贴标机的设计与分析 总被引:1,自引:0,他引:1
对产品进行计数和贴标的工作较为繁杂,若完全由人工完成,则不仅效率低,而且劳动强度大.对此,基于可编程序控制器设计了自动贴标机.介绍了这一自动贴标机的结构,对这一自动贴标机进行了静力学分析.这一自动贴标机具有精度高、成本低、抗干扰能力强、故障率低、操作维护及后期保养简单等特点,具有良好的应用价值. 相似文献
10.