Term Name Reference Index
3AC |
BB |
BFE |
BFF |
Basic Block |
Bottom |
CFG |
Complete |
Control Flow Graph |
DFA |
Data Flow Analysis |
Dominate |
Kappa Architecture |
Kappa 架构 |
Lambda Architecture |
Lambda 架构 |
May Analysis:: |
Must Analysis:: |
Rice's theorem |
SLE |
SSA |
Shuffle Service |
Sound |
Sound and Complete |
Static Single-Assignment |
TAC |
Three-Addrress Code |
Top |
VPC |
vDSO |
virtual ELF dynamic shared object |
三地址码 |
两种匹配关系 |
两种形状 |
交叉影线 |
亮暗面 |
内在构造 |
冷暖 |
分解形体的原则 |
单元形体 |
原色 |
双音、和弦 |
发际线 |
口轮匝肌 |
同色异谱 |
同色异谱：为什么混合色和单色可能有同样的视觉效果？ |
基本块 |
外在形态 |
奥菲莉亚 |
对比色 |
形体 |
形体的两种匹配关系 |
形体的观察方法 |
影线 |
控制流程图 |
支配关系 |
数据流分析 |
明度 |
暖暖蘑菇 |
暗部的两种匹配关系 |
模型蒸馏（Model Distillation）是一种用于模型压缩、加速的通用方法。用一个容量较大的预训练模型作为教师模型，利用其输出来进一步训练学生模型（往往是参数规模更小的模型）。学生模型的规模上往往是更易部署的，同时在泛化能力上要远优于使用原始数据集训练的同等规模模型，但与满血版本的教师模型显然是存在差异的。 |
模型量化（Model Quantization）通常指的是将模型中的参数（例如权重和偏置）从浮点数转换为低位宽度的整数，例如从32 位的浮点数转换为 8 位整数。 |
生命榴莲 |
白 |
眉弓 |
红 |
纯度 |
细节 |
结构 |
结构体块 |
耐火蜥 |
自然大调音阶的音程推算 |
色光三原色 |
色序色距 |
色料三原色 |
苹果 |
莱斯定理 |
蒸馏 |
蓝 |
虎牙 |
虚拟私有云 |
补色 |
训练用三原色 |
速速莲蓬 |
酥麻蘑菇 |
量化 |
静态单赋值 |
静谧公主 |
颧骨 |
颧骨到虎牙的连线 |
鬓角 |
黄 |
黑 |
鼻子底盘 |
鼻根
| 3AC | ||
Three-Addrress Code | Three-address_code | |
| BB | ||
Basic Block | Entry of BB must be dest of a JUMP instr.Exit of B… | |
| BFE | ||
BFE | 这里说的是 Bilibili Front End，理解为边缘节点的 proxy 即可 | |
| BFF | ||
BFF | Backend for Frontend | |
| Basic Block | ||
Basic Block | Entry of BB must be dest of a JUMP instr.Exit of B… | |
| Bottom | ||
Bottom | \bot, 用来表示一个符号是未定义的（Undefined ） | |
| CFG | ||
Control Flow Graph | ||
| Complete | ||
Sound and Complete | Sound by default在静态分析中，几乎所有的分析方法都追求 Sound 而非 Compl… | |
| Control Flow Graph | ||
Control Flow Graph | ||
| DFA | ||
Data Flow Analysis | How Data is Flow on CFG?Datais application-specifi… | |
| Data Flow Analysis | ||
Data Flow Analysis | How Data is Flow on CFG?Datais application-specifi… | |
| Dominate | ||
Dominate | 若从进入程式块到达基本块 N 的所有路径，都会在到达基本块 N 之前先到达基本块 M，则基本块 M … | |
| Kappa Architecture | ||
Kappa 架构 | 通过改进 Lambda 架构 中的 Speed Layer，使它既能够进行实时数据处理，同时也有能力… | |
| Kappa 架构 | ||
Kappa 架构 | 通过改进 Lambda 架构 中的 Speed Layer，使它既能够进行实时数据处理，同时也有能力… | |
| Lambda Architecture | ||
Lambda 架构 | 通过流式处理和批式处理系统的结合，平衡一个数据处理系统的吞吐和延时。Batch Layer：批处理/… | |
| Lambda 架构 | ||
Lambda 架构 | 通过流式处理和批式处理系统的结合，平衡一个数据处理系统的吞吐和延时。Batch Layer：批处理/… | |
| May Analysis:: | ||
May Analysis:: | Output information may be true (over-approximation… | |
| Must Analysis:: | ||
Must Analysis:: | Output information must be must (under-approximati… | |
| Rice's theorem | ||
莱斯定理 | 递归可枚举语言 的所有非平凡（nontrival）性质都是 不可判定 <可判定性> 的。 rice0… | |
| SLE | ||
SLE | Server Load Balancing | |
| SSA | ||
Static Single-Assignment | ||
| Shuffle Service | ||
Shuffle Service | TODOESSCSS | |
| Sound | ||
Sound and Complete | Sound by default在静态分析中，几乎所有的分析方法都追求 Sound 而非 Compl… | |
| Sound and Complete | ||
Sound and Complete | Sound by default在静态分析中，几乎所有的分析方法都追求 Sound 而非 Compl… | |
| Static Single-Assignment | ||
Static Single-Assignment | ||
| TAC | ||
Three-Addrress Code | Three-address_code | |
| Three-Addrress Code | ||
Three-Addrress Code | Three-address_code | |
| Top | ||
Top | \top，用来表示一个符号是未知的（Unknown） | |
| VPC | ||
VPC | 虚拟私有云，特指该私有云并非独立物理部署，而是建立在公有云上。 | |
| vDSO | ||
vDSO | ||
| virtual ELF dynamic shared object | ||
vDSO | ||
| 三地址码 | ||
Three-Addrress Code | Three-address_code | |
| 两种匹配关系 | ||
两种匹配关系 | ||
| 两种形状 | ||
两种形状 | ||
| 交叉影线 | ||
影线 | ||
| 亮暗面 | ||
亮暗面 | 针对单一光源，忽略散射和反射，光能照射到地方为亮面，无法照射到的地方为暗面 | |
| 内在构造 | ||
内在构造 | TODO | |
| 冷暖 | ||
冷暖 | 替代「色相」，冷暖是一种符合人类直觉的，对 色相相对关系 的描述。人对「红橙黄绿青蓝紫」等绝对色相认… | |
| 分解形体的原则 | ||
分解形体的原则 | ||
| 单元形体 | ||
单元形体 | ||
| 原色 | ||
原色 | ||
| 双音、和弦 | ||
双音、和弦 | ||
| 发际线 | ||
发际线 | 对额头起修饰作用，对于更高的发际线，还代表着头顶空间的延伸 | |
| 口轮匝肌 | ||
口轮匝肌 | TODO | |
| 同色异谱 | ||
同色异谱：为什么混合色和单色可能有同样的视觉效果？ | ||
| 同色异谱：为什么混合色和单色可能有同样的视觉效果？ | ||
同色异谱：为什么混合色和单色可能有同样的视觉效果？ | ||
| 基本块 | ||
Basic Block | Entry of BB must be dest of a JUMP instr.Exit of B… | |
| 外在形态 | ||
外在形态 | TODO | |
| 奥菲莉亚 | ||
奥菲莉亚 | ||
| 对比色 | ||
对比色 | 除 补色 外的同色系的颜色，对比色侧重并置效果。纳比派对比色并置，追求色彩的波动 | |
| 形体 | ||
形体 | 从单一视角观察，我们把 三个或以上不同形状、方向的面的凸出的组合，定义为形体。三个在绘画中，我们只关… | |
| 形体的两种匹配关系 | ||
形体的两种匹配关系 | #. 多个形体在光源的作用下，其暗部融合在一起，该暗部的形状由这些形体共同决定#. 一个复合形体在光… | |
| 形体的观察方法 | ||
形体的观察方法 | 目的搞清楚 形体 边界在哪里，由几个面组成，每个面的形状如何。不搞清楚这些问题而画出来的形体，只是通… | |
| 影线 | ||
影线 | ||
| 控制流程图 | ||
Control Flow Graph | ||
| 支配关系 | ||
Dominate | 若从进入程式块到达基本块 N 的所有路径，都会在到达基本块 N 之前先到达基本块 M，则基本块 M … | |
| 数据流分析 | ||
Data Flow Analysis | How Data is Flow on CFG?Datais application-specifi… | |
| 明度 | ||
明度 | 一个漫反射表面所呈现的明度由投射的 光的明度 和 该表面的 固有色的明度 共同决定。其中固有色的明度… | |
| 暖暖蘑菇 | ||
暖暖蘑菇 | 获取地点哈特诺研究所后山、火山北侧温泉 | |
| 暗部的两种匹配关系 | ||
暗部的两种匹配关系 | 同一暗部可能服务于多个形体在每一个形体中都需要考虑该暗部和当前形体的匹配关系多个暗部可能服务于同一形… | |
| 模型蒸馏（Model Distillation）是一种用于模型压缩、加速的通用方法。用一个容量较大的预训练模型作为教师模型，利用其输出来进一步训练学生模型（往往是参数规模更小的模型）。学生模型的规模上往往是更易部署的，同时在泛化能力上要远优于使用原始数据集训练的同等规模模型，但与满血版本的教师模型显然是存在差异的。 | ||
蒸馏 | 以 deepseek-r1 的 1.5b-qwen-distill-fp16 版本为例，使用了通义千… | |
| 模型量化（Model Quantization）通常指的是将模型中的参数（例如权重和偏置）从浮点数转换为低位宽度的整数，例如从32 位的浮点数转换为 8 位整数。 | ||
量化 | 以 deepseek-r1 的 671b-fp16 版本为例，fp16 就是使用了 16 位浮点数未… | |
| 生命榴莲 | ||
生命榴莲 | 获取地点费罗尼之塔下高地 | |
| 白 | ||
白 | 锌钛白，PW6-PW4，不透明 | |
| 眉弓 | ||
眉弓 | 上作为额头的底面，下包裹着眼睛，由三个形体组合而成，但我老看不太出来……亚洲人尤甚空间上：TODO | |
| 红 | ||
红 | 大红，PR21，不透明 | |
| 纯度 | ||
纯度 | 或称「饱和度 <色度 (色彩学)>」，饱和度在不同的色彩模型中有不同定义，但基本都作为色彩鲜艳程度的… | |
| 细节 | ||
细节 | 细节则是「不影响形体和结构的小形体」，比如木头的裂纹、石膏的磕碰，适当的细节能强化物象的质感，加强真… | |
| 结构 | ||
结构 | 结构被定义为「形体和形体之间的联系」，也可以说是「形体和形体之间凹处的小形体」。画结构，就是将之前 … | |
| 结构体块 | ||
结构体块 | ||
| 耐火蜥 | ||
耐火蜥 | 获取地点南部采矿场 | |
| 自然大调音阶的音程推算 | ||
自然大调音阶的音程推算 | ||
| 色光三原色 | ||
色光三原色 | ||
| 色序色距 | ||
色序色距 | 用来描述颜色之间某个要素（纯度、冷暖、明度）的关系：顺序和距离。以明度举例：红黄蓝的色序是 黄（最亮… | |
| 色料三原色 | ||
色料三原色 | ||
| 苹果 | ||
苹果 | 获取地点海拉鲁平原的苹果树林、哈诺特村、萨托利山东部山腰 | |
| 莱斯定理 | ||
莱斯定理 | 递归可枚举语言 的所有非平凡（nontrival）性质都是 不可判定 <可判定性> 的。 rice0… | |
| 蒸馏 | ||
蒸馏 | 以 deepseek-r1 的 1.5b-qwen-distill-fp16 版本为例，使用了通义千… | |
| 蓝 | ||
蓝 | 钴蓝，PB15-PB9-PW6，半透明 | |
| 虎牙 | ||
虎牙 | 虎牙必定在上唇形成一个凸起，分割上嘴唇的正侧面 | |
| 虚拟私有云 | ||
VPC | 虚拟私有云，特指该私有云并非独立物理部署，而是建立在公有云上。 | |
| 补色 | ||
补色 | 颜色 A 与颜色 B 等量相加能产生中性灰，则 A B 互为补色。往颜色中添加补色，色相不变。点彩派… | |
| 训练用三原色 | ||
训练用三原色 | 从 原色 我们已经知道基于红黄蓝（RYB）的 伊頓十二色环 <色环>是不准确的的，而显示器行业使用的… | |
| 速速莲蓬 | ||
速速莲蓬 | 获取地点卓拉领地内神庙、前往雷兽山的多级瀑布 | |
| 酥麻蘑菇 | ||
酥麻蘑菇 | 获取地点深远阿卡莱森林 | |
| 量化 | ||
量化 | 以 deepseek-r1 的 671b-fp16 版本为例，fp16 就是使用了 16 位浮点数未… | |
| 静态单赋值 | ||
Static Single-Assignment | ||
| 静谧公主 | ||
静谧公主 | 获取地点大精灵泉、克格洛森林驱魔剑旁 | |
| 颧骨 | ||
颧骨 | TODO | |
| 颧骨到虎牙的连线 | ||
颧骨到虎牙的连线 | 是区分人脸正侧面的一条含糊的线 | |
| 鬓角 | ||
鬓角 | 鬓角对脸型起修饰作用，和脸的交界 | |
| 黄 | ||
黄 | 中黄: PY1-PY65-PW6，不透明 | |
| 黑 | ||
黑 | 煤黑，PBk7，不透明 | |
| 鼻子底盘 | ||
鼻子底盘 | 连接鼻子和脸的重要结构 | |
| 鼻根 | ||
鼻根 | 连接额头和鼻子的重要结构 |