- 博客(13)
- 资源 (3)
- 收藏
- 关注
RSS订阅
原创 什么是哥德尔不完备定理？
到底什么是哥德尔不完备性定理， 总结成一句话就是，任何包含了自然数论的形式体系中，自洽性和完备性必定无法同时满足， 也就是说，哥德尔用数学及逻辑学的方法证明出了完备性与一致性无法共存于一个数学系统里，可能有点绕，我们一个概念一个概念的解释一下。首先是自然数论，自然数论也叫皮亚诺算数，这个体系是基于五大基础公里之上建立起来的，它们分别是aa'皮亚诺公理还有一套稍微复杂一点的形式化表达：在总之，这五条公理就是连没上过小学的人也都能理解，而数学上的工作，就是基于这五条牢不可破的公理，继续往上构建数学大厦。
2021-01-31 09:52:21
7351
原创 FreeRTOS 10.4.3在RISCV(T-HEAD C906)平台上移植过程
好记性不如烂笔头，记录点滴移植经历，一方面便于总结提炼，二是分享，让别人少走有些弯路。搭建构建环境，准备利用melis上已经建好的环境，借”鸡“生”蛋".目标是移植FreeRTOS 系统，所以这部分不重点记录，总之，环境已建好。 用不用sbi? 暂时先用，后续优化掉，因为与Melis相比，FreeRTOS构建的系统相对简单很多，不用支持MMU，整个FreeRTOS系统加上应用都可以运行在M模式，sbi也就失去的存在的必要，但是还是决定先保留着，移植完成后再优化掉。主要考虑三点，1.环境和sbi之间有依
2021-01-26 12:10:39
3117
8
原创 多媒体/Display认知记录总结
V4L2中的定义却是这个样子:50:单取一路VIPP(VIPP2)做NPU前处理，图片缩放到358*192大小.用这个工具放大图像，可以看到YUV4:2:0像素分布的一些细节：51:关于MPP对每个VIPP的分辨率设置入口：try format 接口会注意调用pipeline链上的子设备，设置分辨率，它嵌入在vin_set_fmt的调用路径当中。52：MPP画框的逻辑：53：MPP调整VO显示Z序，核心实现仍然是通过显示驱动的 set config接口设置Z序列。
2021-01-09 13:16:16
1588
原创 从飞机姿态控制看线性变换的本质
战斗机做机动动作的时候经常会执行偏航，俯仰和翻滚等动作，用来改变飞机的运行轨迹，这里面也蕴含了丰富的线性空间变换的思想和应用。本篇文章试图用线性代数的理论来解释这些操作具体是怎么做的，当然，同样的解释也可以用在机器人，机械手臂的运动上面。方便起见，将坐标系选在飞机上，假定飞机处于平面，机头指向轴的正方向，左机翼指向轴的正向，飞机在平面飞行，轴定义在飞行平面的法线方向，机头上面为正。如下图所示:当飞机飞行时，三个坐标轴和飞机同时运动。...
2021-01-08 17:54:55
941
1
原创 计算机图形和动画
一个平面上的图形可以在计算机上存储为一个顶点的集合，通过画出顶点，并将顶点用直线相连即可得到图形(GPU管线中的三角片元和栅格化操作),若有n个顶点，则它们存储在一个的矩阵中，顶点的坐标存储在矩阵的第一行，坐标存储在第二行，每一对相继顶点用一条直线相连.例如，要存储一个顶点坐标位于的三角形，将每一项顶点对应的数对存储为矩阵的一列：附加顶点的副本存储在的最后一列，这样，前一个顶点可以画回到,也就是沿着下图的轨迹绘制，如下图所示:通过改变顶点的位置并重新绘制图形，即可..
2021-01-03 16:44:05
502
转载 深入浅出RISC-V调试
1.JTAG简介目前RISC-V官方支持的调试方式是JTAG(Joint Test Action Group)，而ARM支持的调试方式有JTAG和SWD(Serial Wire Debug)这两种。JTAG是一种国际标准的调试方式(IEEE1149.1)，而SWD是ARM开发的。标准JTAG采用四线方式，分别是TCK、TMS、TDI和TDO，有一个可选的TRST引脚。 TCK：测.........
2021-01-13 09:37:48
11707
2
原创 线性变换的思想
二维空间中，旋转算子对应的变换矩阵是不失一般性，当的时候，变换矩阵为:假设分别有两组基是以为基的向量的坐标．变换矩阵恰好等于上面的向量．下面再给一个三维空间下线性变换的例子...
2021-01-06 21:40:36
1132
原创 归纳法证明行列式性质
行列式中有一个重要性质，描述是，交换矩阵两行，行列式变号．证明如下：数学归纳法，设那么变换一，二行的初等矩阵是:假设的时候成立，那么当的时候．表示交换行的初等变换是不同于的行．由于是阶矩阵，由假设知，,是未经变换前的A矩阵的余子式．所以，证明完毕．...
2021-01-01 19:05:43
1936
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人