复合土工膜水平防渗的应用

结合南水北调配套工程大宁调蓄水库工程试验研究成果,总结了复合土工膜水平防渗工程的铺设原则、施工工艺、施工技术要求和质量检查验收过程中的经验和教训,对同类工程施工具有重要的参考意义。     

透水模板布在南水北调配套工程 团城湖调节池工程中的应用

在南水北调配套工程团城湖调节池工程护坡混凝土挡墙二期施工中使用透水模板布,总结了模板布的使用方法,并对其使用效果进行了探讨,透水模板布应用后提高了混凝土的强度、耐久性及外观质量。同时着重介绍了由于施工不当造成的质量通病及应对措施,为同类工程施工提供借鉴。     

修正的模糊综合评判法在地下水水质评价中的应用

模糊综合评判法在水质评价中越来越为更多的环境水文地质工作者所采用,但在地下水质量评价中存在确定隶属度问题和模糊数学综合评判法的复合运算问题。通过对存在的问题进行简单的处理,对评价方法加以修正,并将修正前后的方法应用同一案例,进行评价效果对比。结果显示,由于所采用的案例区域地下水水质较差,因此导致评价结果与改进前的"相乘取大"和"取小取大"算子相似性较强,但评价结果仍显示,改进后的方法更为真实的反映了地下水水质状况,方法可行,评价结果可信,有一定的借鉴意义。     

基于有限约束满足问题的溢出漏洞动态检测方法

溢出型漏洞是最为普遍且最具危害的漏洞类型之一,溢出漏洞检测也是目前国内外研究的热点问题.目前漏洞检测方法主要分为白盒测试和黑盒测试两类.前者主要针对程序指令进行漏洞分析,但存在效率较低、检测结果不准确等缺点;后者难以保证程序覆盖的全面性与测试数据的针对性.文中提出了一种基于有限约束满足性问题(Constraint Satisfaction Problem,CSP)的溢出漏洞动态检测方法.在程序执行过程中,结合动态污点传播和动态循环分析,选取可能产生溢出漏洞的语句并生成CSP表达式,表达式包括语句的执行条件和漏洞产生条件两部分;通过对此CSP表达式化简求解,验证漏洞的存在性与漏洞的触发条件.该方法可直接分析可执行程序,解决了间接跳转、多态代码等静态分析中难以解决的问题.为了验证该方法的有效性,作者开发了一套原型系统并进行相关实验,结果表明该方法缩小了漏洞分析范围,提高了分析效率.     

近300年来北京地区降水的变化特征

利用数理统计学方法计算了北京地区1724年至2009年间降水的年际、年内统计特征,多年降水平均值为601.8 mm、均方差为196.7 mm、最大值为1 406 mm(1959年)、最小值为242 mm(1869年)。涝、偏涝、正常、偏旱和旱年分别为23 a、28 a、172 a、58 a和5 a。年降水与4个季度降水量的相关系数依次为:0.055、0.456、0.942和0.177。降水主要集中在6-8月份,多年的统计表明其所占比例呈下降趋势。线性拟合的结果表明:近100多年以来,北京地区的降水呈总体下降趋势,下降速率为0.89 mm/a。自相关分析表明:年降水系列的是相对独立的系列,相依性弱。Q-Q图分析和K-S检验表明:在90%的置信水平内降水系列符合正态分布,但是在95%的置信水平内,其则不符合正态分布。     

辫群上的不经意传输协议*

量子计算的快速发展给基于整数分解或离散对数问题的密码协议带来严重威胁。为了研究抵抗量子分析的密码协议,基于非交换的辫群提出了一个2取1不经意传输协议,并将其扩展为N取1不经意传输协议。在共轭搜索问题和多重共轭搜索问题难解的前提下协议能同时保证发送方和接收方的隐私性。     

基于双重离散对数DAA协议的设计*

TCG 规范中的DAA(direct anonymous attestation)方案以CL 数字签名(Camenisch and Lysyanskaya signature scheme)为基础,结合了群签名和零知识证明等技术来实现直接匿名证明,其安全性是基于大数分解难解问题。随着计算机性能的提高和密码学的发展,基于大数分解难题问题很可能被攻击,相应的DAA方案也就变得不再安全,而基于椭圆曲线上的离散对数和素数域上的离散对数（双重离散对数）的算法可以使用较短的密钥,实现较高的安全性。正是基于双重离散对数     

地下水污染风险评价指标体系及方法探讨

地下水污染风险评价与区划是区域地下水资源保护的重要依据。分析了国内外地下水污染风险评价的研究进展和存在的不足。从地下水污染风险的定义入手,综合考虑地下水固有的脆弱性、外界胁迫脆弱性和地下水资源预期损害性,建立了地下水污染风险评价指标体系,并简要介绍了基于灾害风险理论的地下水污染风险评价方法。     

项目研发管理看板式监控系统关键技术

针对企业主管部门对项目研制生产的监控问题,设计了管理看板的两层结构,建立了看板式监控系统.系统采用层次分析法(Analytic Hierarchy Process,AHP)和模糊综合评判相结合的方法对发生的问题关键度进行排序,将关键度高的问题优先反馈给上级主管部门,优先协调解决.结果表明,该方法有效地保证了项目的顺利执行.     

北京基岩水开采对地面沉降的影响

过量开采地下水造成的地面沉降问题已经是北京市平原区主要的地质灾害之一。论文选择小汤山和后沙峪地区为典型研究区,通过分析研究区基岩水开发利用状况,开展基岩水开采引起地面沉降的研究。运用简化的弹性模型评估基岩水开采造成的弹性变形量,结果表明,从1974年截至2010年,小汤山地区地热田总净开采量约9 400万m3,引起的地面弹性变形量约为1.02cm;小汤山地区岩溶水年均开采3 000万m3,年均形变量约0.32cm。后沙峪地区通过估算获得近似值,1961年-2011年期间由于第四系地下水的开采造成的基岩变形量约为1.09cm。