摘要:《软件设计师教程》里关于折半查找的平均查找长度的计算过程有错字和不够完整的问题。在此详细推导一次。 设折半查找判定树结点总数为$n=2^h-1$,则判定树是深度为$h=log_2(n+1)$的满二叉树。在等概率情况下,折半查找平均查找长度为: \(ASL_{bs}=\displaystyle\sum 阅读全文
posted @ 2021-04-09 02:24 zipeilu 阅读(9) 评论(0) 推荐(0) 编辑
摘要:最近看了一节数学分析的课程,里面介绍了集合论中的一些定义。老师在证明空集是任意集合的子集时,引起了堂上学生的很多疑问。我突然想起最近读的一本哲学书籍,里面提到了一些逻辑推理的方法。这个数学定理的证明过程,其实与逻辑推理有着十分密切的关系。 我们的知识,都是从逻辑推理中得到的。逻辑推理其实默认了理性中 阅读全文
posted @ 2020-12-22 04:13 zipeilu 阅读(45) 评论(0) 推荐(0) 编辑
摘要:当我们用OpenCV相机标定函数去标定相机时,我们能得到一个相机的内部参数,简称“内参”。内参是一个\(3 \times 3\) 的矩阵, \[A=\begin{bmatrix} f_x & 0 & c_x \\ 0 & f_y & c_y \\ 0 & 0 & 1 \end{bmatrix}\] 阅读全文
posted @ 2017-04-02 16:11 zipeilu 阅读(13520) 评论(0) 推荐(2) 编辑
摘要:OpenCV提供了一些关于透视变换的接口,例如getPerpectiveTransform, warpPerspective等。这里主要说明一下warpPerspective是如何工作的。 其实OpenCV中很多图像变换的映射关系都是反直觉的,如这里的warpPerspective和remap函数。 阅读全文
posted @ 2016-12-06 17:35 zipeilu 阅读(1824) 评论(0) 推荐(0) 编辑
摘要:点云的操作对运算资源的消耗是十分高的。但利用GPU并行运算的优点可以解决这个问题。下面我将跟大家分享关于利用CUDA处理PCL点云数据的一些经验。首先举一个简单的例子说明CUDA程序是如何运作的。我们先写一个简单的C++程序helloworld.cpp 我们将利用addition()函数将a和b相加 阅读全文
posted @ 2016-11-30 14:29 zipeilu 阅读(8093) 评论(6) 推荐(1) 编辑