烟道流量计量标准装置

为了解决我国烟道流量计的量值溯源问题,中国计量科学研究院建立了烟道流量计量标准装置。装置使用可溯源至标准转盘的激光多普勒测速仪作为原级标准器,采用激光多普勒流速剖面扫描和超声流量计波动修正的方式测量标准流量,经校准的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%。     

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

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

黄河内蒙古河段典型凌情过程模拟

近十几年受人类活动和气候变化等影响,黄河内蒙古河段冰情出现新的特征,突发凌情频繁出现,原有的内蒙古河段冰模拟方法已不能满足当前凌情防治的需要,亟待建立能反映凌情物理特性变化规律的河段冰情动态发展数学模型。在实测资料基础上,研究了黄河内蒙古河段冰情时空变化规律,以及河道资料不完整、支流流量资料缺乏及冰桥位置的确定等问题。应用一维冰情数学模型模拟2012—2013年凌汛期黄河内蒙古河段冰情发展过程,并对水温、冰盖厚度、冰盖前沿发展和流量的模拟值和实测值进行了对比分析,模拟值和实测值吻合较好。本研究为黄河防凌提供科学依据和方法支撑,也为天然江河、人工渠道冰情全过程模拟提供了研究思路和技术手段。     

少资料条件河渠冬季冰情过程模拟研究

针对天然河道开展冰情过程数值模拟普遍存在的河道断面资料、水文和气象资料缺少的难题,本研究提出了时均气温和时均太阳辐射计算方法和支流流量的动态分配方法,即根据实测日最大气温、日最小气温和日净太阳辐射率定出关键影响参数,模拟出给定气象站的时均气温和时均太阳辐射的变化过程;通过上游流量向下游传播过程的特征分析,推演出缺少支流流量条件下河道区间支流流量分配的合理比例。将本文方法应用到黄河内蒙河段冰情过程模拟计算中,模拟的巴彦高勒冰盖厚度值和冰盖前沿的发展同实测值吻合良好。本研究成果可应用到少资料条件下江、河、渠道冰情演变过程的数值模拟中,为天然河道冰情的准确模拟提供方法支撑。     

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

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