跳到内容
返回探索
数学建模 / 英语

#1 理解元胞自动机模型及所需输入数据

Pratyush Tripathy · YouTube · 4:42

打开原视频
阅读与收藏

把讲解展开来看。

已审核学习内容 · 视频分析 · 中文
阅读完整概览

本视频片段介绍了元胞自动机(CA)建模在空间分析中的基本概念,特别应用于城市增长模拟。首先展示所需的输入数据集,包括土地覆被图、距中央商务区(CBD)及主要道路的距离图、坡度图和人口密度图;随后将栅格数据集定义为一个像素网格,其中每个像素的数字值(DN)代表某一类别;最后阐释CA的核心机制:一个核(移动窗口)扫描整个栅格网格,依据某像元的邻域状态决定其未来状态,并指出因边界像元缺少完整邻域,故被跳过处理。 这个120秒的片段讲解了一个名为‘模型算法’的元胞自动机土地变化模型。一个大型主栅格图像与四个标注为‘道路距离’、‘中心商务区距离’、‘人口密度’和‘坡度’的辅助栅格图像逐像元进行比对。主讲人指出,该模型会检验每一图层中对应像元的值是否超过用户设定的阈值;若满足该条件,则将该像元值替换为1,表示建成区扩张。动画从第1步推进至第4步,期间不同测试像元被依次高亮,以展示逐像元顺序处理的过程。随后,主讲人说明这些小型矩阵仅为简化示例,其行列数与真实数据完全一致。临近结尾,演示切换至‘结果栅格’幻灯片,继而展示一幅涵盖卫星影像、实际土地利用/覆被(LULC)及模拟LULC的多年对比图,时间点分别为1994、1999、2004、2009和2014。在此图之上,主讲人介绍了隐藏式试算验证方法:使用1989年的土地覆被图预测1994年的土地覆被,评估精度,调整阈值,并重复该过程,直至达到预期精度。 本视频片段讲解了用于城市增长预测的元胞自动机模型的校准与应用方法。通过展示从1994年到2014年的土地利用/土地覆被(LULC)地图可视化网格,主讲人详细说明了一种迭代过程:利用真实的历史土地覆被数据训练模型并确定转移阈值;模型训练完成后,最新的LULC地图(2014)作为基准,用于预测未来城市扩张。主讲人还特别澄清:预测的时间步长具有灵活性,无需与历史训练数据的5年时间间隔保持一致。

在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。

章节

0:00引言与桌面视图0:19城市增长模拟的输入数据图层0:46栅格数据基础1:22元胞自动机算法:第1步与核2:00输入图层与阈值规则2:21从第1步到第4步的逐像元处理2:44为何以小型矩阵形式展示这些矩阵3:00元胞自动机工作流程概述3:20结果栅格预览3:22隐藏式试算验证与多年土地利用/覆被(LULC)对比4:00迭代式校准与预测过程4:10时间步长的灵活性4:20使用训练好的模型进行未来预测4:32总结与后续步骤

学习解说文稿

依据视频画面与讲解整理,并非逐字语音转写。

视频以标准Windows桌面界面开场,背景为橙色抽象壁纸。左侧可见多个图标,包括“回收站”、“PowerPoint”以及一个名为“Pratyush Tripathy”的文件夹。底部任务栏显示时间为11:25,日期为12-08-2019。鼠标光标短暂出现并移至屏幕中右区域。该开场画面为后续的空间建模讲解奠定场景基础。

画面切换至题为《本研究中使用的栅格数据》的PowerPoint演示文稿。首张幻灯片以两列形式排列六幅小地图,标注年份分别为1989、1994、1999、2004、2009和2014。这些地图呈现不同时期的土地覆被变化,图例标明类别如“建成区”(红色)、“植被”(绿色)、“水体”(蓝色)及“其他”(黄色/米色)。右侧一幅较大地图标题为“距中央商务区(CBD)距离(千米)”,显示以标注“CBD”的中心点向外辐射的同心彩色环带,图例范围为5,000至40,000米。“Pratyush Tripathy”位置已标出。该视觉呈现确立了本次城市增长研究的时间与空间范围。

演示文稿继续展示另外两个输入图层。左侧为题为“距主要道路距离(千米)”的地图,显示从路网出发的距离带,图例范围为500至20,000米;右侧为“坡度”地图,以绿色与黄色渐变着色,图例标明坡度角度区间:“< 3”、“3 - 5”及“> 5”。两张地图覆盖同一地理区域“Pratyush Tripathy”,并均配有比例尺与指北针。这些图层表征影响城市扩张的物理与基础设施约束条件。

接下来幻灯片展示人口密度地图。两张地图并排呈现,分别标注为“1991”与“2001”,标题均为“人口密度(人/平方千米)”,按行政街区着色,颜色对应不同密度区间(例如:< 5000、5000–8000,直至 > 100,000)。后续帧依次展示“2011”、“2019”及预测年份“2024”的同类地图。统一的地理范围与街区边界便于追踪随时间推移的人口结构变化,这是元胞自动机城市增长模型的关键驱动因素。

主题转入“基础概念”。一张幻灯片左上角标题为“基础概念”。左侧为研究区详细土地覆被图,呈现红色(建成区)、绿色(植被)与米色(其他)斑块;右侧为一网格,标注为“某小区域土地覆被数据的像素版本”,由填有数字1、2、3和4的方格组成。讲解者说明:栅格数据集是由若干像元(像素)构成的集合,每个像元存储一个数值(数字值,DN),代表某一特定类别;本例中,这些数字对应地图中所见的土地覆被类型(例如,1代表建成区,2代表植被等)。此图示阐明了如何将连续地理空间离散化为可计算的矩阵形式。

