- 博客(12)
- 资源 (6)
- 收藏
- 关注
RSS订阅原创 更新cuda驱动10.0==＞11.2
根据机器型号下载最新驱动下载地址查看GPU显卡信息：lspci -vnn | grep VGA -A 12卸载旧驱动（可选）redhat参考ubuntu参考安装驱动sudo ./NVIDIAxxxx.run --no-x-check可能遇到的问题：An NVIDIA kernel module nvidia-uvm appears to alreain需要查看是否有程序占用（如果存在占用，请停掉该程序）lsof | grep nvidia.uvmAn NVIDIA ker.
2021-04-07 14:46:48
1812
原创 tf函数/np函数
tf.variable_scope：变量作用域tf.constant：创建常量np.prod计算数组元素乘积np.random.normal正态分布
2019-11-01 16:35:08
270
原创 docker 入门
docker images 查看镜像docker build -t docker_test . 建立镜像docker run docker_test python main.py hello 运行镜像删除标签为none的imagedocker rmi $(docker images | grep “^” | awk “{print $3}”)FROM python:3.6...
2019-07-23 21:46:09
132
原创 概率逻辑程序
1.研究概况Prolog ：1972年，一种描述性的程序设计语言（逻辑程序），以一阶谓词逻辑为理论基础，语法上可以表示为一阶谓词逻辑的Horn 子句集。用户只需要编写程序的逻辑部分，而控制部分由计算机自动完成。prolog程序基本语法probabilistic logic programming：1992年，R.Ng，提出了第一个概率逻辑程序框架，并在此框架中对概率信息进行描述，同时研究了这...
2019-04-24 18:29:52
1129
原创 坑爹的CTeX
1.下载CTeX:直接到下载中心下载国内镜像2.更新MiKTeX坑爹的MiKTeX下载好CTeX后。，直接编译会报错，一顿折腾后发现CTeX自带的MiKTeX版本不行，于是重新下载MiKTeX，参考这里划重点：要下载32位（x86）的3.新旧版本的折腾把下载好的MiKTeX的包全部更新好后，以为奇迹就会发生？呵呵并没有，编译了一下，报错比之前更多了，比较了一下两个MiKTeX文件夹，...
2019-03-07 21:41:05
611
原创 【数理逻辑】预备知识（二）
概述Herbrand域Herbrand域是一阶语言\mathscr{}\mathcal{} 的不包含变元的项组成的集合，它是项集合的子集
2018-12-12 12:22:48
1931
1
原创 【数理逻辑】预备知识
元语言和对象语言：对象语言：被讨论的语言元语言：讨论对象语言时用的语言（解释说明）语义给形式语言以解释真假赋值υ\upsilonυ给公式AAA指派的值记作AυA^\upsilonAυ逻辑推论（语义关系）是公式间的一种关系，相当于命题间的可推导性关系。我们称公式A是公式集合Σ\SigmaΣ的逻辑结论，当且仅当对任意模型，如果此模型使Σ\SigmaΣ为真，那么它也使A为真。...
2018-11-28 12:31:12
679
原创 假设检验（一）总体分布已知
总体分布已知时，对总体X的分布中的参数提出的检验问题又称参数假设检验问题基本概念原假设：H0:θ∈Θ0H_0:\theta\in\Theta_0H0:θ∈Θ0备择假设：H1:θ∈Θ1H_1:\theta\in\Theta_1H1:θ∈Θ1拒绝域：W={(x1,x2,…,xn):T(x)≥c}W= \lbrace( x_1,x_2,…,x_n):T(x) \ge c\rbraceW...
2018-11-16 13:19:55
1485
翻译 马尔科夫逻辑网络
马修 理查德森([email protected]) 和佩德罗 多明戈斯 ([email protected])美国西雅图华盛顿大学计算机科学工程系WA 98195-250摘要：我们提出一个简单的方法将一阶逻辑和概率图解模型组合成一种表示形式。马尔科夫逻辑网就是一个每个准则或语句都有权重的一阶逻辑知识库，其中常数代表库中对象，还约定了一个基本马尔科夫网知识库中一个一阶...
2018-11-15 14:30:09
5346
原创 进化策略与进化规划
进化策略与进化规划进化策略1.编码：对要求解的问题以数字串的方式进行编码（由目标参数和策略参数组成），计算合适度值2.判断是否满足终止条件：如满足则输出结果；否则执行下述步骤3.选择n个父代参与繁殖4.按给定的方式执行交叉操作（可选）5.基于高斯分布的扰动执行变异操作6.产生m个子代，并计算合适度值（m>n）7.返回步骤2进化规划1.编码：对要求解的问题以数字串的方式进行...
2018-11-12 15:35:03
3972
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人