基于Event-B的自动化模块组合方法研究

Event-B共享变量和共享事件方法可将大型系统分解成多个子系统,并独立建模开发,但其需要手工干预以实现模型间事件的组合。为提高组合效率,提出一种针对模型的自动化组合理论,并开发自动化组合工具原型。为在精化模型中逐步引入模块调用,改进PROG方法,开发自动精化工具原型。通过2个应用案例,验证了自动化组合工具能自动组合事件,自动精化工具能减少调用变量的数量,从而增强系统模型的可读性和可维护性。     

海外专栏

期盼已久的″OLED海外″栏目终于和大家见面了。本栏目将由国际著名的OLED专家陈金鑫教授主持。陈金鑫教授1970年获美国奥克拉菏马州立大学有机化学博士学位,1973年加入美国柯达公司从事新色料的研究及其在电子彩色显像技术上的应用,获35项美国专利。1994-1995年间曾在法国巴黎ESPCI材料所及中兴大学化学系客座讲学,1999年返台后至今,任台湾交通大学应化系教授及电子信息中心OLED研究室主任。陈教授博学多才,热心公益,相信由他主持的″海外OLED″栏目,一定会成为读者的良师益友。     

离散元素法在工业过程分析与产品设计中的应用初探

离散元素法(DEM)是求解与分析离散系统的运动规律与力学特性的一种新型数值方法。目前,DEM已初步拓展至工业过程分析与工业产品设计领域。针对DEM仿真的特点,尝试性分析了DEM在工业过程分析与产品设计中应用的特征,探讨了DEM在工业过程分析与产品设计仿真应用的分类,讨论了DEM工业应用中面临的问题及挑战。     

采用磷灰石新型常温捕收剂DJX-6优化某铁尾矿中磷的回收工艺

河北柏泉铁矿磁选尾矿粒度较粗,-0.074 mm粒级产率为30.76%,有用矿物磷灰石主要富集在细粒级中,且解离度较低,现场在矿浆温度为37 ℃情况下,以氧化石蜡皂+脂肪酸+MES为捕收剂,采用1粗3精1扫、中矿顺序返回闭路流程选磷,获得了P₂O₅品位和回收率分别约为33%和85%的磷精矿。为了解决现场浮磷需要加温且精矿指标不理想的问题,采用东北大学相关课题组研制的新型常温浮磷捕收剂DJX-6进行了选磷试验,结果表明,试样在磨矿细度为-0.074 mm占60%,浮选矿浆温度为20 ℃、pH=10（Na₂CO₃用量为400 g/t）,水玻璃用量为200 g/t,DJX-6用量为400 g/t的情况下,采用1粗3精1扫闭路流程处理,最终获得P₂O₅品位为33.30%、P2O5回收率为93.36%的磷精矿。与现场相比,不仅药剂用量大幅度降低、浮选矿浆无需加温,而且磷精矿P₂O₅回收率从85%左右提高至93.36%,因此,现场浮磷改用DJX-6为捕收剂将取消配套加温系统,大幅度降低能源成本,增加精矿产量,为企业创造显著的经济效益。     

自动贴标机的设计与分析

对产品进行计数和贴标的工作较为繁杂,若完全由人工完成,则不仅效率低,而且劳动强度大.对此,基于可编程序控制器设计了自动贴标机.介绍了这一自动贴标机的结构,对这一自动贴标机进行了静力学分析.这一自动贴标机具有精度高、成本低、抗干扰能力强、故障率低、操作维护及后期保养简单等特点,具有良好的应用价值.     

筛板式半自动硬币分拣机的设计

在调研现有硬币分拣机的基础上,设计了筛板式半自动硬币分拣机。对筛板式半自动硬币分拣机的结构和工作原理进行了介绍,并对其进行了运动仿真。这一筛板式半自动硬币分拣机可以实现硬币的清分、计数和收集,外形美观,结构紧凑,清分准确,效率较高,具有应用价值。     

世界首台移动储能应急电源车淮北投用

世界首台移动储能应急电源车——“新型绿色环保锌溴电池移动储能应急保电车”在安徽淮北供电公司投入运用。     

电力配网运行可靠性的影响因素与防范措施研究

随着时代的变化和经济的发展,人们的生活水平也得到了有效的提升,并且对供电质量、效率等也提出了较高的要求,虽然电力企业在将供电系统不断的进行优化和完善,但是在系统运行的过程中,仍然存在着一定的不足和影响因素,这就给电网系统的运行质量和可靠性等造成了严重的影响。本文首先分析了影响电力配网运行可靠性的主要因素,其次阐述了控制影响因素的主要措施,旨在提升电力配网运行的质量和可靠性等。     

沙特不同含泥量磷矿石双反浮选试验研究

沙特乌木乌尔磷矿选矿厂设计处理原矿量为1 550万t/a,为目前世界最大的单体磷矿选矿装置,采用原矿脱泥后的双反浮选工艺流程,脱除碳酸盐和硅酸盐类脉石矿物;由于磨矿分级脱泥作业不稳定,入选矿浆含泥量变化较大,导致双反浮选作业调控困难,浮选指标波动很大,因此进行了矿浆含泥量分别为0、10%、20%、35%、50%的浮选试验,结果表明,浮选矿浆中总矿泥(-38μm)量以不超过30%为宜。建议在保证精矿质量指标的情况下,尽量减少脱泥水力旋流器脱除的矿泥量。