75 t/h循环流化床锅炉降低NOx排放技术

近年来,我国对环境保护的要求越来越高,电厂烟气NOx排放指标多次进行了修改。国内绝大多数运行时间超过10年以上的老电厂,尤其是低参数小机组电厂的NOx排放都不达标。文章介绍了五阳热电厂4×75 t/h循环流化床锅炉通过技术改造降低NOx排放指标的成功经验,供同类型机组借鉴。     

500 kV 开关弹簧机构支架螺栓断裂的原因分析及处理

HPL500B2型弹簧机构支架(BA)螺栓断裂可能导致开关分合闸失败,对其原因进行分析,发现BA螺栓由于预紧固力矩过大,接近其扭断力矩,使得作用在BA螺栓上的力偏高,BA螺栓安全系数仅为12%,安全系数较低。列出BA螺栓更换步骤及注意事项,并详细介绍分闸、合闸弹簧调整步骤,为类似事件的处理提供参考。     

浅谈压延铜箔光面色差的成因

针对压延铜箔在表面处理过程中光面易出现色差的问题,从设备、工艺、人员操作等方面进行成因探讨,并给出了应对措施。     

生物氧化预处理中进气量实时预测数学模型研究

精准预测生物氧化预处理中的进气量对提高黄金提取率和节能降耗具有重要意义。以气体管流连续性方程和运动方程为控制方程，采用Preissmann隐格式法作为差分方法。同时，根据集合卡尔曼滤波(Ensemble Kalman filter，EnKF)算法原理，构造进气量、压强的状态空间模型。结果表明，基于气体管流控制方程建立的进气量模型预测结果与实际进气量观测值具有较好的一致性；与传统静态预测方法相比，EnKF同化方法引入实时观测值和模型参数的更新，有效提高了进气量的预测精度，其平均绝对误差、平均相对误差和均方根误差有明显的降低。可见，基于气体管流控制方程建立的预测模型结合EnKF同化方法是提高生物氧化槽进气量预测精度的有效手段。     

A Student's t-based density peaks clustering with superpixel segmentation (tDPCSS) method for image color clustering

Image color clustering is a basic technique in image processing and computer vision, which is often applied in image segmentation, color transfer, contrast enhancement, object detection, skin color capture, and so forth. Various clustering algorithms have been employed for image color clustering in recent years. However, most of the algorithms require a large amount of memory or a predetermined number of clusters. In addition, some of the existing algorithms are sensitive to the parameter configurations. In order to tackle the above problems, we propose an image color clustering method named Student's t-based density peaks clustering with superpixel segmentation (tDPCSS), which can automatically obtain clustering results, without requiring a large amount of memory, and is not dependent on the parameters of the algorithm or the number of clusters. In tDPCSS, superpixels are obtained based on automatic and constrained simple non-iterative clustering, to automatically decrease the image data volume. A Student's t kernel function and a cluster center selection method are adopted to eliminate the dependence of the density peak clustering on parameters and the number of clusters, respectively. The experiments undertaken in this study confirmed that the proposed approach outperforms k-means, fuzzy c-means, mean-shift clustering, and density peak clustering with superpixel segmentation in the accuracy of the cluster centers and the validity of the clustering results.     

服役后20号钢在低温下的力学性能研究

分析了20号无缝钢管的室温和低温力学性能,结合显微组织观察、晶粒度统计和断口分析,发现低温低应力工况下服役后20号无缝钢管的力学性能完全符合冷库用液氨管道的使用要求。     

共享交通的时空轨迹检索与群体发现

为解决共享交通下的共乘用户群体发现效率低、准确率不高问题，依据R-树原理建立GeoOD-Tree索引，并在此基础上提出以最大化共乘率为目标的群体发现策略。首先，对原始时空轨迹数据进行特征提取与标定处理，挖掘有效出行起讫点（OD）轨迹；其次，针对用户起讫点轨迹的特征，建立GeoOD-Tree索引进行有效的存储管理；最后，给出以最大化共乘行程为目标的群体发现模型，并运用K最近邻（KNN）查询对搜索空间剪枝压缩，提高群体发现效率。采用西安市近12000辆出租车营运轨迹数据，选取动态时间规整（DTW）等典型算法与所提算法在查询效率与准确率上进行性能对比分析。与DTW算法相比，所提算法的准确率提高了10.12%，查询效率提高了约15倍。实验结果表明提出的群体发现策略能有效提高共乘用户群体发现的准确率和效率，可有效提升共乘出行方式的出行率。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.