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

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

恒温压动态法气体微小流量标准装置的研制

随着所操控流体的量级等级的升高,精准的流体计量在微小流量计量仪表的溯源上愈加困难.针对该问题,提出了一种基于主动恒温压零平衡动态检定原理的微小气体流量溯源方法.基于该方法研制了流量检定标准装置,设计了双活塞驱动的机械结构以及一种基于LabVIEW和PLC的检定系统软硬件,并对装置进行了不确定度评定.实验结果表明:基于所...     

海外专栏

期盼已久的″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为捕收剂将取消配套加温系统,大幅度降低能源成本,增加精矿产量,为企业创造显著的经济效益。     

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

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

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

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

自动贴标机的设计与分析

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

监控诱杀装置在补办工程中的应用

随着我市经济的迅速发展,厂区建设工程和商品房工程大量增加,出现了较多的补办工程。由于补办工程无法按照现行的新建房屋白蚁预防方法进行白蚁防治,随着人们环保意识的日益增强,我们将具环保、高效、可持续特点的监控诱杀装置应用于补办工程。本文以三锋公司为例,简单介绍监控诱杀装置在补办工程中的应用情况。