自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+

形式化验证学习者的博客

研究软件的形式化验证分享个人见解

  • 博客(9)
  • 收藏
  • 关注

原创 Install coq8.8.1 or 8.8.2 on ubuntu

# install ocaml palcage managersh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)# Install bubblewrap on Ubuntu 18.04sudo apt updatesudo apt install bubblewrap...

2019-03-13 23:15:12 668 2

原创 ubuntu1604 编译运行fastfusion

编译中遇到错误 ‘type’ is not a member of ‘cv::DataType

2018-08-14 15:22:02 352

原创 ubuntu 1604 编译运行DynSLAM全过程记录

首先进入github下载dynSLAM的code git clone –recursive https://github.com/AndreiBarsan/DynSLAM 但是,此时遇到了第一个错误:github中的子模块下载不下来,从github中找到需要的子模块,手动下载后放在DynSLAM/src/的对应文件夹中, eigen找不到可以找到eigen官方的code放进去...

2018-08-14 15:17:41 2369 7

原创 张量入门(Tensor for Beginners)(四)

2.2 张量的第一个例子:Vector本节介绍张量的第一个例子:Vector。So,what is a vector?Vector is a list of numbers. v→={v1,v2,⋯,vn}Tw→={w1,w2,⋯,wn}Tv→={v1,v2,⋯,vn}Tw→={w1,w2,⋯,wn}T\overrightarrow{v} = \{v_1,v_2,\cdots,v_n...

2018-08-10 16:44:18 639

原创 张量入门(Tensor for Beginners)(三)

第二章 从几个例子来认识张量2.1 前向变换和后向变换(Forward&Backward Transformations)        现在,我们有平面上的两组基:               从Old Basis到New Basis的变换称为Forward,从New Basis到Old Basis的变换称为Backward。这两组基之间有如下关系:所以,它们之间...

2018-08-09 11:58:30 1401

原创 张量入门(Tensor for Beginners)(二)

1.2 张量是什么1.2.1 张量的数组“定义”        张量=多维数组。        在初学向量的时,很容易进入这样的误区:s 正方体(假装有个cube) 标量 向量(矢量) 矩阵 三阶张量 rank 0 rank 1 rank 2 rank3          这个定义的意思是:标...

2018-08-08 21:12:49 1361

原创 张量入门(Tensor for Beginners)(一)

第一章:什么是张量1.1 张量的用途1.1.1 背景介绍        在维基百科中查得,“张量”这个概念是由格雷戈里奥·里奇-库尔巴斯托罗在1890年在《绝对微分几何》的标题下发展出来的,随着1900年列维-奇维塔的经典文章《绝对微分》(意大利文,随后出版了其他译本)的出版而为许多数学家所知。随着1915年左右爱因斯坦的广义相对论的引入,张量微积分获得了更广泛的承认。广义相对论完全由...

2018-08-08 20:51:10 2395

原创 InfiniTAM学习(二、解决不能建图的问题)

在发现不能建图的问题之后,初步的想法是:从main函数入手一步步深入找到建图这一部分的代码进行分析,但是经过一段时间的阅读之后没能找到建图和位姿的相关代码。(是我太弱鸡)一个偶然的机会在github上找到https://github.com/native93/InfiniTAM/tree/master/InfiniTAM在他的kitti数据集的calib文件中发现和我的有所不同,原本我是按照htt...

2018-08-06 17:34:28 1268 3

原创 InfiniTAM学习(一、初识)

国际惯例:贴出InfiniTAM的github地址https://github.com/victorprad/InfiniTAM,在此感谢他们的great work!最近需要做点云的数据融合(把点素变为体素),经过一番搜寻从DynSLAM(https://github.com/AndreiBarsan/DynSLAM)找到了InfiniTAM的开源实现。(DynSLAM不知什么原因,编译通过后...

2018-08-06 16:53:04 4201 3

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除