求齐次有限马尔科夫链状态空间全体闭集的算法

本文给出了齐次有限马尔科夫链状态空间的闭集族的算法，为了减少计算量和无重复地列出全体闭集，引进了状态空间压缩法和逐点删去法。对状态个数不太大的情形，可利用压缩状态空间的状态转移图求全体闭集；对一般情形，给出了计算机算法。

基于时间自动机的嵌入式软件压缩与验证

利用时间自动机对嵌入式系统进行建模是一种有效方式,但由于时间自动机引入时间维度,导致状态空间是无限的,增加了系统分析验证的难度,为此提出一种时间自动机压缩方法,即条件符号化状态压缩法,对自动机模型进行压缩;在此基础上提出一种时间自动机形式化表示方法,采用有界模型检测的思想形式化表示线性时态逻辑(linear temporal logic,LTL)性质,将需要验证的性质输入可满足性模理论(satisfiability modulo theories,SMT)求解器进行验证,在一定程度上解决了时间自动机"状态爆炸"的问题。

基于并行多维近似动态规划的综合能源系统动态经济调度

针对随机动态经济调度模型难以高效求解的问题,提出一种用于快速求解电-气-热综合能源系统(IES)随机动态经济调度问题的并行多维近似动态规划算法。该算法将原有的高维状态空间中的状态变量聚合到IES的电储能系统(ESS)的可用容量和蓄热罐(HST)的可用热量中,实现了状态空间的降维,进而解决了动态规划中“维数灾”的问题。此外,利用ESS和HST的运行约束,将无效状态剔除,降低了问题的求解规模。在风电、电价和负荷等不确定场景充分训练后的值表模型中,通过近似值函数的迭代寻优,将含有经验知识的值表应用于在线测试中,实现应对不确定性的IES最优调度决策。以改进的2个系统为例,验证了所提模型和算法的有效性。