基于随机模型检验的社交网络隐私保护研究

针对现有社交网络所提供静态隐私策略的隐私设置不够灵活且难以定量验证问题,提出一种动态隐私保护框架,将社交网络建模为离散时间马尔科夫链模型,通过设置触发条件实现用户动态隐私规约并将其转化为概率计算树逻辑公式,同时结合随机模型检验和运行时验证中的参数化与监控技术,保护社交网络发生随机故障情况下的用户动态隐私信息。在Diaspora开源社交网络上的实验结果表明,与静态隐私保护框架相比,动态隐私保护框架具有更高的安全性和灵活性,能较好满足用户的隐私保护需求。     

水工混凝土碳化危害、预防及处理

介绍混凝土碳化的概念、机理、预防措施及处理方法。     

用水下不分散混凝土修补尾水渠导墙基础冲坑

黄龙滩水电站尾水渠导墙基础由于长期受水流冲刷,临河侧基础形成冲坑,对冲坑的处理分二期进行施工,一期工程是应急处理--用水下不分散混凝土直接回填冲坑.用絮凝剂拌制水下不分散混凝土,用混凝土泵通过导管将混凝土送入水下仓面浇筑,混凝土在水下自行摊平、密实,最后将冲坑回填.