algebra linear 18.06 mit
线性代数导论MIT第二章知识点下
2.3--2.7的知识点 1.使用矩阵消元 2.消元矩阵 3.行交换矩阵 4.增广矩阵 2.4 矩阵运算规则 行与列 方块矩阵与方块乘法 舒尔补充 2.5逆矩阵 乘积AB的逆矩阵 高斯乔丹消元法计算A^(-1) A的逆矩阵 A=LU分解 消元法的时间消费： 转置和排列 内积的意义 排列矩阵 ......
MIT实验警示:人类或需要人工智能辅助才能理解复杂逻辑
人类在复杂逻辑理解上天赋的缺陷是必须承认的事实。AI是人类用来弥补自身缺陷的新工具。软件行业的突破必须得到语言和逻辑工具的支持。人工智能时代的核心价值观应该是人机协作、共生共荣,而非置人于技术之下。 ......
Segformer: 高效自注意力/MIT encoder
NIPS21 SegFormer: Simple and Efficient Design for Semantic Segmentation with Transformers pytorch实现 网络架构：轻量化decoder，各层只经过MLP和上采样到同一分辨率；主要依靠较重的encoer来获 ......
【操作系统MIT 6.1810（2022版）笔记】Lab实验：环境搭建——以Ubuntu20.04为例
感觉环境搭建没有别人说的那么难。 我是双系统用户（Win+Ubuntu20.04），所以直接在Ubuntu上搭建了。听别人说不要用Ubuntu18.04搭建，不知道为什么 参考链接： 官网环境搭建教程 环境搭建 打开终端，输入以下命令并回车运行 sudo apt-get install git bu ......
【操作系统MIT 6.1810笔记】xv6讲义：第一章
第1章-操作系统接口（Operating system interfaces） 设计一个好的接口是困难的：“简单易用的接口” vs “强大复杂的接口功能”是一对主要矛盾。 解决这一矛盾的主要方式：设计可组合在一起以提供更广泛用途的少量机制。 kernel xv6系统中，每个进程（process）包含 ......
线性代数导论MIT第二章知识点
线性代数导论MIT第二章求解线性方程组 1.向量与线性方程组 2.不同角度看方程式 也就是矩阵的乘法原型： 以行来看方程式就是原式 以列来看方程式 以矩阵来看方程式 3.消元法的概念 4.消元法的崩溃 两条线互相平行就无法消元 两条线无限多的点 5.3x3的矩阵消元法 6.从A到U的消元法（U指的上 ......
Mit6.828 Lab2
lab2 提交lab1代码的时候，出现了合并冲突的问题，使用git status，发现问题出现在init.c文件与lab分支的文件产生冲突，修改后成功提交。 lab2中多出来了以下几个文件 inc/memlayout.h kern/pmap.c kern/pmap.h kern/kclock ......
[机器学习复习笔记] Linear Regression 线性回归（最小二乘法求解析解）
Linear Regression 1. 一元线性回归 定义一个一次函数如下： \[y = \theta_0 + \theta_1 x \]其中 \(\theta\) 被称为函数的 参数。显然在坐标图上，这个函数的图像是一条直线，这也是 线性回归 中的 线性 含义所在。 只有 一个 \(x\) 来预 ......
mit6.828 - lab3笔记
lab3主要内容是 完成进程管理的初始化 完成中断管理的初始化 完成pagefault的中断处理 PartA 初始化envs，内存映射数组，类似内存管理的pages 在 mem_init中预留 envs 的位置，并映射 初始化 envs 数组的内容 完成 env创建功能，涉及 加载用户代码 load ......
mit6.828 - lab3练习笔记
Part A Exercise 1 练习 1. 修改 `kern/pmap.c` 中的 `mem_init()` ，分配并映射 `envs` 数组。该数组由 `Env` 结构的 `NENV` 实例组成，分配方式与分配页面数组类似。与页面数组一样，支持 `envs` 的内存也应在 `UENVS`（定义 ......
Mit 6.828 lab1 第三部分
Part3 The Kernel 利用虚拟内存解决位置依赖问题 当您检查上述引导加载器的链接地址和加载地址时，它们完全匹配，但内核的链接地址（由 objdump 打印）和加载地址之间存在（相当大的）差异。回去检查一下这两个地址，确保你能看到我们在说什么。(链接内核比引导加载器更复杂，所以链接地址 ......
Mit 6.828 Lab1 第二部分
Part2 The Boot Loader 个人电脑的软盘和硬盘被划分为 512 字节的区域，称为扇区。扇区是磁盘的最小传输粒度：每次读取或写入操作必须有一个或多个扇区大小，并在扇区边界对齐。如果磁盘是可启动的，第一个扇区称为启动扇区，因为这是启动加载程序代码所在的位置。当 BIOS 发现可引导 ......
MIT 6.828 Lab1 Part1
Part 1：PC Bootstrap 第一个练习的目的是向你介绍 x86 汇编语言和 PC 启动过程，并让你开始使用 QEMU 和 QEMU/GDB 调试。在这部分实验中，你不必编写任何代码，但为了加深理解，你还是应该做一遍，并准备好回答下面的问题。 x86汇编入门 如果您还不熟悉 x86 ......
[ARC072E] Alice in linear land 题解
[ARC072E] Alice in linear land 首先，一个 trivial 的想法是记 \(f_i\) 表示第 \(i\) 步前离终点的距离，于是 \(f_i=\min\Big(f_{j-1},|f_{j-1}-d_i|\Big)\)。 然后，我们设 \(f_i'\) 表示在修改第 \ ......
linear optimization
\(\begin{array}{ll}\operatorname{minimize} & f_0(x) \\ \text { subject to } & f_i(x) \leq b_i, \quad i=1, \ldots, m .\end{array}\) As an important exa ......
[机器学习] 3. 镜像下降 Mirror Descent 与线性耦合 Linear Coupling
ML Theory 太魔怔了！！！！！ 我们来考虑更快的下降算法。 对 \(L\)-smooth 的 Gradient Descent，我们有两种视角来看它。一种是局部视角，梯度方向相近的点的函数值一定会下降，另一种是全局视角，用一个二次函数为整个 \(f\) 提供了一个 lowerbound。当局 ......
mit6.824lab2B raft
lab2b的内容主要是关于raft之中日志存储，相较于上一个2a的话，这一个部分主要实现的是日志的同步性以及当集群中存在较大规模断连之后的重新选举Leader。 2023/10/8 22:10 目前实现的结果是通过了一部分测试，但是对于TestFailNoAgree2B这个测试有通过的问题。 在最后 ......
mit6.824lab2A-Raft
写在前面 最近更新的可能会比较慢，因为分布式系统这个部分到目前还是为爱发电。上个月是在开学考试的阶段，接下来可能会受一些项目或者学习课程安排上的影响，不过这个内容会坚持下去的。 lab2A的内容主要是关于Raft中server选举的实现，论文中的Figure2以伪代码的格式给出了很多较为详尽的解释， ......
Pytorch nn.Linear的基本用法与原理详解
Pytorch nn.Linear的基本用法与原理详解 原文：Pytorch nn.Linear的基本用法与原理详解_iioSnail的博客-CSDN博客 nn.Linear的基本定义 nn.Linear定义一个神经网络的线性层，方法签名如下： torch.nn.Linear(in_features ......
xv6 进程切换中的锁：MIT6.s081/6.828 lectrue12：Coordination 以及 Lab6 Thread 心得
引言 这节课和上一节xv6进程切换是一个完整的的进程切换专题，上一节主要讨论进程切换过程中的细节，而这一节主要讨论进程切换过程中锁的使用，所以本节的两大关键词就是"Coordination"（协调）和 "lost wakeup" Coordination 就是有关出让CPU，直到等待的事件发生再恢复 ......
MIT-Missing-Semester
MIT-Missing-Semester ## 1.shell `cd -` 返回之前的目录 `>>` 输出重定向为追加而不是覆盖 目录权限：`r` 查看目录文件列表，`w` 在目录中重命名、删除、创建文件，`x` 搜索权限，是否允许进入该目录 `tee FILENAME` 将输入内容同时输出至标准 ......
xv6 中的进程切换：MIT6.s081/6.828 lectrue11：Scheduling 以及 Lab6 Thread 心得
# 絮絮叨 这两节主要介绍 xv6 中的**线程切换**，首先预警说明，这节课程的容量和第 5/6 节：[进程的用户态到内核态的切换](https://www.cnblogs.com/looking-for-zihuatanejo/p/17644000.html)一样，**细节多到爆炸**，连我自己 ......