Term Reference Index
3AC |
BB |
CFG |
Complete |
DFA |
Kappa Architecture |
Lambda Architecture |
Rice's theorem |
SSA |
Sound |
TAC |
virtual ELF dynamic shared object |
三地址码 |
交叉影线 |
基本块 |
控制流程图 |
支配关系 |
数据流分析 |
虚拟私有云 |
静态单赋值 |
BFE |
BFF |
Basic Block |
Bottom |
CFG |
Control Flow Graph |
Data Flow Analysis |
Dominate |
Kappa 架构 |
Lambda 架构 |
Linux |
May Analysis:: |
Must Analysis:: |
SLE |
Shuffle Service |
Sound and Complete |
Static Single-Assignment |
Three-Addrress Code |
Top |
VPC |
vDSO |
两个匹配关系 |
亮暗面 |
内在构造 |
冷暖 |
原点思维 |
原色 |
发际线 |
口轮匝肌 |
和弦 |
和弦模式 |
外在形态 |
奥菲莉亚 |
对比色 |
影线 |
旷野之息 |
明度 |
暖暖蘑菇 |
生命榴莲 |
白 |
眉弓 |
红 |
纯度 |
绘画 |
耐火蜥 |
自然大调音阶的音程推算 |
色光三原色 |
色序色距 |
色料三原色 |
苹果 |
莱斯定理 |
蓝 |
虎牙 |
补色 |
计算机 |
计算机/云 |
计算机/大数据 |
训练用三原色 |
速速莲蓬 |
酥麻蘑菇 |
静谧公主 |
颧骨 |
颧骨到虎牙的连线 |
鬓角 |
黄 |
黑 |
鼻子底盘 |
鼻根
| 3AC | ||
Three-Addrress Code (ba241da) | :enwiki:`Three-address_code` .. figure:: /_images… | |
| BB | ||
Basic Block (f43022e) | Entry of BB must be dest of a JUMP instr. Exit of … | |
| CFG | ||
Control Flow Graph (5884c19) | .. figure:: /_images/0bc9d1e2-3ea7-4c5f-b1ea-6f948… | |
| Complete | ||
Sound and Complete (b84b8d9) | Sound by default 在静态分析中，几乎所有的分析方法都追求 Sound 而非 C… | |
| DFA | ||
Data Flow Analysis (f5e3665) | How *Data* is *Flow* on :term:`CFG`? :Data: is ap… | |
| Kappa Architecture | ||
Kappa 架构 (d27ca59) | 通过改进 :term:`Lambda 架构` 中的 Speed Layer，使它既能够进行实时数据处… | |
| Lambda Architecture | ||
Lambda 架构 (e6fb71b) | 通过流式处理和批式处理系统的结合，平衡一个数据处理系统的吞吐和延时。 - Batch Layer：… | |
| Rice's theorem | ||
莱斯定理 (53cfdb1) | :zhwiki:`递归可枚举语言` 的所有非平凡（nontrival）性质都是 :zhwiki:`不… | |
| SSA | ||
Static Single-Assignment (7bbbd80) | .. figure:: /_images/00cce13d-de57-41ac-b41b-84455… | |
| Sound | ||
Sound and Complete (b84b8d9) | Sound by default 在静态分析中，几乎所有的分析方法都追求 Sound 而非 C… | |
| TAC | ||
Three-Addrress Code (ba241da) | :enwiki:`Three-address_code` .. figure:: /_images… | |
| virtual ELF dynamic shared object | ||
vDSO (a047f03) | ||
| 三地址码 | ||
Three-Addrress Code (ba241da) | :enwiki:`Three-address_code` .. figure:: /_images… | |
| 交叉影线 | ||
影线 (80810be) | ||
| 基本块 | ||
Basic Block (f43022e) | Entry of BB must be dest of a JUMP instr. Exit of … | |
| 控制流程图 | ||
Control Flow Graph (5884c19) | .. figure:: /_images/0bc9d1e2-3ea7-4c5f-b1ea-6f948… | |
| 支配关系 | ||
Dominate (0c26078) | 若从进入程式块到达基本块 N 的所有路径，都会在到达基本块 N 之前先到达基本块 M，则基本块 M … | |
| 数据流分析 | ||
Data Flow Analysis (f5e3665) | How *Data* is *Flow* on :term:`CFG`? :Data: is ap… | |
| 虚拟私有云 | ||
VPC (2accebd) | 虚拟私有云，特指该私有云并非独立物理部署，而是建立在公有云上。 | |
| 静态单赋值 | ||
Static Single-Assignment (7bbbd80) | .. figure:: /_images/00cce13d-de57-41ac-b41b-84455… | |
| BFE | ||
BFE (8a7305e) | 这里说的是 Bilibili Front End，理解为边缘节点的 proxy 即可 | |
| BFF | ||
BFF (30d4876) | Backend for Frontend | |
| Basic Block | ||
Basic Block (f43022e) | Entry of BB must be dest of a JUMP instr. Exit of … | |
| Bottom | ||
Bottom (0f24ae8) | :math:`\bot`, 用来表示一个符号是未定义的（Undefined ） | |
| CFG | ||
Dominate (0c26078) | 若从进入程式块到达基本块 N 的所有路径，都会在到达基本块 N 之前先到达基本块 M，则基本块 M … | |
| Control Flow Graph | ||
Control Flow Graph (5884c19) | .. figure:: /_images/0bc9d1e2-3ea7-4c5f-b1ea-6f948… | |
| Data Flow Analysis | ||
Data Flow Analysis (f5e3665) | How *Data* is *Flow* on :term:`CFG`? :Data: is ap… | |
| Dominate | ||
Dominate (0c26078) | 若从进入程式块到达基本块 N 的所有路径，都会在到达基本块 N 之前先到达基本块 M，则基本块 M … | |
| Kappa 架构 | ||
Kappa 架构 (d27ca59) | 通过改进 :term:`Lambda 架构` 中的 Speed Layer，使它既能够进行实时数据处… | |
| Lambda 架构 | ||
Lambda 架构 (e6fb71b) | 通过流式处理和批式处理系统的结合，平衡一个数据处理系统的吞吐和延时。 - Batch Layer：… | |
| Linux | ||
vDSO (a047f03) | ||
| May Analysis:: | ||
May Analysis:: (d2cdf1f) | Output information *may* be true (over-approximati… | |
| Must Analysis:: | ||
Must Analysis:: (b99453c) | Output information *must* be must (under-approxima… | |
| SLE | ||
SLE (abb5a72) | Server Load Balancing | |
| Shuffle Service | ||
Shuffle Service (f211ac3) | TODO - ESS - CSS | |
| Sound and Complete | ||
Sound and Complete (b84b8d9) | Sound by default 在静态分析中，几乎所有的分析方法都追求 Sound 而非 C… | |
| Static Single-Assignment | ||
Static Single-Assignment (7bbbd80) | .. figure:: /_images/00cce13d-de57-41ac-b41b-84455… | |
| Three-Addrress Code | ||
Three-Addrress Code (ba241da) | :enwiki:`Three-address_code` .. figure:: /_images… | |
| Top | ||
Top (ad0f857) | :math:`\top`，用来表示一个符号是未知的（Unknown） | |
| VPC | ||
VPC (2accebd) | 虚拟私有云，特指该私有云并非独立物理部署，而是建立在公有云上。 | |
| vDSO | ||
vDSO (a047f03) | ||
| 两个匹配关系 | ||
两个匹配关系 (b3960a3) | TODO | |
| 亮暗面 | ||
亮暗面 (e0df949) | 针对单一光源，忽略散射和反射，光能照射到地方为亮面，无法照射到的地方为暗面 | |
| 内在构造 | ||
内在构造 (58c5676) | TODO | |
| 冷暖 | ||
冷暖 (691ac36) | 替代「色相」，冷暖是一种符合人类直觉的，对 *色相相对关系* 的描述。 人对「红橙黄绿青蓝紫」等绝… | |
| 原点思维 | ||
原点思维 (01f8bc6) | TODO | |
| 原色 | ||
原色 (a49207c) | ||
| 发际线 | ||
发际线 (7f6a5ce) | 对额头起修饰作用，对于更高的发际线，还代表着头顶空间的延伸 | |
| 口轮匝肌 | ||
口轮匝肌 (3d335da) | TODO | |
| 和弦 | ||
和弦 (eb91b2e) | ||
| 和弦模式 | ||
和弦模式 (dea39f7) | ||
| 外在形态 | ||
外在形态 (2e07c8d) | TODO | |
| 奥菲莉亚 | ||
奥菲莉亚 (e73cc5e) | ||
| 对比色 | ||
对比色 (23b258f) | 除 :term:`补色` 外的同色系的颜色，对比色侧重并置效果。 `纳比派` 对比色并置，追… | |
| 影线 | ||
影线 (80810be) | ||
| 旷野之息 | ||
酥麻蘑菇 (1a289ab) | :获取地点: 深远阿卡莱森林 | |
耐火蜥 (59d2b4c) | :获取地点: 南部采矿场 | |
静谧公主 (8dc7586) | :获取地点: 大精灵泉、克格洛森林驱魔剑旁 | |
生命榴莲 (92ee06d) | :获取地点: 费罗尼之塔下高地 | |
苹果 (94433ee) | :获取地点: 海拉鲁平原的苹果树林、哈诺特村、萨托利山东部山腰__ __ https://www.… | |
暖暖蘑菇 (95703fb) | :获取地点: 哈特诺研究所后山、火山北侧温泉 | |
速速莲蓬 (e3b18c9) | :获取地点: 卓拉领地内神庙、前往雷兽山的多级瀑布 | |
| 明度 | ||
明度 (2c5ab40) | 一个漫反射表面所呈现的明度由投射的 *光的明度* 和 该表面的 *固有色的明度* 共同决定。 其中… | |
| 暖暖蘑菇 | ||
暖暖蘑菇 (95703fb) | :获取地点: 哈特诺研究所后山、火山北侧温泉 | |
| 生命榴莲 | ||
生命榴莲 (92ee06d) | :获取地点: 费罗尼之塔下高地 | |
| 白 | ||
白 (536bb47) | 锌钛白，PW6-PW4，不透明 | |
| 眉弓 | ||
眉弓 (72b0c8a) | 上作为额头的底面，下包裹着眼睛，由三个形体组合而成，但我老看不太出来……亚洲人尤甚 空间上：TOD… | |
| 红 | ||
红 (64a4c29) | 大红，PR21，不透明 | |
| 纯度 | ||
纯度 (066459b) | 或称「:zhwiki:`饱和度 <色度 (色彩学)>`」，饱和度在不同的色彩模型中有不同定义， 但基… | |
| 绘画 | ||
原点思维 (01f8bc6) | TODO | |
外在形态 (2e07c8d) | TODO | |
口轮匝肌 (3d335da) | TODO | |
颧骨到虎牙的连线 (5441b37) | 是区分人脸正侧面的一条含糊的线 | |
内在构造 (58c5676) | TODO | |
眉弓 (72b0c8a) | 上作为额头的底面，下包裹着眼睛，由三个形体组合而成，但我老看不太出来……亚洲人尤甚 空间上：TOD… | |
虎牙 (738f887) | 虎牙必定在上唇形成一个凸起，分割上嘴唇的正侧面 | |
鬓角 (786147d) | 鬓角对脸型起修饰作用，和脸的交界 | |
发际线 (7f6a5ce) | 对额头起修饰作用，对于更高的发际线，还代表着头顶空间的延伸 | |
影线 (80810be) | ||
鼻子底盘 (8f6780c) | 连接鼻子和脸的重要结构 | |
鼻根 (a8e21a7) | 连接额头和鼻子的重要结构 | |
颧骨 (aa55334) | TODO | |
两个匹配关系 (b3960a3) | TODO | |
亮暗面 (e0df949) | 针对单一光源，忽略散射和反射，光能照射到地方为亮面，无法照射到的地方为暗面 | |
| 耐火蜥 | ||
耐火蜥 (59d2b4c) | :获取地点: 南部采矿场 | |
| 自然大调音阶的音程推算 | ||
自然大调音阶的音程推算 (243d7af) | ||
| 色光三原色 | ||
色光三原色 (10da012) | ||
| 色序色距 | ||
色序色距 (df1bf0d) | 用来描述颜色之间某个要素（纯度、冷暖、明度）的关系：顺 *序* 和 *距* 离。 以明度举例：红黄… | |
| 色料三原色 | ||
色料三原色 (2245263) | ||
| 苹果 | ||
苹果 (94433ee) | :获取地点: 海拉鲁平原的苹果树林、哈诺特村、萨托利山东部山腰__ __ https://www.… | |
| 莱斯定理 | ||
莱斯定理 (53cfdb1) | :zhwiki:`递归可枚举语言` 的所有非平凡（nontrival）性质都是 :zhwiki:`不… | |
| 蓝 | ||
蓝 (7fb78b1) | 钴蓝，PB15-PB9-PW6，半透明 | |
| 虎牙 | ||
虎牙 (738f887) | 虎牙必定在上唇形成一个凸起，分割上嘴唇的正侧面 | |
| 补色 | ||
补色 (cc3ab27) | 颜色 A 与颜色 B 等量相加能产生中性灰，则 A B 互为补色。往颜色中添加补色， 色相不变。 … | |
| 计算机 | ||
BFF (30d4876) | Backend for Frontend | |
BFE (8a7305e) | 这里说的是 Bilibili Front End，理解为边缘节点的 proxy 即可 | |
SLE (abb5a72) | Server Load Balancing | |
| 计算机/云 | ||
VPC (2accebd) | 虚拟私有云，特指该私有云并非独立物理部署，而是建立在公有云上。 | |
| 计算机/大数据 | ||
Lambda 架构 (e6fb71b) | 通过流式处理和批式处理系统的结合，平衡一个数据处理系统的吞吐和延时。 - Batch Layer：… | |
| 训练用三原色 | ||
训练用三原色 (50b2198) | 从 :term:`原色` 我们已经知道基于红黄蓝（RYB）的 :zhwiki:`伊頓十二色环 <色环… | |
| 速速莲蓬 | ||
速速莲蓬 (e3b18c9) | :获取地点: 卓拉领地内神庙、前往雷兽山的多级瀑布 | |
| 酥麻蘑菇 | ||
酥麻蘑菇 (1a289ab) | :获取地点: 深远阿卡莱森林 | |
| 静谧公主 | ||
静谧公主 (8dc7586) | :获取地点: 大精灵泉、克格洛森林驱魔剑旁 | |
| 颧骨 | ||
颧骨 (aa55334) | TODO | |
| 颧骨到虎牙的连线 | ||
颧骨到虎牙的连线 (5441b37) | 是区分人脸正侧面的一条含糊的线 | |
| 鬓角 | ||
鬓角 (786147d) | 鬓角对脸型起修饰作用，和脸的交界 | |
| 黄 | ||
黄 (c166d88) | 中黄: PY1-PY65-PW6，不透明 | |
| 黑 | ||
黑 (72deace) | 煤黑，PBk7，不透明 | |
| 鼻子底盘 | ||
鼻子底盘 (8f6780c) | 连接鼻子和脸的重要结构 | |
| 鼻根 | ||
鼻根 (a8e21a7) | 连接额头和鼻子的重要结构 |