调研 软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究，即J.Backus提出BNF描述Algol60语言的语法，出现了各 种语法分析程序自动生成器以及语法制导的编译方法，使得编译系统的开发从“手工艺制作方式”发展成具有牢固理论基础的系统方法。 形式化方法的研究高潮始于2 ...
分类：
其他好文 时间：
2018-05-29 13:15:42
阅读次数：
153
区块链技术被认为是继蒸汽机、电力、互联网之后的颠覆性创新。如果说蒸汽机和电力解放了生产力，互联网改变了信息传递的方式，那么区块链应用作为构造信任的机器，将可能改变价值传递方式。 例如在金融领域，金融机构特别是跨境金融机构间的对账、清算、结算的成本一直很高，还有复杂的手工流程，而区块链技术具有数据不可 ...
分类：
其他好文 时间：
2018-05-28 21:20:43
阅读次数：
161
1、提取 特征点 、特征描述子 与 提取特征向量 之间的区别： (1)、特征点：指的是一张图片上比较有代表性的‘位置’，提取特征点就是把图片中这些有代表性的位置给标出来。 (2)、特征描述子：当提取出特征点之后，由于特征点是图片的某个位置，为了能够进行数学计算，我们需要给这些“位置”用一个数学方法来 ...
分类：
编程语言 时间：
2018-05-28 15:01:22
阅读次数：
800
上一篇文章介绍了手工编译安装Apache，这篇文章将继续之前的文章，介绍如何编译安装Mysql。-二、编译安装Mycql1.首先解压mysql文件到/opt目录。tarzxvf/opt/lamp/mysql-5.5.24.tar.gz-C/opt/2.确认安装gcc、gcc-c++、make、cmakencurses-devel、（字符终端屏幕控制基本库）、bison、（语法分析器）、libaio
分类：
数据库 时间：
2018-05-28 13:39:21
阅读次数：
164
在银行、财务、销售等系统中，常常会看到这样一类报表，它们一般是从原来的手工报表年代沿袭而来，需要打印在固定大小的纸张上，有着固定的样式要求。具体的形式包括各种登记本册和票据等。在没有报表工具之前，这类报表大部分使用Excel进行制作，费时费力还不易维护，每次都独自加班到很晚（一首凉凉送给自己）。今天，我要带一带新的节奏，展现一下神操作来制作这类单据报表。这次我们拿公积金单据来进行具体操作演示。下图
分类：
其他好文 时间：
2018-05-28 11:47:03
阅读次数：
134
在生产中，经常会遇见有图斑重叠这种拓扑错误的矢量，大部分情况下，需要人工比对影像处理。但是如果只需要用到这些矢量的形状、面积，可以在ArcMap中用以下方法，快速消除图斑重叠错误，不必手工处理。 如下图所示，两个图斑存在重叠部分。 首先，使用 Intersect 工具，得到矢量所有相交部分，这时，相 ...
分类：
其他好文 时间：
2018-05-27 14:40:39
阅读次数：
4215
安装Kubernetes集群有多种方式，前面介绍了Kubeadm的方式，本文将介绍手工安装的方法。 安装环境有3台Azure上的VM： 其中hkube01是Master节点，将会安装docker, etcd, Kubernetes master, flannel所需要的组件； Hkube02和hku ...
分类：
Web程序 时间：
2018-05-26 19:43:17
阅读次数：
335
第1章 接口自动化测试整体认知 了解什么是接口和为什么要做接口测试。并且知道接口自动化测试应该学习哪些技术以及接口自动化测试的落地过程。 第2章 接口测试的用例设计 了解在接口测试中应该进行哪些测试，接口测试用例设计的原则，接口测试与功能测试有哪些异同点。 第3章 手工接口测试到自动化框架设计 了解 ...
分类：
编程语言 时间：
2018-05-25 21:09:36
阅读次数：
1066
昨天就搞下来的，但是是工具搞得，为了比赛还是抛弃一阵子的工具吧。内容相对简单，可掠过。 报错得到sql语句： 有点复杂看球不懂。直接采取闭合+注释的方案。 即：id=a%25%27))-- - ok。再结合mssql的注入语句。 至于猜裤猜表我就不说了。直接开xp_cmdshell组建进行命令执行然 ...
分类：
数据库 时间：
2018-05-25 16:05:32
阅读次数：
2454
动态路由协议动态路由协议通过路由信息的交换生成并维护转发引擎所需的路由表。当网络拓扑结构改变时动态路由协议可以自动更新路由表，并负责决定数据传输最佳路径。在动态路由中，管理员不再需要与静态路由一样，手工对路由器上的路由表进行维护，而是在每台路由器上运行一个路由协议。这个路由协议会根据路由器上的接口的配置（如IP地址的配置）及所连接的链路的状态，生成路由表中的路由表项。路由交换tcp/ip静态路由精
分类：
其他好文 时间：
2018-05-25 14:56:11
阅读次数：
158
