知识图解与依据

CS:APP第三版 图1.9 Memory hierarchy；作者公开图1.9，单页PDF；保留金字塔式层次及两向趋势，改用递增宽度的层级带；合并三级Cache和外存细分，中文改写。

• 顺序为寄存器、Cache、主存、外存，与讲稿一致。
• 合并原图L1/L2/L3为Cache层；未声称所有设备都具有同样层数。
• 宽度仅表达容量趋势，不是容量比例；不画成每次访问必经全部层。

CS:APP第三版 图4.34 Three-stage pipeline timing；作者公开图4.34，单页PDF；保留任务错位重叠的通行时空图；仅显示前两项以适合画布，将教材120时间单位换为符号周期T。

• 沿横轴是时间，沿纵轴是任务，同一任务顺序通过A、B、C。
• 第二项晚一周期开始；首项3T完成，第二项4T完成，符合kT+(n−1)T。
• 图中新示例仅将教材时刻参数化为T，不把T解释为实际处理器固定周期。

OSTEP Figure 4.2: Process: State Transitions；PDF第6页，图4.2；保留三态及四条迁移方向；旋转排布并将Scheduled/Descheduled和I/O迁移中文化。

• 就绪只等CPU；运行正在执行；阻塞等待事件。
• 运行可被调度器移出，阻塞完成后转就绪。
• 未画阻塞直接转运行；五态扩展以文字注明，不混入更多内核实现状态。

Database System Concepts第7版：View of Data；当前公开PDF第9页，幻灯片1.14；保留多视图—逻辑—物理三级结构，添加讲稿所述两级映像标签，连线无箭头以免混同数据流。

• 多个外模式对应一个全局概念模式，概念模式对应内模式。
• 外/概念映像支持逻辑数据独立性，概念/内映像支持物理数据独立性。
• 连线表示映像关系，不是查询执行的固定步骤。

Cornell CS330：Chen ER与联系基数图；PDF第2页实体/属性图、第4页联系图及Many-to-Many示意；保留已看过的Chen图元及m:n含义，业务名称换为原课学生选课；不复制原课件SQL或示例数据。

• 实体用矩形、属性用椭圆、联系用菱形。
• 学生与课程是多对多；成绩属于该选课联系。
• 普通无向联系线不能画成处理流程箭头；m:n不决定最小参与数。

RFC9293 Figure6 Basic Three-Way Handshake；PDF第25页，图6；保留报文方向和状态演进；把原图100/300换为x/y，省略后续数据行，采用逐行状态框呈现。

• SYN由主动方发起，SYN+ACK反向，最后ACK回到被动方。
• 用x/y表示双方初始序号；确认号为对方初始序号加1。
• 第三段纯ACK不消耗序号；握手不是可靠传输全部机制。

依据RFC1034查询语义绘制，非原文图复制；第4.3.1节递归/非递归模式、第5.3节解析器算法；标准文字支持查询角色和转介；本图布局为原创教学示意，未声称看到同构RFC原图。

• 终端向递归解析器请求最终结果，解析器可以代为继续查询。
• 解析器按需要分别询问根、顶级域和权威服务器，而不是根替它逐级递归。
• 根和顶级域通常给出转介，权威给结果；缓存与配置可改变路径。

依据GCC宿主/目标配置语义绘制；Cross-Compiler-Specific Options及目标系统库配置；本次已浏览官方配置文本，未取得同构官方图；以原创流程图区分运行编译器与运行产物。

• 宿主平台是编译器运行的平台，目标平台是生成程序面向的平台。
• 编译产物先生成，再部署到目标；没有声称宿主可直接本地执行目标机器码。
• 图只展开交叉编译，未把JTAG和Bootloader画成编译阶段。

依据SWEBOK数据流模型定义绘制；PDF第91页（Software Design：DFDs），第237页行为模型；已核验标准文本的数据流含义；登记案例为原创，未声称取自标准原图。

• 外部实体、加工、存储及带名数据流四要素齐全。
• 数据写入存储要经过加工，未直接画外部实体连存储。
• 加工输出由输入数据生成；本图不是控制流程或时序图。
• 采用Yourdon/DeMarco风格：外部实体矩形，加工圆/椭圆，存储用两条平行横线。

Microsoft Azure：Pipes and Filters solution diagram；Solution节，pipes-and-filters-solution.png；保留独立转换单元由管道连接的结构，精简为单条流水；将任务名换成原讲稿清洗/排序/去重。

