- 博客(95)
- 收藏
- 关注
RSS订阅原创 ubuntu18.4上安装colmap踩坑记录
首先第一步，安装依赖直接执行，没问题：sudo apt-get install \ git \ cmake \ build-essential \ libboost-program-options-dev \ libboost-filesystem-dev \ libboost-graph-dev \ libboost-system-dev \ libboost-test-dev \ libeigen3-dev \ libsu
2022-04-12 23:38:05
1575
原创 在ubuntu18.04上配置anaconda+vscode+cuda+pytorch的深度学习环境
中间的过程我没截图放一张最后的效果图1.安装cuda先是安装显卡驱动。在软件与更新里选择一个合适的驱动然后他会让你重启。重启后出现一个蓝色的界面选择第二个enroll MOK再选continue再选Yes，输入之前的密码。然后continue boot进入ubuntu。输入nvidia-smi查看驱动是否安装好。接下来是下载cuda，这个在另一篇文章中提过了，就不多说了。2.让vscode中能够使用anaconda的虚拟环境首先下载vscode和anaconda.然后vscode中搜
2022-03-06 13:46:53
2501
原创 汇编语言程序结构
顺序结构从键盘读入一个2位的十进制的正整数，存入BL中。代码：MOV AH,1INT 21H ；等待输入十位AND AL,0FH ；取数,字符0=9从48D开始，后四位刚好是对应的数字MOV BL,10MUL BL ；乘以10MOV BL,AL ；暂存MOV AH,1 ；等待输入个位INT 21HAND AL,0FH ；取数ADD BL,AL ；相加分支结构循环结构子程序结构...
2022-01-11 15:18:04
939
原创 汇编语言程序格式
1 逻辑段汇编语言源程序由一个或多个逻辑段组成。❖ 一个程序中可以有几个同一类型的逻辑段。❖ 必须至少有一个代码段。［注］源程序分段的目的在于程序结构清晰、便于内存分配，寻址方便，一个源程序需要设置几个段应根据具体问题来定。段定义伪操作段名 segment 定位 组合 段字 ‘类别’… ;语句序列段名 ends完整段定义由SEGMENT和ENDS这一对伪指令实现，SEGMENT伪指令定义一个逻辑段的开始，ENDS伪指令表示一个段的结束如果不指定，则采用默认参数；但如果指定，
2021-11-06 11:08:02
5412
原创 离散数学_关系模型与理论
序偶与笛卡尔积笛卡尔积满足下面一些结论关系矩阵运算：这个相当于找两个结点直接是否有通路集合运算鸽笼原理关系的性质可见逆和与的保守性较好关系的闭包R’是R添加最小个数序偶后的满足相关性质的关系。...
2021-11-01 20:35:03
243
原创 离散数学_谓词公式的范式与谓词推演
谓词公式的范式前束型范式有以下特点：前束范式的定义：谓词逻辑的推理区别于命题推理的新规则：注意，这里的y是不包含在x中出现的个体变量，与下面的ES中的自由变元要区别这里，当P（x）里有其他自由变元时，c要表示为其变量。推理规则...
2021-11-01 19:51:39
321
原创 离散数学_谓词公式和等值演算
谓词公式一些约定个体项谓词公式定义量词与谓词公式谓词公式的等值与蕴含所有人会画画或者所有人会书法可以推出所有人要么同时会画画或书法。有人既会画画又会书法那么可以推出有人会画画和有人会书法。...
2021-10-25 15:24:58
443
原创 离散数学_命题公式与等值推演
命题公式命题常量表示一个具体的命题，真值唯一确定，可以看作命题。命题变量可以表示任何一个命题，真值不确定，不能看作命题。包含命题变量的复合命题就是一个关于命题变量的函数，叫做命题公式或真值函数。命题公式，如：由命题公式的定义可以得到：对运算符做以下约定：对其取值有以下结论：等值演算对于这个有：利用等价关系进行演算的过程叫做等值演算，内否与对偶有以下一些结论联结词的完备集如何用一些符号表示所有情况。进一步讨论联结词的完备性：
2021-10-24 20:15:14
955
1
原创 汇编语言_debug使用
注意点大小写不敏感：不区分只有16进制数：-1直接为FF以空格或逗号作为命令各项之间的分隔符个别指令不支持：SAL，同SHL跳转指令使用：没有编号，直接使用偏移地址命令行命令行程序调用命令❖ DEBUG [D：\PATH\FILENAME.EXE][PARM1] [PARM2]Debug 命令的参数❖ 地址⚫ 段地址：偏移地址⚫ 偏移地址❖ 地址范围⚫ 开始地址 结束地址⚫ 开始地址 L 长度帮助：❖ ？显示存储单元命令❖ -D [ADDRESS] 或 [RA
2021-10-22 09:55:42
209
原创 汇编语言_操作指令
数据传输指令性质：数据在传送过程中不发生任何变化对标志寄存器的内容无任何影响数据传送的Copy性质mov格式：MOV Dst, Src操作对象可以是寄存器，内存，立即数作用：把src的数据给dst注意事项目的操作数Dst不能为im，IP，CS就是不能把数据送到立即数和命令相关的寄存器src和dst大小要匹配比如下面这个是错的，因为两个大小位置有寄存器的会隐式匹配比如 mov ax,[bx]两个段寄存器之间不能直接传送数据；比如立即数不能直接送入段寄存
2021-10-18 20:44:15
3139
2
原创 离散数学_命题演算与推理
命题概念与运算命题的概念命题是一个能判断真假的陈述句比如这四句能够判断真假，而且是陈述句。来一些特殊的反例：这些句子，符合要求，他们是命题，但是他们有个特点，就是无法判断真假，因为缺少了一些前提，比如我们不知道小张到底是不是一个大学生，也就无法判断这个命题的真假，但是这个命题的真假是唯一确定的。这个就比较离谱了，如果我们假设我在说假话，那么我在说假话这个动作就是跟我说的是一致的了，那我说的是真话，矛盾，另一方面，假设我在说真话，那么我说的话应该是真的，但是我的话是我在说假话这与我在说真话的
2021-10-16 23:38:15
404
原创 pytorch读书笔记
快速入门tensor创建x=torch.Tensor(5,3)#这里的参数是shape#这里的Tensor默认是FloatTensor,可以通过一个东西修改，我忘了x=
2021-10-16 10:57:50
62
原创 汇编语言_一些寄存器与寻址方式
Dosbox的基本使用安装与配置网上下载Dosbox虚拟机，安装。下载调试，编译，连接的程序，放到同一个目录下（这里是D盘下的ASM目录）然后打开dosbox，在里面输入mount c d:\ASM\ (这里我的是ASM，根据自己放上面三个程序的位置写)这样就挂载成功将d:\ASM\挂载到C盘上了，接下来进入虚拟机的C盘，输入C：一般来说这两步我们每次都要用，所以我们可以把它写到虚拟机开机自启的文件里，这样就不用每次打开dosbox都要输一遍了。找到跟这个窗口一起弹出来
2021-10-08 20:56:07
1174
原创 常用的中规模组合逻辑标准构件
常用的中规模组合逻辑标准构件集成电路规模的划分小规模集成电路SSI74系列，1-12门中规模集成电路MSI12-99门，预先封装大规模集成电路LSI大约100-9999门，存储器超大规模集成电路VLSI大于9999门，处理器数据选择器（MUX）定义数据选择器是多路输入、单路输出的组合逻辑构件，通常称为多路转换器或多路开关。内部结构在之前讲过了，这里就不提了。结构分析这里多了一个使能输入ST非，顾名思义就是使其能发挥作用的引脚。那么是0有效还是1有效呢？这得看符号，ST
2021-09-29 16:08:50
1107
原创 数字逻辑_组合逻辑
组合逻辑组合逻辑分析首先给出组合逻辑的定义：是指电路在任何时刻产生的稳定输出信号，仅取决于该时刻电路的输入信号。可以理解为一个不随时间变化的,能实现一定功能的电路那问题来了，我们怎么分析一个给定电路的功能呢？一般有下面这些步骤。阅读组合逻辑电路图列写逻辑表达式列出真值表指出电路的逻辑功能做出对逻辑电路图的评价和改进下面对其进行介绍：分析的一般步骤举几个例子半加器分析下图电路的功能按步骤来，先得到他的逻辑表达式：然后我们给出真值表：可以看出，这个电路实现了
2021-09-25 20:48:36
2352
原创 布尔代数与卡诺图
布尔代数基本规律设有两个函数F1=f1(A1, A2, …An)F2=f2(A1, A2, …An)如果对应于A1, A2, …An的任何一组取值F1和F2的值都相等，则称F1= F2，即F1和F2有相同的真值表这个函数大概就是长成这样：运算符是之前逻辑运算里的下面讨论一些基本定理这几个好理解，还可以结合集合进行记忆这个对于异或同或也成立，但只限于相同运算之间这个对于异或同或也成立，不解释在布尔运算中加与乘是对偶的特别要注意画红线的式子的应用。可以推广到横线下的所有
2021-09-16 22:52:09
1918
原创 数制与逻辑函数
数制与编码位进计数制就是一种按进位方式实现计数的制度，简称进位制。比如十进制是逢十进一，9+1=10二进制是逢2进一，1+1=10表示方法主要有两种位置记数法(N)R = (kn-1kn-2…k1k0.k-1k-2…k-m)R规定R下标一律用十进制的数表示比如十进制的数 （123.123）10二进制的数（1001.11）2多项式记数法:把一个数写成多项式的形式，其中系数部分为位置计数法相应位置的数，幂部分是位置的权重，以小数点为分隔，左边是从零开始的非负整数次，右边是从-1
2021-09-15 21:06:39
270
原创 跑yolov5遇到的问题
问题一选好模型和资源路径后开始跑，报错：No such operator torchvision::nms这是没装torchvision或者是版本太低pip install torchvision 自动下载了0.10.0版本问题二上面这个问题解决了又出现一个新的问题：Couldn’t load custom C++ ops.这是由于torchvision与torch版本不匹配的问题，我调用torchvision.__version__发现版本是0.10.0但是我的torch是1.9+cu1
2021-08-16 20:04:50
577
1
原创 pip 安装GPU版本pytorch 与cuda下载
pytorch安装不能访问外网，连pytorch官网也打不开访问这个网站https://download.pytorch.org/whl/torch_stable.html这个意思是cpu版本，对应pytorch版本为1.8.0，对应python版本为3.8，对应操作系统是Mac。根据我自己的电脑，下载对应版本：cu102指的是cuda版本为10.2，这里为什么我不下最新的11.4呢因为我之下了11.4的然后torch一直说不可用，这里我不知道pytorch还有CPU和GPU版本的区别
2021-08-15 14:21:52
4946
3
原创 凸优化_0_简介
凸优化问题的基本形式给出优化问题的基本形式minimize f0(x) 最小subject to fi(x) ≤ bi , i = 1, . . . , m限制条件下面逐一介绍各部分：优化：optimizationx：是个向量(x1, . . . , xn) ，叫做 optimization variable（优化变量）f0 : R n → R ，是n维到一维的一个映射，叫做 objective function（目标函数）fi : R n → R, i = 1, . . . , m, a
2021-07-19 22:58:24
276
转载 数据结构_排序
排序将数据表（a1,a2,……，an）调整为按关键字从小（大）到大（小）排列的过程。几个术语——增排序减排序单关键字/多关键字稳定排序：排序过程中关键字相同的元素的相对次序不变。不稳定排序：排序过程中关键字相同的元素的相对次序发生变化。内部排序：所有数据在内存外部排序：部分数据在内存，部分数据在外存（涉及到内外存的交换）插入排序排序过程是插入直接插入排序将待排序表看作左右两部分，其中左边为有序区，右边为无序区,整个排序过程就是将右边无序区中的元素逐个插入到左边的有序区中，以
2021-07-15 22:28:13
120
1
原创 数据结构_查找
查找概述查找：——在数据集（表）中找出一个特定元素（的位置）。这一概念中涉及到以下几个相关的问题：（1）数据表：什么样数据表？也就是数据表的组织形式？例如：汉语字典、英语辞典；一个城市的电话号码簿。高考成绩表。查找表：——同类型的数据元素（记录）所构成的集合。顺序表：数据元素构成一个序列。树表：以树结构的形式组织。散列表：以某种函数的方式来确定元素的地址，实现数据表的组织。索引表：为元素建立索引，以提高查找的速度。显然，查找的方法取决于数据表的组织形式。例如：在汉语字典和英
2021-07-15 17:14:40
318
原创 数据结构_图
图图的基本概念与运算总的来说就是一堆结点，还有连接他们的边（边可以是单向的或双向的，边上可以有权重也可以没有），边是否有向决定是有向图还是无向图，边上是否有权重决定是否是网络。路径与回路连通图完全图树与有向树图的运算图的存储邻接矩阵从行看，该行上有1说明该行对应的结点能访问到1所在的列对应的结点，所以从列看的话就是能访问到该列的行。那么我们从两个角度出发都能表示所有的边关系，1.每个结点都能访问到那些结点2.每个点都能被那些结点访问。即只看行或只看列。邻接表
2021-07-14 22:39:51
102
1
原创 数据结构_二叉树
二叉树基本概念树的定义所以树一定有至少一个节点（没有空树的概念），但是二叉树可以没有节点。虽然这个点无关紧要，但还是提一下。关系术语层次术语例题首先我们假设这些点都是独立的那么明显有4x3+3x4+2x5+1x2=36个叶子，但是现在他是树，那么我们将这些独立得东西合并，显然，n个合并会减少n-1个叶子（因为合并只能替换叶子），所以36-（3+4+5+2-1）=23，所以叶子的个数为23二叉树定义二叉树性质前两个很好理解，就不说了。第三个：设度为一的节点数为n1所以叶子的个
2021-07-13 23:37:10
305
1
原创 数据结构_递归
递归递归的定义递归的简单例子这是一个简单的例子，也表明了递归的一些特征，比如递归有出口，这里就是n==0，还有调用自己，调用自己给人的感觉是想再找数列an与an-1…等的关系，递归的的执行就像我们不断的把an展开直到他变成a0，a1什么的，但是不能这样简单的认为。在看几个例子：这两个例子就像我们不断地把调用自己的代码展开展到出口，从最初的从头到尾执行。再看一个递归原理这说明递归式可以用栈来代替的经典例子找准an，an-1代表的意义递归正确性的证明就是数学归纳法
2021-07-11 20:10:57
49
2
原创 安装pip时出现的一些问题
安装fast r-cnn时说没有setuptools这个模块解决：行，没有的话就pip install setuptools,然后发现我连pip都没有，去官网下载pip后解压，进入目录，python setup.py install 安装报错说没有setuptools，这。。。。然后我又去官网看下载事项，找到了一个set-pip.py的文档，它说顺便还能安装setuoptools，那挺好，复制内容到py文件中python执行，结果说我的python版本不够，要3.6,我输入python3发现我的电脑有p
2021-07-11 11:44:37
156
原创 数据结构_队列
队列定义队列实现循环队列链队列注意标红的地方析构除外Quene.h#pragma once#include"tool.h"#include<iostream>using namespace std;template <class T>class Quene{public: Error_Type serve(T &output); Error_Type get_Top(T &output);
2021-07-10 16:14:44
73
1
原创 数据结构_栈
栈的定义这里有个思想，函数执行得怎么样了用返回值表示，真正要返回的东西放在参数列表里（用传入引用的方式实现返回）栈的实现Tool.h#pragma onceenum Error_Type{ Success,Overflow, Underflow};enum Ret_Type{ Str,Num,End};Stack.h#pragma once#include"iostream"#include"tool.h"//存的是Error_Typeusing name
2021-07-10 14:04:46
81
原创 第六课多元函数求导，极值
多元复合函数求导法则全导数公式从z走到终点写偏导还是直导看情况，只考虑一个的用直导，不然用偏导，有岔路的写偏导，直路的写直导例子微分不变性隐函数求导例题
2021-07-08 20:04:12
311
原创 Qt_事件
事件什么是事件主要是鼠标点击，键盘响应，进入离开什么的，这些事件其实是QWidget的一些虚函数，我们要做的就是继承QWidget或其子类，然后重写这些虚函数，我们可以在帮助文档里找QWidget的虚函数来查看这些事件怎么用一般我们是编辑组件的事件响应，但是Qt自带的那些组件我们没法编辑，所以这里我们要新建一个C++类继承QWidget或其子类，然后用这个，或者我们可以将ui里的组件提升为我们自己写的类（右键组件然后选择提升为），然后我们把我们想要的事件复制到头文件然后在源文件里实现就行了。举例
2021-06-13 14:41:43
92
原创 qt_文件操作
文件操作打开文件void Widget::on_open_clicked(){ QString textdir=QFileDialog::getOpenFileName(this,"open file","C:/User/19583/Desktop/","*.txt"); QFile file(textdir); if(!file.open(QIODevice::ReadOnly))return ;//打开失败返回 //char* str=new char[1024
2021-06-08 09:51:18
145
原创 qt_树形窗口的代码编辑方式
树形窗口结构介绍差不多长这样然后是具体的介绍：这个是列（Headerlabel），相当于是平时实验记录表上面的数据类型。然后是数据，叫做项目（QTreeWidgetItem），每个项目下面可以无限得添加，这就是树形名称的由来。开始撸代码先是标头的建立：在这里插入代码片...
2021-06-08 09:07:49
407
原创 第五课多元函数偏导与全微分
，邻域点集，区域首先关于边界有两种情况，一是包含，二是不包含，包含的叫闭区域，不包含的叫开区域（然后关于区域这个名词，这里说是开区域与闭区域的统称，但在复变函数中区域单指开区域，所以，呃），然后看一下内点的概念，所谓内点就是里面的点，不包含边界点，边界点就是边界的点，对于开区域来说边界点不在区域上，而对于闭区域，边界点在区域上，聚点的话就是内点加上边界点，所以对于开区域来说，聚点不都在区域上。连通和不连通很简单不说了。一个点的话算闭集因为没有内点这个注意一下多元函数定义比如二元函
2021-03-31 13:23:11
1383
1
原创 第四课曲面与曲线方程
柱面与坐标轴平行的柱面有以下特征：只有两个未知数准线平行于没有出现的那个坐标轴旋转曲面简单的情景就是一条直线绕着某个坐标轴旋转形成的曲面，怎么写方程，那我们先看看旋转这个过程有什么特征，显然我们取一个平面垂直于旋转轴，发现截出来一个圆或一个点，用一下这个到中心距离一样的特征，下面以z轴为旋转轴为例，写下x^2+y^2然后另一边怎么办？这个距离显然是与z有关的（z取不同的值，距离不一样），然后把这个距离用z表示即可。下面看个例子：其实就是把y表示成z的式子然后写在右边就行了但是我们
2021-03-25 13:43:43
2049
2
原创 第三课向量与平面直线方程
向量点积，加减什么的就不说了叉积：不嫌麻烦的可以将两个向量用坐标表示然后叉乘（那几个基底的叉积结果是知道的）混合积轮换值不变，其他好像没什么好说的了平面点法式关键是求出平面上的所有点满足的方程，现在知道一个点还有法向量，那么在平面上取一个点用它和那个点组成向量，这个向量与法向量的点积为零，就求完了三点式共面就是三个向量的混合积为零，然后以减少x，y，z出现为标准选出三个向量就行了...
2021-03-18 20:22:13
4611
原创 第四课叠加定理，戴维宁定理，诺顿定理，受控电压源电流源
叠加定理注意叠加定理使用的条件，（下面冒出了一个奇怪的图）一定是线性电路，计算与电流电压是线性关系的东西。戴维南与诺顿定理先上两张图解释，先看这样一个情景，我有一个复杂的线性电路，然后我引出了两个端点（a,b是我假设的电压方向），然后我用电流表接在两端测出电流，再把电流表撤掉接上电压表，我得到两个数据I和U,那么我说我可以把这个复杂的电路等价成下面的简单电路这里U的方向要与上面设的一样（两个端口对应的那个地方电负性要一样）能化成这样的原因就是我们对电路的电阻和电源可以进行不断地变
2021-03-18 20:02:42
8404
原创 第三课支路分析分析法与结点电位分析法
支路电流分析法之前做作业的时候无意中用到了这种方法，大致就是先用KVL将所有支路包括进去，然后设电流来列KVL方程，但是这还没完，我们还需要设的那些电流的关系，这个交给KCL。注意不要在有电流源的支路上列KVL。因为电流源有点压，但是不太方便算，这里直接上KCL就行了。结点电位法把一个结点作为基准，然后设出其他节点的电位，然后将所有电流用这些电位表示再用设的电位的个数个的KCL方程来解出这些电位。一些技巧沿线走的方向与电源电压方向相同，与电流方向相同，电位减少相应的值（通过Uab=va-vb可
2021-03-16 20:40:10
1065
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人