- 博客(5)
- 资源 (2)
- 收藏
- 关注
RSS订阅原创 win10/11下 cuda11.1和pytorch1.9.1的安装配置 亲测稳定版本!!!
准备查看显卡驱动版本打开命令窗口，输入nvidia-smi，查看CUDA版本。博主的是11.2进入https://tensorflow.google.cn/install/source_windows，拉到页面最底端，查找对应的cuDNN版本和TensorFlow-gpu版本下载下载CUDA下载地址官网 https://developer.nvidia.com/cuda-11.2.0-download-archive?target_os=Windows&target_arch=x86
2022-03-28 19:53:40
4530
2
原创 命题逻辑的合理性和完备性证明
命题逻辑的合理性（Soundness）和完备性（Completeness）学习背景：这学期在学习Michael Huth版的《面向计算机科学的数理逻辑》，老师布置了证明命题逻辑的合理性和完备性的任务，看了一天也没完全看明白，我好菜~~学习总结：参考了大神的文章，对语法和语义的理解更清楚了一点。老师上课讲，这门课必须要弄清楚 φ1,φ2,…,φn |- ψ和 φ1, φ2, … , φn |= ψ 的区别。以编程为例，编译器可以解决前者，而程序员要解决后者。1.语法 |-与规则有关，我们不用
2021-11-25 11:39:18
2244
原创 NSL-KDD 基于随机森林的分类模型
NSL-KDD 基于随机森林的分类模型数据集NSL-KDD数据集是网络安全领域相对权威的入侵检测数据集，它对KDD 99的一些固有问题做了改进。（1）NSL-KDD数据集的训练集和测试集中不包含冗余记录，使检测更加准确。（2）训练和测试中的记录数量设置是合理的，这使得在整套实验上运行实验成本低廉而无需随机选择一小部分。因此，不同研究工作的评估结果将是一致的和可比较的。NSL-KDD官方地址本实验用到的文件有 KDDTrain+.txt、KDDTrain+_20Percent.txt和KDDTes
2021-11-24 11:58:03
17284
26
原创 2021-11-03
LB的第一篇博客现在是研一上学期，网络与信息安全方向，感觉自己好像会了点东西，但是真要说也说不出来啥。所以准备开始写博客了，记录自己的学习过程、项目经验或者一些奇思妙想。希望三年后能在科研方面有一些成果，不敢跟大佬们相比，但最起码有所收获。...
2021-11-03 11:30:28
171
1
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人