660 MW超临界机组高调阀反馈故障分析与处理

线性位移传感器(LVDT)作为汽机主汽门和调门开度的反馈装置在机组调节中具有重要作用,一旦发生故障可能造成负荷大幅波动、轴振大、轴温高等问题,影响机组的正常运行,严重时还会危及机组安全。以某660 MW超临界新建机组整套启动调试阶段AGC考核期间反馈装置故障为例,详细阐述了事故的发生、分析与处理过程,处理过程中机组负荷未发生大波动,轴振、轴温等参数正常,最终机组顺利恢复正常运行。     

功能性发酵剂在发酵香肠中的应用研究进展

发酵香肠因其风味独特、营养丰富、保质期长等优点深受消费者喜爱.近年来,在保证安全性的前提下赋予发酵香肠功能特性已成为研究热点.将功能性发酵剂应用于发酵香肠中,可有效抑制有害微生物繁殖、降低生物胺和N-亚硝胺的生成、促进良好风味的形成、抑制过度氧化、降血压、降低胆固醇含量.本文主要就发酵香肠中功能性发酵剂的种类、发酵剂的...     

衬板填充胶在φ2100圆锥破碎机上应用效果

圆锥破碎机是选矿工艺流程中矿石进行中碎和细碎关键设备,它的工作原理是圆锥破碎机破碎锥即活动圆锥作偏心圆周摆动,当活动圆锥接近固定圆锥时,处于两者之间的矿石就被破碎,活动圆锥离开固定圆锥时,破碎产品因自重经排矿口排出。因圆锥破碎机破碎锥具有较高的摆动次数和较大的摆动行程,在破碎腔内设有一定的长度的平行碎矿区,活动圆锥和固定圆锥上保护衬板磨损较快。     

机械化验证一个高效的迭代数据流求解算法

迭代计算数据流等式的解,是数据流分析的常用方法.计算支配节点,从而识别自然循环,是许多现代编译器优化分析的重要组成部分.机械化验证高效的求解支配节点的算法通常是获得一个实际的“验证编译器”不可或缺的一部分.为了形式化证明一个高效的迭代求解严格支配节点的算法(CHK),首先建立了值域是逆序列表集合的半格结构,逆序列表中的元素是控制流图中节点的逆后序遍历次序,并证明了它是一个半格,其偏序满足上升链条件.然后使用半格结构,实现了一个基于工作表的Kildall迭代算法,计算严格支配节点.接下来,首先给出了控制流图中支配节点的定义性规范和相关性质定理,然后构造并证明了迭代求解算法所满足的重要性质.利用这些性质定理,相对于定义性规范,证明了该迭代求解算法的正确性和完备性.最后进行总结,并讨论未来工作.整个形式化开发使用的是定理证明助手Isabelle/HOL.     

高光谱图像在生物医学中的应用

高光谱成像（hyperspectral imaging,HSI）作为生物医学可视化的一种新兴技术,在生物医学领域的研究正逐渐受到关注。随着高光谱成像技术以及精准医学的迅速发展,将高光谱成像技术应用于近距离的医学诊断成为新的研究趋势。高光谱成像技术能同时获取生物组织的2维空间信息和1维光谱信息,覆盖可见光、红外和紫外等光谱范围,具有较高的光谱分辨率,可提供有关组织生理、形态和生化成分的诊断信息,为生物组织学研究提供更精细的光谱特征,进而为医学病理诊断提供更多辅助信息。本文介绍了高光谱成像技术的基本原理、高光谱显微成像系统的基本构成及特点。基于此,总结并阐述了高光谱成像技术在疾病诊断和手术指导中的应用进展,涉及其在癌症、心脏病、视网膜疾病、糖尿病足、休克、组织病理学和图像引导手术等方面的应用。综合分析了高光谱成像技术在生物医学领域应用的局限性,并提出了生物医学研究领域中该技术的未来发展方向。     

论民航飞行员-管制员临时团队快速信任机制的构建

目的探讨民航飞行员与管制员在执行飞行任务过程中快速信任建立以促进飞行任务更高效顺利地完成。方法采用文献检索、实地访谈法以及语音识别等方法对民航飞行员-管制员临时团队快速信任的建立的影响因素进行归纳总结。结果通过3个阶段构建了民航飞行员-管制员临时团队快速信任建立的路径:信任生成阶段、发展阶段和巩固阶段共包括7个影响快速信任建立的主要因子。结论根据影响民航飞行员-管制员临时团队快速信任建立的因素提出合理的解决对策,从而确保飞行任务安全顺利地完成。     

谷物膳食纤维在肉类加工制品中的应用与研究进展

传统肉制品存在脂肪含量高、蒸煮损失大等问题,影响肉制品的品质。添加有谷物膳食纤维的肉制品脂肪含量低、营养成分均衡、品质好,长时间食用该类肉制品可以显著降低多种慢性疾病的发生。近年来,谷物膳食纤维在肉制品中的应用得到国内外研究学者的广泛关注。该文综述了谷物膳食纤维对肉制品品质的影响和谷物膳食纤维在肉制品中应用的国内外研究进展,提出谷物膳食纤维在肉制品应用过程中存在的问题,并对未来发展方向做出展望。