演示文稿进入“模型算法第1步”。幻灯片展示五幅网格图:左侧最大网格代表土地覆被数据,与前一张幻灯片相同,但叠加了一个蓝色的3×33\times 3方框(即核);该核中心像元以红色高亮,数值为“4”,周围像元则含数值如1、2、3;右侧四幅较小网格分别标注为“道路距离”、“距CBD距离”、“人口密度”与“坡度”,各含对应空间属性的数值。讲解者描述核如何在栅格网格上滑动:对于一个3×33\times 3大小的核,无法从最左上角像素起始,因其四周均无邻域像元;因此算法跳过第一行与第一列。核以内中心“测试像元”(此处值为4)及其核内八个邻域像元,结合辅助图层(如道路距离等)的数值,共同判定该像元的未来状态。该可视化图示展现了元胞自动机所依赖的核心局部相互作用规则。

该片段起始于一张标题为‘模型算法’的幻灯片。左侧是一个称为‘主栅格’的大型整数网格;右侧是四个较小的矩阵,分别标注为‘道路距离’、‘中心商务区距离’、‘人口密度’和‘坡度’。主讲人解释道:对于选定的测试像元,模型将比对该像元在这些辅助图层中对应位置的数值与用户设定的阈值。

他直接陈述了决策规则:若满足阈值要求,则将像元值替换为 1,他将其定义为建成区。换言之,满足该规则意味着模型预测该位置发生建成区增长。

随后,动画从第1步推进至第2步及后续步骤。当高亮的目标像元移至另一个像元时,主讲人指出,模型会对主栅格中值为二的第二个像元执行相同操作,并再次检查其他栅格数据集中的阈值。

该模式持续进行:完成一个像元的处理后,模型即转向下一个像元,并重复相同的比对过程。不断变化的‘步骤’标签使这种顺序扫描过程清晰可见,而非仅呈现单个孤立的计算。

主讲人暂停片刻,澄清了这种可视化方式的选择依据。他说明,这四个参数之所以以小型矩阵形式呈现,是为了确保清晰可辨;同时强调,所有矩阵的行数与列数均完全相同。他还指出,该示例已适当放大,以便演示并避免混淆。

随后,他总结了整个流程:元胞自动机模型逐一访问测试像元,应用用户定义的转换规则,并且仅在满足最小阈值要求时才改变某个元胞的状态。

一张标题为“结果栅格”的简短幻灯片出现,展示了一个彩色像素网格,旁边是一幅真实的土地覆被图。这直观地将基于规则的抽象输出与空间土地覆被表达联系起来。

最后一张幻灯片是一个三行对比图,标注为“卫星影像”、“实际土地利用/覆被(LULC)”和“模拟土地利用/覆被(LULC)”,对应年份为1994、1999、2004、2009和2014。图例标识了“建设用地”、“植被”、“水体”和“其他”。

在该图上方,主讲人介绍了本研究所采用的验证策略。他说,他使用1989年的土地覆被图来预测1994年,并随后开展精度评估。

他将这种方法称为“隐式试验法”:先进行一次预测,再回溯检验模型精度,然后调整模型所设定的阈值,并持续修改这些阈值,直至达到期望的精度。

他补充道,这一逻辑在不同时间切片中重复应用;例如,先用1989年数据预测1994年,再用1994年的实际土地覆被图预测1999年。

主讲人概述了元胞自动机模型的迭代校准过程。通过使用某一年份(例如1999)的实际土地覆被数据,模型预测下一个时间步(例如2004)的土地覆被状况。该循环在历史数据集上反复执行。

针对时间分辨率问题,主讲人说明演示中采用的5年时间间隔并非硬性要求。用户可灵活设定10年或15年的预测时间步长,使模型输出契合其特定的分析需求。

一旦模型通过该迭代过程完成充分训练,并确立了可靠的转移阈值,最终可用的历史地图——本例中为2014年的土地覆被图——将作为基准输入,用于预测未来城市增长情景。

本节最后,主讲人预告下一视频内容:将开展实操练习,专门应用元胞自动机模型进行城市增长建模。

知识卡片

01

栅格数据集定义

栅格数据集是一种基于网格的结构,其中每个像元(像素)存储一个值(数字编号或DN),代表特定属性或类别,例如土地覆被类型。这种格式使得空间数据能够进行计算处理。

02

元胞自动机核

在元胞自动机建模中,核是一个移动窗口(例如3×33\times 3),用于扫描栅格网格。它通过评估中心像元与其邻域像元的状态关系,来预测该像元的未来状态,从而模拟城市扩张等空间动态过程。

03

元胞自动机中的边界条件

当将核应用于栅格网格时,边界像元(边缘和角点处)通常被跳过或特殊处理。例如,一个3×33\times 3的核无法立即处理左上角像元,因为它在所有方向上均缺乏邻域像元,因此算法需从第二行和第二列开始执行。

04

城市扩张建模的输入图层

有效的空间建模需要多个数据图层。本例展示的关键输入包括:土地覆被(分类型)、距中央商务区及主干道的距离(连续型邻近度)、坡度(地形梯度)以及人口密度(人口压力)。这些图层共同为元胞状态转换提供空间背景。

05

元胞自动机输入图层

该模型使用一个主栅格图层及四个辅助栅格图层:道路距离、中央商务区(CBD)距离、人口密度和坡度。这些图层以对齐的矩阵形式呈现,以便逐行逐列地进行像元级比对。

06

转为建设用地的阈值规则

对于选定的测试像元,算法检查相关图层值是否超过用户设定的阈值;若满足阈值要求,则将该像元值替换为1,主讲人将其定义为建成区增长。

07

逐像元处理

在一个测试像元完成评估后,模型前进至下一个像元,并重复相同的阈值检查。从“步骤1”到“步骤4”的动画演示了这种在栅格上顺序扫描的过程。

08

小型矩阵用作演示辅助工具

主讲人明确指出,这四个参数矩阵以较小尺寸展示,以便清晰可见,且所有矩阵的行数与列数均相同。它们是简化示例,并非实际研究使用的完整规模数据。

