文中提出一种智能电网环境下可控负荷优化调度的双层优化模型。上层是可控负荷聚合器的优化问题,其目标是通过优化调度3类可控负荷的方式最小化购电成本;下层是电网优化问题,该问题提供电网实时电价给上层优化问题。文中将电网优化问题...文中提出一种智能电网环境下可控负荷优化调度的双层优化模型。上层是可控负荷聚合器的优化问题,其目标是通过优化调度3类可控负荷的方式最小化购电成本;下层是电网优化问题,该问题提供电网实时电价给上层优化问题。文中将电网优化问题的KKT条件作为可控负荷优化问题的均衡约束,双层优化问题转换为具有均衡约束的数学规划(Mathematical Program with Equilibrium Constraints,MPEC)问题来求解。算例仿真反映了提出的调度策略的基本特征。展开更多
同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-...同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.展开更多
文摘文中提出一种智能电网环境下可控负荷优化调度的双层优化模型。上层是可控负荷聚合器的优化问题,其目标是通过优化调度3类可控负荷的方式最小化购电成本;下层是电网优化问题,该问题提供电网实时电价给上层优化问题。文中将电网优化问题的KKT条件作为可控负荷优化问题的均衡约束,双层优化问题转换为具有均衡约束的数学规划(Mathematical Program with Equilibrium Constraints,MPEC)问题来求解。算例仿真反映了提出的调度策略的基本特征。
文摘同步是并发语言的一个重要特征,然而在面向对象的框架下,同步约束的存在可能导致不期望的方法的重定义.基于并发面向对象规约语言VDM++(Vienna development method)的两种同步机制,提出一种适合于并发面向对象广谱规约语言的同步模型-卫式路径结构.它不但可以支持一般代码的复用,而且可以全方位地支持对同步代码的复用.