交流潮流约束下的机组组合问题(AC power flow constrained unit commitment,ACUC)是一个非凸的混合整数非线性规划问题,包含大规模的离散变量,极难求解。该文建立了ACUC的分离式模型,引入部分代理割方法,提出了一种新的求解UC问题的...交流潮流约束下的机组组合问题(AC power flow constrained unit commitment,ACUC)是一个非凸的混合整数非线性规划问题,包含大规模的离散变量,极难求解。该文建立了ACUC的分离式模型,引入部分代理割方法,提出了一种新的求解UC问题的分解式算法。并在原始部分代理割(partial surrogate cuts,PSC)法的基础上,为避免在问题规模扩大时过早陷入局部最优解,结合电力系统特征,提出了引入直流潮流相关约束的改进PSC算法,改善解的质量。通过对6节点、IEEE 39节点和118节点系统的仿真计算验证了方法的有效性和适用性,在与其他算法的对比中突显了速度和精度上的优势。展开更多
可证明数据持有性验证(provable data possession,PDP)是云存储中重要的完整性验证技术,采用可证明数据持有验证,客户可通过常量级运算验证云服务器是否诚实地持有客户数据.某些情况下,客户无法亲自验证云端的数据持有,此时客户需要授...可证明数据持有性验证(provable data possession,PDP)是云存储中重要的完整性验证技术,采用可证明数据持有验证,客户可通过常量级运算验证云服务器是否诚实地持有客户数据.某些情况下,客户无法亲自验证云端的数据持有,此时客户需要授权代理对云端数据进行持有验证.针对上述问题,提出了一种基于部分授权的可证明数据持有验证方案(provable data possession based on partial delegation,PDPPD),新方案基于双线性对及部分授权技术支持数据拥有者直接通过密钥变形方式委任代理方进行数据持有验证,并且数据拥有者可以随时撤销或更换代理方,证明了方案的安全性.与现有数据持有性验证方案相比,新方案在保证相同安全强度的条件下,具有更小的计算量和通信量,且应用场景更加广泛.展开更多
文摘交流潮流约束下的机组组合问题(AC power flow constrained unit commitment,ACUC)是一个非凸的混合整数非线性规划问题,包含大规模的离散变量,极难求解。该文建立了ACUC的分离式模型,引入部分代理割方法,提出了一种新的求解UC问题的分解式算法。并在原始部分代理割(partial surrogate cuts,PSC)法的基础上,为避免在问题规模扩大时过早陷入局部最优解,结合电力系统特征,提出了引入直流潮流相关约束的改进PSC算法,改善解的质量。通过对6节点、IEEE 39节点和118节点系统的仿真计算验证了方法的有效性和适用性,在与其他算法的对比中突显了速度和精度上的优势。
文摘可证明数据持有性验证(provable data possession,PDP)是云存储中重要的完整性验证技术,采用可证明数据持有验证,客户可通过常量级运算验证云服务器是否诚实地持有客户数据.某些情况下,客户无法亲自验证云端的数据持有,此时客户需要授权代理对云端数据进行持有验证.针对上述问题,提出了一种基于部分授权的可证明数据持有验证方案(provable data possession based on partial delegation,PDPPD),新方案基于双线性对及部分授权技术支持数据拥有者直接通过密钥变形方式委任代理方进行数据持有验证,并且数据拥有者可以随时撤销或更换代理方,证明了方案的安全性.与现有数据持有性验证方案相比,新方案在保证相同安全强度的条件下,具有更小的计算量和通信量,且应用场景更加广泛.