09

元胞自动机整体工作流程

该片段将模型概括为一种基于规则的栅格转换过程:遍历每个测试像元,将其辅助图层值与用户设定的阈值进行比较,当满足规则时即执行像元状态转换。

10

生成的栅格预览

一张简短幻灯片标题为“生成的栅格”,将抽象模型输出与一幅彩色土地覆被网格图关联起来;该网格图与某小区域的真实土地覆被地图并排显示。

11

隐式试验验证

该研究通过使用 1989 土地覆被图来预测 1994,检验预测精度,并反复调整阈值直至达到期望精度。同一思路被延伸至后续年份,例如预测 1999 来自 1994。

12

元胞自动机校准过程

面向城市增长的元胞自动机模型,利用历史土地利用/土地覆被(LULC)数据进行迭代校准。将某一年份的实际土地覆被图作为输入,预测下一个时间步的土地覆被状况。该过程在整个历史时间线上重复进行,以训练模型并确立转移阈值。

13

预测时间步长的灵活性

预测未来土地覆被所用的时间间隔,无需与历史训练数据的频率一致。尽管校准阶段可能采用5年步长,模型仍允许用户根据具体需求,将预测间隔设为10年、15年或其他年份。

14

未来预测的基准

模型训练完成并确定转移阈值后,最新可用的实际土地利用/土地覆盖(LULC)图(例如演示中的2014图)即作为基础基线。经校准的模型将所学规则应用于该图,以模拟并预测未来的城市扩张。

详细学习笔记

按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。

符号定义 · 23

DN value

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,栅格数据集是由具有数值的像元(像素)组成的集合,这些数值即数字值(DN),用于表示该像元所属的颜色或类别。

符号

DN value

含义

代表栅格数据集中某个像元所属类别或类型的数字值(DN)。

适用范围

表示土地覆被类别的整数值(例如:1、2、3、4)。

Distance to CBD

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人提到“到中央商务区(CBD)的距离”,其中CBD指中央商务区。

  2. 图示
    观察依据

    标题为“距中央商务区距离(千米)”的地图,显示以标注为“CBD”的中心点为圆心的同心区域。

符号

Distance to CBD

含义

某位置到中央商务区的欧氏距离或网络距离。

适用范围

以千米(km)为单位测量的连续空间场。

Distance to Major Roads

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人提到“到主要道路的距离”。

  2. 图示
    观察依据

    标题为“距主要道路距离(千米)”的地图,显示从道路网络向外辐射的距离带。

符号

Distance to Major Roads

含义

某位置到最近主要道路的距离。

适用范围

以千米(km)为单位测量的连续空间场。

Slope

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人提到“该区域的坡度”。

  2. 图示
    观察依据

    标题为“坡度”的地图,图例标注“以度为单位”,显示类别如“< 3”、“3 - 5”、“> 5”。

符号

Slope

含义

某位置处地形的陡峭程度或坡度。

适用范围

以度为单位的角度测量。

Population Density

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲话者提到“在街区层级计算的人口密度地图”。

  2. 图示
    观察依据

    标题为“人口密度(人/平方公里)”的地图,对应年份为1991、2001、2011、2019、2024,图例显示如“< 5000”、“5000 - 8000”等范围。

符号

Population Density

含义

给定区域(街区)内每平方公里的人数。

适用范围

以人/平方公里(人/平方公里)为单位测得的离散空间场。

main raster cell value

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    左侧大型网格标注为“步骤1”至“步骤4”,其单元格内为整数数值,例如1、2、3和4;音频中称其为主栅格。

符号

main raster cell value

含义

细胞自动机栅格中某个测试像素的状态编码;视频未给出所有整数对应的状态编码表。

适用范围

示例网格中可见的整数编码,包括1、2、3和4。

CBD distance

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    右上角的小矩阵标题为“CBD距离”,其中包含诸如5000和10000等数值。

  2. 声音
    观察依据

    讲话者将CBD距离层列为算法所检查的输入之一。

符号

CBD distance

含义

在阈值检查中使用的“距中央商务区距离”输入层。

适用范围

示例矩阵中显示的数值型距离值。

Road distance

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    右上方中部的小矩阵标题为“道路距离”,其中包含诸如500、1000和5000等数值。

  2. 声音
    观察依据

    讲话者将道路距离层列为算法所检查的输入之一。

符号

Road distance

含义

在阈值检查中使用的“距道路距离”输入层。

适用范围

示例矩阵中显示的数值型距离值。

Population density

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    右下方中部的小矩阵标题为“人口密度”,其中包含诸如20000和32000等数值。

  2. 声音
    观察依据

    主讲人将人口密度图层列为算法所检查的输入之一。

符号

Population density

含义

在阈值检查中使用的人口密度输入图层。

适用范围

示例矩阵中显示的数值型密度值。

Slope

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    右下角的小矩阵标题为坡度,其中包含1、2和3等值。

  2. 声音
    观察依据

    主讲人将坡度图层列为算法所检查的输入之一。

符号

Slope

含义

在阈值检查中使用的地形坡度输入图层。

适用范围

示例矩阵中显示的小数值。

threshold

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,模型会检查每个图层的值是否大于用户设定的阈值。

符号

threshold

含义

用户为各输入图层设定的最低要求,即像元转变为建成区之前须满足的条件。

适用范围

本片段中未以数值形式明确给出。

1

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人表示,若满足阈值条件,则该值将被替换为1,即建成区。

待核验内容
  1. 后续的结果栅格幻灯片采用颜色编码,且该幻灯片本身未显示1的数值图例。

符号

1

含义

当转移规则满足时,赋予该像元的建成状态。

知识点 · 8

