ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明

比较了安全性模型Extended Canetti＆Krawczyk 2007（ECK 2007）与其他4个安全模型（Bellare＆Rogaway 1993（BR93）,Bellare＆Rogaway 1995（BR95）,Bellare,Pointcheval＆Rogaway 2000（BPR 2000）和Canetti＆Krawczyk 2001（CK2001））的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。     

秦代“户赋”新证

本文通过对岳麓秦简中一条金布律文的解读，证明秦代不仅确有“户赋”，而且还有很明确的有关征收“户赋”的时间和数量的具体规定，尤其是其中有关“刍”、“钱”的换算关系，给我们解读秦和汉初时期“户赋”的数量差异提供了新的材料。     

A STUDY ON HEAT AND MOISTURE STATE OF HULL LAYER FOR THERMAL INSTULATION OF A COLD STORAGE

This paper analyses the thermal moist characteristics of the hull layer beside an air layer at lower temperature in an envelope for a cold storage and presents a new method of waterproof by air layer. With test data from engineering practice, the theory on the barrier of self moisture proof at the surface sublayer of the hull layer in an attic on a cold storage is proven. The dried zone about three phase point is confirmed. It is a new knowledge for thermophysics on thermal design of a cold storage with an optimum thermal performance.     

粒状碎屑溜砂坡树根桩固砂防护技术

 粒状碎屑溜砂坡综合加固防护技术包含控制封闭砂源区、稳定砂坡体和保护砂坡脚3部分措施。从稳定砂坡体和保护砂坡脚的一般措施入手,通过野外调查和室内模型试验,探讨花管微型树根桩固砂机制、设计要点及固砂技术。     

田山一级泵站技术改造浅析

田山电灌工程是黄河下游山东境内最大的电力引黄提灌工程。文章介绍了田山泵站前池跃前底部消能、跃后上方消波和轴流泵清水润滑新装置,以及提高泵站电力功率因数综合性水泵汽蚀防护和技术改造措施,经济效益显著。对泵站建设和技术改造具有一定的实用价值。     

屋面渗漏的原因及防治

本文从结构、构造等多方面论述了屋面渗漏的原因,提出执行规范,加强质量意识,预防质量通病。     

吉林省东部山区蓝莓棚式防寒技术的研究

以美登等4个蓝莓品种为试验材料,在吉林省东部山区进行冬季棚式防寒新技术与覆土防寒效果的比较研究,结果表明：棚式防寒较覆土防寒可节约成本4 485元·hm-2,果实产量增加收益12 942元·hm-2,总体收益提高了17 427元·hm-2,经济效益十分显著。     

高中数学中不等式的证明方法

不等式的证明是高考考查的重点对象,不等式的证明方法有三角代换、换元法、反证法、放缩法等待,文章对不等式的解法进行了一些总结,希望能为读者提供思路系统地总结了不等式的证明方法.     

粒状碎屑溜砂坡桩板墙加固防护技术

桩板墙在土木工程领域应用较为广泛，但在粒状碎屑溜砂坡防治工程中的应用却不多。主要原因在于粒状碎屑溜砂坡的散体结构特征不同于一般的岩土体。首先介绍了目前一些常用的溜砂坡防治对策，指出他们存在的问题，然后根据溜砂坡的特点，推导出了砂坡土压力的计算方法，最后针对溜砂坡边挖砂坡脚边溜砂难题提出了一种解决方法。为溜砂坡灾害的防治提供了另外一种可供选择的方案。     

纳米ZnO处理对毛竹材防霉和阻燃性能的影响

在室温条件下,分别采用0.2%,1%,2%,4%浓度的纳米ZnO对毛竹试件进行处理,比较了纳米ZnO处理前后毛竹防霉性能和阻燃性能的差异。结果表明:当药剂浓度从0%提高到2%时,毛竹试件的防霉效果随纳米ZnO吸药量的增加而提高,当药剂浓度从2%提高到4%时,纳米ZnO吸药量的增加并未提高毛竹试件防霉效果;纳米ZnO处理使毛竹的霉变时间推迟2～3周,并提高了毛竹的阻燃性能。