- 博客(17)
- 资源 (3)
- 问答 (2)
- 收藏
- 关注
RSS订阅原创 Python建立数学推理引擎TLW（二）推理都有用到哪些逻辑
Python建立数学推理引擎TLW（二）推理都有用到哪些逻辑文章目录Python建立数学推理引擎TLW（二）推理都有用到哪些逻辑常用逻辑与数学推理的关系所有可能的真值表总结规律逻辑关系表达式可以认为是型为: $左侧 逻辑符号 $右侧 = 返回值 的表达式。其中左侧、右侧的取值可能为: 真(True)、 假(False)左右侧中间的逻辑符号为: 且(AND), 或(OR), 异或(XOR) 等等这里暂时不讨论取反(NOT), 另外这些逻辑符号最少只要有两个就能构成完备的逻辑，可以组合形成别的逻辑
2022-02-27 18:14:47
530
翻译 graphlib中文API文档
（一）API 参考该页面介绍graphlib中主要的概念及有关API。默认，有关功能和对象都在graphlib命名空间下。文章目录（一）API 参考（1）图概念1）节点和边的表示2）多边图(Multigraphs)3）复合节点图(Compound Graphs)4）默认标签（Default Labels)（2）基础 API（3）算法 API01） alg.components(graph)02） alg.dijkstra(graph, source, weightFn, edgeFn)03） alg.d
2021-03-27 23:37:18
941
原创 Ubuntu18更换源错误可能导致的问题
Ubuntu18更换源错误可能导致的问题问题1: IDEA无法输入中文:环境:操作系统:No LSB modules are available.Distributor ID: UbuntuDescription: Ubuntu 18.04.5 LTSRelease: 18.04Codename: bionicIDEA:社区版2020.3方案:失败方案1:参考: https://blog.csdn.net/beguile/article/details/88950729概述: 修
2021-03-17 14:28:24
739
翻译 一种绘制有向图的方法＜TSE93＞ - 2. 最优层级分配
一种绘制有向图的方法＜TSE93＞ - 最优层级分配2 最优层级分配第一步为图G中所有节点v根据其边分配一个整数层级λ(v)。这意味着每一个 e=(v, w)成员 E都存在l(e)>=δ(e)，e=(v,w)的长度l(e)被定义为λ(w)− λ(v)， 并且δ(e)描述了一些给定最小长度限制，δ(e)通常为1， 但可以取值为任何非负整数。技术原因δ(e)可以被内部设定在后面章节详述，也可根据用户需要外部设定调整等级分配。在这一步，任何非空集合Smax,Smin,S0,...,SkS_{max},
2020-11-14 12:16:41
809
翻译 一种绘制有向图的方法＜TSE93＞ - 1. 引言
一种绘制有向图的方法翻译: http://graphviz.org/Documentation/TSE93.pdf摘要本文描述了一种用于绘制有向图的四步骤算法。第一步，通过使用网络单纯形算法，找到最佳等级分配。第二步，减少交叉，结合新型权重函数和局部置换的迭代启发式算法为同一层级的顶点确定次序。第三步，寻找最佳坐标，构建节点和排序辅助图。第四步，通过计算样条来画边。该算法能够快速的画出美观的有向图。1. 引言绘制抽象图是一个活跃的研究领域，具有诸如程序和数据结构的可视
2020-11-14 12:01:32
3150
原创 程序员用SymPy
程序员用SymPy为什么要用SymPy?数学公式化简、推理、因式分解。作为程序员还可以挖掘一下它启发式推理的潜力。怎样安装?sympy只有一个依赖项就是mpmath，安装命令如下，建议在python3环境下安装。pip3 install mpmathpip3 install sympy如果会用docker的话就更简单了，只需要运行下面一条命令，然后根据日志提示的token访问本机的8888端口，IDE和运行环境就都好了。当然了下面这种方式如果您一点开发经验都没有，还是需要折腾一段时间的，要理
2020-10-25 21:56:04
421
原创 Windows下无需python2精简版DataX
精简版DataX目录文章目录精简版DataX目录概述一、快速开始二、进阶三、自定义精简版关于概述阿里的DataX精简版，可以在windows下，仅依赖Java8即可运行。由于这个软件原本在linux下运行，移植到windows上是有问题的。如果对unicode, gbk, utf8编码了解不够深刻，使用这个版本可能会带来很多的麻烦，慎重！建议在linux下使用原本的DataX。下载地址: ...
2020-02-15 17:42:44
415
原创 Java代码蒙特卡罗方法求盒子取球概率问题
这里写自定义目录标题Java代码蒙特卡洛方法求盒子取球概率问题题目输出Java代码蒙特卡洛方法求盒子取球概率问题题目三个盒子, 分别装有白球、白球， 白球、黑球， 黑球、黑球。问: 当取出一个球是黑色时，再取出另外一球也是黑色的概率。代码实现:public class Main { public static void main(String[] args) { ...
2019-05-24 09:43:17
971
原创 CentOS7 安装Hive1.2.3
CentOS7 安装Hive123安装伪分布式安装的前提条件环境变量运行hiveCentOS7 安装Hive1.2.3安装伪分布式打开Hive首页hive.apache.org，根据Getting Started Guide的指导一步一步安装。安装的前提条件Java1.7Hadoop2.xLinux环境环境变量设定HADOOP_HOME环境变量，编辑/etc/profileexpo
2017-01-27 08:05:29
766
原创 CentOS7 Hadoop2.7.3 安装HBase
CentOS7 Hadoop273 安装HBase下载HBase123安装安装单机版HBase安装伪分布式版本的HBaseCentOS7 Hadoop2.7.3 安装HBase下载HBase1.2.3前几天从http://hbase.apache.org/网站看到的stable(稳定)版本是1.2.3于是下载。今天去看稳定版本已经是1.2.4了。那么暂时先用之前下载好的，拷贝并解压到虚拟机。
2017-01-24 16:56:35
1782
原创 CentOS7安装单机版Hadoop2.7.3
CentOS7安装调试伪分布式Hadoop273前期准备以standalone形式运行hadoop程序第一步以单机模式运行Hadoop程序第二步搭建伪分布式开启HDFS第三步在单节点上开启yarnCentOS7安装调试伪分布式Hadoop2.7.3前期准备安装java，拷贝oracle官网下载的jdk-8u111-linux-x64.rpm到虚拟机内。并安装：rpm -i jdk-8u1
2017-01-23 15:04:01
2786
转载 五类数据库存储模型(行、列、键值、文档、图)
六大存储模型(行、列、键值、文档、图、对象)六大存储模型行列键值文档图对象行存储列存储键值存储文档存储图形数据对象存储行存储定义：关系模型使用记录（行或者元组）进行存储，记录存储在表中，表由架构界定。表中的每个列都有名称和类型，表中的所有记录都要符合表的定义。SQL是专门的查询语言，提供相应的语法查找符合条件的记录，如表联接（Join）。表联接可以基于表之间的关系在多表之间查询记录。
2016-12-22 09:30:15
5657
原创 JMH初探
JMH入门（很多情况下需要做性能基准测试(benchmark)。简单的说就是，在几种类似的解决方案中，寻找效率较高的。比如对比一下thrift, protobuf, avro在对象序列化时的效率等。这种测试通常需要对被测的代码段反复执行，最后取平均值，然后横向对比几种方案。如果能有（时间、CPU、 内存、IO)曲线图表输出就更加直观了。一开始考虑用JMeter来做，但是这个框架似乎有点大，看了几次都
2016-12-05 13:55:09
8782
1
原创 VMWare workstation12安装CentOS7,并建立共享目录
VMWare workstation12安装CentOS7,并建立共享目录VMWare workstation12安装CentOS7并建立共享目录创建虚拟机为虚拟机安装操作系统为虚拟机安装Vmware-tools来使用公共目录创建虚拟机1CPU1G内存20G硬盘上网采用NAT，即虚拟机互相可见，并可以通过主机上网。但虚拟机对外界不可见。如果要从远程终端访问linux就要改为桥接模式，
2016-11-15 06:02:00
3694
原创 在VirtualBox下安装CentOS7并开启共享路径
在VirtualBox下安装CentOS7并开启共享路径在VirtualBox下安装CentOS7并开启共享路径安装VirtualBox创建虚拟机安装Linux软件linux设定网络安装virtualBox工具包安装VirtualBox选择VirtualBox是因为看到DockerTool使用的VirtualBox，也是想确认它现在是否也会像VMWare一样在windows里安装若干服务，
2016-11-14 10:56:25
5082
翻译 ZooKeeper 入门指南
ZooKeeper 开始向导ZooKeeper 开始向导开始通过zookeeper协调分布式程序先决条件下载单机操作管理ZooKeeper存储连接到ZooKeeper对ZooKeeper编程复制模式运行zookeeper其它优化开始:通过zookeeper协调分布式程序这份文档包含了让你快速开始使用zookeeper的帮助信息。文章主要是针对初级想尝试使用zookeeper的开发者
2016-11-10 11:17:20
375
winning-datax-20200215.zip
2020-02-15
SpringBoot中Stomp点对点
2018-10-22
JAXB如何映射对象的某个属性为XML标签的值：
2016-01-29
TA创建的收藏夹 TA关注的收藏夹
TA关注的人