第1章 绪论

这是一项重大错误，人在未掌握数据之前进行理论推断。不知不觉中，人们开始曲解事实以适应理论，而不是调整理论以适应事实。

——阿瑟·柯南·道尔爵士的《波希米亚丑闻》中的夏洛克·福尔摩斯。

在第1章和第2章中，我们总结了建模过程并讨论了建模目的以及构成数值模型基础的概念模型。第3章简要回顾了地下水流建模中使用的微分方程和边界条件，以及解析、解析元素和数值模型（有限差分、有限元和控制体有限差分）的解法。我们还讨论了代码选择和执行，以及计算得出的水量预算。

第一章 绪论

1.1 模拟的动机

水文地质学家经常被问及关于地下水流系统和地下水资源管理的问题。以下是这些类型问题的代表性样本。

**华北平原：**
未来100年内，抽水对华北平原的地下水位会有何影响？

**美国威斯康辛州麦迪逊：**
拟议的土地利用变化将如何影响美国威斯康辛州麦迪逊地区湿地和溪流向地下水排泄？

**努比亚砂岩（埃及和利比亚）：**
未来50年内，与引水相关的水管理决策将如何影响埃及和利比亚的努比亚砂岩地区的地下水位？

**美国威斯康辛州北部温带森林：**
气候变化将如何影响美国威斯康辛州北部温带森林的地下水位和向地表水体的地下水排放？

**圭亚那开采湖泊：**
在圭亚那由于露天矿业而形成的湖泊，抽水作业停止后，需要多长时间达到平衡状态？

**奥地利格拉茨供水井田：**
供给奥地利格拉茨市政供水的井田的捕获区域是多少？

**墨西哥城垃圾填埋场：**
在墨西哥城的垃圾填埋场下部的黏土衬里潜在泄漏，需在何地何时取地下水样品进行检测？

**东京废弃工业场地：**
来自东京废弃工业场地的污染物渗入地下水，需多长时间达到产权边界？

回答这些表面上简单的问题需要大量特定的水文地质信息和分析，以及一般的水文地质知识、洞察力和专业判断。即使是相对简单的地下水问题，也需要含水层参数和水文应力（如抽水和补给速率）的数值。

地下水模型为综合场地信息和概念化水文地质过程提供了量化框架。模型所强加的组织结构有助于模型师发现假设错误和以前未考虑的过程。换句话说：“应用模型是一种思考系统运作方式的练习”（Anderson，1983）。因此，数学建模应该在每项涉及非平凡问题的水文地质研究开始时进行（例如，请参见Bredehoeft和Hall，1995）。

Toth（1963）为建模提供了令人信服的理由，这在今天仍然有效：“鉴于几乎不可能分开观察与地下水流动制度有关的所有现象，一种正确的理论揭示了每个特征并引起对流动最重要特性的注意。”或者换句话说，考虑到地下是被遮蔽的，而分析受到缺乏现场观察的阻碍，模型是对地下水系统进行有根据的、定量分析以及对拟议行动后果进行预测的最有力描述。

Toth（1963年）提出了建模的令人信服的理由，至今仍然有效：“尽管单独观察与地下水流有关的所有现象几乎是不可能的，但正确的理论可以揭示每一个特征，并引起对流动最重要性质的关注。”换句话说，鉴于地下埋藏深处不易被观察，而且分析受到缺乏现场观测的限制，模型是对地下水系统进行有根据的和定量分析以及预测所采取行动后果的最可靠描述。

因此，尽管并非所有水文地质问题都需要模型，但几乎每个地下水问题都会受益于某种类型的模型，即使仅仅是作为组织场地数据和测试概念模型的一种方式。对于“为什么建模？”的问题的一个推论就是“如果不是模型，那么是什么？”在本书的第一版中，我们讨论了当时文献中关于模型价值的争论。如今，地下水模型已被公认为解决地下水问题的基本工具。

1.2 什么是模型？

模型是对复杂自然界的简化表达。例如，一张道路地图就是一种模型（Wang和Anderson，1982）；它以简化的方式描绘了复杂的道路网络，用于导航目的。同样，地下水系统的概念模型通过书面文字、流程图、横截面、块状图和表格的形式对水文地质学的了解进行了简化和总结。概念模型是基于现场信息和类似场地的已有知识（第2.2节）的表达，对系统过去和现在的状态进行了概括。更为强大的地下水模型是在时空中定量地表示了地下水文地质条件的简化表达中。广义而言，地下水模型可分为物理（实验室）模型和数学模型。

1.2.1 物理模型

物理模型包括实验室中的水槽和装有多孔材料（通常是沙子）的柱状容器，其中直接测量地下水位和流动。例如，在先驱性的工作中，达西（1856年）测量了各种直径和长度的沙填充柱中的水头，以表明多孔介质中的流动与水头梯度呈线性关系。物理模型主要用于实验室规模（例如，Mamer和Lowry，2013；Illman等，2012；Sawyer等，2012；Fujinawa等，2009）。类比模型是依赖于电流流动（电类比模型；例如，Skibitzke，1961）或粘性流体流动（Hele-Shaw或平行板模型；例如，Collins和Gelhar，1971）来表示地下水流动的实验室模型。地下水流动的类比模型，特别是电类比模型，在数字计算机广泛