2020-2021秋季学期总结

本学期,我选修了以下几门课程:理论计算机科学基础、图像处理、信号与系统、操作系统(B)(含实习)、脑与认知科学、围棋(初级班)、西方音乐欣赏、马克思主义原理概论。
并担任一门课程的助教:计算机系统导论。

总的来说,这学期非常忙碌,尤其是期末季,甚至出现了操作系统没有复习完就上考场的情况。

以下测评大致按本学期的收获与体验感排序:

阅读更多

【终结】一份傅里叶笔记

注:本文作者为@IcyChlorine,由于目前IcyChlorine尚未建立起个人网站,因此将内容暂时挂载到我的博客中。本文依旧使用CC BY-NC-SA 4.0协议,但署名时请署名为IcyChlorine。

2021.04.06更新:原贴地址:Fourier方法专栏-二-从傅里叶级数到傅里叶变换

IcyChlorine 2020-12-14

写在前面

自从大一学了傅里叶级数(并且没学好),大二的数理方法又错过了讲傅里叶变换的那节课(数理方法),就一直对傅里叶变换感觉懵懵懂懂,没学进去;虽然道理能搞懂、公式能照搬,但用起来总是没有信心;再加之傅里叶变换的具体方法和公式种类繁多,有时更让我摸不着头脑。由于计算物理要讲FFT,便打算趁这个机会查缺补漏,把傅里叶变换没有搞懂的地方彻底搞懂(指我自己的问题),整理成笔记。

阅读更多

输出虚拟地址对应物理地址的程序

这是一个可以在程序内输出本进程中虚拟地址实际对应的物理地址,可以用来探究linux内存管理系统。
注意:由于一些原因,此程序未能找到在lab machine上成功运行的方法,因此需要在虚拟机上运行。

文件结构

1
2
3
4
vm.h vm.c	- 实现了由虚拟地址计算物理地址的函数,请勿修改
cow.c - 测试copy on write的程序
global.c - 测试.bss段映射匿名文件的程序
mmap.c - 测试mmap函数有关操作的程序

其中,vm.hvm.c核心代码来源于网络,为了方便调用,此处做了适当的微调与封装。

使用方法

函数接口

vm.hvm.c中,封装了一个函数,其可以根据传入的虚拟地址输出物理地址:

1
void show_pa(void* va, const char* info);
阅读更多

递归定理——输出自身源代码的程序

递归定理的一个重要推论,便是对于任意一个程序(图灵机),其都可以在内部获得自身的表述。用程序设计的语言:任意一个程序,都能够在程序内部的某个部分获得自身的源代码。

递归定理的定理内容:咕着

阅读更多

魔塔问题属于NPC的证明

magic-tower

通过证明:0-1背包问题可归约到标准魔塔问题,得出判定问题——标准魔塔问题是NPC的

标准魔塔问题的定义

通俗的讲,标准魔塔问题是魔塔的简化,只考虑生命、攻击、防御、红蓝宝石,数值无上限;不考虑钥匙、金币、商店、道具等。

阅读更多