基于用户偏好的垂直搜索算法

提出并研究、实现了基于用户偏好的垂直搜索算法(PVSA)。以领域特征为基本出发点,PVSA借助领域主题偏好向量、领域元数据权重因子、检索名词差异化、行业词典库更新等4项策略,有效地挖掘、表征用户的领域个性化偏好,以此为基础构建基于用户偏好的垂直搜索算法。实验结果表明了PVSA算法的有效性和可行性。     

基于BP神经网络的协作过滤推荐算法

研究、探讨了协同推荐问题,提出了一种基于两层面的多个后向传播(BP)神经网络的协作过滤推荐算法(TMNN-CFRA). 两层面的多个BP神经网络协同工作,高层面BP网反向误差传播直至低层面多个人工神经网络(ANN)进行网络权值修正,以此为基础,借助用户评价等特征前向给出项目推荐. 标准评测集Movielens上的实验评测表明了TMNN-CFRA的可行性和有效性.     

可并行中文同主题词聚类新算法

提出了一种高效的自动按照主题对中文词进行聚类的算法.该算法利用顿号(、)切分抽取语料库句子中的并列中文词,并以抽取出的中文词为节点构建一个共引用图; 然后对每个中文词节点产生若干个locality sensitive Hashing (LSH)签名组合; 最后将至少有1个相同LSH签名组合的任意2个中文词标记为同一个主题类.实验表明,该算法运算速度快,且易并行实现,在海量语料库的支持下,执行效率高,聚类效果较好.     

并发计算重复问题与控制方法

数据竞争问题是并发程序开发与测试难题,发现数据竞争可能导致计算重复,重复会导致系统性能下降.从实例出发定义了并发计算重复问题(concurrent computation redundancy problem,简称CCRP),给出了相关性能指标和判断方法,设计了通用并发重复控制机制.并发程序一般都可以基于生产者-消费者模型进行CCRP分析.以带数据源的生产者-消费者为例详细分析了CCRP,给出了单条件、条件交叉两种重复控制算法,算法具有不同的适用范围,都可以作为固定模式来解决CCRP,基于Petri网作了相关性质的证明与仿真.并发程序实验结果说明了并发重复控制的必要性和有效性,比较了两种算法的差异.该研究对于数据竞争检测、并发程序设计具有参考价值.     

UML到Verilog同态映射在SOC系统级建模上的应用

SOC设计变得日益复杂要求我们在更高层次抽象上分析和验证系统行为。更精细的系统级建模方法变得日趋重要。文章主要目标是阐述怎样使用统一建模语言UML来构建一个复杂SOC设计框架及抽象其各个模块间行为的交互，建立了一个UML到Verilog的同态映射。提出了一个基于同态映射的从UML模型子集自动导出相应可综合Verilog描述的算法，为UML模型对于建模硬件系统提供了形式化的语义，从而能够验证并综合UML模型，加快了SOC设计流程。     

浙石化原油结构及加工方案调整优化研究

浙江石油化工有限公司炼油芳烃事业部,2020年3月份开始各装置打通全流程.通过优化各种原油调和比例及原油加工顺序,使得计划周期内中间物料及产品库存可控、装置原料平稳.关键下游装置如蜡油加裂、催化、两套柴油加氢、石脑油加氢均保持100％以上负荷运行.同时为满足乙烯裂解对原料硫含量要求,及时调整原油调合比例控制拔头油硫含量...     

油田含油污水处理技术现状与研究进展

分析了油田含油污水的来源及其水质特点，介绍了油田含油污水的化学性质以及物理、化学和电化学3种处理该污水的技术工艺，综述了油田含油污水处理技术的应用现状以及研究进展，展望了含油污水处理技术的发展方向。     

甲醛废水处理技术研究进展

随着化学工业及其相关产业的高速发展,甲醛废水的产生量越来越多,对生态环境和人类健康的危害也日益严峻。采用传统的废水处理技术已不能满足越来越高的环保要求。因此探索高效、经济的方法处理甲醛废水已经成为化学界和环保领域重要的研究课题。介绍了国内外近年来甲醛废水处理技术的研究进展,为今后甲醛废水处理提供了新的思路,对工业处理具有重要意义。     

长江三星电脱盐成套设备在常减压中的应用

结合电脱盐设备结构和电脱盐工艺流程两个方面介绍了大型工业化脱盐脱水工艺,并分析了其运行效果。结果表明:长江三星电脱盐成套设备脱盐脱水效果较好,基本上达到了脱后原油盐含量低于3 mg·L-1、脱后原油水含量低于0.2%、电脱盐切水含油量低于200 mg·L-1、切水化学需氧量低于1 000 mg·L-1的技术要求。现场实践发现,电脱盐效果还与操作温度、操作压力、电脱盐注水、混合强度、电场强度、破乳剂和原油停留时间等因素有关,电脱盐操作参数可从这些角度进一步优化。     

基于同态映射的从UML导出可综合Verilog算法

UML建模因其可显著提高开发效率和代码质量已经成为软件开发领域的一大热点，而硬件设计的日益复杂性也要求我们在更高层次抽象上分析和验证系统行为，故更精细的系统级建模方法变得日趋重要。本文构建了UML元模型与可综合Verilog间的同态映射，定义了一个从UML模型子集导出可综合Verilog描述的算法，为UML模型对于建模硬件系统提供了形式化的语义，从而使运用UML进行硬件系统级建模和系统级上验证系统性能和功能正确性成为可能。