双库连通水库调洪演算的方法研究

该文以合肥市杜集水库为例,分析和研究双库连通水库受下游河道影响的调洪演算的理论方法,通过建立双库连通水库计算模型进行调洪演算;计算结果表明,该方法理论合理,操作性强,成果可靠,可应用于双库连通水库的防洪调度和调洪演算。     

随机微分方程在河道径流模拟中的应用

把随机微分运用到河道的行洪过程分析与计算中,通过考虑金沙江中游某河段行洪过程中的不确定性,建立随机微分方程模型,模拟河道出流过程,并用该河段某水文站的实测流量值对模型进行验证。结果表明:模拟值与实测值的统计参数有较好的拟合性,随机微分模型有较高的精度与准确性,模型在河道调洪验算中具有较高的适用性。本文为河道洪水验算提供了新的思路,为考虑河道洪水验算过程不确定性的洪水计算提供了科学依据。     

调洪演算在煎饼沟水库除险加固中的设计应用

水库长期运行存在老化、人为破坏、自然侵蚀等现象。为了水库的安全运行,需要对水库存在的问题隐患进行除险加固。通过对大坝进行一系列的调洪演算,选择出合理的方案,使水库发挥原有灌溉,供水等方面的功效,为地方经济发展和人民生活造福。     

基于洪水计算与调洪演算评价尾矿库排水系统

尾矿库排水系统是否能够顺利及时的将库内水排出是其发生安全事故的一个主要因素,因此尾矿库排水系统的排水能力对其安全运行尤为重要。以DCG尾矿库增容设计工程为例,对尾矿库不同运行工况下进行洪水计算与调洪演算,并分析了不同运行工况下尾矿库拟定排水系统的排水能力,计算与分析结果表明:在不同运行工况下,尾矿库的排水系统均能将设计频率下入库内洪水安全有序的排出,调洪所需库容小于有效库容,对应工况下出现的最高洪水位低于相应坝顶标高,不会出现洪水漫坝现象,尾矿库拟定的排水系统在不同运行状况下能够满足防洪排水要求。     

基于MIKE FLOOD的洪泽湖周边滞洪区洪水演进模拟研究

基于实测断面资料建立了研究区的一维水动力模型,基于高精度DEM以及1∶10000地形图建立了研究区的二维水动力模型,并用MIKE FLOOD将一维模型和二维模型进行耦合,构建了洪泽湖周边滞洪区一、二维耦合的洪水演进数学模型。利用2003年历史洪水资料对模型参数进行了率定,并以2007年历史洪水资料进行了验证。以洪泽湖百年一遇设计洪水为模型上边界,二河闸、三河闸以及高良涧闸的现行调度方案的水位-流量关系为模型下边界,对洪泽湖百年一遇设计洪水方案进行模拟计算,当蒋坝水位达到14.33m时,洪泽湖周边滞洪区开始滞洪,得到开始滞洪后不同时段研究区内各类洪水风险要素的动态分布情况以及最大淹没水深、淹没历时,验证了模型的合理性,可用于蓄滞洪区洪水演算分析。     

南水北调中线工程北汝河段串流区淹没解决方案分析

北汝河和石河之间以及石河右岸地势较低,北汝河和石河洪水漫溢出槽;南水北调中线工程总干渠及各河道建筑物修建后缩窄了行洪断面,对河道的行洪产生一定影响,上游水位壅高、淹没时间延长,上游耕地和村庄淹没水深有所增大。结合北汝河串流片特点对淹没影响进行处理,选定了征迁安置、河道防护、河道治理、河道防护与河道治理结合4个处理方案进行研究比选,按照技术可行、经济最优并最大限度的保障受淹没影响村民安居乐业的标准,选定方案三即河道治理方案为最优方案。     

陆浑水库调洪演算程序设计方法研究

论述了用Visual Basic 2010编程语言实现陆浑水库调洪演算的方法和编程技巧,使用该程序可快速、方便、灵活地进行水库调洪计算,为水库及下游河道防洪决策提供依据。同时,针对目前陆浑水库洪水预报调度系统存在的库区雨量站不足、水位库容关系发生较大变化等问题,建议:①将水库上游雨量站增至40⁵0个;②进行洪水预报方案研究;③进行库容曲线复核测量。     

小型水库的除险加固技术

小型水库的消险加固依其具体情况，可考虑加高大坝与拓宽溢洪道相结合，加高大坝同非常溢洪道相结合等方案，工程规模可通过调洪演算确定。组合方案往往有较大的优越性，应予重视。文章就小型水库险加固中的几个技术问题作了简要总结。     

直觉线性μ-演算中的合成推理

讨论了以基于前缀封闭集合的Heyting代数的直觉解释的线性μ-演算(IμTL)作为描述“假设-保证”的逻辑基础的问题,提出了一个基于IμTL的“假设-保证”规则.该规则比往常应用线性时序逻辑(LTL)作为规范语言的那些规则具有更好的表达能力,扩展了对形如“always ?”等安全性质的“假设-保证”的范围,具备更一般的“假设-保证”推理能力及对循环推理的支持.     

网络演算的矩阵解释

网络演算是离散事件动态系统理论在计算机网络中的应用,网络演算通过到达曲线和服务曲线计算网络的性能参数,这两个概念封装了复杂的理论背景,从而易于在实际中应用,但对到达曲线和服务曲线概念的理论研究比较缺乏.文中采用幂等矩阵的角度描述到达曲线和服务曲线,演算的过程成为矩阵运算,通过结合矩阵双子理论和余理论的研究结果,得出了由矩阵表演算的基本定理.研究表明,幂等矩阵理论为网络演算提供了很好的理论解释.文中还提出一种基于变换矩阵的方法求某些网络元素的服务曲线.