• 过滤器独立转换输入数据，管道连接输出与下一输入。
• 清洗、排序、去重是原讲稿的例子，顺序与之相同。
• 图未承诺所有阶段无阻塞、无限并行或无需统一数据格式。

SEI Achieving Product Qualities：Parts of a Quality Attribute Scenario；PDF第26页，六要素通行图式；保留来源—刺激—制品—响应—度量与环境约束，展开原图箭头标注为独立节点；代入讲稿的原创订单阈值。

• 六要素均出现：刺激源、刺激、环境、制品、响应、响应度量。
• 数值严格使用口播1000请求/秒、99%和200ms。
• 响应行为与响应度量分开；环境作为约束指向制品，不伪装成下一执行步骤。

依据NIST Series Model文字与公式重绘；第8.1.8.2节；页面标有series3.gif但本次图文件访问403；已读官方假设和公式；原GIF未能显示，不声称已视觉核验原图。按通行串联可靠性框图进行模型示意。

• 全部必要部件成功才成功，独立假设下可靠度相乘。
• 使用讲稿两个0.9及结果0.81；0.9×0.9已独立复算。
• 图中连线没有数据流箭头，仅表示可靠性逻辑连接。

依据NIST Parallel Model文字与公式重绘；第8.1.8.3节；页面标有para2.gif但本次图文件访问403；官方文字和公式已核验；GIF未能显示，诚实标为模型教学示意，不声称视觉追溯原图。

• 独立时先求两路全坏概率，再以1减去它。
• 使用讲稿两个0.9及结果0.99；1−(1−0.9)²已独立复算。
• 上下支路是真正的两条功能路径，不把两个串联方框误称并联。

依据NIST FIPS186-5签名/验证说明绘制；标准发布页Abstract及Document说明；不声称核看标准原图；官方发布文本确认签名目的；沿用讲稿的算法抽象，原创布置私钥签名和可信公钥验签数据流。

• 私钥只进入签名算法，可信公钥只进入验证算法。
• 接收方拿消息和签名共同验证；未画成私钥加密、公钥解密摘要。
• 消息可独立传送，通常摘要过程属于算法内部，图未承诺所有签名标准完全同构。

MIT 1.204 Lecture 11 — Minimum spanning trees；PDF 第 1 页下半，A graph and its minimum cost spanning tree；已放大核看图表；保留七顶点图与生成树的通行节点—边关系；顶点重命名并重新布局，省略原边权，不把无权图宣称为最小解。

• 连通无向图的生成树覆盖全部顶点且无环；最小生成树另要求总边权最小。
• 实线六条边连接七个顶点，是一棵生成树；虚线表示未选择的图边。
• 本图省略边权，不声称从几何距离即可判断最小性，也不用于给出两点最短路径。

中华人民共和国标准化法；第二条、第二十一条；文字依据，无参考原图；依据法条并列分类原创绘制；不是法定原图，不用高低位置暗示类别间效力排序。

• 标准化法第二条列出国家、行业、地方、团体、企业五类标准。
• 国家标准分强制性和推荐性；行业标准、地方标准为推荐性。
• 图中并列类别不表示制定主体或法律效力相同；第二十一条规定有关技术要求不得低于强制性国家标准。

课程原创阅读练习流程；官方文档仅作阅读材料；文字学习建议，无通行标准原图；原创方法示意；Microsoft 和 NIST 链接用于核验技术术语，不能据此声称其规定了本练习循环。

• 本图是课程提出的阅读练习方法，不是标准规定的流程。
• 术语含义应结合技术语境并用原始文档核验；可用 availability 与 reliability 作辨析。
• 复述和纠错可以暴露理解差异，但不保证固定次数后掌握。

SEI Robustness — The Form of a General Scenario；PDF 第 18 页／印刷页 11，Figure 1；已核看原图；保留源—刺激—制品—响应—度量的方向与环境约束关系，将嵌套环境转为上方条件节点，填入本课订单示例。

• 六要素为刺激源、刺激、环境、制品、响应、响应度量。
• 图中用户是刺激源，提交请求是刺激，高峰期是环境，订单服务是制品。
• 完成下单是响应，95%请求不超过2秒是示例响应度量，不能当作所有系统既定指标。

课程原创写作结构；SEI 仅提供架构工作背景；文字依据，无参考原图；原创学习辅助图，不把 SEI 架构开发方法误称为考试写作规则，也不提供保分承诺。

