05 2022 档案
摘要:Lab2-kmt 花了整个五一三天假期,最后是听了答疑才知道怎么解决栈的数据竞争的.... 痛苦的部分主要是多核 logging 和怎么用 qemu debug 的问题。搞定了这些技术上的难题,剩下就是老老实实写代码了。 设计 spinlock 去观摩了 xv6 的代码,发现不仅要自旋,还得关中断。
阅读全文
摘要:Lab1-pmm 这里不是实验报告,可以随便吐槽和说很多废话吧(大概) 也没有泄漏啥代码,纯纯的唠嗑,应该不违反学术诚信。 感觉这次实验被我做难了....事实上只需要链表就可以实现所有的操作,buddy system 纯纯的没必要,写出来也不容易 debug (也许熟练工可以做到一次对,但是这有啥用
阅读全文
摘要:感觉这部分穿插的有些怪 upd:最后两节课突然就悟了,因为tcs组主要是做这个的...看了看感觉就是硬广,那就学着吧。 Courant-Fischer 对于实对称矩阵 \(A\),其最大特征值 \(\lambda_\max(A)\geq \frac{x^\intercal Ax}{x^\interc
阅读全文
摘要:Markov Chain 的本质是概率状态机,这么想就很简单了 为了偷懒只讨论有限的情形 前置 离散概率分布可以表示为 \(\R^n\) 上的向量 \(x\),满足 \(\sum_{i=1}^n x_i=1\) 且 \(\forall i,x_i\in[0,1]\) 对于用向量表示的概率分布,可以定
阅读全文
摘要:前置 这一节主要是玩矩阵,为了偷懒只讨论实线性空间 前置 这一节主要是玩矩阵,为了偷懒只讨论实线性空间 内积 二元函数 \(\left<,\right>\) 被称为内积,则其满足: \(\left<x,y\right>=\left<y,x\right>\) \(\left<ax+by,z\right
阅读全文
摘要:心态崩了,这个 latex 公式支持也太迷幻了。但是不太想管,等啥时候有空整个自己的吧(flag++) 函数逼近 考虑的是对于给定函数 \(f\) 和度量 \(\norm{\cdot}\),求一个多项式函数 \(p\) 使得 \(\norm{f-p}\) 尽可能小。这里不关注特定点上的值,而更在意两
阅读全文

浙公网安备 33010602011771号