栅格数据结构

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲话者将栅格数据集定义为一组单元格/像素的集合,其像元值(DN值)代表不同类别。

  2. 图示
    观察依据

    标题为“基础知识”的幻灯片,一侧为土地覆被图,另一侧为一组数字(1、2、3、4)构成的网格,并标注为“小区域土地覆被数据的像元版本”。

定义
解释

栅格数据集是一种基于网格的空间数据表达方式,其中每个单元格(或像素)存储一个数值(数字编号或DN),该数值对应某一特定类别或属性,例如土地覆被类型。

公式
适用条件
  1. 数据在空间上是连续的或是分类的。

  2. 以规则的单元格网格形式表示。

元胞自动机核概念

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说明,在元胞自动机模型中,一个尺寸固定的核(kernel)会遍历数值数组(栅格的DN值),逐个经过每个单元格,依据其邻近单元格的数值来决定该单元格未来的状态。

  2. 图示
    观察依据

    幻灯片‘模型算法步骤1’显示一个3×33\times 3的蓝色方框(核),高亮其中心的一个红色单元格(值为4),该红色单元格被其他标有数字的单元格所包围。

定义
解释

在元胞自动机(CA)建模中,‘核’是一个尺寸固定的移动窗口(例如3×33\times 3),它在整个栅格网格上扫描;该核结合当前单元格的状态及其内部邻近单元格的状态,共同判定该单元格未来的状态。

公式
适用条件
  1. 核的尺寸必须预先定义(例如3×33\times 3)。

  2. 适用于单元格状态依赖于局部邻域的栅格网格。

先修条目
  1. 栅格数据结构

元胞自动机的输入图层。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者列举了中心商务区距离、人口密度和坡度图层,作为模型所检查的输入。

  2. 图示
    观察依据

    右侧四个小矩阵分别标注为“道路距离”“中心商务区距离”“人口密度”和“坡度”。

定义
解释

该模型使用一个主栅格图层及四个辅助栅格图层。本片段中命名的辅助图层为“道路距离”“中心商务区距离”“人口密度”和“坡度”。每个图层均以一个小矩阵形式呈现,并与主栅格对齐,以便逐行逐列地进行像元级比对。

公式
适用条件
  1. 所有显示的矩阵均具有相同的行数与列数。

  2. 辅助图层被用作阈值检验的输入。

基于阈值的转换规则

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者指出,模型会检验该图层中像元值是否大于用户设定的阈值;若是,则将该像元值替换为1,即“建成”。

待核验内容
  1. 本片段未说明具体的数值阈值。

  2. 音频中关于比较方向的表述略显生硬,但结合解释可明确其意图规则。

方法
解释

对于选定的测试像元,算法将辅助图层中对应位置的值与用户设定的阈值进行比较;若满足阈值要求,则将该像元值更改为1,解释为建成区增长。

公式
适用条件
  1. 从主栅格中选取一个测试像元。

  2. 每个相关辅助图层的像元值均与其用户设定的阈值进行比较。

  3. 仅当满足阈值要求时,才发生状态转换。

先修条目
  1. 元胞自动机的输入图层。

逐像元顺序处理

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人称该模型以 step two, does the same thing for the second pixel with value two in the main raster, then goes for the next pixel 且 the next pixel 且 so on.

  2. 动画
    观察依据

    高亮的目标像元在主栅格上逐次移动,同时“步骤”标签从“步骤1”变为“步骤4”。

方法
解释

元胞自动机模型逐个处理测试像元;完成一个像元的规则判断后,即进入下一个像元,并在其他栅格数据集上重复相同的阈值评估。

公式
适用条件
  1. 处理过程沿主栅格的像元顺序进行。

  2. 相同的转移规则程序被应用于每个测试像元。

先修条目
  1. 基于阈值的转换规则

本例中的元胞自动机整体工作流程

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者总结道,这就是元胞自动机模型的工作方式:逐个访问测试像元,并检查用户定义的转移规则。

定义
解释

该视频片段将元胞自动机模型呈现为一种基于规则的栅格转移过程:选取一个测试像元,将其关联图层的值与用户设定的阈值进行比较;当满足转移规则时,改变该像元的状态。

公式
适用条件
  1. 该模型被应用于栅格数据。

  2. 转移规则由用户自定义。

先修条目
  1. 元胞自动机的输入图层。
  2. 基于阈值的转换规则
  3. 逐像元顺序处理

土地利用/土地覆被(LULC)

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    图左侧的行标签:“实际土地利用/覆盖”和“模拟土地利用/覆盖”。

  2. 声音
    观察依据

    讲述者提到“实际土地覆被”和“土地覆被图”。

定义
解释

LULC 指土地表面的物理与生物覆盖状况。在本语境中,它被划分为建成区、植被、水体及其他四类,并作为元胞自动机模型的主要空间数据。

适用条件
  1. 需要分类空间数据

  2. 用于城市增长建模

用于城市增长建模的元胞自动机模型

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲述者称:“一旦模型训练完成,且对阈值有了初步认识,便可利用2014土地覆被图预测未来。”

  2. 声音
    观察依据

    讲述者在结尾处提到“用于城市增长建模的元胞自动机模型”。

方法
解释

一种计算模型,用于基于历史土地覆被数据和转移阈值,模拟并预测城市建成区在时间维度上的空间扩张。

适用条件
  1. 需要历史土地利用与土地覆被(LULC)图

  2. 需要通过模型训练来确定阈值

先修条目
  1. 土地利用/土地覆被(LULC)
定理与条件 · 2

当阈值要求被满足时,建成区转移即发生。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者指出,若阈值条件得到满足,则该值将被替换为1,即‘建成区’增长将发生。

待核验内容
  1. 该视频片段未说明是否要求全部四个图层必须同时满足各自的阈值,也未说明各图层是否适用不同的规则。

命题
命题

若被测图层的值满足用户设定的阈值要求,则模型将该像元值替换为1,代表建成区增长。

前提
  1. 已选定一个测试像元。

  2. 对应的辅助图层值已可获取。

  3. 用户自定义的阈值条件得到满足。

