对线代的很多知识理解仍很浅薄，继续恶补。向量的本质在线代里，我们习惯说的向量都是指列向量。向量虽然是一列数，但是因为有次序，所以每个数在其所处的位置也会携带信息，可以理解为向量是有n个独立维度的数学对象。在线性空间(即向量空间)中，向量就是从原点出发，沿着每个维度走其数值上的距离，最终所指代的那个点，所以向量可以表示线性空间中对象的位置。空间的本质空间是定义了某些概念，并满足某些性质的集合。空间的

矩阵乘以向量的几何意义实际上也就是所以，它还可以写成那么把原来的矩阵按照列视图来看，也就是而[x]和[y]作为1x1的矩阵，在刚刚那个式子里可以看成一个标量，也就变成了所以矩阵乘以一个列向量，可以看成把这个列向量的每一个分量当做一个权重，而把刚刚那个矩阵分成几个列向量，用这些权重去对这些分解出的列向量做一定的线性组合，然后得到了一个新的列向量。而(x,y)也就

跳表是一个能在Onlogn时间完成查找、插入、删除的数据结构，相比于树形结构优点就是很好写（所以也用于实现Redis ZSet）。其核心思想就是维护一个元素有序的，能随机提升索引层数的链表。最下面一层就是一个普通的链表，存了所有的元素，而每次提升索引高度都一定会，因此从最上面的层到最下面的层，索引一定是，所以在查询的时候就能从上层开始，很快的跳过一些元素，再向下一层走，逐渐定位到元素的位置。

注释部分是我不能通过的代码方式，留着以后研究。import java.io.DataInputStream;import java.io.DataOutputStream;import java.net.ServerSocket;import java.net.Socket;import java.util.Scanner;//服务器端public class Server {

数据表示能由硬件直接辨认，可以被指令系统直接调用的数据类型。缩短程序运行时间减少CPU与主存的通信通用性和利用率发展趋势：数据表示在不断上移，即更多的数据类型用硬件实现。理论最短平均码长理论最短平均码长l=−∑i=1N(Pi⋅log2Pi)理论最短平均码长l=−∑i=1N(Pi⋅log2Pi)理论最短平均码长l=\begin{equation*}-\sum_{i=...

1 简介ProVerif可以用来自动分析密码协议的Security性质，功能涵盖对称和非对称加密、数字签名、哈希函数、比特承诺、非交互式零知识证明。ProVerif可以证明可达性(reachability)，对应断言(correspondence assertion)，和可观察的等价性(observational equivalence)。这个能力使得它能对计算机安全领域中的机密性和认证性质进行分

Redisson和Jedis类似，都是用Java实现的操作Redis的客户端，但是使用场景不同。Redisson更多用在分布式场景下（功能可以看wiki），Jedis更多用在单机场景下。1 Java接入Redisson以Spring Boot为例，接入Redisson的依赖：和使用Jedis类似，需要初始化一个Redisson客户端，使用提供的API来创建Redisson对象（指定了配置，以及要操

无监督学习的一个重要作用就是降维(Dimension Reduction)，比如从大量的人员信息中自动学习到一些对业务有价值的特征，或者用于高维数据的可视化。传统的方法是用PCA、T-SNE或者一些简单的自编码器对数据进行降维。相比监督学习以Label为目标，无监督学习的目标就是原始数据自己。1 简述自动编码器（以下简称AE）是将构造的神经网络模型分为编码器(Encoder) 和解码器(De...

scipy的signal模块经常用于信号处理，卷积、傅里叶变换、各种滤波、差值算法等。两个一维信号卷积>>> import numpy as np>>> x=np.array([1,2,3])>>> h=np.array([4,5,6])>>> import scipy.signal>>> sci...

中值滤波技术能有效抑制噪声，通过把数字图像中一点的值用该点周围的各点值的中位数来代替，让这些值接近，以消除原图像中的噪声。模拟中值滤波>>> import random>>> import numpy as np>>> import scipy.signal as signal>>> x=np.arange(0,10...