sysss-blogs

摘要： 因为一些学习任务需要在本地使用 SVF 构建某个项目的 CallGraph，中间遇到一点问题 wLLVM 参考 https://blog.csdn.net/weixin_47778392/article/details/141107768 SVF 编译时终端 exited with code 1 需 阅读全文

摘要： Hw1 toDigits :: Integer -> [Integer] toDigits n | n <= 0 = [] | otherwise = toDigits (n `div` 10) ++ [n `mod` 10] toDigitsRev :: Integer -> [Integer] 阅读全文

摘要： Background Information 摆了两三天觉得不能再开摆了，感觉至少把什么是贝叶斯方法及其名词搞懂（虽然可能概率论学过，但是已经忘干净了）： 贝叶斯的思考方式：先验概率 \(\pi(\theta)\) + 样本信息 \(X\) -> 后验概率 \(\pi(\theta | X)\) 不 阅读全文

摘要： HKUST COMP4901X 课程笔记 Buchi 游戏 定义 Game Graph 为 \(G = (V, \ V_1, \ V_2, \ E )\)，\(G(V, E)\) 是一张图，\(V_1\)是属于玩家 1 的图上结点，\(V_2\) 是属于玩家 2 的图上结点。 定义 玩家 i 的游戏 阅读全文

摘要： 文法和语言的形式定义 终结符号 \(V_T\)、非终结符号 \(V_N\) 满足 \(V_T \cap V_N = \emptyset\) 产生式 $\alpha \rightarrow \beta $， \(\alpha \in (V_T \cup V_N)^+, \beta \in (V_T \ 阅读全文

摘要： GPT-4o-mini 翻译，经个人审校。添加了一点笔记。 原文地址 Type Systems Introduction 类型系统的基本目的是避免程序运行过程中出现运行错误。这个不够正式的说法激励了对类型系统的研究，但是还需要更进一步的澄清。这个说法的准确性首先依赖于一个相当微妙的问题，即什么构成运 阅读全文

摘要： 南京大学《软件分析》学习笔记 1 课太好了，忍不住写篇博客从头推导一下 理论 偏序集 poset 偏序关系 偏序关系是满足下面三个条件的二元关系： 自反性 反对称性 传递性 偏序集 poset 偏序集定义为一个集合以及集合上的偏序关系，表示为 \((P, \sqsubseteq)\) 上界 uppe 阅读全文

摘要： 前缀函数 定义 定义字符串 \(s\) 和它的长度 \(n\)，字符串 \(s\) 可以写作 \(s_0s_1s_2s_3...s_n\) 定义真前缀为：从 \(s\) 的首部开始到某个位置 \(i\) 结束的子串，但不包括 \(s\) 本身 定义真后缀为：从 \(s\) 的某个位置 \(i\) 开 阅读全文

摘要： 操作系统的基本概念 操作系统是计算机系统中最基本的系统软件。 操作系统的基本特征包括并发、共享、虚拟和异步。并发是指两个或者多个事件在同一时间间隔内发生；共享指多个并发进程共同使用系统内的资源；虚拟包括虚拟处理器、虚拟内存和虚拟外设，指物理设备到逻辑设备的过程；异步指多个进程之间的执行并不是顺序的， 阅读全文

摘要： 生产者-消费者问题 问题描述：一组生产者和一组消费者共享一个大小为 n 的缓冲区；只有缓冲区还有空位的时候生产者才能往里放数据；只有缓冲区不为空的时候消费者才能从中取数据；缓冲区是临界资源，只允许一个生产者往里放数据或者一个消费者从中取数据 关系分析：因为缓冲区是临界资源，所以需要一个信号量 mut 阅读全文