mit6 5840 lab2 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 ......
Lab2:数据组织基础方法及创新应用(创新)
1.数组指针 定义 int (*)[ ]数组指向二维 int 数组 定义 int 指针指向二维数组的第一个元素 指针的写法较多,从我个人的尝试中选择几种写法分析。 代码1: #include<bits/stdc++.h> using namespace std; int* p[12]; //数组的每 ......
CS144-lab2
Checkpoint 2 Writeup 该lab主要实现TCP接收方,接受来自发送方的TCPSenderMessage数据包,并使用checkpoint 1的Reasembler将接收到的数据推流到ByteStream,然后发送TCPReceiverMessage,指明接收方的窗口大小(ByteS ......
mit6.824lab2B raft
lab2b的内容主要是关于raft之中日志存储,相较于上一个2a的话,这一个部分主要实现的是日志的同步性以及当集群中存在较大规模断连之后的重新选举Leader。 2023/10/8 22:10 目前实现的结果是通过了一部分测试,但是对于TestFailNoAgree2B这个测试有通过的问题。 在最后 ......
临时表、视图与系统函数_Lab2
理解全文检索、视图的基本知识,掌握全文检索的配置与使用方法,能够根据需要创建视图,掌握视图应用技术,熟悉常用系统的应用方法。 例如CTE,派生表的使用 ......
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. **使用简单**,几乎所有的 ......
lab2
# lab2 这个实验是为操作系统编写内存管理代码。内存管理分为两部分: 内核的物理内存分配器,虚拟内存。 1 page : 4k bytes 为获取lab2所需文件,执行如下命令: ``` git pull git checkout -b lab2 origin/lab2 git merge ......