Kaman协议的形式化验证

Kaman协议是移动Ad Hoc网络安全认证机制,然而,协议设计者未对该协议的安全性作严格的形式化分析。协议复合逻辑PCL是验证协议安全属性的形式化方法,PCL逻辑能够简化协议安全分析过程。本文在协议复合逻辑PCL中描述Kaman协议并分析Kaman协议的安全属性,证明Kaman协议能够实现其安全目标。     

NCS中实时数据库的多版本并发控制研究

实时数据库是网络控制系统(NCS)的重要组成部分,是整个控制系统中数据交换的平台。本文在原有的两段锁机制的基础上,提出一种适用于多版本的两段锁并发控制方法。简述数据多版本给现场控制带来的不利影响。分析在数据多版本的情况下,现场事务的可串行性,用多版本并发控制协议MV2PL解决多版本并发控制问题。用简化的多版本并发协议2V2PL说明它的正确性,并通过实例表明该协议是可行的。     

坝基混凝土防渗墙力学性状的统计分析

混凝土防渗墙是透水和可压缩坝基渗流控制的主要措施。本文从统计分析的角度研究坝基混凝土防渗墙的力学性状。首先收集了43个已建土石坝工程坝基防渗墙实例力学性状监测资料和工程建设信息,建立了防渗墙力学性状实例数据库。在分析防渗墙受力特点的基础上,基于实例资料,对混凝土防渗墙的水平位移、顶部沉降、覆盖层和防渗墙的相对沉降、防渗墙应力特性及开裂性状开展详细的统计分析,揭示了不同力学性状的统计规律和产生机理。在此基础上,进一步讨论了防渗墙的位置、深度、材料以及河谷形状和地基变形特性对墙体力学性状的影响规律,识别影响防渗墙力学性状的主要因素。本文从统计角度揭示防渗墙的力学性状,可为防渗墙的设计和建设提供参考。     

成都市第一城市污水污泥处理厂工程设计及体会

城市污水处理厂所产生污泥的处理处置问题备受广泛关注,结合成都市第一城市污水污泥处理厂一、二期工程工艺选择,介绍了该厂污泥的性质、污泥"半干化+焚烧"的工艺流程、主要设计参数和概况,同时简要地介绍了污泥处理厂的运行状况及工程设计体会.     

中小流域时空变源混合产流模型及参数区域化方法研究

针对山丘区中小流域洪水预报面临的产流机制混合多变和模型参数难以获取的问题,提出了适用于缺资料地区的中小流域时空变源混合产流模型和基于机器学习CART的参数区域化方法。在小流域地貌水文响应单元划分基础上,利用GARTO非饱和下渗计算模型,从超渗/蓄满机制的平面混合、垂向混合和时段混合三个方面构建时空变源混合产流模型,并采用机器学习CART方法进行模型参数区域化研究。选取不同地貌类型区的15个流域和河南省19个小流域实测降雨径流资料分别对模型适用性和参数区域化方法进行了验证。结果表明,通过与国内外8个水文模型的对比验证,时空变源混合产流模型模拟平均纳什系数为0.78,比其他模型提高约20%;利用本模型和CART参数区域化方法在河南省19个流域计算的平均纳什系数为0.70,比参数随机移植结果提高了35%,本模型和参数区域化方法在山丘区中小流域洪水模拟中应用效果较好。     

混合高斯模型结合五帧差分的运动目标检测

在复杂背景下,光照变化、目标短暂遮挡以及背景运动等因素会导致运动目标检测精度较低.提出一种结合改进混合高斯模型和改进五帧差分的运动目标检测算法,首先在混合高斯模型中加入自适应学习率以及背景学习速率更新策略有效解决传统背景更新速率恒定而出现的残影现象;然后利用改进的五帧差分法克服运动目标短暂遮挡问题,并加入光照阈值判别因素,有效减弱光照变化带来的影响;最后对两者结果进行或运算进而得到最终检测结果.实验结果表明,该融合算法在复杂环境下具有一定的抗干扰能力,运动目标检测精度较高.     

石油石化系统言息安全态势评估指标体系研究

文章阐述了石油石化系统信息安全态势评估指标体系的研究意义,提出了指标体系的研究思路,分析了指标体系的基本构成,说明了指标体系的总体框架,并对指标体系的数据获取和应用前景作了介绍。对于丰富和完善国家信息安全态势评估指标体系,是一个有意义的探索。     

基于多权重因子的PageRank算法改进

现有PageRank算法的多种改进研究,对新网页歧视、语言差异歧视、主题漂移、忽视用户浏览兴趣等问题仍然没有给出较好的解决方案。本文提出改进算法TWPR(PageRank based on Three Weights)。该算法将时间特性分析、语言链接结构分析和用户行为相结合,旨在提升更新较快、链接行为优良、用户感兴趣度高的中文网页PR值。实验证明,改进算法可有效提高网页检索的命中率,改善搜索质量。     

用正弦函数描述非线性惯性权重的微粒群算法

为改进标准微粒子群算法,提出了一种用Sin函数非线性描述惯性权重动态调整微粒群的方法。由于原算法存在早熟收敛和搜索效率低,提出改进基本微粒群算法的惯性权重参数,将微粒群算法中的惯性权重用正弦函数来描述,通过对粒子位置和速度进行自适应非线性调整,使算法在前期阶段具有较快的收敛速度,在算法后期局部搜索能力也不错,减少了微粒陷入局部极值的机会,使结果收敛于全局最优解,为了验证算法的有效性,采用Shaffer’s F6和Levy No.5函数进行测试,实验结果表明,新方法具有比较好的效果。     

基于MYGCC的编程规则检查算法研究

MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。