用了多年 MySQL，想尝试一下新鲜事物 PostgreSQL，过程中踩了不少坑，于是便有了这篇文章 安装环境 Ubuntu-18.04 官方 apt 仓库安装，但由于服务器在国外速度过慢，弃置 从源码编译安装 官方文档 Chapter 17. Installation from Source Code，本文与其的一切差异以官方文档为准 在官方 ftp 找到需要的版本 1wget h...

文法$G=(V_n, V_t, P, Z)$ $G$ 文法 $V_n$ 非终结符号集 $V_t$ 终结符号集 $P$ 产生式或规则的集合 $Z$ 开始符号（识别符号） $V$ 词汇表，$V=V_n\cup V_t$ 规则是一个有序对，通常写为 $U\rightarrow x$，其中 $U\in V_n,x\in V^{*}$ 类别 定义 分析器 特点 0 ...

介绍常用术语 worker：常指 CPU node：节点，通常对应一台完整的机器 nnodes：节点数量 node_rank：节点序号 nproc_per_node：节点上的进程数量，通常一个进程对应一个 GPU，故也表示 GPU 的数量 master_addr：master 的 IP 地址，也就是 rank=0 的 IP 地址 RANK：进程的序号，通常一个进程对应一个 GPU，...

Input Embedding将 token 转化为向量 Positional Encoding网络结构不包含位置信息，编码引入 Scaled Dot-Product & Multi-Head Attention $$Q=W^QX,K=W^KX,V=W^VX$$ Scaled Dot-Product Attention$$\text{Atten...

最折磨的一集 建模为了完成作业，我采取了先写代码再反向完成类图的方式。 架构思想这几次代码我都是按照生活中的常识进行的架构设计，但是在后期发现了许多的冗余类，于是进行了简化设计。 迭代过程中基本上没有进行大的架构变革，而是基于几次测试新增的要求进行更新。 与设计要求不太相同的是，我设计中的「书」更像是单纯的实体，它本身没有状态，所谓的「状态」由书在前所在的位置决定。这样的想法比较自然， ...

组合排列核心：数列卷积转化为多项式卷积转化为函数乘法 设集合 A 的 n 组合方案数为 $a(n)$，集合 B 的 n 组合方案数为 $b(n)$，同时 $A\cap B=\emptyset$，那么集合 $H=A\cup B$ 的 $n$ 组合方案数为两者的卷积： $$h(n)=\sum_{k=0}^{n}a(k)*b(n-k)$$ 这符合多项式乘法的...

分析本单元的测试过程测试类型 黑箱测试 测试者不了解程序的内部情况，不需具备应用程序的代码、内部结构和编程语言的专门知识。只知道程序的输入、输出和系统的功能，这是从用户的角度针对软件界面、功能及外部结构进行测试，而不考虑程序内部逻辑结构。测试案例是依应用系统应该做的功能，照规范、规格或要求等设计。 在本单元的课程中就是根据 JML 规范来制定相应的测试用例，比如调用的 OKTest 方法便...

第五次作业本次作业由两个大的任务组成： 电梯运行策略 多线程设计 电梯运行策略想必大家在等电梯的时候，都会疑惑电梯是怎么调度的，甚至想「这方案太（）了，假如（），肯定效率更高」 原本想实现一个最优方案，在尝试查找电梯调度方面的论文后，却发现不同的策略在不同的情况下有不同的优势，很难说有一种最优的方案。 仔细想想也确实如此。电梯是一个实时响应的系统，它不能预测未来，故只能选择当前条件下的最...

第一次作业整体架构整体架构 形式化表述原始规则$$\begin{align*} \texttt{Expr}\rightarrow\ &\texttt{White}\ [\texttt{PlusMinus}\ \texttt{White}]\ \texttt{Term}\ \texttt{White} \ |\ &\texttt{Expr}\ \texttt...

自提前返乡，到重归学校，已经两月有余。对于世界上的大多数人来说，这两月正如过去的二百四十个月一般，平淡，带着日常的愚昧。 我以为我也一样。 我的心总在白日的琐碎中沉寂， 我在观众席中蜷缩，看着舞台上人来人往，情节起伏跌宕。故事就在眼前上演，一丝疏离感却不合时宜地升起。 「真好。」我想。 转头看看左右，藏在灯光下的黑暗中的身影，逐渐稀疏起来。有的走上了舞台，在聚光灯下与演员们共舞；有的却默...