量词

针对模型处理的每个测试像素。

所有显示的栅格具有相同的维度。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者指出,它们的行数与列数均相同。

  2. 图示
    观察依据

    主栅格与四个辅助矩阵以对齐的网格形式显示。

命题
命题

演示中展示的主栅格与四个参数矩阵具有相同的行数与列数。

前提
  1. 正在对所显示的示例矩阵进行比较。

量词

针对‘模型算法’幻灯片上展示的五个矩阵。

推导与证明 · 2

细胞自动机示例的工作流推导。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者解释了该流程:先检查图层值,若满足阈值条件则替换为1,再移至下一个像素,并重复此过程,直至发生状态转换。

  2. 动画
    观察依据

    幻灯片通过不断变化的‘步骤’标签,逐步高亮多个像素。

直观解释
步骤
  1. 公式
    解释

    从主栅格中的一个测试像素开始。

    步骤依据

    动画一次高亮显示一个像元,音频中提到主栅格中值为二的第二个像素。

    视频直接表达
  2. 公式
    解释

    从辅助图层读取对应值:道路距离、中央商务区(CBD)距离、人口密度和坡度。

    步骤依据

    这四个矩阵显示在主栅格旁,音频中为其命名。

    视频直接表达
  3. 公式
    解释

    将每个相关图层的值与用户定义的阈值进行比较。

    步骤依据

    讲解者明确指出,模型会检查该图层的值是否大于用户设定的阈值。

    视频直接表达
  4. 公式
    解释

    若满足阈值要求,则将该像元值替换为1,表示建成区。

    步骤依据

    该替换规则在音频中被直接陈述。

    视频直接表达
  5. 公式
    解释

    移至下一个待测像素,并重复相同流程。

    步骤依据

    讲解者称其依次处理下一个像素、再下一个像素,依此类推,同时“步骤”标签随之递进。

    视频直接表达
结论

所演示的元胞自动机模型通过逐像素顺序进行阈值判断,并在规则满足时将状态转换为建成区。

迭代校准与未来预测流程

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说明迭代过程:‘用1999的实际土地覆被预测2004,以此类推……模型训练完成后,对阈值有了初步认识,即可用2014的土地覆被图预测未来。’

  2. 图示
    观察依据

    该栅格图展示了连续5年间隔内(从1994到2014)的实际LULC(行f–j)与模拟LULC(行k–o)。

严格证明
步骤
  1. 解释

    利用基准年(1994)与第一个目标年(1999)训练模型,并估算初始转移阈值。

    步骤依据

    音频:‘用1999的实际土地覆被预测2004,以此类推’

    视频直接表达
  2. 解释

    迭代地使用当前年份的实际土地覆被预测下一个时间步(例如:用1999实际预测2004,用2004实际预测2009)。

    步骤依据

    音频:‘以此类推’

    视频直接表达
  3. 解释

    当模型充分训练完成且阈值已确定后,使用最新可得的实际土地覆被图(2014)来推演未来的土地覆被情景。

    步骤依据

    音频:‘模型训练完成后,对阈值有了初步认识,即可用2014的土地覆被图预测未来’

    视频直接表达
结论

元胞自动机模型通过历史实际土地利用与土地覆盖(LULC)数据进行迭代校准,以建立转移规则;随后将这些规则应用于最新的LULC图,预测未来城市扩张。

例题详解 · 3

土地覆被栅格表示

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    幻灯片‘基础概念’左侧显示一幅土地覆被图,右侧显示对应的数值网格;该网格包含整数1、2、3、4,分别代表不同类别(例如根据前一张幻灯片图例:建成区、植被、水体、其他)。

  2. 声音
    观察依据

    讲解者将栅格描述为一组像素,其DN值代表所属类别。

题目

分类型土地覆被数据如何以栅格格式表示,用于元胞自动机建模?

已知条件
  1. 一个具有不同类型土地覆被(建成区、植被、水体、其他)的地理区域。

目标

将这些类型映射到网格结构中的数值。

步骤
  1. 公式
    Class′Built−up′→Value1Class 'Built-up' \rightarrow Value 1
    解释

    将整数1赋给建成区。

    步骤依据

    分类数据的标准栅格编码。

    视频直接表达
  2. 公式
    Class′Vegetation′→Value2Class 'Vegetation' \rightarrow Value 2
    解释

    将整数2赋给植被区。

    步骤依据

    分类数据的标准栅格编码。

    视频直接表达
  3. 公式
    Class′Water′→Value3Class 'Water' \rightarrow Value 3
    解释

    将整数3赋给水体。

    步骤依据

    分类数据的标准栅格编码。

    视频直接表达
  4. 公式
    Class′Others′→Value4Class 'Others' \rightarrow Value 4
    解释

    将整数4赋给其他地表覆盖类型。

    步骤依据

    分类数据的标准栅格编码。

    视频直接表达
结果

地表覆盖图被转换为一个整数矩阵(1,2,3,4),其中每个像元的值对应其地表覆盖类别。

检验

对颜色编码地图与数字网格进行视觉比对,可发现二者模式一致。

小矩阵上的模型算法演示

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一张标题为‘模型算法’的幻灯片展示了一个大型主栅格和四个标有‘道路距离’、‘中央商务区(CBD)距离’、‘人口密度’及‘坡度’的小型矩阵。

  2. 动画
    观察依据

    高亮像元在网格中移动,同时底部标签从‘步骤1’变为‘步骤4’。

待核验内容
  1. 精确的阈值未在幻灯片上标出。

  2. 主栅格中每个整数编码的确切含义在此片段中并未完全定义。

题目

展示元胞自动机模型如何利用多个输入图层,判断某个栅格单元是否转变为建成区。

