云南省昭通地区水资源调查评价与水利化区划

浙江省水利水电工程费用定额及概算编制规定

晋水记忆 一个水利社区建设的历史与当下

该书是作者经过大量调研而形成的一篇学术论文。本书以晋水断流这一事件为突破点，通过对当地民众的调研与观察，展示了晋水流域的历史与当下。...

苏联战后五年计划中之水利建设

水利安全生产法规文件选编

本书共分为三个部分：第一部分收入了安全生产法律法规和国务院规范性文件共22篇；第二部分收入了水利安全生产规章和规范性文件共18篇；第三部分收入车国务院相关部门安全生产规章和规范性文件共12篇。...

水利水电工程施工工厂设计实例

本书系统全面介绍了施工组织、工厂设施、对多项工程进行了简要介绍，系统总结了施工工厂设施，并根据各项工程的特点进行技术分析和经验总结。供水利水电工程勘察、设计、施工、科研等部门技术人员和管理人员使...

模型检测

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...

环境艺术模型制作

本书结合当前国内环境艺术模型塑的主要理论和实践，讲授模型的范围、对象与特征，探寻认知、设计发展规律，培养学生手工制作能力及先进设备的操作能力。本书适用于环境设计专业的师生作为教材，也可供有兴趣的读者...

冷连轧机高速生产过程核心工艺数学模型

本书包括轧制温度，实用变形抗力，轧制规程综合优化等知识。

言语幽默的图论模型

本书提出笑话的简式图论模型，开创了研究言语幽默的新途径。基于图论的笑话文本分析模型则深入揭示了幽默理解过程的一般规律，有助于深化语言学层面上对幽默本质的认识。...