- 博客(290)
- 资源 (9)
- 收藏
- 关注
RSS订阅
原创 2021国防科技大学计算机学院无军籍考研409分经验贴(数一+英一+834)
一直想写一篇经验贴，是对自己一年考研生涯的回顾，也是给学弟妹们提供经验。目前官网还没有发放通知，但在老师建的微信群聊里，已经可以确定自己录取了。先放自己的成绩吧，考的是数一英一，专业课834（数据结构+计算机组成原理）考研的小伙伴见链接：...
2021-04-26 23:22:00
11055
33
原创 SAT和SMT介绍及求解器使用
这个SMT是在SAT的基础上实现的，目的是求出指定约束下的可行解。如果说SAT把注意力放在命题公式判定上，SMT就在SAT的基础上可以分析各种不等式和等式下的约束求解1、对SMT公式进行预处理，把公式中的命题变量替换为布尔变量，再将SMT公式转化为可满足性意义上等价的SAT公式；2、检查此SAT公式是否可满足，如果不可满足，那么SMT公式也不可满足，算法结束；3、如果SAT公式可满足，则结合SMT背景理论去判断SMT公式的可满足性，返回判断结果，算法结束。
2024-03-14 15:38:58
1139
原创 Groot行为树UI编辑器安装与问题解决（完美教程！）
屏蔽Anaconda这一步很重要，血泪教训！！！不然后面会出现一堆错误，如果发现过程很不顺利，可以检查一下自己有没有彻底退出anaconda，重新下载编译一下首先是退出当前的环境，控制台前不要有括号暂时先屏蔽一下任何与anaconda相关的路径，不然后面可能会出现库的冲突更新完系统变量后一定要重启控制台，可以测试输入一下“python”，看现在是不是已经找不到python或者没有conda命令了，说明路径上成功屏蔽了。
2023-03-12 23:23:11
2152
3
原创 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
1868
原创 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
2363
原创 Ubuntu20.04下安装vm17+win10/11
上方工具栏–VM(虚拟机)–Install VMware Tools，如果还有问题，可以试着运行。5、到网上随便找个码–Finish，如。官网下载win10/11的iso镜像。到下载的目录下，给予权限并安装。确认后将跳转至下载界面。
2023-03-09 19:36:34
1358
原创 Ubuntu20.04下更换CUDA版本
查看版本为10.1nvcc -V依次运行如下命令删除对应的cuda文件夹查看并卸载剩余残留查看删除所有残留再次查看，发现已经没有CUDA了。
2023-03-07 21:17:41
5112
原创 蒙特卡洛树搜索（MTCS）
一种启发式的搜索算法，在搜索空间巨大的场景下比较有效算法完成后得到一棵树，这棵树可以实现：给定一个游戏状态，直接选择最佳的下一步。
2023-03-05 18:53:06
1145
原创 GBDT（梯度提升树，Gradient Boosting Decision Tree）
GBDT(Gradient Boosting Decision Tree)在数据分析和预测中的效果很好。它是一种基于决策树的集成算法。其中Gradient Boosting 是集成方法boosting中的一种算法，通过梯度下降来对新的学习器进行迭代。而GBDT中采用的就是CART决策树。
2023-02-21 19:40:37
457
原创 Sigmoid和Softmax共通与区分
Softmax以及Sigmoid这两者都是神经网络中的激活函数，将输入非线性化。都作为神经网络的最后一层，将输出数值转换为概率值。
2023-02-21 18:37:11
810
原创 (16)UiBot：智能化软件机器人（以头歌抓取课程数据为例）
机器人的主要目标是在头歌页面上自动获取学生实训提交情况。机器人将打开头歌页面，点击我的头像查看课程，进入到《XX课程》。点击进入已截止的实训项目，我的账号可查看到各位同学的实训通关情况。为了实现对项目列表进行遍历，机器人在已截止页面抓取所有项目名称，由于页面过长无法智能识别并抓取，且提取的数据无法直接转换为字符串。因此，将所有实训项目写入Excel后再读出，在网页搜索栏中依次进行搜索，以遍历所有实训。在实训详情中将爬取所有同学的提交信息，输出到Excel表格中。一般而言，学生在实训项目截至后应当。
2022-09-21 16:40:08
4085
4
原创 (15)腾讯云微搭：云开发为底层支撑的低代码应用/表单开发平台
共有3/5个主页面（我的课程、任务清单、个人中心）共有3个表单页面（新增课程、新增任务、新增成绩）共有6/8个二级页面（任务详情、课程内容、成绩单、我的文件、我的消息、关于我们）
2022-09-21 16:14:13
1408
原创 Tensorboard启动和使用
关于tensorflow、pytorch、tensorvision等等一系列的版本要求，见博客这里就按我自己的需求安装。
2022-09-19 21:27:48
899
原创 (13.2)Latex图片、表格的绘制与排布
制作三线表需要导入包以下是一些更换或含义通过以下代码为内容加上横线\hline如果想让表格内的文字换行，则用以下代码例如修改代码就会变成参考链接。
2022-09-17 21:18:38
3127
原创 (14)Zotero：文献管理工具，支持阅读器和翻译插件的私人研究助理
Zotero可以代替EndNote，EndNote的使用介绍参考博客本文主要是安装、插件和配置过程，使用方式主要见博客。
2022-09-17 14:47:22
755
原创 (13.1)Latex符号、公式及伪代码
对于他人论文、网页图片上的公式，要手写成Latex比较麻烦，可以使用这个软件截图公式，自动转成Latex文本。
2022-09-11 14:18:24
3828
原创 (1.1)bark
github地址：github开源bark：https://github.com/bark-simulator/bark/bark官网：https://bark-simulator.github.io/bark指导手册：https://github.com/bark-simulator/bark/blob/master/docs/source/installation.mdYoutube视频：https://www.youtube.com/user/fortissTV/search?query=BARK相关
2022-09-05 14:39:12
1728
原创 解决：PicGo插件安装失败，失败码为1（404）
在安装PicGo插件时，发现插件安装失败，失败的表现是：先显示“安装中”，随后又变为显示“安装”，而不是“已安装”。查看PicGo的日志说明，发现报错如下可以看到其中有一句是，即没有找到网址。我们可以通过命令行安装的方式来解决。
2022-09-05 14:21:21
2742
2
原创 报错：An error ocurred while starting the kernel. The system cannot find the path specified.
在Spyder的控制台显示如下错误。
2022-08-29 17:00:23
1291
1
原创 网安技术与应用(6)——基于Paillier的安全计算
半同态加密PHE）：只支持加法或乘法中的一种运算。其中，只支持加法运算的又叫加法同态加密（Additive Homomorphic Encryption, AHE）。该开源包支持加法同态。满足汉明距离是使用在数据传输差错控制编码里面的，汉明距离是一个概念，它表示两个（相同长度）字符串对应位置的不同字符的数量，我们以d（x,y）表示两个字x,y之间的汉明距离。对两个字符串进行异或运算，并统计结果为1的个数，那么这个数就是汉明距离。.........
2022-08-11 09:19:24
2313
3
原创 Ubuntu20.04安装cuDNN8.0
在博客中找到相应的版本匹配，确定好自己的电脑应该安装什么版本，再开始下载。如果CUDA没有安装好的话要先安装CUDA。
2022-07-20 22:12:42
2190
1
原创 Ubuntu下安装微信（非Deepin）
您也许需要运行“apt--fix-brokeninstall”来修正上面的错误。但是现在微信可能还会在图片上存在一些异常，需要安装相应的图片库。则运行以下代码，再重新安装libjpeg62。转到下载包的对应目录，打开终端并运行。完成后搜索微信，发现成功安装。或直接双击deb包安装。...
2022-07-19 16:36:22
2172
原创 解决：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
4038
原创 解决：Failed to import any qt binding
在Jupyter中常常要用到%matplotlib语句。，这是matplotlib版本问题。完成后重启该文件运行。
2022-07-16 13:46:05
1057
原创 解决：Could not find a version that satisfies the requirement xxx
在安装某些python包时会出现以下问题。添加信任参考链接：pypiwin32报错：‘SSLError(SSLEOFError(8, ‘EOF occurred in violation of protocol (_ssl.c:1123)‘))
2022-07-13 16:20:38
858
原创 解决：cannot import name ‘xxx‘ from ‘xxx‘
官网地址：https://www.catalyzex.com/这里我选择作为Chrome插件进入 Google、ArXiv、Twitter、Github等等页面检索，如果存在匹配的代码，就会自动显示例如进入ArXiv：https://arxiv.org/任意检索内容，发现如果存在代码，将会有相关显示...
2022-07-06 14:37:19
21388
12
基于DTLS的安全服务器设计
2023-02-21
网安技术与应用(6)——基于Paillier的安全计算
2022-08-11
CAN总线入侵检测数据集
2022-04-25
LA.Neighborhoods.csv
2020-01-19
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人