一、本章学习内容小结：本章学习了新的数据结构--树，与前面的学习不同的是，树是一种非线性结构，树只有一个根结点，其子树本身也是一棵树，所以其定义是递归定义。本章还学习了二叉树和哈夫曼树。 二叉树：结点的度不超过2的树，其中完全二叉树是每个结点都与深度为k的满二叉树编号相同。遍历二叉树是对数的基本操作 ...
分类：
其他好文 时间：
2020-05-24 13:21:19
阅读次数：
69
JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。可以通过开展规格化设计，而给代码实现者以明确、严谨的设计需求；也可以针对已有的代码给出规格，以提高代码的维护性。 结合Junit、OpenJML、SMT So ...
分类：
其他好文 时间：
2020-05-23 20:01:29
阅读次数：
54
最近因工作需要从python转而维护一些java的web项目，在学习过程中bean自动注入一直有点疑惑，写了点心得 ...
分类：
编程语言 时间：
2020-05-23 16:45:11
阅读次数：
49
最近在山寨一款网页微信的产品，对于div用contenteditable属性做的编辑框有不少心得，希望可以帮到入坑的同学。 废话不多说了，我们先来理解一下HTML的光标对象是如何工作的，后面我会贴完整的DEMO代码，不用急，先去理解，才能做出更加好的输入体验。 在HTML里面，光标是一个对象，光标对 ...
分类：
Web程序 时间：
2020-05-22 21:35:33
阅读次数：
64
首先，做下简单说明： DEDECMS系统，以及DZ的HOME系统如果能够完美结合，那么这两个系统都将把自身发挥到极致 而整合的最大关键就是获取UC的用户uid值这样在程序和用户数据的调用上都很方便了 在整合中出现了一些2B的问题比较棘手 1，DEDE不能完美的体现UC的用户ID造成无法正常的通信 2 ...
分类：
其他好文 时间：
2020-05-22 17:33:05
阅读次数：
59
一、JML理论基础 1.概览 在概述JML之前我想我们应该首先了解契约式设计（Design by Contract, DbC）。DbC要求在软件程序设计时明确每一个模块单元在调用前后的状态变化，抽象出来就是要求明确前置条件、后置条件和不变式。和诸多设计模式一样，DbC可以说是一种方法学，一种软件开发 ...
分类：
其他好文 时间：
2020-05-21 19:02:25
阅读次数：
58
一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义： JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 ...
分类：
其他好文 时间：
2020-05-21 16:20:01
阅读次数：
52
最近正在重新看算法，记录关于堆排的一些特性和个人理解； 设：初始数组 5 0 6 8 2 代码清单： public static void heapInsert(int[] arr, int index) { //将数组转换成为大根堆的形式 //找父节点 while (arr[index] > ar ...
分类：
编程语言 时间：
2020-05-21 13:16:29
阅读次数：
64
最近在邮件提醒的业务里，需要根据后台每个项目的配置定时的向项目联系人推送邮件提醒，这时我明白需要定时任务了，作为java小白，我向同事做了咨询，推荐我使用Quartz，以下便是我在项目里的学习心得。 首先配置文件： 依赖的jar包 <dependency> <groupId>org.quartz-s ...
分类：
编程语言 时间：
2020-05-20 21:33:21
阅读次数：
59
远程线程的注入 PE的修正 https://bbs.pediy.com/thread-222187.htm 从github上下载了ReflectiverLoader认真学习了一下 在代码中得到一些心得和自己的想法，都按步骤写到了代码中，现在分享给大家，如有错，望大家指正 其中需要注入的dll和解析， ...
分类：
编程语言 时间：
2020-05-20 15:52:50
阅读次数：
62
