立足实际创新思路努力搞好雨水资源集蓄利用

水资源问题已经成为全球关注的热点，成为未来经济和社会能否实现可持续发展的重要前提条件，对于严重缺水地区尤其如此。甘肃省是中国北方地区一个水资源严重短缺的省份，干旱缺水不仅给甘肃省经济社会的发展带来明显制约，而且在相当一部分农村造成人畜饮水严重困难。近些年来，甘肃省在利用集蓄雨水资源解决人畜饮水、发展节水高效农业和推动生态环境建设方面进行了积极的探索和实践，不仅较好地解决了雨水利用中集流形式、储存方式、利用模式三大难题，还大面积地在半干旱地区推广应用了新型雨水集蓄利用技术，建设了大量的各类雨水集蓄利用工程，实现了雨水资源的广泛利用，创出了一条适合干旱半干旱地区的兴水治旱新路子。雨水利用已发展成为甘肃省干旱半干旱地区解决缺水与水资源危机的一项重要措施，产生了显著的经济和社会效益，引起了国际社会的极大关注。     

潜水位以下沉箱封闭法施工技术

某宾馆会议楼工程基础施工时，与相邻楼房(高53m)最近处仅2m，该楼房基底标高为-7．100m；而新建会议楼基底标高为-9．200-11．450m，稍有不慎即可能引起相邻楼房不均匀沉降或会议楼基坑相邻地段土体隆起。     

关于测度的扩张及其完备化

给出测度的扩张，且对测度的完备化，作了进一步的补充。     

Constructive Sets in Computable Sets

The original interpretation of the constructive set theory CZF in Martin-Loef‘s type theory uses the‘extensional identity types’.It is generally believed that these‘types’do not belong to type theory.In this paper it will be shown that the interpretation goes through without identity types.This paper will also show that the interpretation can be given in an intensional type theory.This reflects the computational nature of the interpretation.This computational aspect is reinforced by an ω-Set moel of CZF.     

采用顶板巷抽放采场瓦斯的效果分析

通过对顶板瓦斯巷抽放采场瓦斯的理论分析与实践，得出了顶板瓦斯巷抽放瓦斯的适用条件及抽放巷布置的合理层位，为该法在类似条件矿井的推广应用提供了有益的技术经验。     

大型储液池土工膜防渗设计方法探讨

在大型储液池构筑物中采用土工膜防渗是一种经济、合理、可行的技术措施。但是与其他防渗形式的建筑物相比，土工膜防渗的建筑物抗浮稳定问题更突出。如果对于土工膜防渗大型储液池采用传统的抗浮措施，不仅设计，施工困难，而且费用昂贵因此，寻求一种积极主动，便于施工，投资少的合理的抗浮措施，是土工膜防渗技术应用的关键。本文结合某热电厂１２万ｍ＾３的备用水池的工程设计，通过土工膜防渗方案的比较，提出一种浮力可控水池