XiaoMi-AI文件搜索系统
World File Search System参考书目
地形建模（地貌测量学）参考书目，地形的定量表示 — 补充 4.0
地形建模是一种对地表进行量化的实践，是地球科学、数学、工程学和计算机科学的综合体。该学科有各种名称，如地貌测量学（或简称为形态测量学）、地形分析和定量地貌学。它通过水文学、地质灾害测绘、地质构造学、海底和行星探索以及其他领域的大量应用不断发展壮大。该领域名义上可以追溯到学术地理学的共同创始人亚历山大·冯·洪堡（1808 年，1817 年）和卡尔·里特（1826 年，1828 年），20 世纪后期，计算机操纵地形高度的空间阵列或数字高程模型 (DEM) 彻底改变了该领域，这些模型可以量化和描绘大面积的地表形态（Maune，2001 年）。形态测量程序通常由商业地理信息系统 (GIS) 以及专业软件实施（Harvey 和 Eash，1996 年；Köthe 等人，1996 年；ESRI，1997 年；Drzewiecki 等人，1999 年；Dikau 和 Saurer，1999 年；Djokic 和 Maidment，2000 年；Wilson 和 Gallant，2000 年；Breuer，2001 年；Guth，2001 年；Eastman，2002 年）。《地球物理杂志》的新地球表面版
地形建模（地貌测量学）参考书目，地形的定量表示 — 补充 4.0
地形建模是一种对地表进行量化的实践，是地球科学、数学、工程学和计算机科学的综合体。该学科有各种名称，如地貌测量学（或简称为形态测量学）、地形分析和定量地貌学。它通过水文学、地质灾害测绘、地质构造学、海底和行星探索以及其他领域的大量应用不断发展壮大。该领域名义上可以追溯到学术地理学的共同创始人亚历山大·冯·洪堡（1808 年，1817 年）和卡尔·里特（1826 年，1828 年），20 世纪后期，计算机操纵地形高度的空间阵列或数字高程模型 (DEM) 彻底改变了该领域，这些模型可以量化和描绘大面积的地表形态（Maune，2001 年）。形态测量程序通常由商业地理信息系统 (GIS) 以及专业软件实施（Harvey 和 Eash，1996 年；Köthe 等人，1996 年；ESRI，1997 年；Drzewiecki 等人，1999 年；Dikau 和 Saurer，1999 年；Djokic 和 Maidment，2000 年；Wilson 和 Gallant，2000 年；Breuer，2001 年；Guth，2001 年；Eastman，2002 年）。《地球物理杂志》的新地球表面版
流体动力学对排水型船体参考书目
本报告对排水型船体水动力冲击载荷的最新进展进行了全面评估。本主题从三种不同的现象出发，即砰击、波浪拍击和正面冲击。导致水动力冲击的因素是根据环境和船舶特性来定义的。冲击理论在二维和三维分析水动力模型、水弹性模型、耐波性理论、模型试验和全尺寸数据等子类别中进行回顾。确定并描述了适合分析和潜在设计应用的技术和程序，总结了每种技术和程序的特点，并介绍了与这些技术和程序相关的示例计算。本报告最后提出了未来研究的建议。
安全关键软件：状态报告和带注释的参考书目
本报告并非旨在作为任何特定技术的教程，尽管重点介绍了一些技术并进行了简要讨论。感兴趣的读者应查阅适当的文献，以获取有关使用本文所述技术的更多详细信息。最近，形式化方法在安全关键软件开发中的应用非常活跃，我们将在本报告后面概述形式化方法的类别及其使用方法。我们不专注于特定方法，因为应选择一种方法来匹配正在构建的系统。相反，我们讨论开发人员可以选择一种类型的方法而不是另一种类型的方法的选项。