一. JML语言 1. 理论基础 首先，JML不是JAVA的一部分，它是一群研究者为JAVA设计的扩展部分，但还没有得到官方的支持。因此，JAVA编译器并不支持JML，所以要想JML起作用，只能采用类似openJML这样的第三方来编译，将JML 规格编译为运行时检查的语句，即RAC code(run ...
分类：
其他好文 时间：
2019-05-21 10:59:21
阅读次数：
91
Service层的接口中有一些比较常用方法，一次又一次的在新的Service层中被书写，所以懒惰的程序员又烦了，他们决定写个通用接口来解决这个问题。 有些项目中，实体类即承担接收表单数据的任务，又承担持久化任务，很省心。但有些项目中这两项任务的执行类不是同一个，一个Entity.java来执行数据 ...
分类：
编程语言 时间：
2019-05-21 10:58:01
阅读次数：
351
JOSNPath 是一个非常强大的工具，对于处理 json 对象非常方便。 官方地址：https://github.com/alibaba/fastjson/wiki/JSONPath 基本用法：https://blog.csdn.net/itguangit/article/details/7876 ...
分类：
Web程序 时间：
2019-05-21 10:57:41
阅读次数：
176
MVC全名是Model View Controller，是模型(model)－视图(view)－控制器(controller)的缩写，一种软件设计典范，用一种业务逻辑、数据、界面显示分离的方法组织代码，将业务逻辑聚集到一个部件里面，在改进和个性化定制界面及用户交互的同时，不需要重新编写业务逻辑。MV ...
分类：
Web程序 时间：
2019-05-21 10:57:23
阅读次数：
172
用python写代码还是喜欢spyder，所以在网上找了通过spyder调用arcpy的方法。 这篇帖子总结的方法非常详细，且通过本人实践，切实可行https://blog.csdn.net/qq_27386899/article/details/84761665 需要补充的是，在添加arcpy的路 ...
LINUX系统: linux系统比较简单: 1.使用命令 ps -ef | grep 找出异常java进程的pid. 找出pid为 20189 2. top -H -p 20189，所有该进程的线程都列出来了。看看哪个线程pid占用最多，然后将这个pid转换为16进制，我这里是22718转换完58b ...
分类：
编程语言 时间：
2019-05-21 10:56:11
阅读次数：
119
转自https://blog.csdn.net/liubowei_0312/article/details/53378146 适合将文件写入数据库，远程访问的时候还原1.首先把文件转成十六进制文件流 public void FileToStream() { try { IPdfClassBll pd ...
分类：
数据库 时间：
2019-05-21 10:55:54
阅读次数：
255
重装以后仍然不行，dockerd可以运行，但是systemctl start docker.service不行，后来在编辑一个文件时，提示没有空间可以保存，结果一查，发现服务器空间基本占满了，通过du -h --max-depth=1查看，发现docker文件夹占了96G，清理掉之后，docker就 ...
分类：
其他好文 时间：
2019-05-21 10:54:26
阅读次数：
105
趣读 | 东北话中的满语词汇 看完才发现自己居然会满语 2017-07-11 17:54 趣读 | 东北话中的满语词汇 看完才发现自己居然会满语 2017-07-11 17:54 “满语是东北亚地区产生并发展起来的一种语言，只在东少数人使用。全国逾千万满族基本不会说满语，面临消失危机。”百科如是说。 ...
分类：
其他好文 时间：
2019-05-21 10:54:08
阅读次数：
141
自动将数据封装成json格式的数据返回回去 Maven 如果不需要摸个字段被打包的话 使用@JsonIgnore注解get方法上 前提必须有这个依赖(上面已经有了) ...
分类：
编程语言 时间：
2019-05-21 10:53:54
阅读次数：
118
Sturts2几个常用内建拦截器的介绍：1）conversation：这是一个处理类型转换错误的拦截器，它负责将类型转换错误从ActionContext中取出，并转换成Action的FieldError错误。2）Exception:这个拦截器负责处理异常，它将异常映射成结果。3）fileUpload ...
分类：
其他好文 时间：
2019-05-21 10:53:41
阅读次数：
160
泛型 1、泛型类 2、泛型接口 2.1 接口继承接口 3、泛型方法 4、 泛型属性 泛型的属性 属性的数据类型 由调用方 来决定当前属性的数据类型 Integer是int数据类型的封装类 Character是char的数据类型的封装类 泛型的数据类型必定只能是类 而不是基础数据类型的 关键字 方便扩 ...
分类：
其他好文 时间：
2019-05-21 10:53:21
阅读次数：
124
二进制安装kubernetes1.14.1初次尝试-02
分类：
Web程序 时间：
2019-05-21 10:52:59
阅读次数：
196
chromedrivernpm install chromedriver --chromedriver_cdnurl=http://cdn.npm.taobao.org/dist/chromedriver ...
分类：
其他好文 时间：
2019-05-21 09:46:26
阅读次数：
127
论文：https://www.cv-foundation.org/openaccess/content_cvpr_2016/papers/Redmon_You_Only_Look_CVPR_2016_paper.pdf ...
分类：
其他好文 时间：
2019-05-21 09:46:07
阅读次数：
311
Vue中过滤器有两种：1、全局过滤器Vue.filter(‘过滤器名‘,过滤方式fn);2、组件内过滤器filters:{‘过滤器名‘,过滤方式fn}使用:{{msg|过滤器方法名}}一、局部过滤器<!DOCTYPEhtml><htmllang="en"><head><metacharset="UTF-8"><t
分类：
其他好文 时间：
2019-05-21 09:45:02
阅读次数：
138
安装ADK有两种方式，在有外网且网速比较快的情况下可以在线安装，如果是没有外网可以参照之前教程提前将ADK下载好。我们将通过ConfigMgr Prerequisites Tool演示ADK 1903及ADK 1903(WinPE add-on)组件安装过程。
分类：
其他好文 时间：
2019-05-21 09:40:39
阅读次数：
147
