寒区河道护岸工程形式与施工方法初探

对于寒区河道工程来说，采取相应的护岸工程形式与施工方法来保证河道工程的正常使用，预防因渗漏或冻胀而给工程带来的隐患，提高河道工程质量，促进整个河道的正常使用。

基于Event-B和Rodin开展形式化软件工程教学

形式化软件工程是软件工程的重要组成部分。Event-B方法是一种软件形式化开发方法,Rodin是支持Event-B方法的开放工具集。基于Event-B方法和Rodin开展形式化软件工程教学,有益于学生正确理解精化等重要的软件工程概念,理解并掌握开发可信软件的方法,是软件工程教学的重要补充。

航空机载嵌入式控制软件需求建模的形式化工程方法

嵌入式控制软件是现代航空飞行器的核心部件之一。构建软件需求的形式化规约精确地刻画人们对软件期望的功能和运行场景,是确保此类安全攸关软件质量的根本途径。在工业界,形式化需求建模的大规模应用尽管有成功的案例,但仍面临众多的困难。其根本性难点在于缺少一种系统化的工程方法来引导工业界软件实践者,从原始需求开始最终完成形式化需求规约,并能确认该规约真实、充分地反映了人们对软件期望的功能。针对上述挑战,提出了一种面向机载控制软件需求建模的形式化工程方法ACSDL-MV,以形式化方法为理论基础,结合软件需求工程的基本原理,引导工程人员从原始需求出发以演化式的过程逐步完成需求规约的构建;定制了航空控制软件的形式化描述语言ACSDL,用以构建形式化规约;为了确认软件需求规约准确、充分地描述了人们对软件期望的功能,该方法给出了基于图形的静态审查和基于模型的动态模拟技术。在航空发动机公司中的实验结果表明,该方法相比传统方法探测到了更多的潜在错误。

基于Coq的逆矩阵运算的形式化

矩阵是一种在计算机科学中应用广泛的数据结构,其运算正确性具有重要意义。矩阵求逆在矩阵形式化工作当中缺乏合理且实用的形式化工作。其原因在于,工程中现有的两种常见求逆方法的形式化均存在难点。第一种是基于伴随矩阵求解方法,难点在于无法形式化地表示n*n矩阵的子矩阵,导致构建余子式组成的矩阵十分困难,因此难以实现伴随矩阵求解逆矩阵形式化;第二种称作高斯约旦初等变换求解法,难点在于构造初等矩阵及其操作函数。若使用Coq归纳结构设计操作函数,即采用行优先填充二维表的思想,将舍弃列维度对二维表的描述信息,使得操作函数分支过多,需要设计复杂的归纳结构,导致后续形式化验证无法进行。文中提出了基于记录的矩阵函数构建法,使用行列两种维度同时描述矩阵,使得构造并证明初等矩阵成为可能,在此基础上实现了在Coq系统中基于高斯约旦消元法的矩阵求逆的形式化工作。以一种代价更小且时间复杂度更低的方式,实现了首个形式化验证下的软件逆矩阵函数库。

土工合成材料防洪护岸工程施工工艺研究

根据多年来辽宁省辽河、鸭绿江流域200多处应用土工合成材料防洪护岸工程技术研究与推广成果,论述了土工合成材料防洪护岸工程的结构型式,土工织物软体排的制作和施工工艺,以及砂堤砂基土工膜防渗施工机械和工艺。尤其是软体排冰期施工工艺以及液压传动锯槽式铺膜机填补了土工合成材料施工技术的空白,为类似工程提供了新方法。

边坡工程稳定性及处治对策

边坡是自然或人工形成的斜坡．是人类工程活动中最基本的地质环境之一．也是工程建设中最常见的工程形式。作为全球性三大地质灾害（地震、洪水、崩塌滑坡泥石流）之一的边坡失稳塌滑严重危及到国家财产和人们的生命安全。随着我国基础建设的大力发展．在矿山、水利、

中小型农田水利工程质量管理探讨

中国水利中小型农田水利工程形式多样，包括蓄水工程、灌区工程、提水工程、防洪除涝工程等。工程项目数量多，长期存在着单项工程投资小质量差，老化严重，有些地方产权不清、管理主体缺位等问题，严重影响了农业生产的发展。

对昔阳县发展雨水集蓄利用工程的探讨

昔阳县水资源严重缺乏,已成为昔阳县经济发展的桎梏,因此发展水利消除经济发展的瓶颈已成为当前迫切需要解决的重要问题,而发展雨水集蓄利用这样的微型水利工程前景良好,它不仅可以带动农业经济发展的经济效益,而且还具有显著的生态效益和社会效益。