• 本图为课程写作组织建议，不是考试统一模板或官方评分公式。
• 项目概述交代背景与职责，设计说明目标、比较和决策，问题对策解释调整，效果总结给证据与局限。
• 技术背景来源支持架构工作的生命周期概念，不规定论文各部分固定字数。

Oracle Java Tutorial — Java compilation and execution；About the Java Technology 页内 compiler 图；已核看；保留 .java→compiler→.class→Java VM 结构，将 VM 执行展开为常见解释/JIT 两种机制；机制细节另据 HotSpot 文档。

• Java 源码通常经 javac 编译为与处理器无关的字节码。
• 虚拟机执行字节码；常见实现可解释执行并把热点代码即时编译为机器码。
• 分支表示执行机制可配合，不表示所有字节码必须先完成整段解释再进入即时编译。

WAVEFORMATEX 未压缩 PCM 字段关系；nAvgBytesPerSec、nBlockAlign、nSamplesPerSec 字段；文字依据，无参考原图；按讲稿的 48 kHz、16 bit、双声道数值原创绘制依赖关系，公式取自官方字段定义；不是标准原图。

• 采样率确定每秒每声道的样本数，量化位数确定每样本的表示位数，声道数是独立乘数。
• 48000×16×2=1536000 bit/s；除以8=192000 B/s。
• 提高量化位数不能补救欠采样引起的混叠；理想带限采样条件与实际抗混叠设计需分别考虑。

LLNL Introduction to Parallel Computing — Amdahl’s Law；Potential Benefits, Limits and Costs；Amdahl 曲线图，已核看；按同一 Amdahl 公式改作讲稿中的分段时间算例；保留不可加速部分形成上限的关系，不冒充原曲线的等比例重绘。

• 归一总时间为1，其中不能加速的0.2保持不变。
• 可加速的0.8除以4变成0.2，优化后总时间0.4，所以整体加速比2.5。
• 即使可优化部分无限加速，固定0.2形成理论上限5；额外协调开销会降低收益。

The Open Group — TOGAF and GERAM mapping；Figure 3 右侧 ADM 环图；已放大核看；保留 A—H 顺时针与中央需求管理的经典结构；为画面节点数上限将预备阶段改为中央说明，保留 C 中数据/应用含义。

• ADM 阶段包括愿景、业务、信息系统、技术、机会解决方案、迁移计划、实施治理、架构变更管理。
• C 信息系统架构包含数据与应用架构，需求管理贯穿 ADM。
• 圆周方向保留常见 ADM 图式，不能解读成只能执行一次的严格线性流程。

Microsoft — Traditional N-Layer architecture；Figure 5-2；已核看 UI / BLL / DAL 图；保持 UI→BLL→DAL 的三层排列和向下依赖，中文替换为本课退货案例职责；不添加物理服务器图标。

• 表现层处理交互，业务层组织业务规则，数据访问层封装持久化访问。
• 图中向下箭头表示逻辑依赖或调用，并非把响应数据限制为只能向下流动。
• 逻辑层与物理部署层次不同，三层不要求三台服务器。

Cornell CS4410 — BLP information-flow diagram；PDF 第 45 页，Bell-LaPadula: Rules；已核看对象到主体的读箭头及主体到对象的写箭头；把多级示例压缩为高—中—低三个节点，保留对象/主体和信息流方向，并补虚线明确禁止路径；无类别比较时不套用本简图。

• 同类别、固定安全标签下，BLP 的简化读写规则为不上读、不下写。
• 读的信息由对象流向主体；写的信息由主体流向对象，允许的信息流方向均不降低保密等级。
• 完整标签通常还包含类别；可信主体、标签改变等扩展情况不由本简图覆盖。

Cornell CS4410 — BLP information-flow diagram / strict Biba rules；PDF 第 45 页 BLP 图与第 46 页 Biba 规则；两页已核看；以已核看的 BLP 经典图式作对偶改绘，方向严格依据第 46 页 Biba 规则；第 46 页本身没有图，不冒称存在 Biba 原图。

• 完整性等级表示可信程度，不等同于保密等级。
• 严格 Biba：不能读较低完整性对象，不能写较高完整性对象；简化图只展示读写规则。
• 严格 Biba 还约束不得调用更高完整性的主体；不同 Biba 变体应分别判断。

Apache Flink — Out-of-order events and watermarks；Time 文档中的 A data stream with events (out of order) and watermarks；已核看 SVG；保留水位线与乱序事件交错的关系，横向改为从左到右的处理先后；改用讲稿中的10:01/10:03并明确水位线前提，增加可配置迟到分支。

