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 ......
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 ......
mit6.824lab2B raft
lab2b的内容主要是关于raft之中日志存储，相较于上一个2a的话，这一个部分主要实现的是日志的同步性以及当集群中存在较大规模断连之后的重新选举Leader。 2023/10/8 22:10 目前实现的结果是通过了一部分测试，但是对于TestFailNoAgree2B这个测试有通过的问题。 在最后 ......
mit6.824lab2A-Raft
写在前面 最近更新的可能会比较慢，因为分布式系统这个部分到目前还是为爱发电。上个月是在开学考试的阶段，接下来可能会受一些项目或者学习课程安排上的影响，不过这个内容会坚持下去的。 lab2A的内容主要是关于Raft中server选举的实现，论文中的Figure2以伪代码的格式给出了很多较为详尽的解释， ......
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)一样，**细节多到爆炸**，连我自己 ......
MIT 18.06 线性代数 - 23微分方程,exp(At)
# 微分方程和$e^{At}$ ## 微分方程$\frac{\mathrm{d}u}{\mathrm{d}t}=Au$ 本讲主要讲解解一阶方程（first-order system）一阶导数（first derivative）常系数（constant coefficient）线性方程，上一讲介绍了如 ......
MIT 18.06 线性代数 - 22. 对角化和矩阵的幂
**关于斐波那契数列计算第n个数，使用矩阵特征向量和特征值求解：** Fibonacci 数列的定义是：$F(0)=0$，$F(1)=1$ 并且对于 $n>1$，$F(n)=F(n-1)+F(n-2)$。我们可以使用线性代数中的特征向量和特征值来求解 Fibonacci 数列。 首先，我们可以将 F ......
XV6中的锁：MIT6.s081/6.828 lectrue10：Locking 以及 Lab8 locks Part1 心得
这节课程的内容是锁（本节只讨论最基础的锁）。其实**锁本身就是一个很简单的概念**，这里的简单包括 3 点： 1. **概念简单**，和实际生活中的锁可以类比，不像学习虚拟内存时，现实世界中几乎没有可以类比的对象，所以即使这节课偏向于理论介绍，也一点不会感觉晦涩。 2. **使用简单**，几乎所有的 ......
mit6.824-lab1 MapReduce
#### 杂谈 > - 传统的并行计算要的是：投入更多机器，数据大小不变，计算速度更快。 > - 分布式计算要求：投入更多的机器，能处理更大的数据。 > - 换句话说二者的出发点从一开始就不同，一个强调 **high performance**, 一个强调 **scalability**. 本过程实 ......
MIT6.s081/6.828 lectrue07：Page faults 以及 Lab5 心得
本篇博客主要是复习 MIT6.s081/6.828 lectrue07：Page faults 以及记录 Lab5 ：COW fork 的心得 值得一提的是，2020 年之前的版本第 5 个 lab 是 lazy alloction，但是到了 2020 年之后就换成了难度稍高一点的 COW fork ......
MIT6.s081/6.828 lectrue5/6：System call entry/exit 以及 Lab4 心得
这篇博客主要复习 lecture05：GDB calling conentions 和 lecture06：System call entry/exit 的内容，外加 Lab4：traps 的心得 # 前置知识 这里的前置知识是指 lecture05：GDB calling conentions 的 ......
MIT 18.06 Notes
## MIT 18.06 线性代数 学习笔记 ### Lecture 1 #### 线性方程组的几何化 e.g. $$ 2x - y = 0 \\ -x + 2y = 3 $$ 行视角(`Row Picture`):解集是直线们的交点 或 平面们的交线等。 [MIT公开课雷达系统工程之发射与接收
0 写在前面2023 五一快乐，大家～～雷达发射与接收机设计主要影响雷达方程中平均功率、系统温度和系统损失。1 发射机1.1 基本介绍理想发射机应具有以下性质：需要折中。简化的雷达发射与接收系统的框图：1.2 高功率放大管高功率发射管框图：Klystron – High Power Amplifie ......
(十六)MIT公开课雷达系统工程之机载PD雷达
0 写在前面我生命里最大的突破之一，就是我不再为别人对我的看法而担忧，此后，我真的能自由地去做我认为对自己最好的事，只有我们不需要别人的赞许时，才变得自由。——罗伊·马丁纳1 基本介绍机载雷达实例：机载雷达的首次亮相：在第二次世界大战中，机载雷达出现，主要用于夜间检测敌方飞机，工作在攻击或自卫模式。 ......
(十七)MIT公开课雷达系统工程之参数估计与跟踪 (上)
0 写在前面只有走在路上，才能摆脱局限、摆脱执着，让所有的选择、探寻、猜测、想象都生机勃勃。——余秋雨《文化苦旅》1 基本介绍跟踪雷达：雷达参数估计：准确度、精度和分辨率：2 Observable EstimationObservable Accuracy：Limitations on Range ......