苔碧河山洪沟防洪治理工程措施及成效

突发的山洪灾害,严重威胁了河道沿岸的村庄、农田、道路、桥梁,成为制约山丘区社会经济发展的瓶颈,因而,其治理工作刻不容缓。苔碧河山洪沟治理选用了3种不同的护岸形式,分别为绿滨垫护坡结合固滨笼护脚的生态护岸、上下双层混凝土挡墙结合固滨笼护脚的生态挡墙、固滨笼护脚结合植物护坡的生态护岸。河道整治后将使干流水系基本功能得到有效恢复,水环境、生物栖息的自然条件得到明显改善,使河流生态健康发展;当地村民的居住环境和生产生活条件得到改善,生活质量大大提高,有助于保障社会区域稳定;完善了区域防洪排涝减灾体系,有效减低山洪灾害造成的损失,社会效益、生态效益、经济效益显著。

要加强饮水安全工程建后管理

农村饮水安全工程形式多样、规模不同，其管理体制不能千篇一律，一刀切，只能根据工程投资渠道及建设规模，实行不同的管理体制。以国家和集体投资为主新建的乡镇集中供水工程和跨村工程，由供水工程管理站或供水公司负责管理。供水工程管理站或供水公司由县水务局负责组建，成员由水务部门和受益镇、村代表组成。

水乡河网生态护岸结构形式探讨

本文从江南水乡河道生态岸线治理实际出发,对众多河道护岸的形式特征和利弊进行了分析,着重介绍了用于生态护岸建设的多元化空腔砌块的特征及功能。提出了因地制宜地选择合适的护岸形式的观点,探讨了护岸治理工作中应注意的一些问题,为可持续发展实施生态河道建设提供参考。

谈谈几种治河工程型式的作用

汾河下游临汾地区多年来，大搞河道治理，取得了显著成效，在“８８．８”、“９３．８”、“９６．８”较大洪水过程中，发挥发重大防洪效益，在认真总结的基础上，从实际观察的角度浅显地对汾河下游常见的几种治理工程的基本形式和作用进行了阐述和分析。

自压管道输水工程

自压管道输水灌溉是以管道代替明渠输水灌溉的一种工程形式。自压管道输水减少了输水过程中的渗漏与蒸发损失，井灌区管道系统水利用系数在0．95以上，比土渠输水节水30％左右，节能20％～30％。渠灌区采用管道输水后，比土渠节水40％左右。

浅谈提高水利工程施工质量的措施

随着经济社会的飞速发展，人们生产、生活用水要求的日益提高，水利工程形式多样、点多面广。由于人员、材料、环境、机械、方法等因素，严重制约了水利工程的施工质量，凭本人十五年来基层水利工作经验，在水利工程施工中的感悟，谈谈提高水利工程施工质量的措施。

山区农村饮水安全工程模式探讨

山区农村饮水安全工程要在统筹规划的基础上，按照“先急后缓、先重后轻、突出重点、分步实施”的原则，遵循有关程序和要求，通过加强对水源检测化验，选用适合的工程形式，重点解决水质达标的问题。为保障农村饮水安全，各地应根据当地自然条件和经济社会发展状况，因地制宜地新建集中供水设施和净化处理设施。在项目的实施中，前期规划工作要扎实，技术方案要合理。建后管理措施要到位。

冲桩挂笆在总干渠渠道治理工程中的应用

总干渠是解放初期人工开挖渠道 ,经过近 5 0年的灌溉运行 ,渠道处于自然冲刷状态 ,且渠道“河化”严重。从 1976年起 ,总干渠管理局就针对以上情况进行渠道治理 ,摸索出了一套适宜总干渠渠道治理的工程措施——冲桩挂笆。目前 。

创新运行机制 规范工程管理 实现农村供水工程的可持续利用(摘要)

伊犁的农村供水工作起步于1976年。在此以前，广大农牧民都是在“冬化冰雪，夏靠沟渠，春秋没水愁断肠”的境况下度日的。缺水，致使“介水传染病”和“水致地方病”频频流行。1995年以来，在实施农牧区人畜饮水改水防病规划的大好形势下，步入了发展的快车道。特别是2000年以来，我们响应党中央、国务院的号召，把解决农村饮水困难作为贯彻落实“三个代表”的具体行动，下大力气实施农村饮水工程，创新工作思路，创新工程形式，创新管理机制，