概率Applied Pi框架下的匿名度分析*

在概率Applied Pi下对安全协议的匿名度进行研究：它在概率Applied Pi进程上定义了metric,以对进程间的相似进行度量;该定义被证明是有效的,因为当两个进程之间的metric为0时这两个进程弱互模拟;基于metric给出了匿名度的形式化定义。最后分析了密码学家就餐问题,用概率Applied Pi对其建模,计算匿名度。     

乌江流域梯级水电站集中管控模式探讨

对流域梯级电站实施远程集中监控、集中管理，是水电企业提高上网竞争力的重要技术手段。而要实现流域水电站的优化调度，提高流域梯级电站的发电效益，又必须有先进的技术和可靠的设备装备做保障。乌江流域水电站群是一个七级无单一系统接入点的复杂水电站群，实现对该系统的联合优化调度和集中管理。对流域发电公司的运行管理具有十分重要的参考价值。     

联合利用地下水监测和示踪技术探查坝区渗漏——以河南某水库为例

水库渗透严重影响水库正常功能发挥,也影响水库大坝的稳定性,因此对水库坝区渗漏研究具有重要的实际意义。本文通过监测河南某水库下游水井水位、水化学、同位素以及温度,确定坝区存在的疑似渗漏通道,为渗漏治理提供科学依据。经过数据分析,得到以下主要结论：监测井水位、水温及电导率变化情况分析结果表明沿水库至监测井J10和J11方向存在疑似地下水渗漏通道;水化学分析显示Ⅰ区J03采样点受水库来水影响最为明显,Ⅱ区J07号采样点也受到一定程度的影响,可知沿水库至采样点J03和J07方向可能存在渗漏通道;同位素示踪试验结果显示库水与Ⅰ区和Ⅲ区地下水的同位素值相近,δ¹⁸O介于-5.41‰～-6.58‰,δD介于-46.72‰～-53.38‰,表明沿水库至采样点J04和J05、水库至采样点J11两个方向存在疑似渗漏通道。