- 博客(47)
- 收藏
- 关注
RSS订阅原创 从「命题逻辑」到「一阶逻辑」的过渡
数学就是不断抽象的过程。。。我们来看个例子：所有的人都比 madao756 帅，你是人，所以你比我帅在之前的「命题逻辑」中，我们只能把它抽成三个「简单命题」p：所有的人都比 madao756 帅 q：你是人 r：你比我帅符号化以后就变成单从结果来看，其实损失了一些关键信息：比如「所有人」。于是数学家们想出了一个更好的，更完美的方法，表示上述命题，我们把它叫...
2019-12-06 12:44:42
1138
转载 什么是一阶逻辑（First-order Logic）
实际上，一阶逻辑是一种形式系统（Formal System)，即形式符号推理系统，也叫一阶谓词演算、低阶谓词演算(Predicate Calculus）、限量词（Quantifier）理论，也有人称其为“谓词逻辑”，虽然这种说法不够精确。总之，不管怎么说，一阶逻辑就是一种形式推理的逻辑系统，是一种抽象推理的符号工具。我们要注意的是，一阶逻辑不同于单纯的“命题逻辑”（Prop...
2019-12-04 08:13:19
984
原创 如何嵌入PhxPaxos到自己的代码
如何嵌入PhxPaxos到自己的代码PhxPaxos概述你好！ 这是你第一次使用 Markdown编辑器 所展示的欢迎页。如果你想学习如何使用Markdown编辑器, 可以仔细阅读这篇文章，了解一下Markdown的基本语法知识。特性我们对Markdown编辑器进行了一些功能拓展与语法支持，除了标准的Markdown编辑器功能，我们增加了如下几点新功能，帮助你用它写博客：全新的界面设计...
2019-08-13 14:40:07
212
转载 2019年1月份GitHub上最热门的开源项目
开源最前线整理了1月份GitHub上热门项目的排行榜，以供开发人员参考1、professional-programminghttps://github.com/charlax/professional-programmingStar 99522、developer-roadmaphttps://github.com/kamranahmedse/developer-roadmapSt...
2019-02-18 17:56:25
2303
原创 搭建Ubuntu Kotlin Eclipse开发环境
搭建环境：Ubuntu 16.04 ×641、安装jdk请查看：搭建Ubuntu Java Eclipse开发环境2、安装eclipse请查看：搭建Ubuntu Java Eclipse开发环境3、安装Kotlin插件STEP 01，打开 EclipseSTEP 02，选择 Help -> Eclipse Marketplace… 菜单STEP 03，搜索 K...
2019-02-16 21:48:48
305
原创 搭建Ubuntu Java Eclipse开发环境
搭建环境：Ubuntu 16.04 ×64 1、搭建jdk1.8运行环境1.1、下载jdk1.8使用的版本：jdk-8u121-linux-x64.tar.gz1.2、安装jdk1.8STEP 01, 解压安装包tar -zxvf jdk-8u121-linux-x64.tar.gzSTEP 02, 新建文件夹jdkmkdir /usr/lib/jdkSTE...
2019-02-16 11:50:52
936
转载 SDN必须知道的十大问题
SDN之所以能够发展的如此之快，其中开源社区的贡献不容忽视。随着SDN 各类社区的不断发展状大，开源项目也在不断增多，从控制器到交换机再到网络虚拟化，开源项目一度让小编眼花缭乱。可能你熟悉OpenDaylight、RYU、Floodlight，但是你也许不知道还有MUL、Beacon、Trema等一大波开源控制器。除了OVS、Flowvisor还有Pantou和MidoNet，是不是有点脑洞大开的...
2019-01-14 20:33:12
711
转载 【转】无链之链：R3 Corda带来的新视角
著名的金融领域分布式账本R3项目由于有众多金融机构的参与和支持，并且获得了数千万美元的融资，自宣布之日起就受到整个区块链生态环境的瞩目。从公布的一些新闻稿、白皮书中，人们已经了解到：R3的最大特点之一，就是一个没有区块链的“类区块链”系统，但是具体实现方案是什么，与区块链相关的系统对比又有什么特色，还是一个未知数。随着R3的基础设施Corda项目在2016年11月30日宣布开源，笔者在第一时间...
2019-01-10 09:34:25
548
转载 【国密算法那点事儿】解读DES和SM4、RSA和SM2及SHA和SM3
-- from http://www.wtoutiao.com/a/844743.html -- 另外，在个人资源里有搜到的一个代码，测试可用 安全是智能卡的核心，而算法是安全的基础。 国密算法由国家密码局发布，包含SM1\ SM2\ SM3\ SM4\ SSF33算法;国际算法由美国的安全局发布，是现今最通用的商用算法。今天小钞就以分组密码算法(DES和SM4...
2018-12-19 22:03:53
1670
转载 SHA512/384 原理及C语言实现(附源码)
https://blog.csdn.net/u011280717/article/details/79430408闲来无事，造个哈希轮子，SHA384/SHA512这两者原理及实现一样的，只是输出和初始化的向量不一样。原型hash_val = sha512/384(message). hash_val: SHA512输出是512bit(64个byte)，SHA384输出是384bit(...
2018-12-19 21:41:31
1610
1
原创 Python学习笔记：爬虫原理
1、什么是爬虫？一个能自动抓取互联网上数据的程序，可以抓取互联网有价值的信息。2、Python爬虫架构Python 爬虫架构主要由五个部分组成，分别是调度器、URL管理器、网页下载器、网页解析器、应用程序（爬取的有价值数据）。 调度器：相当于一台电脑的CPU，主要负责调度URL管理器、下载器、解析器之间的协调工作。 URL管理器：包括待爬取的URL地址和已爬取的URL地...
2018-11-14 22:30:16
232
原创 Python学习笔记：搭建集成开发环境Pycharm
操作系统版本：Ubuntu 14.04.5 LTS1、下载软件https://www.jetbrains.com/pycharm/download/#section=linux选择社区版保存目录：/home/....../pycharm-community-2018.2.4/文件名：pycharm-community-2018.2.4.tar.gz2、安装pycharm...
2018-11-09 17:31:59
298
原创 区块链技术与应用：密码学中的同态加密算法
同态加密理论首次在1978年提出，是一种能保护数据隐私的加密算法，被认为是密码学中的圣杯之一。1、什么是同态加密算法如果我们有一个加密函数 f , 把明文A变成密文A’, 把明文B变成密文B’，也就是说f(A) = A’ ，f(B) = B’ 。另外我们还有一个解密函数，能够将 f 加密后的密文解密成加密前的明文。对于一般的加密函数，如果我们将A’和B’相加，得到C’。我们对C’进行解密...
2018-11-07 15:29:07
4963
原创 Ubuntu/windows下Go语言环境安装以及VS Code开发环境搭建
一、Ubuntu Go环境操作系统：Ubuntu 14.04.5 LTS1、在终端输入如下命令执行安装 sudo apt-get install golang-go2、查看go版本 go version 终端输出：go version go1.2.1 linux/amd643、创建工作目录在home目录下创建workspac...
2018-11-06 14:29:35
300
原创 Go语言简介
Go语言由谷歌的软件工程师与2007年开始开发，于2009年11月发布。Go语言专门针对多处理器系统应用程序的编程进行了优化，使用Go语言编写的程序可媲美C、C++代码的速度，而且更加安全、支持并行进程。计算机软件经历了数十年的发展，形成了多种学术流派，有面向过程编程、面向对象编程、函数式编程、面向消息编程等，这些思想究竟孰优孰劣，众说纷纭。除了OOP外，近年出现了一些小众的编程哲学，Go语言...
2018-11-06 14:08:59
294
1
原创 读懂区块链：零知识证明（一）
“零知识证明”－zero-knowledge proof，是由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代提出。我试着在网上找到了论文，但深深觉得自己的数学知识和英语能力的不足。 网上有一个被很多人引用的例子，即“阿里巴巴的零知识证明”，可以帮助我们理解“零知识证明”的原理。一天，阿里巴巴被强盗抓住了，强盗向阿里巴巴拷问进入山洞的咒语。面对强盗，阿里...
2018-09-13 17:47:06
1302
转载 卡尔曼滤波的原理说明
在学习卡尔曼滤波器之前，首先看看为什么叫“卡尔曼”。跟其他著名的理论（例如傅立叶变换，泰勒级数等等）一样，卡尔曼也是一个人的名字，而跟他们不同的是，他是个现代人！卡尔曼全名Rudolf Emil Kalman，匈牙利数学家，1930年出生于匈牙利首都布达佩斯。1953，1954年于麻省理工学院分别获得电机工程学士及硕士学位。1957年于哥伦比亚大学获得博士学位。我们现在要学习的卡尔曼滤波器
2017-02-23 14:00:08
5346
原创 Ubuntu14.04 ROS Indigo安装教程，以及卸载方法
ROS (Robot Operating System) 是目前最为领先的机器人操作系统，被广泛用于机器人系统的控制与仿真中。虽然之前早有了解，但直到近日因为科研需要才开始正式使用它。ROS目前由Willow Garage维护，最新的版本为ROS Hydro，支持最好的平台为Linux Ubuntu 12.04。学习ROS有一周了吧，我的学习主要是基于ROS的官网：http://w
2017-01-25 15:22:45
19141
1
转载 实用教程|快速搭建自动导航机器人（一）
实用教程|快速搭建自动导航机器人（一）服务机器人的核心问题在于自主定位与导航，它主要包括几大问题：无需用户干预，机器人自主构建环境地图？ 实时、高精度的获取机器人所在位置？ 有效规避环境障碍，抵达目标地点？ 在未知环境中，有效规划两地之间最短路线？有了相应解决方案后，对于服务机器人厂商，还需要考虑如何快速与现有系统整合，加快产品上市？在高性能与低成本间如何获得平衡？六大问题，一个对策 SLA
2016-12-28 21:36:14
4622
转载 objective-c基础教程——学习小结
提纲：简介与C语言相比要注意的地方objective-c高级特性开发工具介绍(cocoa 工具包的功能，框架，源文件组织；XCode使用介绍)简介：1. objective-c是C语言的一个扩展集，主要由APPLE公司维护，是MAC系统下的主要开发语言。个人认为，对于用惯了常用的C,JAVA等语言的人来说，objective-c是一中很另类，非主流的语言。
2015-09-02 10:20:24
5651
原创 Mac OS开发中，委托、代理、协议、数据源等几个重要概念
1、关于委托和协议委托——delegate，顾名思义，就是委托别人办事，就是说当一件事情发生的时候，自己不去处理，让别人来处理。协议——protocol，使用了这个协议后，就要按照这个协议来办事，协议要求实现的方法就要求一定要实现。
2015-09-01 10:53:07
6900
原创 iOS开发常用代码
1、读取文件中的内容1.1、功能：打开指定路径上的文本，读取文本内容，并使用文件内容初始化一个字符串。1.2、代码如下(读取/tmp/words.txt文件)：string = [[NSString alloc]]initWithContentsOfFile:@"/tmp/words.txt"];1.3、说明：这行代码功能强大。在C语言中完成这一工作将需要一大堆的代码。
2015-08-25 10:13:04
4193
转载 【算法】验证码识别基础方法及源码
先说说写这个的背景 最近有朋友在搞一个东西，已经做的挺不错了，最后想再完美一点，于是乎就提议把这种验证码给K.O.了，于是乎就K.O.了这个验证码。达到单个图片识别时间小于200ms，500个样本人工统计正确率为95%。由于本人没有相关经验，是摸着石头过河。本着经验分享的精神，分享一下整个分析的思路。在各位大神面前献丑了。 再看看部分识别结果
2015-04-16 15:07:24
7876
转载 DOM应用---遍历网页中的元素
在我们编写的程序中，如果想要实现对浏览器打开的网页进行监视、模拟操纵、动态提取用户输入、动态修改......等功能，那么请你抽出宝贵的时间，继续往下阅读。本文介绍的知识和示例程序都是围绕如何遍历 HTML 中的表单(form)并枚举出表单域的属性为目标的，对于网页中的其它元素，比如图象、连接、脚本等等，应用同样的方法都可以轻松实现。二、网页的文档层次结构IE 浏览器，采用 DOM（
2015-04-03 17:43:03
6525
转载 “Write less, do more"是程序永远的主题
"Write less, do more"是程序永远的主题，但是在现实生活中，程序员经常只注意”Write less“的部分，却忘了”do more“的部分。具体表现为：工作中，利用了许多便利的工具提高了效率，节省下来的时间用来看新闻，上网灌水。生活中，向别人推广自己用的工具比如Linux，对方问到”XX功能“有没有的时候，直接告诉对方，”XX软件/操作系统没有提供的，就是不需要的”（这句话好像只
2015-02-05 15:49:58
5766
转载 自动识别图形验证码
现在大多数网站都采用了验证码来防止暴力破解或恶意提交。但验证码真的就很安全吗？真的就不能被机器识别？？我先讲讲我是怎么实现站外提交留言到一个网站的程序。这个网站的留言版大致如下：我一看这种简单的4位数字验证码，马上就感觉到有戏了。直觉告诉我让电脑来识别这些图片验证码据对简单o(∩_∩)o...首先我马上在这个页面用右键菜单看源代码知道验证码获取页面后 你
2015-02-02 17:15:30
5533
原创 ubuntu平台下ffmpeg的编译安装方法
编译方法1：1、下载ffmpeg1.1.2apt-get install subversion //安装svn, svn checkout svn://svn.mplayerhq.hu/ffmpeg/trunk ffmpeg //下载ffmpeg源代码，保存目录/home/parallels/Documents/ffmpeg/test/ffmpeg. output:Ch
2013-07-28 22:14:51
16452
原创 Mac上配置svn服务器的过程
1、新建svn服务目录mkdir /Users/username/svnmkdir /Users/username/svn/repository说明：username为系统中真实的用户名，比如zhangsan2、创建版本仓库svnadmin create /Users/zhangsan/svn/repository执行上面的命令后，目录repository下就会有一
2013-04-29 15:30:19
8570
原创 Raspberry Pi平台上编译XBMC的方法
-----------------------------------------------------------------------------1、Update kernel & firmware and reboot-----------------------------------------------------------------------------
2013-02-19 18:24:39
9536
原创 小总结下iphone开发环境搭建过程
以前看了相关iphone开发相关书籍，说sdk开发包有3G多，单下载下来就需要很长时间。昨天进入苹果官网下载sdk时，发现只有1.61G的大小，我还以为是不是哪里弄错了呢。下载Xcode后，安装，然后创建一个项目，编译，然后运行，模拟器运行出来了!应该是正常的。现在总结下iphone开发环境搭建过程：1、进入苹果开发官网 https://developer.apple.c
2012-12-12 12:04:13
4365
转载 Corona SDK的优与劣
原创文章，转载请注明： 转载自All-iPad.net 本文链接地址: Corona SDK的优与劣 如果你正在使用或者打算使用Corona SDK，那么你当然希望他的特性越多越好，优点越多越好，但实际上，任何SDK都有其适用范围，有其特定的用户群，所以，也必然存在一些不太优秀的地方。Monkey（http://www.monkeycoder.co.n
2012-12-12 10:51:35
5126
转载 任正非十大经典比喻：善形象阐释管理理念
[导读]任正非似乎很喜欢拿动物或者山川河流作比喻。“跨国公司是大象，华为是老鼠，华为打不过大象，但是要有狼的精神。”任正非说这话时是1997年。转播到腾讯微博华为创始人任正非（腾讯科技配图）腾讯科技 宗秀倩 12月3日报道讲管理理念很容易陷入空谈道理，拖沓冗长甚至无趣，华为创始人任正非的高明之处在于，通过各种形象的比喻很聪明很巧妙的回避了这一点。
2012-12-03 16:51:37
6055
原创 苹果Mac新品国内开卖：13寸视网膜屏幕12488起
11月30日从手机搜狐网科技频道中获悉，苹果2012款新品Mac电脑在国内（香港有的产品今天10月就开始销售了）正式开售，此次发布的产品包括：13英寸Retina MacBook Pro，起价12488元；21.5英寸新iMac一体机，起价9688元；新Mac mini主机，起价4488元。目前苹果在线商店已经进行了相应的更新。2012款新iMac是史上最薄的苹果一体机产品，比上一
2012-12-03 16:43:24
4522
转载 程序员的一生
已是奔3的年纪了, 依然没有找到能奋斗一生的目标，转载这篇文章的目的，是希望所有跟我一样的程序员，早日确定目标，踏上征途，获得成功~~~！ 第一章：一个目标 一艘没有航行目标的船，任何方向的风都是逆风 1、你为什么是穷人，第一点就是你没有立下成为富人的目标 2、你的人生核心目标是什么？ 杰出人士与平庸之辈的根本差别并不是天赋、机遇，而在于有无目标。
2012-12-03 16:23:10
1741
转载 Linux Socket编程（不限Linux）
“一切皆Socket！”话虽些许夸张，但是事实也是，现在的网络编程几乎都是用的socket。——有感于实际编程和开源项目研究。我们深谙信息交流的价值，那网络中进程之间如何通信，如我们每天打开浏览器浏览网页时，浏览器的进程怎么与web服务器通信的？当你用QQ聊天时，QQ进程怎么与服务器或你好友所在的QQ进程通信？这些都得靠socket？那什么是socket？socket的类型有哪些？还有
2012-11-21 15:04:14
1995
2
原创 CGIC库的移植与使用
1、CGIC库的移植 CGIC是一个支持CGI开发的开放源码的标准C库，可以免费使用，只需要在开发的站点和程序文档中有个公开声明即可，表明程序使用了CGIC库，用户也可以购买商业授权而无需公开声明。CGIC能够提供以下功能：1 分析数据，并自动校正一些有缺陷的浏览器发来的数据；2 透明接收用GET或 POST方法发来的From数据；3 能接受上传文件；4
2012-11-07 14:53:36
2255
转载 bash: ./cmd.sh: /bin/sh^M: 坏的解释器: 没有那个文件或目录
今天在设计嵌入式web服务器的时候，写了一个脚本（在windows平台上写的），shell终端报如下错误：bash: ./cmd.sh: /bin/sh^M: 坏的解释器: 没有那个文件或目录出现这种情况的原因分析：有时候编写脚本时会出现类似标题列出的错误，这个问题大多数是因为你的脚本文件在windows下编辑过。windows下，每一行的结尾是\n\r，而在linux下文件的结尾是\n，那么
2012-11-06 16:09:00
4891
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人