已知条件
  1. 一个主栅格,其像元值为整数。

  2. 四个辅助栅格:道路距离、中央商务区(CBD)距离、人口密度和坡度。

  3. 用户自定义的辅助图层阈值。

目标

判断所选测试像元是否应转变为建成区状态1。

步骤
  1. 公式
    解释

    在主栅格中选择一个测试像元。

    步骤依据

    动画高亮显示一个目标像元,而语音讲解则聚焦于主栅格中值为二的第二个像元。

    视频直接表达
  2. 公式
    解释

    检查四个辅助矩阵中对应位置的像元值。

    步骤依据

    幻灯片将辅助矩阵并置于主栅格旁,以便逐像元比对。

    视频直接表达
  3. 公式
    解释

    检查每一层的值是否超过用户定义的阈值。

    步骤依据

    该比较在音频中被明确指出。

    视频直接表达
  4. 公式
    解释

    若满足阈值要求,则将该像元值替换为1,代表建成区。

    步骤依据

    说话者称该值被替换为1,即建成区。

    视频直接表达
  5. 公式
    解释

    进入下一个像元,并重复执行相同的规则检查。

    步骤依据

    步骤标签递进,说话者说明模型转向下一个像元,依此类推。

    视频直接表达
结果

该示例展示了逐像元的转换规则:当阈值条件满足时,被测试的像元被更改为1(建成区);否则模型继续处理下一个像元。

检验

高亮像元的视觉序列与步骤标签的变化,与语音描述中‘从一个像元移至下一个像元’完全一致。

LULC预测中时间步长的灵活性

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话人说:“我用了五年,但这并非必需。因此您可以直接根据需求选取10年或15年。”

题目

确定使用元胞自动机模型预测未来土地覆被时所采用的合适时间间隔。

已知条件
  1. 历史数据以5年为间隔提供(1994、1999、2004、2009、2014)。

目标

探究5年间隔是否为该模型的严格要求。

步骤
  1. 解释

    说话人澄清:尽管演示中采用了5年步长,但该模型并不严格要求此间隔。

    步骤依据

    音频:“我用了五年,但这并非必需。”

    视频直接表达
  2. 解释

    用户可根据具体建模需求,将预测时间步长调整为10年或15年。

    步骤依据

    音频:“因此您可以直接根据需求选取10年或15年。”

    视频直接表达
结果

预测时间步长具有灵活性,可依据用户的具体需求设定为5年、10年或15年,而非必须固定为历史训练数据的时间间隔。

检验

说话人明确指出:示例中所用的5年间隔并非模型应用的强制性约束。

图示与动画 · 10

桌面介绍

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    Windows 桌面界面,背景为橙色抽象壁纸,桌面上有‘回收站’、‘PowerPoint’、‘Pratyush Tripathy’图标;鼠标指针轻微移动。

图中对象
  1. 桌面背景

  2. 图标

  3. 鼠标光标

变化过程
  1. 鼠标光标出现并轻微移动

不变量
  1. 桌面布局保持静止

数学含义

在开始幻灯片演示前,确立主讲人的工作环境。

输入数据可视化

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一系列 PowerPoint 幻灯片,展示各类地图:土地覆被图(1989-2014)、距中央商务区距离图、距主要道路距离图、坡度图、人口密度图(1991-2024)。图例与比例尺均可见。

图中对象
  1. 土地覆被图

  2. 距离图

  3. 坡度图

  4. 人口密度地图

  5. 图例

  6. 比例尺

  7. 指北针

变化过程
  1. 幻灯片在不同类型的数据集之间切换

不变量
  1. 地理范围(Pratyush Tripathy 区域)在各地图中保持不变

数学含义

展示了城市增长模型所需输入的空间数据集的多样性。

栅格基础概念示意图

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    标题为‘基础概念’的幻灯片,左侧显示一幅土地覆被图,右侧显示一个数值网格(‘土地覆被数据的像素版本’),该网格使用数字1、2、3、4。

图中对象
  1. 土地覆被图

  2. 数值网格

变化过程
  1. 无,静态图像

不变量
  1. 地图颜色与网格编号之间的对应关系

数学含义

直观解释连续地理要素如何被离散化为数值矩阵,以供计算处理。

算法步骤1的可视化

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    幻灯片标题为‘模型算法步骤1’。显示四个栅格:土地利用类型(其中蓝色3x3核高亮了一个红色中心像元)、道路距离、中央商务区(CBD)距离、人口密度和坡度。所有栅格均包含数值。

图中对象
  1. 多个数值型栅格

  2. 蓝色3x3核高亮

  3. 红色中心像元高亮

变化过程
  1. 核被置于栅格之上,以说明邻域分析

不变量
  1. 此步骤中,栅格结构与数值保持不变

数学含义

展示了元胞自动机(CA)算法的初始阶段:一个核在栅格上扫描,依据邻域像元及辅助数据图层来评估各像元的状态。

步骤1高亮像元的比较

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    幻灯片标题为‘模型算法’,底部标签为‘步骤1’,主栅格中有一个像元被高亮,同时辅助矩阵中对应位置的像元也被高亮。

待核验内容
  1. 屏幕上未标注高亮像元的确切坐标。

图中对象
  1. 主栅格

  2. 道路距离矩阵

  3. 中央商务区距离矩阵

  4. 人口密度矩阵

  5. 坡度矩阵

  6. 高亮显示的测试像元

变化过程
  1. 主栅格中高亮显示一个测试像元。

  2. 为便于比较,辅助矩阵中对应位置的像元也被高亮显示。

不变量
  1. 这五个矩阵始终保持相同的排列布局。

  2. 幻灯片标题仍为“模型算法”。

数学含义

第一处理阶段展示一个测试像元及其在所有输入图层中的对应值。

步骤2前进到下一个像素

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    底部标签变为“步骤2”,且高亮显示的目标像元在主栅格中移至另一位置。

  2. 声音
    观察依据

    主讲人称该模型以 step two 且 does the same thing for the second pixel with value two in the main raster.