• 事件时间是事件发生时间；处理时间取算子执行时的系统时钟，不能直接把网络到达时间当成处理时间。
• 本图显式假设水位线已越过事件时间10:01，随后10:03到达的该事件需要按迟到策略处理。
• 水位线是事件时间进度机制，不保证物理世界永不再有旧事件；窗口更新、旁路输出、丢弃的可用性取决于配置和算子语义。

Apache Flink — Checkpoint barriers in data streams；Fault Tolerance 文档的 Checkpoint barriers are inserted into the streams；已核看 SVG；保留记录流与一致检查点的关系，按同页状态恢复文字扩展为源—算子—目标边界图；不是把屏障原图直接等同比例重绘，外部目标条件另行强调。

• 检查点保存受管理状态及对应源位置，恢复后可从一致位置重放。
• 恰好一次状态语义不等于每条记录的处理函数只执行一次。
• 端到端恰好一次需要可重放的源和兼容的目标机制，例如事务提交或幂等写入；检查点不自动保护任意外部副作用。

ONF Figure 1: Software-Defined Network Architecture；白皮书Introducing Software-Defined Networking节的三层图；已查看原GIF；保留上下分层和接口双向连接，中文重绘并精简设备数。以RFC 7426补充边界，不沿用2012年“唯一标准协议”等时代性措辞。

• ONF Figure 1按应用、控制、基础设施自上而下排列；本图保留分层与接口双向结构。
• RFC 7426允许逻辑平面按实现分布或共置；转发设备仍承担数据路径。
• 南向接口不限于OpenFlow；图中省略管理平面与实现内部细节。

Online monitoring and control of a cyber-physical manufacturing process under uncertainty；PDF第47页，Figure 1: Interactions between several subsystems in a cyber-physical manufacturing system；已查看PDF图；保留传感左、计算上、执行右、物理过程下及闭环箭头，改为自创温室情景，不复制论文图形素材。

• NIST参与作者论文Figure 1为传感器→计算系统→执行控制→物理过程→传感器的闭环。
• 将制造过程换成课程温室示例，不把联网本身等同于闭环控制。
• 反馈是新的测量；时延、失准或执行器故障会影响控制行为。

Defense Systems Management College: Scheduling Guide for Program Managers；2001年版印刷第48页/PDF第57页，Figure 6-9: PDM Example—Early and Late Start and Finish Times；已查看图6-9及图6-8；沿用活动节点及ES/EF/LS/LF记法。五活动依赖和全部数值为本课原创，不是原书算例。

• 活动持续时间A=2、B=6、C=2、D=2、E=3天；依赖A→B→E及A→C→D→E。
• ES/EF：A0/2、B2/8、C2/4、D4/6、E8/11；LS/LF：A0/2、B2/8、C4/6、D6/8、E8/11。
• 前推在汇合处取最大值，后推在分叉处取最小值；关键路径A-B-E为11天。

Scheduling Guide for Program Managers：PDM与共享余量；印刷第47–48页/PDF第56–57页，Figures6-8/6-9及相邻“slack is not additive”说明；GAO印刷第92–93页定义TF/FF；已查看PDM原图及共享余量说明。本图用课程自拟五活动网络的两种排程作比较；数值与口播一致，非按图宽比例绘制时间轴。

• C总时差=LS-ES=4-2=2天；自由时差=ES(D)-EF(C)=4-4=0天。
• D总时差为2天，C与D共享支路余量，不能把二者各2天直接相加成4天。
• C3–5、D5–7时，E8–11仍不变，剩余支路余量1天。

NIST SP 800-190: Virtual Machine and Container Deployments；印刷第5页/PDF第17页，Figure 2的左侧VM及中间bare-metal container两组；已查看原图；保留从应用到OS/管理器再到硬件的上下依赖与共享关系，3个实例减为2个；连线表示运行层次，不是网络数据流。

• 虚拟机各自有客户操作系统，经虚拟机管理器使用虚拟硬件。
• 同一Linux宿主上的常见容器共享宿主内核；进程隔离不消除资源竞争。
• Docker默认不自动配置CPU与内存限额；图中省略运行时细节，不表示容器必须直接部署在裸机。

OMG UML 2.5.1 Figure 9.2: Generalization notation showing different target styles；印刷第103页/PDF第145页，Figure9.2的shared target style；已查看原图；保留一般类型在上、特化类型在下及空心三角向上的共享目标样式，省去Spline以提升中文视频可读性。

