NNI-1型C_5/C_6烷烃异构化催化剂长周期运行分析及建议

中国石化海南炼油化工有限公司0.2 Mt/a C5/C6烷烃异构化装置以连续重整装置的拔头油为原料,使用NNI-1催化剂,采用一次通过流程,不设脱异戊烷塔和稳定塔,经设在连续重整装置内的脱丁烷塔稳定处理后作为汽油调合组分。该装置于2006年9月开工投产,截至2015年3月已连续运行3个周期。长周期运行分析结果表明:前两个周期中NNI-1催化剂具有较高的异构化活性及选择性,C5异构化率为60%左右,C6异构化率为80%左右,C6选择性为15%左右,产品辛烷值基本达到技术指标要求(RON≥78);而在第三周期运行中,催化剂积炭增加等原因导致其异构化活性及选择性降低,异构化产品辛烷值提升能力呈现逐步衰减的趋势,提高反应苛刻度已不能弥补催化剂活性下降造成的产品辛烷值降低。为保证装置长周期运行,建议择机停工对催化剂进行再生,或是直接换用与装置原料性质匹配的异构化催化剂。     

露天铁矿开采工艺的改进

采矿部门中铁矿工业首先大量遇到深部(在250～300m以上)露天开采的特殊性和困难。对克里沃罗格南部采选公司、北部采选公司,哈萨克索科洛夫-萨尔拜采选公司,西北地区科夫多尔采选公司的许多露天矿所进行的研究结果证明,深部开采的特点通常是矿床水文地质条件和开采技术条件复杂化。这些研究能定量评价主要采掘工艺过程的技术经济指标随深度而发生的变化。所认识的这些规律,是为一系列露天矿(科夫多     

用微机计算电子衍射径向分布函数

本文介绍用微机计算非晶态高聚物电子衍射径向分布函数(RDF)。运用二次样条函数分段拟合及傅氏积分的数学方法,通过 BASIC 程序,只要输入初始实验数据即可自动解算且连续得到与各运算阶段相应的曲线图及其运算结果.     

校企文化融合视角下的高职人才培养路径研究

随着校企合作的不断深入,校企文化融合成为校园文化建设的重要一环。文章分析了校企文化融合的内涵、冲突,从高职人才的培养目标出发,研究探索了人才培养环境、职业课程体系、人才培养平台等路径。     

本体评估方法研究综述

本体是知识共享的重要工具,也是语义Web的支柱.本体的使用是以保证其质量为前提.本体评估为本体构建的质量及本体的选择重用提供了技术支持.分析了本体评估的必要性;对本体评估的现状进行综述,主要包括归纳总结了本体评估的方法及本体评估的基本思路,介绍了本体评估的指标体系,比较分析了本体评估工具;最后提出本体评估存在的问题和进一步研究方向.     

一种基于有向无环图的本体内聚度度量方法

目前,随着本体的广泛使用和快速发展,本体在结构与语义上变得越来越复杂。如何对本体的质量进行评估成为本体构建和重用的主要问题。在本体构建过程中,对本体进行评估有利于对本体进行重构和优化,以构建高质量的本体。在本体重用过程中,可以帮助用户在候选本体集中选择最优结构的本体。提出一种基于有向无环图(DAG)的本体内聚度度量方法,首先依据有向无环图的结构提出一组本体内聚度度量指标;然后根据已有的度量验证框架对其进行验证,说明度量指标在理论上有效;最后使用经典本体数据集进行实验,说明所提出的本体内聚度度量方法的合理性和有效性,有利于本体的构建和重用。     

一种增强的隐私保护K-匿名模型——（α，L）多样化K-匿名

K-匿名化是数据发布环境下保护个人隐私的一种有效的方法。指出目前已有的一些K-匿名模型存在隐私泄露问题,给出了一种新的有效的K-匿名模型——（α,L）多样化K-匿名模型解决存在的问题。通过一个局部化泛化算法对新模型的有效性进行实验验证。     

基于三维虚拟样机技术大型林业装备设计与研究

针对我国林业机械研制的落后现状,以国家科技支撑项目为例,以SolidWorks软件为平台设计我国首台林木联合采伐机底盘,论述了采用现代三维虚拟技术进行大型林业装备设计的开发过程,重点说明了采用这一技术加快我国林业装备研制步伐,提高了林业机械产品的设计效率,增强了企业市场竞争力的重要现实意义。     

双向轴流泵装置双向发电水力特性分析EI北大核心CSCD

轴流泵在反向发电时,不同运行工况和几何过流形式可能会导致一定的水力不稳定现象。以某泵站双向轴流泵装置为研究对象,应用SST k-ω模型,对其开展双向发电全流道数值模拟。结果表明:额定转速下,轴流泵装置反向发电效率整体高于正向发电;最优工况下,与正向发电相比,反向发电在泵段有较合理的压力分布,流线相对平顺。正向发电导叶出口压力脉动稳定性较差,对比导叶段漩涡演变和叶轮受力变化规律得出,正向发电导叶内部的大尺度漩涡是引起导叶出口压力脉动不规律以及最优工况效率更低的原因,且是引起叶轮径向力更大的本质原因。研究结果可为泵站双向轴流泵装置及前(后)置固定导叶轴流泵装置在发电工况下的运行稳定性提供理论支撑和工程参考。     

面向DO-333的襟缝翼控制单元安全性分析

DO-333是对机载软件安全性标准DO-178C关于形式化方法的补充,为机载软件开发过程中形式化方法的使用提供指导。模型检验作为一种形式化方法,可以应用于对软件需求和设计阶段制品的严格验证。基于DO-333,使用模型检验对飞控系统中襟缝翼控制单元不同阶段的软件制品进行验证与分析,判断其是否满足DO-178C的相关验证目标并提供证据支持。首先,对控制单元中襟翼与缝翼必须互斥更新的高级需求进行规约和验证;其次,对单个机翼控制逻辑的低级需求进行规约和验证。通过以上验证与分析,分别为标准中关于高级和低级需求的验证目标提供证据。文中展示了模型检验在一个机载软件认证中的应用实例,该工作将为机载软件的安全性保障和适航认证提供技术支持。