图中对象
  1. 主光栅

  2. 辅助矩阵

  3. 步骤标签

变化过程
  1. 步骤标签从步骤1变为步骤2。

  2. 高亮显示的测试单元格移动到一个新像素。

不变量
  1. 使用同一组输入矩阵。

  2. 比较过程保持不变。

数学含义

模型在新的测试像素上重复执行相同的阈值检查。

进一步逐像素循环

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    底部标签在步骤3和步骤4之间循环切换,同时主光栅和辅助矩阵中被高亮的单元格各不相同。

待核验内容
  1. 从采样帧中无法完全辨识整个动画中所有高亮单元格的确切顺序。

图中对象
  1. 主栅格

  2. 辅助矩阵

  3. 步骤标签

变化过程
  1. 高亮单元格持续从一个像素移动到另一个像素。

  2. 步骤标签依次推进至后续步骤。

不变量
  1. 每个像素所对应的算法结构保持不变。

  2. 各矩阵始终保持相同的维度与布局。

数学含义

该动画演示的是对测试像素的迭代扫描,而非一次性计算。

结果栅格与真实土地覆被图对比

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一张标题为‘结果栅格’的幻灯片,左侧显示彩色像素网格,右侧显示真实土地覆被图,并配有说明文字:‘某小区域土地覆被数据的像素版本’。

待核验内容
  1. 本幻灯片中,彩色像素网格未显示数字图例。

图中对象
  1. 彩色像素网格

  2. 真实地表覆盖图

  3. 幻灯片标题

  4. 图注

变化过程
  1. 演示内容从抽象的矩阵切换为最终生成的栅格可视化图像。

  2. 左侧面板使用颜色而非整数编码。

不变量
  1. 主题仍为地表覆盖表达。

数学含义

该片段简要地将抽象的元胞自动机输出与空间化的地表覆盖表达联系起来。

多年份土地利用/覆被(LULC)对比图

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一幅三行图对比了卫星影像、实际土地利用/覆被(LULC)和模拟土地利用/覆被(LULC),时间跨度为1994、1999、2004、2009和2014年,图例包含建成区、植被、水体及其他类别。

待核验内容
  1. 该图本身并未显示音频中提到的1989底图。

图中对象
  1. 卫星影像行

  2. 实际土地利用/覆被(LULC)行

  3. 模拟的土地利用与土地覆盖(LULC)行

  4. 年份标签

  5. 图例

  6. 比例尺

  7. 指北针

变化过程
  1. 多幅地图按年份并排排列。

  2. 实际土地覆被图与模拟土地覆被图分置于不同行,以便对比。

不变量
  1. 所有展示的地图均采用相同的图例分类。

  2. 各面板所呈现的地理范围保持一致。

数学含义

该图通过将随时间变化的模拟土地覆被结果与实际测绘格局进行比较,支持模型验证。

实际LULC与模拟LULC的可视化对比

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一个3×53\times 5的对比图网格,展示卫星影像、实际土地利用与覆被(LULC)及模拟LULC在五年间(1994、1999、2004、2009、2014)的变化。

图中对象
  1. 卫星影像(第1行)

  2. 实际LULC图(第2行)

  3. 模拟LULC图(第3行)

  4. 图例(建设用地、植被、水体、其他)

变化过程
  1. 所有行中,红色‘建设用地’类的空间范围均从左(1994)向右(2014)逐步扩大。

  2. 模拟LULC行在视觉上近似再现了对应年份的实际LULC行的空间分布。

不变量
  1. 所有图件中,研究区的地理边界保持不变。

  2. 各图件中土地利用类别的颜色编码始终保持一致。

数学含义

该可视化网格通过将模拟结果直接与历史实际土地覆被数据对比,展示了元胞自动机模型在模拟城市区域(建设用地)随时间扩张方面的有效性。

易错点 · 4

边界条件处理

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者说道:‘它不能位于最左侧,因为最左上角的像素在所有方向上都没有邻域像元。因此,它必须跳过第一行和第一列——具体跳过多少,再次取决于核的尺寸。’

误区

人们可能会认为CA核可以从栅格的最左上角像素开始处理。

说明

核必须跳过边界行和列(例如,对于3×33\times 3核,需跳过第一行和第一列),因为边缘像素在所有方向上都缺乏进行计算所需的邻域像素。

这些小型演示矩阵不应被误认为是整个研究规模的矩阵

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人表示,四个参数以一个小矩阵形式呈现,以便清晰可见;他特意将其放大,仅为演示之用,避免混淆。

误区

人们可能会认为幻灯片中展示的微小矩阵就是模型输入的实际工作尺度。

说明

演讲者明确指出,这些矩阵仅为便于观察而放大的简化示例,实际研究使用的是完整的土地覆被图。

隐式试算指的是迭代式校准,而非单次预测。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    演讲者将其称为“隐式试算法”,并解释其过程为:先进行一次预测,再返回检查准确率,然后反复调整阈值,直至达到期望的准确率。

待核验内容
  1. ‘隐式试算’这一术语在口头表述中使用,但屏幕上未给出正式定义。

误区

人们可能将验证步骤理解为一次性的预报检查。

说明

在此片段中,隐式试算被描述为一种迭代过程:反复进行预测、评估准确率、调整阈值,直至达到期望的准确率。

关于固定时间步长的误解

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者针对时间间隔可能产生的误解作出说明:‘我选取了五年,但这并非必需;您可以根据实际需求,直接选用10年或15年。’

误区

认为元胞自动机模型对未来进行预测时,必须严格采用与历史训练数据相同的时间间隔(例如5年)。

说明

预测的时间步长是灵活的;用户可根据具体建模需求,选择10年或15年等不同时间间隔,而无需受限于历史数据的时间频率。

概念关系 · 6

