钢管表面缺陷检测用交变漏磁检测系统

介绍基于A3515霍尔元件的交变漏磁检测系统的设计，包括检测系统的组成和测试方法。钢管裂纹的检测试验表明，该系统能很好地实现钢管表面和近表面裂纹的检测。在对缺陷信号进行分析处理的基础上，提出了基于缺陷环的识别方法。     

钢管漏磁探伤中孔洞缺陷的漏磁场分析

针对钢管孔洞缺陷进行了分析。分别从数学模型和仿真软件建模等方面对孔洞缺陷进行了漏磁场分析，并且将采集的漏磁信号进行处理，得出孔洞半径与漏磁信号之间的关系，为孔洞缺陷信号的识别提供了一定的参考依据。     

古运河浅埋暗挖超前支护效果影响因素分析

根据浅埋暗挖区工程地质条件和固结注浆原理,分析了超前小导管注浆效果不明显的主要原因,并为改善注浆效果提出了建议。     

南水北调中线石渠段渠坡衬砌滑模施工工艺

为更好地完成南水北调中线元氏1标石渠段的渠坡衬砌,采用了滑膜施工工艺进行施工,加强和改善了石渠段边坡的整体稳定性和强度,进而保证了石渠段衬砌混凝土的质量,也为类似工程提供了借鉴。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

东庄水库岩溶渗漏几个关键问题的探讨

东庄水库坝址库首2.7 km碳酸盐岩库段渗漏问题是制约东庄水库建设的关键技术问题之一,也是多方研究和争论的焦点。在回顾历次勘察和研究阶段关于岩溶渗漏问题的成果和认识的基础上,结合2010年以来开展的勘测工作和最新研究成果,对东庄水库岩溶渗漏密切相关的地下水径流场、筛珠洞泉水、深岩溶发育和悬托河等几个关键问题进行了探讨。综合勘察与研究表明,东庄坝址具备成库建坝条件,经防渗处理后,水库岩溶渗漏问题可以得到有效控制,不会发生大的渗漏问题。     

基于漏磁原理的钢丝绳探伤仪影响因素研究

介绍了钢丝绳探伤仪漏磁检测原理,并使用有限元分析方法分析了传感器零件的材料、钢丝绳的提离距离及断丝根数等对基于漏磁原理的钢丝绳探伤仪检测结果的影响。分析结果表明,提离距离、断丝根数等因素对探伤仪检测结果影响较大,断丝角度、深度等因素影响较小。     

Privacy leakage on the Web: Diffusion and countermeasures

Protecting privacy on the Web is becoming increasingly complicated because of the considerable amount of personal and sensitive information left by users in many locations during their Web browsing and the silent actions of third party sites that collect data, aggregate information and build personal profiles of Internet users in order to provide free and personalized services. On the other hand, most of people are unaware that their information may be collected online, and that, after their aggregation from multiple sources, could be used for secondary purposes, such as linked to allow identification, without user’s notice.     

浅谈混凝土重力坝上游面土工膜防渗技术

由于设计、施工、管理等种种原因,我国早期兴建的混凝土坝坝体渗漏问题严重,亟待加固处理.PVC复合土工膜在坝体防渗加固处理中具有施工方便、造价低、工期短、不受气候条件影响、节省工程量等优点.对混凝土坝体上游面设置土工膜防渗施工技术进行分析论述,采用PVC复合土工膜防渗处理,防渗效果良好.     

Lyapunov-based boundary feedback control in multi-reach canals

This paper presents a Lyapunov-based approach to design the boundary feedback control for an openchannel network composed of a cascade of multi-reach canals, each described by a pair of Saint-Venant equations. The weighted sum of entropies of the multi-reaches is adopted to construct the Lyapunov function. The time derivative of the Lyapunov function is expressed by the water depth variations at the gate boundaries, based on which a class of boundary feedback controllers is presented to guarantee the local asymptotic closed-loop stability. The advantage of this approach is that only the water level depths at the gate boundaries are measured as the feedback. Supported by the National Natural Science Foundation of China (Grant Nos. 60504026, 60674041), and the National High-Tech Research & Development Program of China (Grant No. 2006AA04Z173)