230 kt/a烟气制酸系统的运行及改造情况

介绍230kt／a诺兰达炉铜冶炼烟气制酸装置的运行及技术改造。装置采用稀酸洗净化、ⅣⅠ-Ⅲ Ⅱ“3 1”两转两吸工艺流程，运行中发现板式酸冷却器堵塞、电除雾器腐蚀、气体换热器积酸和漏气等现象，通过更换为阳极保护管壳式酸冷却器、在电除雾器前增设湍冲洗涤器、调整换热管的喷铝成分等措施，收到良好的效果。     

What localizes beneath: A metric multisensor localization and mapping system for autonomous underground mining vehicles

Robustly and accurately localizing vehicles in underground mines is particularly challenging due to the unavailability of GPS, variable and often poor lighting conditions, visual aliasing in long tunnels, and airborne dust and water. In this paper, we present a novel, infrastructure‐less, multisensor localization method for robust autonomous operation within underground mines. The proposed method integrates with existing mine site commissioning and operation procedures and includes both an offline map‐building process and an online localization algorithm. The approach combines the strengths of visual‐based place recognition, LIDAR‐based localization, and odometry in a particle filter fusion process. We provide an extensive experimental validation using new large data sets acquired in two operational Australian underground hard‐rock mines (including a 600m‐deep multilevel mine with approximately 33 km of mapping data and 7 km of vehicle localization) by actual mining vehicles during production operations. We demonstrate a significant increase in localization accuracy over prior state‐of‐the‐art SLAM research systems and real‐time operation, with processing times in the order of 10 Hz. We present results showing a mean error of 0.68 m from the Queensland Mine data set and 1.32 m from the New South Wales Mine data set and at least 86% reduction in error compared with prior state of the art. We also analyze the impact of the particle filter parameters with respect to localization accuracy. Together this study represents a new approach to positioning systems for currently deployed autonomous vehicles within underground mine environments.     

CO2气体保护焊机操作注意事项

介绍了焊工在CO2气体保护焊机的安装、使用、维护保养及维修中的注意事项。     

国产600MW超临界直流机组凝泵变频自动控制策略

为提高凝泵变频改造后凝结水系统自动投入效果,降低厂用电,提高机组效率,对凝结水系统运行方式进行深度分析的基础上,实现了凝结水系统的一键自启功能,并提出压力／水位协调控制与稳流调节的引入,较大程度地提高了凝结水自动控制系统的鲁棒性。     

智能仓库出入库系统优化研究

针对智能仓库出入库系统作业过程中出现的货物拥堵和设备利用率低等问题,对智能仓库出入库作业特点进行了研究,构建了智能仓库的出入库作业周期模型,采用面向对象赋时 Petri 网的方法建立智能仓库出入库系统的 OOTPN（object oriented timed Petri net）模型,并对模型进行了死锁分析,同时也分析了模型有效性和可靠性。运用 Flexsim 仿真软件对建立的 OOTPN 模型进行仿真优化,实验结果表明,出入库工作能力直接影响堆垛机和处理器的利用率,增加出入库工作组可以有效地提高智能仓库的工作效率。     

安全数据库顶层规范中SQL操作的形式化分析与验证

介绍了安全数据库形式化顸层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证.验证过程表明,该方法既对SQL操作作了完整清晰的描述,又简化了证明.     

格蕴涵代数的软LI-理想

借助软集合,提出了格蕴涵代数的软LI-理想的概念,研究了软集运算下的一些诸如交、且等基本性质,并给出了格蕴涵代数的软LI-理想的一些等价刻画。此外,研究了格蕴涵代数的软LI-理想与格蕴涵代数的软格理想之间的关系。得到了格蕴涵代数的软LI-理想像与原像的性质。     

关于110 kV线路重合闸的探讨

重合闸在110 kV线路供电过程中起到了非常重要的作用,它关系着电力系统运行的安全性和可靠性。在重合闸投运前,需要模拟系统的运行情况,事前试验可能存在的重合闸形式,及时发现、排除其中存在的问题,确保重合闸能够正确动作。分析了110 kV线路重合闸的原理、功能,并以某案例分析为基础,简要探讨了对110 kV线路重合闸控制的相关认识。     

智能网络运维监控系统

我国在自动化的监控手段方面还比较缺乏,完全无法做到及时且全面的对多个业务项目系统的真实运行情况以及运行状态进行有效的掌握,运维管理所采用的管理模式是传统形式中的被动形式管理模式.因此,为了给网络系统提供更加具有可靠性和安全性的工作,文章将智能化的网络运维监控系统作为主要的研究对象,对其系统结构以及系统功能进行详细的介绍,并将SNMP协议和ICMP协议作为网络运维系统的基础,对其进行详细的设计,同时对系统中的软件设计方案进行了周密的探讨.     

一种强制访问控制机制的审计方法

目前的安全操作系统模型有很多,以SELinux安全模型,AppArmor安全模型等为大家所熟知,基于这些强制访问控制模型的审计机制也更有不同。本文提供了一种基于轻量级DTE安全模型的审计机制,该机制中的审计信息采用固定大小格式,这样方便对其进行操作。该审计机制有效的监控了系统中主体对客体的所有访问,包括作法用户的操作和合法用户的误操作等。在系统自带的审计机制中,审计信息是系统中所有的审计记录的集合,数量相当庞大,不利于进行分析。本文提出审计开关,对审计记录中的数据进行分类处理,大大提高了检索和查找的速度。