长江中下游江湖水沙调控数值模拟

以长江中下游防洪系统为对象,在大型复杂防洪系统洪水运动数值模拟基础上,成功地将面向长江中下游防洪规划论证需求的洪水演进数学模型转化为面向长江防洪系统江湖水沙调控需求的长江中下游江湖水沙调控数学模型。为适应江湖水沙调控和评估的要求,提出了基于水动力学的闸坝调度计算模式。此外,还对河网分汊泥沙分配模式进行了深入研究。通过长江中下游防洪规划及其洞庭湖区"控支强干"方案论证模拟计算,较好地解决了防洪措施蓄泄后效评估和工程优化调控模式等关键难题,为防洪规划方案的制定提供了定量依据,主要成果已应用于长江中下游防洪规划方案。

注水井双流量高效分层测调技术

常规注水井测调技术工序繁琐、测调效率低、控制精度低。介绍了一种用于分层注水井流量调配的带有双流量探头的电动流量测调技术，该技术是通过地面测试电缆将测调仪器下到井内预定位置，并使之与井下活动式流量控制器对接；通过地面控制系统驱动流量控制器，改变流量大小；再通过双流量探头计量控制器的上下流量，计算出目的层流量值，并最终调节到所需流量值。实现了地面实时监控注水井调配过程中的测试数据，自动智能调节井下流量，同步录取测试资料及所有类型配水管柱的单一层段流量测调。注水井单井测调时间可缩短到1．5d，测调误差控制在5％以内，现场应用效果较好。

微流体驱动与控制技术研究进展

随着微流体系统，尤其是生物芯片和缩微芯片实验室（ｌａｂ－ｏｎ－ａ－ｃｈｉｐ）技术的发展，微米乃至纳米尺度构件中流体的驱动与控制技术越来越引起人们的注意．由于微流体流动的影响因素众多，它的驱动和控制技术，与宏观流体相比，更为复杂和多样化．本文首先结合流体的驱动和控制技术，并着眼于微观与宏观的不同，对微流体的流动特性进行了分析，然后对目前微流体驱动与控制技术的研究进展进行了总结，对各种微流体的驱动和控制技术进行了对比，并对他们各自的优缺点进行了分析和讨论．

格模型的安全性分析

分析了格模型以及格模型的各种实施机制,指出了该模型的二类实施机制在精确性上存在的问题.同时,提出了局部安全性和整体安全性二个不同概念,指出了该模型在整体安全性上的弱点,最后论证了格模型不具有保护信息完整性的能力.

基于硬件的代码复用攻击防御机制综述

给出了代码复用攻击挟持控制流的过程,介绍了代码复用攻击防御机制研究现状。重点论述了基于硬件的防御机制,包括基于硬件的存储安全、代码指针完整性、攻击特征检查、控制流完整性、数据执行保护与隔离技术。讨论了基于硬件的防御机制存在的问题、优势及硬件与软件的关系。展望了基于硬件的代码复用攻击防御机制的发展方向:基于硬件的代码指针完整性有望成为防止控制流挟持攻击的有效手段,针对非控制数据的攻击与防御有可能成为新的研究热点,支持可配置的硬件防御架构是硬件防御的重要趋势之一。

ARM架构中控制流完整性验证技术研究

通用平台目标二进制代码运行时控制流的提取主要依赖于处理器硬件特性,或其动态二进制插桩工具,该平台的控制流完整性验证方法无法直接移植到进阶精简指令集机器(ARM)架构中。为此,基于控制流完整性验证技术,设计一种用于ARM架构,利用缓冲溢出漏洞检测控制流劫持攻击的方法。该方法在程序加载时、执行前动态构建合法跳转地址白名单,在目标二进制代码动态执行过程中完成控制流完整性验证,从而检测非法控制流转移,并对非法跳转地址进行分析,实现漏洞的检测和诊断。在ARM-Linux系统的动态二进制分析平台上实施测试,结果表明,该方法能够检测出漏洞,并精确定位攻击矢量。

面向RISC处理器的控制流认证方案

为使RISC处理器平台具备检测代码重用攻击的能力,将控制流完整性机制与可信计算中的动态远程证明协议相结合,提出面向RISC处理器的硬件辅助控制流认证方案。以开源RISC处理器为基础,扩展与处理器紧耦合的硬件监控单元,同时给出控制流认证方案的证明协议,设计用于跟踪执行路径的硬件编码方法以实现信息压缩。实验结果表明,与C-FLAT方案相比,该方案传输延时小且资源消耗少,能够保证RISC处理器控制流的可信安全。

自移式控除尘一体化系统在综掘工作面的应用

为解决煤矿开采过程中综掘工作面产生大量粉尘问题,应用了控除尘一体化技术。介绍了该系统的组成及主要特性,并对该系统在煤矿井下的现场应用及控除尘效果进行了考察,总粉尘降尘效率在97%以上,呼尘降尘效率也超过94%。该系统在煤矿井下的成功应用为治理煤矿井下综掘工作面粉尘污染问题提供了技术支撑,为煤矿工人的职业健康和煤矿的安全生产提供了有利保障。