水资源干旱是限制灌区可持续发展的关键因素。为提高灌区的干旱防治能力,使其更好的发挥其在节水、减灾方面的作用,以淠史杭灌区为研究区,通过划分水资源配置子单元和设置调蓄节点,采用公平性最优和供水缺水率最小作为目标函数,总量控...水资源干旱是限制灌区可持续发展的关键因素。为提高灌区的干旱防治能力,使其更好的发挥其在节水、减灾方面的作用,以淠史杭灌区为研究区,通过划分水资源配置子单元和设置调蓄节点,采用公平性最优和供水缺水率最小作为目标函数,总量控制、供水能力、分质供水等作为约束条件,采用基于精英策略的非支配遗传改进算法求解,构建区域General Water Allocation and Simulation Model(GWAS)模型;以2022年为现状基准年,与2023规划年组合,分为连续干旱与不连续干旱两大类,基于灌区水资源“应急干旱三次平衡”调控思想,分析灌区水资源在不同干旱情景下缺水的基础上,展开水资源抗旱配置研究,推演分析不同抗旱方案下水资源供需平衡情况。结果表明:连续干旱年中,灌区2023规划年在情景Ⅰ(P=90%)、情景Ⅱ(P=80%)来水频率下,各乡镇配置单元均存在不同程度的缺水情况,区域总缺水率分别为35.1%、20.8%;不连续干旱年中,2023规划年在情景Ⅲ(P=50%)来水频率下,模型基准配置水量基本可以满足区域各乡镇水量需求,区域总缺水率为5.9%。经不同抗旱方案尾部泵站补水、调整作物种植结构及外调水的优化配置后,三种情景下区域总缺水率最终都降为0%,优化后各配置单元供水改善效果显著。研究成果可为淠史杭灌区未来在应对不同干旱类型情景下水资源的合理调整提供技术支撑,并且可为实现该区域水资源统一管理和水量的统一调配提供理论依据。展开更多
随着计算机与物理环境的交互日益密切,信息-物理融合系统(cyber-physical system,简称CPS)在健康医疗、航空电子、智能建筑等领域具有广泛的应用前景,CPS的正确性、可靠性分析已引起人们的广泛关注.统计模型检测(statistical model chec...随着计算机与物理环境的交互日益密切,信息-物理融合系统(cyber-physical system,简称CPS)在健康医疗、航空电子、智能建筑等领域具有广泛的应用前景,CPS的正确性、可靠性分析已引起人们的广泛关注.统计模型检测(statistical model checking,简称SMC)技术能够对CPS进行有效验证,并为系统的性能提供定量评估.然而,随着系统规模的日益扩大,如何提高统计模型检测技术验证CPS的效率,是目前所面临的主要困难之一.针对此问题,首先对现有SMC技术进行实验分析,总结各种SMC技术的受限适用范围和性能缺陷,并针对贝叶斯区间估计算法(Bayesian interval estimate,简称BIE)在实际概率接近0.5时需要大量路径才能完成验证的缺陷,提出一种基于抽象和学习的统计模型检测方法 AL-SMC.该方法采用主成分分析、前缀树约减等技术对仿真路径进行学习和抽象,以减少样本空间;然后,提出了一个面向CPS的自适应SMC算法框架,可根据不同的概率区间自动选择AL-SMC算法或者BIE算法,有效应对不同情况下的验证问题;最后,结合经典案例进行实验分析,实验结果表明,自适应SMC算法框架能够在一定误差范围内有效提高CPS统计模型检测的效率,为CPS的分析验证提供了一种有效的途径.展开更多
文摘水资源干旱是限制灌区可持续发展的关键因素。为提高灌区的干旱防治能力,使其更好的发挥其在节水、减灾方面的作用,以淠史杭灌区为研究区,通过划分水资源配置子单元和设置调蓄节点,采用公平性最优和供水缺水率最小作为目标函数,总量控制、供水能力、分质供水等作为约束条件,采用基于精英策略的非支配遗传改进算法求解,构建区域General Water Allocation and Simulation Model(GWAS)模型;以2022年为现状基准年,与2023规划年组合,分为连续干旱与不连续干旱两大类,基于灌区水资源“应急干旱三次平衡”调控思想,分析灌区水资源在不同干旱情景下缺水的基础上,展开水资源抗旱配置研究,推演分析不同抗旱方案下水资源供需平衡情况。结果表明:连续干旱年中,灌区2023规划年在情景Ⅰ(P=90%)、情景Ⅱ(P=80%)来水频率下,各乡镇配置单元均存在不同程度的缺水情况,区域总缺水率分别为35.1%、20.8%;不连续干旱年中,2023规划年在情景Ⅲ(P=50%)来水频率下,模型基准配置水量基本可以满足区域各乡镇水量需求,区域总缺水率为5.9%。经不同抗旱方案尾部泵站补水、调整作物种植结构及外调水的优化配置后,三种情景下区域总缺水率最终都降为0%,优化后各配置单元供水改善效果显著。研究成果可为淠史杭灌区未来在应对不同干旱类型情景下水资源的合理调整提供技术支撑,并且可为实现该区域水资源统一管理和水量的统一调配提供理论依据。