Toggle navigation
CloudingYu的博客
Home
About
Archive
Note
Note
课堂笔记、课程索引与学习记录
计算机组成与体系结构
22 篇
全部课次
监听协议
基于监听协议的多核缓存一致性:从MSI到MESI的状态机设计
一、Cache 一致性问题回顾 1.1 核心问题 多处理器系统中每个 CPU 有自己的 cache,当多个 CPU 持有同一地址的副本时,一个 CPU 修改了数据,其他 CPU cache 中的副本就会变成过时数据。如何保证所有 CPU 看到的 memory 视角一致? 在多核系统中,每个核心独立使用自己的 cache,但共享主存。当某个核心修改了共享数据后,其他核心 cache 中的...
2026-05-25
监听协议
2026-05-25
Cache一致性
2026-05-20
GPU架构
2026-05-18
向量处理器
2026-05-13
地址翻译
2026-05-11
虚拟存储
2026-05-06
Cache性能
2026-04-29
Cache原理
2026-04-27
存储层次
2026-04-22
推测执行
2026-04-15
乱序执行
2026-04-13
多周期处理器
2026-04-08
中断异常
2026-04-01
浮点格式
2026-03-30
系统全貌
2026-03-25
流水线冒险
2026-03-23
RISC-V编码
2026-03-18
架构演进
2026-03-16
指令集设计
2026-03-11
五级流水线
2026-03-09
单周期CPU
2026-03-04
体系结构概览
2026-03-02
代数结构与数理逻辑
22 篇
全部课次
带余除法
域上多项式环的整除理论、带余除法与主理想结构
一、域上多项式环的回顾 1.1 多项式作为序列 在域 $F$ 上,多项式定义为 $F$ 上的序列(sequence),要求只有有限个分量非零。即: \[F[x] = \{(a_0, a_1, a_2, \ldots) \mid a_i \in F,\; \text{仅有有限个 } a_i \neq 0\}\] 加法:按分量相加 乘法:设 $\alpha = (a_i), \...
2026-05-25
带余除法
2026-05-25
唯一分解
2026-05-20
环同态
2026-05-18
理想与商环
2026-05-13
多项式环
2026-05-11
环论入门
2026-05-06
群论梳理
2026-04-27
正规子群
2026-04-22
轮换分解
2026-04-20
Cayley定理
2026-04-15
群作用
2026-04-13
Sylow定理
2026-04-08
拉格朗日定理
2026-04-01
离散对数
2026-03-30
循环群
2026-03-25
模加法群
2026-03-23
同余与整除
2026-03-18
子群生成
2026-03-16
群的基本性质
2026-03-11
半群与群
2026-03-09
公理化数系
2026-03-04
数系构造
2026-03-02
人工智能
10 篇
全部课次
知识表示
Transformer演进、图像生成与符号主义知识表示
一、深度学习串讲:Transformer 架构与预训练演进 1.1 从 RNN 到 Transformer 的动机 回顾整个发展脉络的起点:循环神经网络(Recurrent Neural Network, RNN)处理序列的方式,是对序列中的每个元素逐步读入,将其融合到模型的记忆单元中,形成一个历史序列与当前输入的信息摘要(压缩包),再读入下一个元素并更新记忆。 这个机制本身是”...
2026-05-22
知识表示
2026-05-22
网络训练
2026-05-08
生成模型
2026-04-24
注意力机制
2026-04-17
词向量预训练
2026-04-10
序列标注
2026-04-03
深度架构
2026-03-27
反向传播
2026-03-20
多层感知机
2026-03-13
智能流派
2026-03-06
数据库引论
7 篇
全部课次
事务与并发控制
从事务恢复到隔离性保障的核心机制
一、事务的基本概念 1.1 什么是事务 事务(Transaction)是构成单一逻辑工作单元的操作的集合。一个事务对数据库的操作主要包括两类: 读操作(Read):对应 SQL 中的 SELECT 语句 写操作(Write):对应 SQL 中的 INSERT、UPDATE、DELETE 语句 在后续章节讨论理论问题时,将所有操作统一简化为”读”和”写”两种基本操作。 事...
2026-05-19
事务与并发控制
2026-05-19
查询优化
2026-05-12
索引全景
2026-04-28
存储与索引
2026-04-14
关系模型
2026-04-07
函数依赖
2026-03-31
ER建模
2026-03-24