![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
数学
文章平均质量分 71
papaofdoudou
我的藏经阁
展开
-
证明:指数函数和阶乘谁增长的更快?
先说结论,阶乘增长速度比指数函数快,也就是说:可以用简单的指数函数y=4^x的图形和阶乘函数图形做一个对比,可以发现,在自变量取值比较小的时候,指数函数(红色)是大于阶乘的,但是当自变量取值逐渐增加时,阶乘函数后来居上,增长率和数值上远远大于了指数函数。这个规律是不是对所有整数为底的指数函数都适用呢?不管底数多大,指数函数最终追不上阶乘函数,根据本文开头的结论,答案是肯定的。这里证明以一下:所以:根据夹逼准则:结论成立。所有的时间复杂度都可以转换成指数的复杂度,但是。原创 2024-03-24 21:35:02 · 2617 阅读 · 0 评论 -
春晚魔术和约瑟夫问题
春晚刘谦的魔术涉及到置换群和约瑟夫问题,最终的结果是魔术开始时确定的几个变量确定好的,扑克牌只是道具和障眼法。网上一查发现这个问题发现颇有历史渊源,群论是法国21岁天才数学家伽罗瓦的惊世之作。约瑟夫问题则是17世纪的法国数学家加斯帕在《数目的游戏问题》中讲了这样一个故事:15个教徒和15 个非教徒在深海上遇险,必须将一半的人投入海中,其余的人才能幸免于难,于是想了一个办法:30个人围成一圆圈,从第一个人开始依次报数,每数到第九个人就将他扔入大海,如此循环进行直到仅余15个人为止。原创 2024-02-10 23:40:55 · 504 阅读 · 0 评论 -
初等函数记录
在初等数学中,已经学过下面几类函数:图中这五类函数统称为应用上常常遇到以为地的指数函数以及所产生的双曲函数以及它们的反函数-反双曲函数,它们的定义如下:双曲正弦:双曲余弦:双曲正切:几个函数图形如下:如果你有关注过超市货物的价格标签,你会发现价格标签中以1开头的概率要比以9开头的数字出现的多,这里面其实有一些数学秘密的。价格从1元涨到2元,翻了一番,但是从8元涨到9元,只涨了12%。从乘法的角度看,1和2之间的距离要比9到10之间的距离大。磨平这些差距,可以用用指数函数。原创 2021-02-04 17:32:39 · 734 阅读 · 0 评论 -
不动点定理的及其有趣应用
最近读高观点下的数学这本书,对书中介绍的布劳威尔不动点定理的有趣性质印象很深,原因是这个定理的某些性质能够解释我们生活中的一些常见现象,这里结合一个例题加以分析,然后介绍这个定理的思想在计算机系统页表映射中的应用,聊以记录。从一个数学题讲起:f(x)是定义在[0,1]上的连续函数,并且0原创 2023-05-13 23:04:55 · 1264 阅读 · 0 评论 -
级数可视化和复数
叶落知秋,宿命论也可以找到科学理论作为依据,然而人生曲线可能更像是股票走势曲线,处处连续却处处不可导,在人生的每个点上,充满着不确定性,看不清趋势信息,而可以成功作出预测的曲线,似乎都能和圆PI,自然对数底数e扯上关系,玄而又玄。原创 2023-04-28 21:16:33 · 1169 阅读 · 0 评论 -
初等数论中整除性规律证明
依稀记的学习初等数学整数性质的时候,只学到了能够被2,3,5整除的整数的特点,但是根据网上搜索到的资料,似乎这个规则可扩充到除了7之外的所有十以内的自然数,下面这些规则可以用于检验一个整数是否能够被另一个整数整除,以及帮助我们找到一些特殊的整数。简单证明一下,需要用到四个引理,如下:引理1:假设有两个整数a和b,以及除数c,那么说:这句话的意思是,两个整数的积对一个数取模,等于这两个数字分别对这个数取模结果的积,再对这个数取模。原创 2023-04-16 23:19:02 · 1622 阅读 · 0 评论 -
数学体操之牛顿数值法解方程的程序和图解
牛顿法的主要优点是,它在每次迭代中都收敛在的非常快,在实践中被证明比其他迭代方法更快,但是它也有缺点:1,就像例子中看到的,当函数具有多个局部零点时,算法的初始值可能导致收敛到错误的根。2.算法需要有解析式表达的导数计算方法。3.可能会发生根跳转,得不到预期的结果。4.在局部极值附近可能会发生振荡导致收敛变慢,无法跳脱。5.拐点可能导致算法实效。解方程是一种近似数学,虽然有的时候能够获得方程的解析式,但大多数的时候(5次及以上的普通方程)是没有解析式的,这个时候只能通过数值解法得到近似解。原创 2023-04-16 13:59:49 · 800 阅读 · 0 评论 -
三阶魔方背后的神奇数学
六个面的魔方玩具,从我们还是孩子时期就让人着迷,然而除了少数人可以精通外,大部分人即便花很长时间也无法让它完整复原成所有面单一颜色。那么您是否想一劳永逸地获取其中的奥秘呢?明年魔方上市就满50周年了,是时候用深奥的数学来解释解释其中的奥秘了。虽然立方体的内部是塑料制成的,但它真正的内部除了数字什么都不是。就让我们一探究竟吧。首先的步骤是拆开魔方块。让我们从一些基础知识开始,一个3x3x3的魔方有六个面,每个面都有不同的颜色。每个面的中心都与支撑立方体的核心支架相连,因此除了原地旋转外它们不会移动。翻译 2023-04-13 17:55:34 · 284 阅读 · 0 评论 -
图论之毕克定理证明
毕克定理是指一个计算点阵中顶点在格点上的多边形面积公式,该公式可以表示为S=N+L÷2-1,其中N表示多边形内部的点数,L表示多边形落在格点边界上的点数,S表示多边形的面积。公式默认一个小正方形边长为1,即面积为1,若一个格点正方形边长为2(面积为4)时,需要在原有公式的基础上乘4.1.定理大概描述:给定一个网格,每个格子由边长为1的单位正方形组成。原创 2023-04-02 23:44:36 · 7688 阅读 · 0 评论 -
代码头文件的使用规则总结和头文件预处理分析
3.避免循环包含,当头文件A包含头文件B,而头文件B也包含头文件A时,就会产生循环包含的情况,这回导致编译错误,不过实际操作中如果完全避免循环依赖需要开发者对头文件的拓扑包含关系有非常清晰的了解,这通常是不可能做到的,所以技术上可以通过GUARD宏来解决头文件循环包含的关系.为了满足自举原则,头文件应该包含它所需要的所有类型定义,宏定义,常量等信息,同时不包含不必要的信息,头文件应该是独立的,可重用的,可以在不同的项目中使用.也可以与其它头文件组合使用.原创 2023-03-29 23:09:29 · 1002 阅读 · 0 评论 -
chatgpt开发内核定时器模块的完整过程
描述任务需求后,几乎在同一时刻chatgpt给出响应,开始进入代码刷屏模式,coding过程中还不忘给代码添加注释。要求它顺便将Makefile文件写好提供给我,刷完代码后,进跟着开始刷Makefie文件:编译生成的代码时发现编译不过,原来是timer API从内核的某个版本开始变了,chatgpt默认生车给你的代码是用老API写的,而我的测试平台用的是linux5.4内核,API不匹配导致编译错误。原创 2023-03-29 22:12:42 · 429 阅读 · 0 评论 -
图论拉塞姆原理-六人相识问题
假设,AB,AC,AD互不认识,此时,如果连接BC是红色,则出现了互相不认识的三个人,同理,CD,或者BD任意一条为红色,也总会构成一个三边同色的三角形。B,C,D成为互相认识的三个人。这样理解,原来的问题结论可以转化为,在6人或者超过6人的情况下,至少有三人的相互之间的连线是相同的颜色,),如果聚会的总人数等于或者超过6人,那么就可以断言说,其中至少有三个人,这3个人互相都认识或者都不认识。一个集会上,参加聚会的人一般都是来自四面八方,五湖四海的人,其中的两个人可能互相认识或者互相不认识(原创 2023-03-25 17:22:30 · 1664 阅读 · 0 评论 -
代码静态分析思维体操—扇入、扇出、圈复杂度
静态分析是一种检查代码的方法,无需执行程序。它提供了一种机制,可以审查代码结构、控制流和数据流,检测潜在的可移植性和可维护性问题,计算适当的软件质量测度。原创 2023-03-19 20:09:15 · 790 阅读 · 0 评论 -
自然界中那些关于自然对数e 的有趣现象
E是连续,E是积累,E是因果,E是自然界无穷变化的个各类事物共同遵守的内部结构,e是自然的奥秘,它或许比PI更接近本质,潜藏的本质真相仍然有待人们去发现。原创 2023-03-04 11:45:01 · 347 阅读 · 0 评论 -
计算机如何思考与图灵完备
任意不图灵完备的硬件/语言都可以用图灵完备的硬件/语言来模拟,但是反之却不然。所有的图灵完备语言/硬件在计算上都是等价的,因为他们都用相同的表达能力。原创 2023-02-18 11:01:30 · 632 阅读 · 0 评论 -
分析和解决问题的心得总结
如果从外延的角度来分析系统API的定义,你会发现和我们通常看到的软件栈层次结构恰恰相反。越高层的靠近应用的API,其包含的场景内容语义内涵越丰富,相应外延越小,只能适用于特定场景。或者说,所有的应用高层API都是基于底层API实现的,但是底层API可以实现多种应用场景的高层API,并不局限于一种,逻辑结构欧拉图如下图所示:逻辑有些类似于生物学分类按照:界-门-纲-目-科-属-种 将生命类群进行命名和划分。原创 2023-01-09 23:28:21 · 1962 阅读 · 0 评论 -
bochs运行linux-0.11
1. 使用 bootimage-0.11和rootimage-0.11。下载 linux-0.11-devel-060625.zip后解压.编辑sample.bxrc。原创 2022-11-13 19:24:35 · 589 阅读 · 0 评论 -
元宇宙(metaverse)的认知记录
元宇宙是近年来一个热门概念,作为一个概念,元宇宙却并不合格,因为作为成为几个成为概念的基本要素,元宇宙的内涵和外延,热门还并不清楚。元宇宙究竟是什么,目前还没有定论。原创 2022-10-24 22:54:10 · 323 阅读 · 0 评论 -
图解辗转相除法(欧几里得算法)求解最大公约/最小公倍数
基本原理:两个整数的最大公约数等于,其中较小的数和两数的差的最大公约数。个人解析:若A、B有最大公约数K(A > B),则,A、B、(A - B)、A mod B(A / B的余数),都是K的倍数。即余数(A - B)和 B 的最大公公约数也是 K。由此递归,可知当 A mod B = 0,即 A 是 B 的倍数时,此时,B 即为 K。实际上,存在如下定理:两数最大公约数与最小公倍数的积等于两数之积,用公式表示就是:当时最大公因数*最小公倍数=pq。原创 2022-09-12 19:04:19 · 5959 阅读 · 0 评论 -
利用roofline模型分析异构系统算力VS带宽
roofline模型用于描述在计算平台的算力和带宽的限制下,程序所能达到的理论性能上界。可以看到,roofline模型的纵轴为可达算力:其中A I AIAI为访存比,B W BWBW为带宽。如果把带宽比作水管,把算例比作流过水管的水流,可以形象展示如下:针对这种划分,我们大概可以将模型分为两类:1.算力未发挥型的,对应爬坡图.2.带宽未发挥型的,对应roof图.3.在转折点处,既不浪费带宽,也不浪费算力,算是一个平衡,是不是纳什均衡?...原创 2022-08-23 10:27:30 · 610 阅读 · 0 评论 -
CSAPP中的堆管理器实现
堆管理器实现代码,heap.hheap.cmain.c。原创 2022-08-18 22:09:24 · 198 阅读 · 0 评论 -
机器学习信息熵和热力学定律中的熵有关系吗?
数据科学中的熵和热力学第二定律中的熵有什么关联呢?如何去量化熵的大小?,麦克斯为妖又是怎么回事?之间的转化满足守恒关系之后,人们就认为能量守恒定律是自然界的一个普遍的基本。KL 散度 = 负信息熵 + 交叉熵。以无以辩驳的精确实验结果证明。.................................原创 2022-08-17 10:28:00 · 340 阅读 · 0 评论 -
DDR/GDDR和HBM区别,及内存标准如何选择?
为了提供具有独特功能和优势的各种 DRAM 技术,JEDEC 为 DDR 定义并制定了三大类标准:标准 DDR、移动 DDR 和图形 DDR。标准 DDR 面向服务器、数据中心、网络、笔记本电脑、台式机和消费类应用,支持更大的通道宽度、更高的密度和不同的外形尺寸。移动 DDR 或 LPDDR 面向非常注重规格和功耗的移动和汽车应用,提供更窄的通道宽度和几种低功耗 DRAM 状态。图形 DDR 面向需要极高吞吐量的数据密集型应用。JEDEC 已将 GDDR 和 HBM 定义为两种图形 DDR 标准。.....转载 2022-08-09 14:36:32 · 5255 阅读 · 0 评论 -
ISA(MIPS,ARM,RISC-V)中的算术运算溢出检测逻辑是怎样的?
关于ISA架构,之前写过不少总结。这里单独将其中一个技术点拿出来,对比分析不同架构下实现的差异。这个技术点就是算术指令中的溢出检测。ARM体系结构中,通过CPSR的状态寄存器反映当前指令的溢出状态。而MIPS和RISCV,则是通过指令触发中断的方式产生溢出信号,通知处理器,比如,MIPS有如下计算指令:加法操作:add rd, rs, rt指令作用为:rd...............原创 2022-08-08 19:44:08 · 1703 阅读 · 1 评论 -
导航学说解密 飞蛾扑火现象
飞蛾扑火,自取灭亡”。飞蛾为什么扑火啊?今天我们就来讨论一下飞蛾扑火的问题。飞蛾扑火自取灭亡,它快到火的时候感觉到很热,它为什么不跑?这跟飞蛾的习性有关,火对飞蛾的吸引力非常强,究竟有多强?昆虫学家做过一个实验:在一个屋子里边放了一只雌蛾,还放了一个篝火,然后让这个雄蛾飞进来。结果这个飞蛾朝篝火就过去了。有了火之后连雌蛾都不要了。就这么厉害,那么为什么飞蛾有这么强烈的对火的欲望?有一种说法就是飞蛾利用光来导航。这种导航说,现在科学界是比较公认的。.....................转载 2022-08-07 19:47:24 · 292 阅读 · 0 评论 -
Linux下的OpenGL 3D渲染接口是谁提供的?Mesa
2D情况下的渲染比较简单,无论软件渲染还是硬件加速,本质上都是生成图像的像素阵列,只不过一个是由CPU来计算的,而另一个是由GPU来计算的,当然,对于硬件加速的情况,也不是完全用不到CPU,在这种情况下,CPU主要充当一个翻译角色,将数学,几何模型按照GPU的要求翻译为其可以识别的指令和数据。原创 2022-08-06 11:15:28 · 754 阅读 · 0 评论 -
1000瓶水里有1瓶毒药,10只老鼠能试出来吗?
聪明的朋友是不是很快归纳出规律了?10只老鼠,最多可以试1024瓶,那1000瓶当然可以试出来了。推理到这一步,对大部分人来说,已经足够了。尤其对小学生而言,能进行这样的推理已是相当不错了,是佼佼者了三、深入探究我们继续探究,尝试用定理或公式来推导验证,使结论在逻辑上更加严谨。首先回顾前面的过程!回到3只老鼠的方法图根据公式如果再增加1瓶,这1瓶,给1只老鼠、2只老鼠、3只老鼠试药,都会出现和原来重复的组合,导致无法区分。因此不能再增加。因此8瓶是最大的。依照这个方法再计算10只老鼠:.........转载 2022-08-03 22:45:42 · 866 阅读 · 0 评论 -
计算一组Tensor的直方图C算法实现
本文介绍其程序实现首先构造一组TENSOR向量,维度为150528的列向量。观察其原始的直方图分布,其分布特点如下图所示运行3BINS。原创 2022-07-20 21:24:51 · 340 阅读 · 0 评论 -
Yolov5s模型在全志V853平台上的部署方法和应用
AI部署这个词儿大家肯定不陌生,可能有些人还不是很清楚这个是干嘛的,但总归是听过了。近些年来,在深度学习算法已经足够卷之后,深度学习的另一个偏向于工程的方向–部署应用落地,才开始被谈论的多了起来。当然这也是大势所趋,毕竟AI算法那么多,如果用不着,只在学术圈搞研究的话没有意义。因此很多AI部署相关行业和AI芯片相关行业也在迅速发展,现在虽然已经2022年了,但我认为AI部署相关的行业还未到头,AI也远远没有普及,还有很多的场景未能落地。随着人工智能逐渐普及,使用神经网络处理各种任务的需求越来越多,如何在生产原创 2022-07-02 14:09:08 · 3251 阅读 · 8 评论 -
深度学习量化原理之-Python程序说明
关于量化原理的博客已经写了几篇一文搞懂深度学习加速单元NPU的量化原理_papaofdoudou的博客-CSDN博客_npu原理模型量化原理及tflite示例_papaofdoudou的博客-CSDN博客_模型量化原理关于量化原理的思考_papaofdoudou的博客-CSDN博客量化的数学原理_papaofdoudou的博客-CSDN博客_量化原理本文则以一个程序来说明量化的具体计算过程:用python2执行上述程序:......原创 2022-06-12 12:09:15 · 527 阅读 · 0 评论 -
opencv二值化代码实现
基于OPENCV的图像二值化代码:#include <opencv2/core/core.hpp> #include<opencv2/highgui/highgui.hpp> #include"opencv2/imgproc/imgproc.hpp" #include <iostream> using namespace cv;Mat SrcImage;Mat GrayImage;Mat BinaryImage; void on_tra原创 2022-05-22 22:55:21 · 990 阅读 · 0 评论 -
pytorch yolov5 推理和训练验证环境搭建
关于之前pytorch框架下yolov3推理和训练环境搭建可以参考,本文所使用的环境和这篇记录一致。pytorch yolov3 推理和训练环境搭建_papaofdoudou的博客-CSDN博客_yolov3环境搭建下载代码框架环境: git clone https://github.com/ultralytics/yolov5安装依赖:pip install -r requirements.txt下载YOLOV5模型文件:下载链接 :Releases · ultraly原创 2022-04-21 23:43:26 · 4218 阅读 · 3 评论 -
NCNN人脸检测和关键点检测
参考以下连接获取原始 retinaface模型:mirrors / wzj5133329 / retinaface_caffe · GitCodehttps://github.com/deepinsight/insightface/tree/master/RetinaFaceretinaface(mxnet)的CAFFE模型https://github.com/Charrin/RetinaFace-Cpp/tree/master/convert_models/mnet使用caffe.原创 2022-04-20 23:07:53 · 3121 阅读 · 1 评论 -
全连接层的算力(矩阵乘法)计算方式
神经网络的全链接层计算过程可以看成两个矩阵相乘,如下图所示,一个MxN的矩阵乘以一个NxP的矩阵,得到一个MxP的矩阵,进行乘法的次数为:(N)*(M*P)加法次数为:(N-1)*M*P所以,矩阵乘法总的计算量为(N)*(M*P)+(N-1)*M*P = (2N-1)*M*P每计算出一个结果,需要对一个N维向量作内积,内积需要进行N次乘法和N-1次加法(第一次计算不需要作加法,或者看成+0,就不需要-1了),计算一个结果的计算次数为2N-1.比如,就拿3*3的矩阵乘法为例:计算如下:所以,它的计算量为:乘法原创 2022-04-09 08:56:55 · 5604 阅读 · 1 评论 -
TIM-VX编译体验
下载代码:github仓库地址:GitHub - VeriSilicon/TIM-VX: Verisilicon Tensor Interface Module实际代码量并不多,包含仓库在内共有87M。编译TIM-VX支持BAZEL和CMAKE两种构建系统,先用CMAKE尝试编译一下,编译顺序命令如下:mkdir host_buildcd host_buildcmake ..make -j8make install首先遇到了编译错误,是CMAKE版本太低导致升级原创 2022-04-09 05:02:51 · 3480 阅读 · 2 评论 -
特斯拉为什么要取消自动驾驶的雷达?
特斯拉正是宣布北美地区取消了model3和model y的自动驾驶雷达,自 5 月以来,特斯拉用于“Model 3”和“Model Y”的自动驾驶系统仅由 8 个没有雷达的摄像头组成。摄像头捕捉到的图像通过计算机网络传输,以识别和分析车辆周围的情况,这说明特斯拉在人工智能领域已经取得了技术上的突破,之前在北美,有很多小伙伴拍到过安装了激光雷达的特斯拉测试车辆,其实并不是特斯拉采用激光雷达,而是使用激光雷达来验证和测试纯视觉摄像头加人工智能的组合数据是否足够精准,因为一旦深度神经网络AI进化到不需要雷达,就可原创 2022-04-03 23:06:30 · 1789 阅读 · 0 评论 -
高斯YOLOV3模型的验证环境搭建
下载权重Gaussian_yolov3_BDD.weightshttps://drive.google.com/open?id=1Eutnens-3z6o4LYe0PZXJ1VYNwcZ6-2Yhttps://drive.google.com/open?id=1Eutnens-3z6o4LYe0PZXJ1VYNwcZ6-2Y然后使用darknet的环境进行验证,关于darknet环境的搭建参考博客:Yolov3框架目标检测推理环境测试_papaofdoudou的博客-CSDN博客验证高斯YOLO原创 2022-04-03 22:03:58 · 3231 阅读 · 0 评论 -
卡尔曼滤波算法的代码验证
卡尔曼滤波算法它能够从一系列的不完全及包含噪声的测量中,估计动态系统的状态,实践中得到广泛应用,场景包括控制系统参数估计,移动预测等等,在深度学习中也常常用来配合神经网络输出做后处理,应用于目标跟踪等场景。测试代码在:GitHub - 13824125580/kalmanfilter-cpp: A basic Kalman Filter implementation in C++ using the Eigen library.https://github.com/13824125580/kalma原创 2022-04-03 15:44:43 · 2793 阅读 · 1 评论 -
判断点在矩形框内的逻辑
如下图所示,我们需要寻找一个充分必要条件,能够完备地表示点和矩形框的内外关系,首先我们用左上角和右下角两个坐标来表示矩形框。所以,P在矩形框内部,等价于下面的条件:所以:用C语言表示如下:或者,我们不考虑矩形的四个点,而是考虑矩形的中心点和点的位置关系:结束!...原创 2022-03-27 14:08:42 · 1422 阅读 · 0 评论 -
darknet框架算子类型
整理了一份darknet网络的算子全图结束!原创 2022-03-26 17:29:30 · 549 阅读 · 0 评论