• UML2.5.1 §9.2.4的泛化使用实线和空心三角，三角位于一般Classifier一端。
• 图形位于上方，多边形、椭圆位于下方；箭头从特化类型指向一般类型。
• 保留Figure9.2的泛化方向；没有聚合或组合菱形，也不暗示生命周期约束。

OMG UML 2.5.1 Figures 18.3 and 18.4: Example Extend / Example Include；印刷第643–644页/PDF第685–686页，Figures18.3/18.4；已查看两张原图；保留include从左向右、extend从右向左的虚线开箭头。业务名改为原创检修用例，扩展条件和扩展点用中文标注。

• include为虚线开箭头，从including use case指向included use case。
• extend为虚线开箭头，从扩展用例指向被扩展的基础用例；基础用例可独立成立。
• 本课自拟检修例子：每次执行资格核验；紧急条件在指定扩展点加入行为。

Database System Concepts 7e: Relational Database Design；PDF第7页/幻灯片7.9表式无损分解图；第24、26页/幻灯片7.27、7.29的dept_advisor例；已查看表式分解图及3NF/BCNF原例。采用相同依赖结构，替换为课程D/W/C情景；两行见证为原创，专门说明分解后更新可能违反原依赖。

• 依赖DW→C、C→W下，DW和DC都是候选键，D/W/C均为主属性；C不是超键。
• 分解CW与DC的交集C能决定CW，因此分解对满足原依赖的关系无损。
• 反例是分解后分别合法的两表：CW={(C1,W1),(C2,W1)}、DC={(D1,C1),(D1,C2)}。
• 连接产生同一D1/W1配C1与C2，违反原DW→C；这说明依赖不保持，而非无损性被否定。

Microsoft Azure Architecture Center: Cache-Aside pattern；Solution节的App/Cache/Data Store图及Problems and considerations的Consistency说明；已查看官方SVG的三组件连线并核对页面步骤；本图不照搬缓存模式静态结构，改画课程原创41→45并发时间线。箭头表先后或旧值携带，不代表网络接口。

• 口播初值41，新值45；读请求先从数据库取得41，再发生写库45和删缓存，最后慢读回填41。
• 按图顺序结束时数据库为45、缓存为41；图示一种允许的并发时序，不表示必然发生。
• Cache-Aside不自动保证库缓存一致；复制确认与缓存回填是不同问题，本图只放大缓存交错。

Jay Kreps: Questioning the Lambda Architecture；文中Kappa图与“How can we do the reprocessing”后的4步说明；已查看作者Kappa图的新旧流任务及输出表；原图没有本课数值。本图把“新任务追平”抽象成积压流入/流出模型，用原创口播数字计算，不声称是标准架构原图。

• 初始落后1200000条；新记录1000条/秒；任务处理4000条/秒。
• 净追赶速度4000-1000=3000条/秒，追平时间1200000/3000=400秒。
• 若处理速度不高于新增速度，积压不会收敛；Kappa来源支持重放与追平切换思路，具体数字和算式为原创。

WfMC Workflow Reference Model / Workflow Interfaces Diagram；WfMC官方旧站AIAI归档首页的Workflow Interfaces Diagram原GIF；已查看原GIF；保留中心执行服务、上1、左5、右4、下2/3的功能空间布局。原图接口符号简化为无方向连线，表示双向交互能力，不表示调用时序。

• 接口1连接流程定义工具；2连接工作流客户端；3连接被调用应用；4连接其他工作流执行服务；5连接管理监控工具。
• 保留原图顶部定义、底部客户端与应用、左侧管理、右侧其他引擎的空间位置。
• 接口编号划分职责，不保证所有产品兼容，也不承诺业务外部动作已经完成。

3GPP TS23.501 / ETSI TS123501 V15.3.0: 5G System architecture；印刷第20页/PDF第21页，Figure4.2.3-1；已查看标准原图；摘出UE、(R)AN、UPF、DN和SMF，保留左到右用户面、上方SMF及N3/N4/N6无向参考点连接。基础关系不是本课自创；本地摄像头/质检名称为原创应用映射。

• 3GPP TS23.501 Figure4.2.3-1的数据路径为UE—(R)AN—UPF—DN；N3在接入网与UPF间，N6在UPF与DN间。
• SMF经N4连接UPF；图中保留控制和用户面分离，省略AMF等非本课重点功能。
• 本地质检应用为自拟工厂场景，近端UPF可选定流量本地分流，不表示全部流量或所有部署必须本地化。