伪随机流场法在堤坝渗漏探测中的应用与研究

伪随机流场法具有快捷、直接、精确有效等优点,逐步成为堤坝渗漏探测的主流方法。利用该方法,在漏水区域、库区无穷远段进行高压供电,库区内网格状布置测点,可查找渗漏入水点。通过对各异常区域的区域面积、异常区域内各测点的异常平均值以及对于严重渗漏的临界值进行计算,可判断水库渗漏通道和各渗漏点的渗漏量比例。此外,由于该方法快速便捷的特点,可以运用该方法进行实时监测。应用于某混凝土面板堆石坝的探测结果表明,利用堤坝周边已经存在的监测孔或在灌浆帷幕下游进行钻孔,进行伪随机电位差或者电流测试,可在无损条件下判断渗漏来源和通道发育方向,检测防渗处理效果。该方法可为堤坝渗漏监测预警、拟定防渗处理方案提供依据。     

基于层面参数等效的碾压混凝土坝渗流场与应力场耦合分析

受施工、龄期、环境及服役期大坝承受的反复静动荷载等多因素影响,坝体和层面出现不同程度的劣化损伤,碾压层本体及层面物理参数呈渐变特性。针对碾压层内力学参数渐变的特性,提出了相应物理参数的等效算法,且给出了耦合性态参数间的数学转换关系,分析坝体应力场与渗流场相互影响机理,据此建立了考虑层内参数渐变的碾压混凝土坝渗流场与应力场耦合分析模型,并编制了相应的有限元分析程序。工程实例分析表明,耦合作用致使大坝的渗流场发生改变,坝体的应力较未耦合时普遍偏大,坝踵处的应力集中显著;渗流场与应力场耦合作用激励下的不利因素可为大坝的设计、施工及安全运行提供参考。     

分离有机水溶液的聚离子复合膜（Ⅱ）

本文研究用聚离子昨合膜进行渗透汽化分离乙醇水溶液的特性，探讨了进料温度、浓度、膜后压力，进料液循环量等操作条件对膜分离性能的影响。     

观音岩水电站厂房坝段接缝灌浆工艺

观音岩水电站装机容量 3 000 M W, 为一等大( ? ) 型工程。厂房坝段设置 5条横缝, 分为 6 个坝段。通过接缝 灌浆, 极大的改善厂房坝段受力条件, 提高大坝结构整体性和耐久性。结合观音岩水电站现场施工条件, 从施工角 度论述了接缝灌浆的施工工艺以及施工过程中可能存在的问题及处理方法。     

坝体坝基渗水及其析出物对大坝影响分析

坝基坝体渗水对大坝安全运行有不利影响。本文采用现场检查、水样试验、析出物试验、资料分析等手段,对碾压混凝土坝运行期渗水及其析出物对大坝的影响进行了较全面的分析,并提出了运行期需关注的问题。     

拱坝表孔泄流下游消能防冲形式的试验研究

摘 要：针对中型拱坝下游消能防冲形式的选择问题,通过物理模型试验,对比分析了长护坦防护、水垫塘+二道坝和短护坦先冲后护三种布置形式下相应的水力学指标。试验结果表明：长护坦方案时,水垫塘内水流流态较差,底板和护岸易失稳破坏;水垫塘+二道坝方案时,水流流态和各项水力学指标满足要求,但水垫塘和二道坝的造价较高;短护坦先冲后护方案时,冲坑位置及深度均在允许范围内,该方案的应用会受到拱坝下游地质条件的制约。依据短护坦先冲后护的试验成果,提出初步确定短护坦防护范围的方法。本工程下泄的单宽流量较小,根据试验成果及类似工程经验,并结合坝址地质和工程造价因素,推荐消能工布置方案为“短护坦先冲后护”方式。     

对震后沙牌拱坝坝肩动力稳定性的再分析

沙牌RCC拱坝是少数经受了大地震考验的百米级高坝实例之一,对其坝肩动力稳定性的再研究意义重大。本文综合有限元法与刚体极限平衡法的优势,提出极限累积位移公式作为滑块失稳判据,开展了两种地震波作用下的沙牌坝肩动力稳定分析并对5.12地震反演的人工波开展了拱坝坝肩稳定性超载分析。结果表明,在反映5.12地震的人工波（ah=2.05 m/s2）作用下,沙牌左右坝肩稳定,与实际地震效应一致。在设计波（ah=5.31m/s2）作用下,沙牌左岸坝肩将失稳,而右岸仍稳定。进行人工波超载分析时,左岸坝肩滑块L1、L2分别经受3.2、3.6倍人工超载波时会发生滑移失稳;右岸坝肩滑块则在4.2倍超载波作用下滑移失稳。此次沙牌坝肩动力稳定再分析考虑了滑块滑移方向及安全系数瞬态变化对滑块累积位移的影响,更真实地反映了沙牌拱坝坝肩滑块滑移规律,为工程实际中的坝肩动力稳定分析提供了一个新思路。     

基于虚拟磁盘的携带型操作系统加密方案

针对移动硬盘的加密系统分区无法被正确辨识而导致误格式化的问题,应用文件系统过滤驱动技术,结合硬盘主引导程序及分区表机理,对现有的基于虚拟磁盘的移动硬盘加解密方案进行了改进,在加密分区包含可运行操作系统的情况下,增加了盘符自动隐藏及恢复的功能。以开源加密软件Truecrypt为例,利用安装了视窗操作系统的固态移动硬盘进行测试。结果表明,在不影响加密操作系统正常运行的同时,盘符自动隐藏及恢复功能避免了用户的误格式化操作,从而提高了移动硬盘加密系统分区的安全性和隐蔽性。     

基于Zedboard的嵌入式自动调谐系统设计

基于Xilinx首款融合ARM Cortex A9双核与FPGA的全面可编程片上系统完成广播自动调谐控制系统的设计。介绍了Zedboard片上系统的硬件结构,利用芯片的ARM硬核完成了嵌入式Linux操作系统的移植,设计完成了广播自动调谐系统的Qt GUI并在操作系统上移植,逻辑设计与应用程序集成在芯片上实现整个系统的设计。     

安全关键系统的栈空间分析研究

由于存储空间异常引起的系统故障,系统开发或维护人员很难从失效特征直接判断到根原因。另外,存储空间异常通常会引起整个系统崩溃,对于安全关键系统,如航空电子系统,系统的失效往往会引起坠机或人员伤亡,因此,对安全关键系统的空间分析显得尤为重要。由于系统栈空间的分析涉及系统动态运行状态,在程序的任意点都有可能被中断服务程序或实时操作系统的其它任务中断。此外系统的栈分析需要基于目标码等特性,再次增加了对于系统栈空间分析的难度。本文从栈空间分析的必要性出发,提出一种综合中断抢占图的栈分析理论和方法,并就安全关键系统如何保证栈空间使用的确定性进行论述。最后,就安全关键软件系统FCOS的栈空间分析过程进行详细的阐述。