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

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

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

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

基于统计软件R的安全壳泄漏率试验数据有效性分析

安全壳泄漏率计算过程中，最重要的环节是以不同时刻测量数据对时间进行线性回归分析。对回归的显著性检验以及方差分析是评价试验结果有效性的重要手段。本文基于统计软件R对某电厂调试阶段安全壳泄漏率试验的数据进行分析，通过对线性回归模型的独立性、正态性和异方差性检验以及极端样本点的剔除等方式，探讨泄漏率计算前的回归诊断对计算结果可靠性的影响。通过回归诊断的实例分析发现，在安全壳泄漏率计算的数据样本中，可能存在自相关、非正态和异方差性等问题影响回归结果，进而影响泄漏率的最终结果。因此，在计算泄漏率结果时，须通过回归诊断方法评价数据的有效性，对不能通过检验的样本应通过适当方法对最终结果进行修正。      

基于FCM燃料的商业压水堆中子学分析

全陶瓷微封装(Fully Ceramic Microencapsulated,FCM)燃料是一种将三结构同向性型(Tri-structural isotropic,TRISO)燃料颗粒弥散于SiC基质的先进燃料,具有良好的包容裂变产物的能力,能有效地改善核燃料在严重事故下保持结构完整性的能力,有利于降低核电站发生大量放射性物质泄漏的风险,是耐事故燃料(Accident Tolerant Fuel,ATF)的主要研究方向之一。与传统UO_2陶瓷芯块燃料相比,FCM燃料的U装量较少,且燃料基体采用SiC,慢化能力较好,可能导致FCM燃料应用于商业压水堆时寿期初慢化剂温度系数为正,不能满足堆芯的固有安全性。本文以标准AFA3G 17×17栅格形式的UO_2-Zr合金燃料组件为参照对象,采用中核集团自主研发的NESTOR软件,分析了17×17和13×13两种栅格形式的FCM燃料(UN核芯)组件的中子学特性,评价了由13×13栅格形式的FCM燃料(UN核芯)组成反应堆堆芯的总体物理特性。研究表明:含钆可燃毒物的13×13栅格形式的FCM燃料(UN核芯)组件可满足欠慢化要求,13×13栅格形式的FCM燃料(UN核芯)用于大型商业压水堆堆芯的慢化剂温度系数可以为负,首循环堆芯可达到与参照堆芯接近的燃耗深度与循环长度,能初步满足商业压水堆堆芯的固有安全性和经济性的要求。     

摇摆运动下多环路主冷却剂系统自然循环流量的稳定性分析

海洋核动力平台因其突出的安全性已成为当今核能领域热点研究问题之一，但在海洋等非惯性条件下会使一回路系统的热工特性发生变化。针对此问题，本文对几种典型的一回路系统在摇摆条件下的自然循环流量波动特性进行计算分析。分别建立典型的双环路、三环路、四环路的一回路系统模型布置方案，并同时考虑摇摆中心的位置，根据流体动量守恒方程，得到不同状态下一回路系统内的流量变化规律。对于单堆双环路系统，摇摆中心在船上/中/下部位置时，环路流量波动幅度分别为13.2%/11.2%/9.5%，堆芯流量波动幅度分别为0.9%/0.8%/0.6%；对于单堆三环路系统，摇摆中心在船下部时，环路流量和堆芯流量波动幅度分别为9.2%和0.8%；对于单堆四环路系统，摇摆中心在船下部时，布置方案1和方案2的环路流量波动幅度分别为9.5%和9.2%，堆芯流量波动幅度分别为0.9%和0.7%。计算结果表明：采用单堆双环路的设计布置方案是最有利于系统稳定性的。     

基于“IPv6+”的智能IP网络方案

随着第4次工业革命的到来，人类社会正逐步迈向万物互联的智能时代。智能时代需要更加自动化、智能化的IP网络，基于“IPv6+”的SRv6、BIERv6等技术是使能新一代IP网络的关键基础。全面阐述了“IPv6+”的技术内涵，结合华为在智能 IP 网络解决方案上的创新和思考，介绍了“IPv6+”在极简连接、SLA 保障、专网体验、质量感知和云网一体等多个解决方案场景的关键技术与典型应用，助力5G与云业务发展。     

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

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