为解决传统模型过于简化以致调度计划存在电量不可交付、产生系统频率偏差的问题,提出一种考虑电量可实现性和启停功率轨迹的火电机组组合混合整数线性规划(mixed-integer linear programming,MILP)模型,该模型引入一类0-1变量表示燃...为解决传统模型过于简化以致调度计划存在电量不可交付、产生系统频率偏差的问题,提出一种考虑电量可实现性和启停功率轨迹的火电机组组合混合整数线性规划(mixed-integer linear programming,MILP)模型,该模型引入一类0-1变量表示燃煤机组的运行状态,便于在其加热、升负荷、调度和降负荷4个阶段的逻辑判断和发电量计算;根据燃气燃油机组启停迅速的特点,对其运行状态重新建模;并支持冷、温、热等多种启动类型和1 h、15 min等多种调度时段长度。10~1 000机24时段系统的计算结果表明:所提模型更符合实际运行情况,可很好地解决电量不可交付问题,且具有较高的求解效率。展开更多
模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊...模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊线性时序逻辑公式,判断是否存在满足该公式的系统.如果存在,则构造满足该公式的最优系统.为了检验模糊线性时序逻辑的可实现性,首先引入模糊Büchi博弈的定义,作为检验模糊线性时序逻辑公式是否可实现的模型.其次通过归约的方法,研究模糊Büchi博弈的性质(最优无记忆策略存在性.最后验证模糊线性时序逻辑的可实现性并且给出其系统合成的过程,并说明它们的时间复杂度.展开更多
文摘模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊线性时序逻辑公式,判断是否存在满足该公式的系统.如果存在,则构造满足该公式的最优系统.为了检验模糊线性时序逻辑的可实现性,首先引入模糊Büchi博弈的定义,作为检验模糊线性时序逻辑公式是否可实现的模型.其次通过归约的方法,研究模糊Büchi博弈的性质(最优无记忆策略存在性.最后验证模糊线性时序逻辑的可实现性并且给出其系统合成的过程,并说明它们的时间复杂度.