![](https://img-blog.csdnimg.cn/20190927151124774.png?x-oss-process=image/resize,m_fixed,h_224,w_224)
Linux/ubuntu
文章平均质量分 56
Linux/ubuntu
Netceor
只要头没秃未来总比现在苦
展开
-
SAT和SMT介绍及求解器使用
这个SMT是在SAT的基础上实现的,目的是求出指定约束下的可行解。如果说SAT把注意力放在命题公式判定上,SMT就在SAT的基础上可以分析各种不等式和等式下的约束求解1、对SMT公式进行预处理,把公式中的命题变量替换为布尔变量,再将SMT公式转化为可满足性意义上等价的SAT公式;2、检查此SAT公式是否可满足,如果不可满足,那么SMT公式也不可满足,算法结束;3、如果SAT公式可满足,则结合SMT背景理论去判断SMT公式的可满足性,返回判断结果,算法结束。原创 2024-03-14 15:38:58 · 2232 阅读 · 2 评论 -
Ubuntu将c++编译成.so文件并测试
Ubuntu将c++编译成.so文件并测试原创 2024-03-02 11:28:17 · 747 阅读 · 0 评论 -
Groot行为树UI编辑器安装与问题解决(完美教程!)
屏蔽Anaconda这一步很重要,血泪教训!!!不然后面会出现一堆错误,如果发现过程很不顺利,可以检查一下自己有没有彻底退出anaconda,重新下载编译一下首先是退出当前的环境,控制台前不要有括号暂时先屏蔽一下任何与anaconda相关的路径,不然后面可能会出现库的冲突更新完系统变量后一定要重启控制台,可以测试输入一下“python”,看现在是不是已经找不到python或者没有conda命令了,说明路径上成功屏蔽了。原创 2023-03-12 23:23:11 · 2534 阅读 · 5 评论 -
sudo python导致No module问题(python与sudo python并不一样!)
Ubuntu中默认存在一个python3.8,在ubuntu上安装anaconda后,经过各种环境配置,会将机子上的默认python设置为与anaconda统一(我的电脑为py3.9.13)。但是,在一些时候通过sudo命令运行py文件时,会发现明明有的包无法导入,运行过程报错刚开始百思不得其解,后来发现是python和之间的不同。可以分别查看一下两种python中的对应版本,可以看到它们的版本是不同的,sudo中甚至无法直接用python指令。原创 2023-03-10 20:08:46 · 2021 阅读 · 0 评论 -
Ubuntu20.04中Docker安装与配置
显示“正在读取软件包列表… 完成”显示“done.”显示“OK”$(如果没有报错就正常进行下一步。显示“正在读取软件包列表… 完成”这里我报错解决方法就是(1)先删除刚刚加进去的语句删掉73以及之后的句子(也就是刚刚我们加进去的)(2)改为重新运行下列语句(根据版本选择自己的句子即可)显示“正在读取软件包列表… 完成”显示“正在处理用于 man-db (2.9.1-1) 的触发器 …正在处理用于 systemd (245.4-4ubuntu3.17) 的触发器 …”原创 2023-03-09 21:04:41 · 2531 阅读 · 0 评论 -
Ubuntu20.04下安装vm17+win10/11
上方工具栏–VM(虚拟机)–Install VMware Tools,如果还有问题,可以试着运行。5、到网上随便找个码–Finish,如。官网下载win10/11的iso镜像。到下载的目录下,给予权限并安装。确认后将跳转至下载界面。原创 2023-03-09 19:36:34 · 1446 阅读 · 0 评论 -
Ubuntu20.04安装flameshot:截图编辑工具
按快捷键,截取图像后,按空格键可呼出设置面板,线条粗细、大小可通过调节。原创 2023-03-09 17:52:46 · 1183 阅读 · 0 评论 -
Ubuntu20.04下更换CUDA版本
查看版本为10.1nvcc -V依次运行如下命令删除对应的cuda文件夹查看并卸载剩余残留查看删除所有残留再次查看,发现已经没有CUDA了。原创 2023-03-07 21:17:41 · 5855 阅读 · 0 评论 -
Ubuntu20.04安装cuDNN8.0
在博客中找到相应的版本匹配,确定好自己的电脑应该安装什么版本,再开始下载。如果CUDA没有安装好的话要先安装CUDA。原创 2022-07-20 22:12:42 · 2297 阅读 · 1 评论 -
Ubuntu下安装微信(非Deepin)
您也许需要运行“apt--fix-brokeninstall”来修正上面的错误。但是现在微信可能还会在图片上存在一些异常,需要安装相应的图片库。则运行以下代码,再重新安装libjpeg62。转到下载包的对应目录,打开终端并运行。完成后搜索微信,发现成功安装。或直接双击deb包安装。...原创 2022-07-19 16:36:22 · 2226 阅读 · 1 评论 -
Ubuntu下安装有道词典
选择Ubuntu(amd64)版在目录下运行命令。原创 2022-07-19 16:33:54 · 1644 阅读 · 1 评论 -
解决:Before you can run Vmware, several modules must be compiled and loaded into the running kernel
详情见博客在Ubuntu系统中安装VMware,图标成功显示在程序中,但是打开进行Install时报错如下关闭后报错这是需要更新。原创 2022-07-19 16:03:02 · 4427 阅读 · 0 评论 -
Ubuntu软件非Deepin安装(Typora、微信、Anaconda、有道词典)
直接下载安装包或用官方给出的命令下载均可。原创 2022-07-15 19:13:08 · 1013 阅读 · 0 评论 -
解决:由于没有公钥,无法验证下列签名: NO_PUBKEY xxx
我的报错是。原创 2022-07-15 18:34:58 · 3876 阅读 · 0 评论 -
(1)Terminal 终端终结者——安装和使用快捷键
一、安装sudo apt install terminator显示应用程序 —> 搜索 terminator —> 右击 选择 添加到收藏夹ctrl+alt+t打开一个新终端,出现了新的功能二、快捷键带★表示常用(1)同一个窗口Alt+Up //★移动到上面的终端Alt+Down //★移动到下面的终端Alt+Left //★移动到左原创 2022-04-13 20:39:02 · 3369 阅读 · 0 评论 -
解决——虚拟机无法Ping通主机
一、问题我的虚拟机网段是VMnet1:192.168.89.0VMnet8:192.168.85.0主机IP是VMnet1:192.168.89.1VMnet8:192.168.85.1查看虚拟机IP:ifconfig -a发现在虚拟机明明在85的网段下,但是却可以ping通192.168.89.1,无法ping通192.168.85.1解决方案如下二、解决打开"高级安全 Windows Defender"防火墙的入站规则找到配置文件类型为“公用”的“文原创 2022-04-09 11:30:04 · 3380 阅读 · 0 评论 -
无法打开虚拟机中的文件,正在取消复制操作
如果将虚拟机中的内容复制到桌面时出现这个问题,查看是哪个文件上有一个“×”的符号,将这个文件的权限调整成可以进行写操作的等级调整文件权限参见Ubuntu文件权限设置例如sudo chmod 644 Loopback\:lo.pcapng参考链接“无法打开虚拟机中的文件,正在取消复制”解决方法...原创 2022-04-04 11:11:23 · 3782 阅读 · 0 评论 -
Ubuntu文件权限设置
sudo chmod 600 ××× (只有所有者有读和写的权限)sudo chmod 644 ××× (所有者有读和写的权限,组用户只有读的权限)sudo chmod 700 ××× (只有所有者有读和写以及执行的权限)sudo chmod 666 ××× (每个人都有读和写的权限)sudo chmod 777 ××× (每个人都有读和写以及执行的权限)参考链接“无法打开虚拟机中的文件,正在取消复制”解决方法...原创 2022-04-04 11:04:55 · 1464 阅读 · 0 评论 -
VSCODE利用prettier插件实现快捷格式化代码
一、插件安装在左侧扩展界面搜索 “Prettier -Code formatter ” 并安装【我已经安装好就没有安装按钮了】二、使用快捷键Ctrl + Shift + P,上方出现命令框,搜索 “format ” ,下面出现两种选择Format Document 对整个文档做格式化 Format Selection 对选择代码做格式化也可以直接看对应快捷键,便捷下次使用【这里可能会提示XX插件未安装,无法格式化,安装一下即可,例如我提示未安装xml】三、示例...原创 2021-07-19 17:56:23 · 4671 阅读 · 0 评论 -
Ubuntu20.04更换下载源
Ubuntu系统中,软件源文件地址为:/etc/apt/sources.list一、备份原始源sudo cp /etc/apt/sources.list /etc/apt/sources.list.bak二、添加源找到路径,打开sources.list文件sudo gedit /etc/apt/sources.list#添加阿里源deb http://mirrors.aliyun.com/ubuntu/ focal main restricted universe multiversed原创 2022-03-31 15:51:39 · 1770 阅读 · 0 评论 -
(二)mongDB数据库连接和插入
一、清理已有数据库(该步骤可忽视)在终端输入sudo lsof -i看是否已有mongod存在,杀死这个PID,如图我的对应PID是875sudo kill 875二、打开数据库在终端控制台输入如下语句,出现一些warning没有关系,出现一些collections accept字样就说明数据库连接成功了(终端不要关闭)mongod --dbpath Pa...原创 2019-10-29 10:53:37 · 274 阅读 · 0 评论 -
(四)mongoose基础操作
一、新建项目,在项目目录下安装express和mongoosenpm init //一路回车到底npm install mongoose --savenpm install express --save二、杀死现有mongod,开启新的mongod参考mongDB数据库连接和插入中的一、二步骤三、打开项目,新建httpServer.js,引包这里要打开File→ ...原创 2021-01-23 14:20:32 · 217 阅读 · 0 评论 -
Ubuntu、VSCODE小技巧
一、如何右键快捷生成文本文件参考链接ubuntu18.04右键怎么添加新建空白文本文件(20.04版本可用)原创 2021-07-11 21:23:14 · 734 阅读 · 0 评论 -
Lunix常用命令和操作
1.查找文件find / -name *文件名*2.开始、重启、结束进程# 开始进程systemctl start filebeat# 重启systemctl restart filebeat# 结束systemctl stop filebeat3.转到目录# 从根目录开始搜索文件夹cd /文件名/# 从当前目录开始cd 文件名/4.编辑文件# 编辑vim 文件名vi 文件名# 查看cat 文件名5.从编辑状态退出# 先按Esc原创 2021-01-25 17:59:54 · 807 阅读 · 0 评论 -
Lunix磁盘扩大
1.将虚拟机处于关机状态,扩大虚拟机的容量。硬盘->扩展【这里要注意一旦扩大就降不回来了!!】2.开机,点开左下角的应用图标,在其中搜索“disk”,选中“disks”3."设置"按钮→ Resize(第三个按钮)将current size调到自己满意的大小,确定Resize【注意这里也是一旦增大就降不回来!】...原创 2019-10-15 09:18:31 · 204 阅读 · 0 评论 -
Lunix文件传输
本机IP:172.21.12.62;他人IP:172.21.12.591.ctrl+alt+T打开控制面板2.登录他人IP,跳出问话框后输入yes ssh user1@172.21.12.593.在他人的面板中创建新文件sshtest.txt,,ls可查看当前文件,echo "test ssh the first time" > sshtest.txt...原创 2019-09-10 11:46:11 · 158 阅读 · 0 评论 -
Lunix修改用户名、域名、密码
本机地址:172.21.12.62修改用户名1.进入etc目录cd /etc2.gedit hostname为只读,可查看自己的主机名3.修改自己的主机名,修改后save,并重启sudo gedit hostname修改域名1.进入etc目录cd /etc2.打开hostssudo gedit hosts3.在文档末尾将自己的主机IP重命...原创 2019-09-10 12:03:45 · 540 阅读 · 0 评论 -
Lunix配置路径
一、原来路径进入node文件夹→ bin→ 右键→ Open in Terminal→ 输入 ./node → 进入编译→退出 .exit二、查看路径,将路径复制pwd三、Ctrl+Alt+T新开控制台,输入vim .bashrc(若出现选项,输入E)vim .bashrc四、按大写的G进入文档末尾,设置新路径export PATH=/home/user1...原创 2019-09-17 09:33:15 · 193 阅读 · 0 评论