电沉积Ni—W—P活性阴极的制备研究

研究了电沉积Ni—W—P电极的析氢电催化活性、长期稳定性,并对其催化活性进行了分析。此电极具有优良的析氢电催化活性和长期电解稳定性,是制作活性阴极的材料之一。     

非常规汽油脱硫技术

水蒸气脱硫是一种以水代替氢的脱硫方法,降低脱硫成本显著。以酶代替传统加氢催化剂的生物脱硫技术是一个引人注目的课题。结合催化和精馏的催化精馏脱硫法,在选择脱硫的对象上,相对传统的催化脱硫更具优势。萃取脱硫是采用一些极性溶剂混合物脱除汽油馏分中的硫化物,须加入氧化助剂才有较好的脱硫效果,由此将导致大的辅助车间和有限脱硫效率。膜过程脱硫、声化学脱硫、等离子体和光脱硫都属于物理方法,环保意义很大。对于吸附脱硫,从流化催化裂化汽油中除硫完全,而汽油产率降低很少,辛烷值几乎没有损失,是一种有前途的脱硫方法。     

黑方台焦家4号黄土滑坡发育特征及滑动机理

20世纪60年代以来,大量的灌溉系统在黄土地区建设运营,解决了农业的干旱问题,但同时灌溉也诱发了大量的滑坡。其中,2015年1月28日20:00,甘肃省永靖县焦家村发生了一起中等规模的黄土滑坡,滑坡严重影响其下方309国道线和六盘峡水库的安全。采用对裂缝分布、水文地质的调查,结合低空摄影测量、精细工程地质测绘、室内三轴试验等研究方法,对焦家4号滑坡的基本特征进行了分析,对形成滑坡的成灾机理有了初步认识。结果表明:(1)滑坡发生前,后缘裂缝有明显的变形情况;(2)滑坡滑动距离为548.3 m,体积为15.35万m~3,面积为6.6万m~2;(3)饱和黄土应力应变模式表现为强烈的应变软化剪缩型,并具有一定的静态液化特性;(4)滑坡是饱和黄土层静态液化引起的。     

一种改进的动态核主元分析故障检测方法

针对复杂工业系统动态非线性故障检测过程精度低和计算量大的问题,提出了一种改进的动态核主元分析故障检测方法，该方法首先利用不可区分度剔除相关程度较小或者不相关变量,减少数据量，然后通过观测值扩展对筛选后的新数据构建增广矩阵，并对矩阵使用核主元分析提取变量数据的非线性空间相关特征，最后通过监测T ²和SPE 两种统计量诊断出系统发生故障及识别故障变量。仿真实验证明，该方法能对风力发电机故障进行有效监测和诊断，与KPCA方法相比，改进的动态核主元分析方法对微小故障更为敏感。     

软件错误定位研究综述

错误定位是软件调试中的一个热点问题,旨在高效地检测出软件错误。首先根据研究方法的不同,将已有错误定位方法从轻量级和重量级两个角度进行分类并进行比较。轻量级错误定位技术不涉及程序依赖关系分析,在程序执行覆盖信息的基础上用统计学或数据挖掘等方法找出可疑错误代码的集合来定位错误;重量级错误定位技术涉及程序依赖关系分析,主要分析数据依赖、控制依赖关系或使用程序切片等来识别可疑代码。然后,总结了常用的评测数据集和评测标准。最后,对错误定位的未来研究趋势进行了展望。     

云计算的按需防护安全框架

安全问题已成为制约云计算发展的重要因素。分析了服务持续可用性、服务真实性、数据完整性、信息保密性、可用性、不可抵赖性6方面的云安全目标,将云计算中6个层次的安全风险归纳为7类:物理安全风险、计算安全风险、可信计算安全风险、网络安全风险、管理安全风险、存储安全风险和应用安全风险等,并分别阐述了各类风险的安全对策。越安全的服务,在安全防护方面消耗的计算能力、存储、网络带宽就越多,指出应根据用户使用的服务类型、用户指定的安全要求以及接入网络特点等使用不同的安全保护措施,提出了按需防护的安全框架。分析了按需防护的安全框架的优点。最后给出了框架实际使用的方法。     

Dynamic equivalent method of interconnected power systems with consideration of motor loads

The existing equivalent methods usually only deal with static load models and neglect the dynamic characteristics of loads such as induction motors.This paper presents a dynamic equivalent method which considers motor dynamics.At first,the clustering criterion of motor loads is given.The motors with similar dynamic characteristics are classified into one group.Then,reduction of motors in the same group is carried out.Finally,parameters of the equivalent motor are calculated and the equivalent system is thus...     

基于加权语义网和有效信息的个性化用户兴趣建模*

为了提高个性化用户兴趣建模的准确率,对用户建模过程进行了优化。在计算文档相似度时,综合考虑特征词的语义关系以及在文档中的分布情况,引入加权语义网,提高了文档相似度计算精度;在计算兴趣度权值时,引入有效信息的概念及量化方法,以解决用户兴趣类权值计算过于主观的问题,并提出具体权值算法,提高了权值计算的准确性。实验结果表明,改进的方法在用户兴趣聚类和兴趣类别权值计算的准确率上都较以往方法有较大提高。     

主动授权规则实施支持空间特性的RBAC*

为满足安全策略或者角色定义的变化,系统或模型应该提供一种灵活的机制实施支持空间特性的RBAC。引入了OITE（on-if-then-else）主动授权规则实施支持空间特性的RBAC,定义了支持空间特性的RBAC中各基本元素与OITE之间的映射关系。使用OITE作为实施机制,可以在不同粒度上实施带有空间特性角色约束,并且可以将支持空间特性的RBAC应用在多个领域中。最后简要讨论了授权规则如何从支持空间特性的RBAC安全策略中自动产生。     

基于Petri网的信息流安全属性的分析与验证*

信息流安全属性的定义均基于不同的语义模型,很难作出比较,以Petri网作为描述安全系统的统一模型,在Petri网上定义四种常见的安全属性,并分析它们之间的逻辑关系。在信息流安全属性验证方面,传统的方法称为展开方法,该方法适用于确定型系统,而对于非确定型系统,该方法是可靠的,但不完备。进一步对Petri网上已经定义的四种属性给出可靠完备的验证算法,并开发出相应的验证工具。最后通过实例说明了验证方法在搜索隐通道方面的应用。