烟道流量计量标准装置

为了解决我国烟道流量计的量值溯源问题,中国计量科学研究院建立了烟道流量计量标准装置。装置使用可溯源至标准转盘的激光多普勒测速仪作为原级标准器,采用激光多普勒流速剖面扫描和超声流量计波动修正的方式测量标准流量,经校准的8声道超声流量计为工作级标准表,具备了908~104840m3/h的测量能力,扩展不确定度为0.62%(k=2),可对最大口径为1m的流量计进行校准。装置下游测试段包括圆形管段和矩形管段,能够开展烟道流量计测量性能的研究。     

MODIS动态监测黄河宁蒙河段凌情的技术与方法

黄河宁夏河段和内蒙古河段（以下简称宁蒙河段）的凌情是我国大江大河中的一种特殊水文现象，由于凌情引发的凌汛灾害危害巨大，防凌历来是防汛部门的重要任务。在分析黄河宁蒙河道特点、MODIS卫星遥感数据特点和该河段所在区域天气状况的基础上，提出了MODIS遥感动态监测宁蒙河段凌情的技术与方法，研究和应用表明MODIS卫星遥感技术能够实现宁蒙河段凌情实时动态监测，在动态监测封开河长度、壅水漫滩等方面效果显著。     

A novel logic-based automatic approach to constructing compliant security policies

It is significant to automatically detect and resolve the incompliance in security policy.Most existing works in this field focus on compliance verification,and few of them provide approaches to automatically correct the incompliant security policies.This paper proposes a novel approach to automatically transform a given security policy into a compliant one.Given security policy Π and delegation policy M declared by logic programs,the approach automatically rewrites Π into a new one ΠM which is compliant with M and is readable by the humans.We prove that the algorithm is sound and complete under noninterference assumption.Formally,we show that the security policy query evaluation algorithm with conflict and unsettlement resolution still works very well on ΠM.The approach is automatic,so it doesn’t require a administrator with excess abilities.In this sense,our proposal can help us to save much manpower resource in security management and improves the security assurance abilities.     

针对语音变换的语音篡改检测

针对使用语音变换技术的语音篡改,提出一种自动检测方法。在分析语音变换基本模型和变换语音失真的基础上,提取语音信号的声道参数以及相关的信号统计量,并通过支持向量机递归特征消除法,选择出对语音变换比较敏感的特征作为分类特征,使用支持向量机进行语音变换检测和变换语音的说话人性别判别。对于一种语音变换软件的实验结果表明,该方法具有较高的检测准确率,其中语音变换检测的平均准确率为94.90%,变换语音的说话人性别判别平均准确率为92.09%。     

基于循环哨兵的软件保护方法研究

保护软件代码不被非法修改是软件开发者面临的严峻问题。本文基于哨兵的思想提出一种循环哨兵模型,能以更灵活的方式保护哨兵的完整性。哨兵之间形成循环链,保证每个哨兵都受到其他哨兵的保护,在保护软件完整性的同时能够确保哨兵本身的安全性。同时,提出数据完整性校验协议实时检测哨兵的完整性,并证明协议的安全性。     

基于图像仿射不变特征点的零水印算法

本文提出了一种基于图像提升小波变换和仿射不变特征点的零水印算法。首先对图像进行3级提升小波变换,然后在低频部分,利用Harris-Affine算子提取出图像的仿射不变特征点和仿射协变特征区域,利用这些特征区域来构造零水印信息。实验证明,该算法不仅对常规信号处理攻击和简单的几何攻击具有很强的鲁棒性,对于剪切、纵横比改变、行列去除,局部扭曲等较复杂的几何攻击也具有较强的抵抗能力。     

电解槽的优化控制及仪表选型

对烧碱装置中电解槽的自动控制系统进行了阐述。对传统控制手段进行了优化设计，并根据生产条件。对仪表的选型进行了较为详细的论述。     

MDS矩阵和对合MDS矩阵的新构造方法

首先对Lacan等人给出的由Vandermonde矩阵构造MDS码的方法进行了研究, 指出了其中存在的问题, 给出了由两个Vandermonde矩阵构造MDS矩阵的充要条件; 然后利用矩阵乘的方法, 给出了由标量乘Vandermonde矩阵构造MDS矩阵的充要条件; 最后在Sajadieh等人给出的由两个Vandermonde矩阵构造对合MDS矩阵方法的基础之上, 给出了标量乘Vandermonde矩阵构造对合MDS矩阵的方法。对标量乘矩阵来讲, 可以通过调控标量中分量的大小来调整标量乘矩阵元素大小和元素重量大小来满足其软、硬件实现性能, 因此该构造MDS矩阵及对合MDS矩阵的方法具有实用价值。     

二维多层次的云服务可靠性评估方法研究

针对云服务业务流程管理的特点, 给出了云服务的组合实现框架; 依据随机Petri网的建模理论, 探讨了组合云服务流程网模型的细粒度建模方法; 根据动态多变的用户需求, 设计了二维多层次的云服务组合可靠性动态评估框架, 并给出了马尔可夫过程和等值约简的两种可靠性计算方法。应用示例分析结果表明, 该方法具有较好的动态适应性和灵活性, 能有效满足云服务的可靠性评估需求。     

一种用于云存储的可撤销的属性加密方案

由于云存储用户数量大,成分复杂,云存储中数据的安全防护问题成为其发展的一大制约,近年来,基于属性加密技术解决云存储中数据安全存储问题成为研究热点,但传统的属性加密方案存在密文长度相对较大且属性撤销复杂等问题。引入代理重加密技术,针对以上问题提出一种可撤销的密文属性基加密方案,在缩短密文长度的同时实现属性撤销操作,并证明该方案在DBDH假设下CPA是安全的。