引水发电系统无压隧洞中弃水堰位置的数值模拟研究

水电站引水发电系统无压隧洞中的水力过渡过程是近年来电站设计中出现的一个新课题,特别是流域梯级电站开发中经常遇到。结合工程实例应用扩散法,给出了无压隧洞水力过渡过程数值模拟的基本方程以及上下游及弃水堰等边界附加方程,模拟了弃水堰布置在不同位置下,无压隧洞内的水位变化过程。研究成果和讨论对实际工程应用具有参考意义。     

长25-29井卡钻事故的处理

长２５－２９井在完井阶段通井过程中发生粘附卡钻事故，在处理卡钻过程中又发生卡套铣筒、井漏、溢流等事故及复杂情况。通过对井下情况的认真分析，采取先堵漏后循环再解卡的处理方案，顺利地解除了该次卡钻事故，大大地减少了经济损失。     

罗茨真空泵的溢流阀与旁通阀的组合

在简要地介绍了罗茨泵功能的基础上，通过溢流阀的改进设计，使溢流阀成为既能旁通又能溢流的组合阀，罗茨泵的功能将更加完备。     

液化石油气"溢出"的危害及对策

对液化石油气的性质及危险进行了论述,分析了液化石油气溢出后对人员及设备的危害,提出了阻止蔓延、排除下风向火源等减轻灾害的对策。     

Binary rewriting and call interception for efficient runtime protection against buffer overflows

Buffer overflow vulnerabilities are one of the most commonly and widely exploited security vulnerabilities in programs. Most existing solutions for avoiding buffer overflows are either inadequate, inefficient or incompatible with existing code. In this paper, we present a novel approach for transparent and efficient runtime protection against buffer overflows. The approach is implemented by two tools: Type Information Extractor and Depositor (TIED) and LibsafePlus. TIED is first used on a binary executable or shared library file to extract type information from the debugging information inserted in the file by the compiler and reinsert it in the file as a data structure available at runtime. LibsafePlus is a shared library that is preloaded when the program is run. LibsafePlus intercepts unsafe C library calls such as strcpy and uses the type information made available by TIED at runtime to determine whether it would be ‘safe’ to carry out the operation. With our simple design we are able to protect most applications with a performance overhead of less than 10%. Copyright © 2006 John Wiley & Sons, Ltd.     

门诊动态溢流排队系统感性和理性退出率分析

在现实医疗服务中,面对医生座席数量供不应求的现状,采用传统的双队列独立排队系统很难高效利用医院资源。对此,在不改变医院现有资源的情况下设置系统动态用来合理配比各门诊患者容量,在传统双队列独立排队系统的基础上建立动态溢流门诊排队生灭模型,并考虑患者在感性与理性因素下退出系统的概率,便于更准确地分析系统的真实状态。借助ProModel这一灵活、可靠的离散事件仿真软件,将模型可视化研究,并与传统的门诊排队模型进行对比分析。仿真结果显示,新型排队模型的队列平均长度、患者等待时间等服务指标均优于传统的排队模型。     

无定位图的预测误差差值扩展可逆数据隐藏*

将Tian差值扩展技术应用于彩色图像中,提出一种利用预测误差差值进行扩展嵌入的彩色图像可逆数据隐藏算法。针对传统差值扩展技术存在过分修改像素灰度值、须嵌入定位图等缺点,首先利用色彩分量间的相关性减小差值,并将差值扩展量分散到两个色彩分量中;其次,对直方图平移技术进行改进,使得同等嵌入率下图像质量达到最佳;最后由两个色彩分量中像素的预测值之和决定可用于扩展嵌入的像素,无须保存溢出定位图,提取端在提取信息时可无损地恢复原始图像。实验结果表明,与其他算法相比,该算法在同等嵌入率下可取得更好的图像质量,算法复杂度     

基于正交设计的黄池沟退水道弯道体型优化的数值模拟分析

为探求黄池沟退水道弯道的合理体型,采用正交设计与数值模拟相结合的方法研究了体型参数对弯道水流的影响。选取弯道宽度、弯道曲率半径、纵向坡度3个主要影响参数按正交试验设计,确定了9组正交试验方案,利用经水工模型试验结果验证的数学模型对正交试验方案进行模拟,分析了体型参数对弯道及下游陡坡段横向水位差的影响。结果表明,3个体型参数影响作用由大到小依次为纵向坡度、弯道宽度和弯道曲率半径;坡度为显著影响因素,且平坡最佳,弯道曲率半径和弯道宽度影响不显著,据此推荐合理体型参数为坡度取0,弯道宽度和弯道曲率半径采用原设计值。     

堰塞体溃决离心模型试验供水系统关键技术研究

堰塞体溃决洪水洪峰流量及洪水时程曲线特征的预测是堰塞湖应急抢险及下游风险控制方案制订的重要依据。堰塞体溃决的离心模型试验,在研究堰塞体溃决机理、溃决过程及溃决洪水的历时曲线特征方面独具优势,但离心模型试验供水系统的设计,涉及到从外部静止状态到高速旋转状态的模型中连续供水,同时还要保证堰塞体溃决过程中上游水位为设定的常水头,是堰塞体溃决离心模型试验中的关键性的一大难题。本文围绕以上难题,设计了一种环形水箱以解决从静态到动态模型的连续供水问题,通过理论分析,确定了环形水箱中可提前注入的最大水量。另外在试验箱设置了竖井式溢流口,可以排出高出设定常水头的水体,保证了上游水位的稳定。通过以上设计有效地解决了供水系统中的关键难题,并在后续堰塞体溃决离心模型试验中得到了验证。     

基于动态符号执行的C代码缓冲区溢出检测

缓冲区溢出是C程序中众多安全隐患的根源之一,以C程序代码为目标对象,提出了一个基于底层虚拟机中间代码的缓冲区溢出检测工具PathChecker.该工具基于动态符号执行方法,使用无量词谓词公式刻画缓冲区操作的安全性质,并利用可满足模型理论求解器技术检验缓冲区操作的安全性.实验结果表明,该工具能有效检测C代码中的缓冲区溢出漏洞,且易于推广至其他高级程序语言代码和其他类型安全漏洞的检测.