调研 软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究，即J.Backus提出BNF描述Algol60语言的语法，出现了各 种语法分析程序自动生成器以及语法制导的编译方法，使得编译系统的开发从“手工艺制作方式”发展成具有牢固理论基础的系统方法。 形式化方法的研究高潮始于2 ...
分类：
其他好文 时间：
2018-05-29 13:15:42
阅读次数：
153
自动获取手机电池的剩余电量 通过使用BroadcastReceiver的特性来获取手机电池的电量，注册BroadcastReceiver时设置的IntentFilter来获取系统发出的Intent.ACTION_BATTERY_CHANGED,然后以此来获取电池的电量。 运行截图： 程序结构 pac ...
分类：
移动开发 时间：
2018-05-29 13:15:34
阅读次数：
438
我们知道，spring boot自动配置功能可以根据不同情况来决定spring配置应该用哪个，不应该用哪个，举个例子： Spring的JdbcTemplate是不是在Classpath里面？如果是，并且DataSource也存在，就自动配置一个JdbcTemplate的Bean Thymeleaf是 ...
分类：
编程语言 时间：
2018-05-29 13:15:26
阅读次数：
241
渲染器简介 什么是渲染器 根据 用户请求URL 或 用户可接受的类型，筛选出合适的 渲染组件。 渲染器的作用 序列化、友好的展示数据 渲染器配置 首先要在settins.py中将rest_framework组件加进去 局部配置渲染器 引入渲染器类，然后将他们作为一个列表的元素赋值给renderer_ ...
分类：
其他好文 时间：
2018-05-29 13:15:16
阅读次数：
137
Installingcollectedpackages:sixFoundexistinginstallation:six1.4.1DEPRECATION:Uninstallingadistutilsinstalledproject(six)hasbeendeprecatedandwillberemovedinafutureversion.Thisisduetothefactthatuninstal
分类：
其他好文 时间：
2018-05-29 13:15:07
阅读次数：
1904
之前的文档介绍了ELK的架构基础知识，下面简单记录下ELK结合Redis搭建日志分析平台的集群环境部署过程，大致的架构如下： + Elasticsearch是一个分布式搜索分析引擎，稳定、可水平扩展、易于管理是它的主要设计初衷 + Logstash是一个灵活的数据收集、加工和传输的管道软件 + Ki ...
分类：
其他好文 时间：
2018-05-29 13:14:59
阅读次数：
339
一、后台进程管理命令 fg、bg、jobs、&、ctrl + z、ctrl + c、ctrl + \、ctrl + d1、 &加在一个命令的最后，可以把这个命令放到后台执行 ,如firefox &, 2、ctrl + z可以将一个正在前台执行的命令放到后台，并且处于暂停状态，不可执行 3、jobs查 ...
分类：
系统相关 时间：
2018-05-29 13:14:50
阅读次数：
267
1.配置服务器,开启注释 vim /etc/httpd/conf/httpd.conf 292 # (You will also need to add "ExecCGI" to the "Options" directive.)293 #294 AddHandler cgi-script .cgi ...
分类：
Web程序 时间：
2018-05-29 13:14:41
阅读次数：
219
1 引言 指数追踪，利用某些金融资产组合去追踪某一股票指数，指数型基金核心技术。 目前主要有两种指数复制方法 基于两种假设 一：历史能够重演，在过去一段时间能构造历史追踪误差最小的，未来也将是最优，现在大多数指数复制类型为此类。二：从统计角度，找到与目标指数具有最大相关 具有协整关系的股票组合，保证 ...
分类：
其他好文 时间：
2018-05-29 13:14:33
阅读次数：
158
2018年5月16日，集算器（仓库版）携带多项黑科技正式发布。在发布之前的应用验证中，仓库版就已经用实力赢得了用户的好评。北京银行用户在评价仓库版时表示：在数据分析实践中，高并发访问、大数据量计算造成的系统响应时间过长的问题，始终没有得到很好的解决。集算器（仓库版）的出现，彻底解决了这个难题！用集算器将高频次热点数据前置，构建数据计算中间层，可以说是最佳解决方案，在很多场景下要优于价值百万的数据库
分类：
其他好文 时间：
2018-05-29 13:14:27
阅读次数：
149
题目链接：http://codeforces.com/problemset/problem/2/B 题目大意： 给你一个nxn的矩形，找到一条从左上角到右下角的路径，使得该路径上所有数字的乘积的末尾0最少。解题思路：我们设k为2的因子数，m为5的因子数，那么一个数的末尾0的个数就是min(k,m)。 ...
分类：
其他好文 时间：
2018-05-29 13:14:17
阅读次数：
131
题目链接：http://codeforces.com/problemset/problem/580/D 题目大意：有n盘菜每个菜都有一个满意度，k个规则，每个规则由x y c组成，表示如果再y之前吃x那么满意度会额外增加c,现在凯迪想吃m盘菜，并且满意度最大，请求出满意度。解题思路：状压DP，设dp ...
分类：
其他好文 时间：
2018-05-29 13:14:10
阅读次数：
130
哈利·波特要考试了，他需要你的帮助。这门课学的是用魔咒将一种动物变成另一种动物的本事。例如将猫变成老鼠的魔咒是haha，将老鼠变成鱼的魔咒是hehe等等。反方向变化的魔咒就是简单地将原来的魔咒倒过来念，例如ahah可以将老鼠变成猫。另外，如果想把猫变成鱼，可以通过念一个直接魔咒lalala，也可以将 ...
分类：
编程语言 时间：
2018-05-29 13:13:59
阅读次数：
160
1.背景 所谓外部数据库文件此处指的就是一个在外部单独创建的db文件，假设有这么一个场景，我们项目中有一些本地数据，不需要接口去获取的（不需要进行网络操作），写死的数据，比如全国各个省各个市的一些基本信息，每个市的信息可以作为表里的一条记录存放，在项目中使用，此时如何我们已经有了包含这些信息的db文 ...
分类：
移动开发 时间：
2018-05-29 13:13:52
阅读次数：
312
这节课我们根据官网教程学习如何去消费（调用）一个 RESTful Web Service 。 原文链接 https://spring.io/guides/gs/consuming-rest/ 本指南将引导您完成创建使用RESTful Web服务的应用程序的过程。 我们将会创建什么？ 您将构建一个使用 ...
分类：
Web程序 时间：
2018-05-29 13:13:43
阅读次数：
277
这里让客户端给服务端发送的数据被服务端自动发回来 客户端: 服务端： 服务端这里不需要编码或者解码，直接回发就行 ...
分类：
其他好文 时间：
2018-05-29 13:13:33
阅读次数：
125
在单进程的socket的程序的基础上，实现多进程并发效果的思路具体是：在server端开启“链接循环”，每建立一次链接就生成一个Process对象进行server-client的互动，而client端不用做任何变化，因为对于client来说每运行一次程序就相当于与server端建立了一个链接。 具体 ...
分类：
系统相关 时间：
2018-05-29 13:13:27
阅读次数：
278
