论文部分内容阅读
本刊讯目前，国家发展改革委、水利部、住建部联合印发了《水利发展规划（2011～2015年）》。《规划》确定“十二五”期间水利建设主要任务为：一是突出加强农田水利建设；二是着力加强防洪薄弱环节建设；三是大力提高城乡供水保障能力；四是加快构建水生态安全保障体系。
“十二五”水利发展规划明确四项建设任务
【摘 要】
：
本刊讯目前，国家发展改革委、水利部、住建部联合印发了《水利发展规划（2011～2015年）》。《规划》确定“十二五”期间水利建设主要任务为：一是突出加强农田水利建设；二是着力加强防
【出 处】
：
墙材革新与建筑节能
【发表日期】
：
2012年7期
其他文献
本刊讯安徽省铜陵市人大代表刘先进等十余名代表联名提出《大力推广、开发新型墙体材料促进产业快速发展》的议案。日前，铜陵市人大财经委主任陈玉国一行五人来到市墙改办听取
葡萄酒中的亚硫酸盐,不但会影响葡萄酒的风味,而且对人体健康不利,尤其对过敏体质者和哮喘病人,会诱发一些身体问题。针对葡萄酒中的亚硫酸盐危害问题,该文对菠菜提取物去除
在约定通信协议的情况下，本文给出主／从分布式多机通信系统程序的状态机模型，分析表征状态机的5个参量的求解方法，讨论源代码实现的基本框架结构。
近年来,国内外学者对FRP约束普通混凝土柱方面的研究居多,对FRP约束再生混凝土柱方面的研究较少。本文分析了FRP约束再生混凝土柱在轴压、偏压、循环加载方式下的力学性能,以
摘 要：在当今信息社会中，程序质量是一个具有重要意义的热点问题。基于契约的程序设计是提高程序质量的重要且有效的技术，但是形式化契约的制定是一件十分困难的工作，因此软件质量保证问题一直是令人困扰的难题。本文介绍契约式程序设计的基本概念与方法，并在此基础上，提出利用契约进行程序动态分析的主要思路及其基本过程并给出简单实例，从一种新的维度来思考保障软件质量的方法。 关键词：契约；断言；程序不变量；程序
本刊讯近日，科技部、发改委、工信部、环保部、住建部、商务部和中科院等国务院七部门联合印发《国家废物资源化科技工程十二五专项规划》。《规划》明确提出了“十二五”期间