栅格数据结构 → 元胞自动机核概念

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人将栅格数据的定义(具有DN值的像素)直接关联到CA核的操作(‘遍历数值数组,即栅格的DN值’)。

先修
解释

理解栅格数据的结构(带数值的单元格网格)是理解细胞自动机核如何在此类数据上运行的前提。

元胞自动机的输入图层。 → 基于阈值的转换规则

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    演讲者首先命名输入图层,然后解释模型将逐个检查这些图层的值是否超过阈值。

  2. 图示
    观察依据

    辅助矩阵与主栅格图像并排显示,以便直接比较。

先修
解释

阈值转换规则依赖于辅助栅格图层的存在,以实现逐像元比较。

基于阈值的转换规则 → 逐像元顺序处理

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    在解释完替换为1之后,演讲者表示模型继续执行step two,并对下一个像元重复相同操作。

应用
解释

该基于阈值的转换规则在模型逐像元扫描过程中被反复应用。

本例中的元胞自动机整体工作流程 → 小矩阵上的模型算法演示

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人从描述元胞自动机模型过渡到说明:在本研究中,他预测了1994并进行了精度评估。

  2. 图示
    观察依据

    幻灯片从‘模型算法’切换为一幅多年度实际土地利用/覆被与模拟结果对比图。

应用
解释

在小型矩阵上展示的抽象工作流程,是本研究图中所验证的大尺度土地覆被模拟的基础。

本例中的元胞自动机整体工作流程 → 结果栅格与真实土地覆被图对比

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    演示画面从‘模型算法’幻灯片直接切至‘结果栅格’幻灯片,后者显示一幅彩色像素网格图及一张真实土地覆被地图。

应用
解释

‘结果栅格’幻灯片直观地将基于规则的模型输出与空间化的土地覆被表达关联起来。

土地利用/土地覆被(LULC) → 用于城市增长建模的元胞自动机模型

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人讨论了在‘元胞自动机模型’背景下,如何利用‘实际土地覆被’进行预测,以及如何利用‘土地覆被图’对未来进行预测。

应用
解释

土地利用/土地覆被(LULC)数据是元胞自动机模型模拟和预测城市增长所必需的基础空间输入。

问题定位 · 9

在空间建模语境中,什么是栅格数据集?

依据清楚
补充解释
来源依据
  1. 声音
    观察依据

    主讲人定义了栅格数据集。

涉及知识点
  1. 栅格数据结构

细胞自动机模型中的核是如何运作的?

依据清楚
补充解释
来源依据
  1. 声音
    观察依据

    主讲人讲解了核的移动方式与决策过程。

涉及知识点
  1. 元胞自动机核概念

本片段中展示的元胞自动机模型使用了哪些输入图层?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人依次指出中心商务区(CBD)距离、人口密度和坡度图层。

  2. 图示
    观察依据

    屏幕上标出了四个辅助矩阵。

涉及知识点
  1. 元胞自动机的输入图层。

在此模型中,一个像元何时转变为建成区?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人称该值被替换为 1,即建成区,当阈值条件满足时,该值被构建出来。

涉及知识点
  1. 基于阈值的转换规则

模型如何从一个像素移动到下一个像素?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人称,它先推进至step two,然后依次处理下一个像元、再下一个像元,依此类推。

  2. 动画
    观察依据

    随着‘步骤’标签的变化,高亮显示的像元在网格中逐次移动。

涉及知识点
  1. 逐像元顺序处理

为何参数矩阵以小样例形式呈现?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说明,矩阵以较小尺寸展示,以便清晰可见,仅在演示时放大显示。

涉及知识点
  1. 这些小型演示矩阵不应被误认为是整个研究规模的矩阵

本研究中模型如何进行验证?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人描述使用1989地表覆被来预测1994,然后开展精度评估。

  2. 图示
    观察依据

    该图对比了多年份的实际土地利用与土地覆被(LULC)和模拟LULC。

涉及知识点
  1. 本例中的元胞自动机整体工作流程
  2. 隐式试算指的是迭代式校准,而非单次预测。

如何利用历史数据对土地利用预测的元胞自动机模型进行校准?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人解释了迭代式预测与训练过程。

涉及知识点
  1. 迭代校准与未来预测流程
  2. 用于城市增长建模的元胞自动机模型

使用元胞自动机模型预测未来城市增长时,能否更改时间步长间隔?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人讨论了预测时间间隔的灵活性。

涉及知识点
  1. LULC预测中时间步长的灵活性
  2. 关于固定时间步长的误解
覆盖情况与待核验内容

已覆盖 · 导言与桌面视图;目前尚无具体数学内容。

已覆盖 · 展示输入数据图层(土地覆被、距离、坡度、人口密度)。

已覆盖 · 讲解栅格基础概念与像元值。

已覆盖 · 讲解CA算法第1步、核的移动方式以及边界条件。

已覆盖 · 音频与示意图介绍了输入图层以及“阈值转建成区”规则。

已覆盖 · 动画逐步推进至后续步骤,同时主讲人解释逐像素重复处理过程。

已覆盖 · 主讲人澄清,所有矩阵具有相同维度,且均为简化后的演示样例。

已覆盖 · 主讲人将元胞自动机工作流程概括为依次检查状态转移规则。

已覆盖 · 简短幻灯片展示了一个生成的栅格图像及对应的真实地表覆被图。

已覆盖 · 主讲人解释采用隐藏试验验证法:使用1989预测1994,随后迭代调整阈值;幻灯片则展示了多年份的实际LULC与模拟LULC地图对比。

已覆盖 · 整个片段聚焦于借助LULC数据,阐释元胞自动机模型的迭代校准与预测过程,并辅以可视化对比网格。

探索视频中的知识

已审核的主题路径

这个视频解答的问题

判断用途

↗
掌握方法

↗
掌握方法

↗
认识概念

↗
判断用途

↗
掌握方法

↗
理解原因

↗