Tip私云(用户名:student | 密码:rgzn2024):https://pan.999314.xyz
学校断网或断电之后无法访问。
补课通知
15 周周一晚上 9、10 节在 05208D 补上【算法分析与设计】
紧急
机器学习的学习通作业在 06-16 23:59 交。
考试安排
课程名称
开考时间
考试地点
备注
数字逻辑
06-16 12:30-14:20
06206D
闭卷
机器学习
06-22 16:20-18:00
06409D
闭卷
操作系统
06-26 14:30-16:20
06408D
闭卷
Java
06-30
-
开卷
作业
1. 操作系统实习
全部文件可在群:1091873636 中可找到
或
网盘:https://pan.999314.xyz
Important每天需在微信的 校友邦 小程序中签到。
2.嵌入式实验
做上机实验,上机实验报告模板.doc。用到的全部文件全在QQ群文件里,至于如何破解,可以参考这篇博客:https://www.cnblogs.com/hhjishu/p/19430625, ...
形式化方法(Formal Methods)
形式化方法是用数学语言来描述、规范和验证系统(尤其是软件和硬件系统)的一套技术体系。它试图用 数学 而不是 经验 去证明一个系统是否正确。
普通开发:
“程序看起来没问题,测试也过了,应该能用。”
形式化方法:
“我能数学证明它一定不会出错(在给定模型下)。”
它广泛用于:
操作系统内核
编译器
芯片设计
航空航天
高铁信号系统
银行/密码学协议
区块链智能合约
因为这些领域:
“出一次错可能就死人、炸火箭、损失几亿”。(试错成本很高)
为什么会有形式化方法?
传统软件开发主要靠:
测试(test)
调试(debug)
Code Review
靠经验
但测试有一个根本问题:
测试只能说明目前没发现 有 bug;
不能说明:绝对没有 bug。
测试集是人想出来的,测试永远不可能覆盖所有情况。
于是:
Tip科学家们想到:
“能不能像数学定理一样证明程序正确?”
所以:
Important程序 = 数学对象
开始出现,这即为形式化方法的 核心思想。
形式化方法的核心
形式化建模
先用数学语言描述系统。不是自然语言。因为自 ...
为何要在命令行(终端)设置网络代理
主要是方便 curl、wget、apt、pip、git、npm 等工具的使用。众所周知,代理工具的常规方法是无法代理到终端的流量。
需要用到命令行网络代理的场景:
当 pip 下包下不动或是屡屡报网络错误,那无非就两种情况:一是下载了过于冷门的包版本,二是包源仓库在国外,国外裸连下载不一定会成功,如果在手机流量和校园网流量之间尝试仍无法下载,则直接终端网络代理。
当需要 git 来克隆仓库,发现timeout 或者下载慢,那么请直接代理流量。
当链接是任何的国外链接时,裸连可能无法建立稳定的连接。比如 claudecode的两条下载命令(分别是powershell和cmd): irm https://claude.ai/install.ps1 | iex 或 curl -fsSL https://claude.ai/install.cmd -o install.cmd && install.cmd && del install.cmd ,网络代理之后会很明显的顺利下下来。
四种实现方式
1. 网络代理工具开启虚拟网 ...
Note仅作个人笔记与备忘。
常用命令
Tip[] 表示可选,<> 表示必选。
ls
作用:列出目录内容。语法:ls [-a -l -h] [目录路径]参数:-a:即 all ,列出全部文件,包括隐藏文件。-l:即 list ,以列表展示内容,并展示更多信息。-h:即 human ,以人类可读的形式展示内容,列出文件的大小,必须搭配 -l 使用。备注:即来自 list 单词。可以两两组合使用,且不分先后顺序,如:ls -la、ls -al、ls -l -a 都等价。不加任何参数时,列出当前目录下非隐藏的文件和目录名。
cd
作用:切换目录。语法:cd [目录路径]备注:即来自 Change Directory 单词。切换目录。不带路径时等价于 cd ~ ,即回到家目录。(家目录:/home/<用户名>)
touch
...
Note本文建立在 WSL 的基础之上。
为何如此
这几个实验的部分小任务无法在 Windows 环境下编译,有些头文件是 Linux 专属的,比如 <unistd.h>, <sys/types.h>, <sys/stat.h>, <sys/ipc.h>, <sys/shm.h> , mkfifo(), shmget(), shmat(), shmdt(), shmctl() …
若要按老师说要在 VMware 虚拟机里安装 vc++ 6.0 ?太麻烦了,既要重新认识/熟悉非主流软件,而且在 VM 里安装软件也很麻烦。
按照 AI 和论坛大佬们的说法,vscode + wsl 应该是最优解。
为什么要装编译器?我在 dev.6.7.5 或者 VS 里使用也没见需要安装?这是因为 dev.6.7.5 或者 VS 自带了编译器。dev 之所以轻量,可以理解为只是给 GCC/G++ 套了个可视化窗口。
vscode + wsl 方案的好处:一是提供了 Linux 环境,二是安装 c/c++ 编译器的过程极其简单 ...
定位
Jupyter Notebook 是一个开源的交互式计算环境,主要用于数据分析、机器学习、科学计算和教学。有两种版本,jupyter lab和jupyter notebook,以下均以jupyter notebook展开。
它最大的特点是:
可以把 代码、运行结果、公式、图表、Markdown 文本 放在同一个文档里,边写边运行,适合做实验、记录过程和展示结果。
Jupyter 支持多种编程语言,其中最常用的是 Python。
常见用途包括:
数据分析与可视化
机器学习实验
深度学习训练记录
数学推导与科研
教学演示
AI 与数据科学项目开发
.ipynb 是 Jupyter Notebook 的文件格式,本质上是一个包含代码与文本内容的交互式笔记本。
安装
就像各种下载依赖和包一样,都是通过 pip install 或 conda install 来下载。
但是如果你下载的是Anaconda,那么他是默认带Jupyter的,而Miniconda不自带Jupyter。
若果是Anaconda,则按 Win 右键进到目录把快捷键发送到桌面即可。
这里可以先在cmd里 ...
初识
Markdown 是一种轻量级标记语言,它允许人们使用易读易写的纯文本格式编写文档。常用于以下但不限于:
博客
README文档
Jupyter
笔记软件(Typora、Obsidian、Notion、语雀等)
首先在vscode安装插件(在侧边栏,或按 Ctrl + Shift + X):
Markdown All in One(必装)
Markdown Preview Enhanced(必装,用于预览效果)
markdownlint(可选,用于检查规范与否的问题,养成习惯)
创建一个md文件。
右上角打开预览
码字完成后按 Ctrl + S 即可显示预览状态。
常用语法
Markdown的语法极其简单,一个钟即可学完七七八八,对应的文件格式为 .md 。
1. 多级标题
md最多支持六级标题,每一个井号(#)代表一级,空格接一个标题。按照规范,一级标题只能出现一次,为文章的总标题,而其余的则可以出现多次。
1234567891011# 这是一级标题## 这是二级标题### 这是三级标题#### 这是四级标题##### 这是五级标题###### 这 ...
Caution请先通篇读完再操作!
简介
WSL(Windows Subsystem for Linux,即Windows 下的 Linux 子系统)是微软开发的一个兼容层,让你可以在 Windows 上原生运行 Linux 环境(比如 Ubuntu、Debian 等),而不需要安装虚拟机(VMware)或双系统。
三种在Windows下实现Linux方式的优缺点:(由AI总结生成)
方式
优点
缺点
WSL
轻量、启动快、与Windows文件互通
不支持图形界面应用,部分底层功能受限
虚拟机
完整Linux环境,支持图形界面
资源占用大,启动慢
双系统
性能最高,完全控制硬件
切换需重启,不能同时使用两个系统
前置准备
确认开启CPU虚拟化
按 Ctrl + Shift + Esc 进入任务管理器,确保CPU虚拟化开启。
开启子系统和虚拟机平台
按 Win 搜索功能二字进入启用或关闭Windows功能。
勾选 适用于Linux 的Windows子系统 和 虚拟机平台,按照提示重启电脑。
安装
以管理员身份打开PowerShe ...
本文建立在默认读者手上有OpneWrt系统的家用路由或者有路由刷机相关的经验基础之上
前言
大一时还能通过接普通路由来共享上网,大二伊始,GUT就实行一号两设备的限制,故有了我折腾的经历。为什么折腾校园网?一是为了稳定的上网环境,二是平均网费(GUT的校园网是500兆,足矣一窝网老虎使用),三是我始终认为手机开热点给电脑连是一种很妥协的方式。
经过了解,得知国内各高校校园网含有多种的检测方式(不一定全有),如下:
针对 IP 数据包的 TTL 字段的检测
针对 HTTP User-Agent 字段的检测
针对 TCP 时间戳计算时钟偏移的检测
针对部分应用特征的 DPI 检测(例如微信)
从上到下的检测力度和防检测难度依次加大。从社区中了解到大部分高校最多是UA检测,顶多再加个TTL检测,能上到深度包检测的高校少之又少。
User‑Agent 是 HTTP 请求头里的一行字符串,用来告诉服务器 “我是谁、用的什么浏览器 / 系统”。例如:
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, ...
SSH是什么
SSH(Secure Shell)是一种加密的网络协议,用于在不安全的网络上安全地登录远程计算机并执行命令。默认端口 22。跟他同类的还有Telent,也是一种远程登录、设备管理的网络协议,但他是明文传输,现已逐渐淘汰。SSH就像是Telent的升级版,类似于以下关系:
两两对应升级:
HTTP ↔ HTTPS
FTP ↔ FTPS
Telnet ↔ SSH
明文三兄弟:Telnet、FTP、HTTP
加密三兄弟:SSH、FTPS、HTTPS
常见的SSH工具
推荐FinalShell,界面简洁美观
PuTTY — 老牌工具,轻量,点这里下载
MobaXterm — 功能丰富,支持多标签、SFTP 文件管理,点这里下载
FinalShell — 国产,带服务器监控、实时网速显示,点这里下载
Xshell — 个人免费,功能强大,点这里下载
以及Windows终端自带的SSH,格式是 ssh 用户名@ip
推荐下载SSH工具链接VM的原因
VM操作不方便,特别是截图,在VM内按 Shift + Win + S 是没反应的,简直头大。
在VM装的Linux发行版的终端 ...
































