又到了喜闻乐见的博客周，没有OO的周末仿佛拥有了所有时间。 (1)总结分析自己实现规格要求所采取的设计策略 提示：设计策略一般指整体性的设计思路分析 可是，JML的最大优势，就是不用考虑整体性。 事实上，本单元的设计是一种典型的trade-off。如果在查询上节省时间，就要在维护时多花费时间。 比如 ...
分类：
其他好文 时间：
2021-06-02 20:34:21
阅读次数：
0
git的基础配置 git config --global user.name "xxx" git config --global user.emain "xxx" 如果要查看此时的所有配置可以使用git config --list 获取Git仓库 有两种方法可以取得Git项目仓库：在现有项目或目录下 ...
分类：
其他好文 时间：
2021-06-02 18:56:45
阅读次数：
0
package operations_GUI; import java.awt.BorderLayout; import java.awt.Color; import java.awt.FlowLayout; import java.awt.Font; import java.awt.GridLay ...
分类：
其他好文 时间：
2021-06-02 18:52:46
阅读次数：
0
Array 连续性的内存空间 快速定位查找元素，随机访问性强，查找效率高 已知的统一的元素类型，减小运行时开销 固定长度，不能再新增元素 ArrayList 连续性的内存空间 快速定位查找元素，随机访问性强，查找效率高 可变长度，便于对元素进行增删操作 未知的元素类型，Runtime需要类型检测，R ...
【实例解决办法】Android Studio:design editor is unavailabel until after a successful project sync. / Gradle sync failed: Failed to open zip file. 解决办法 Android ...
分类：
移动开发 时间：
2021-06-02 17:11:31
阅读次数：
0
网络地址转换NAT 专用网与因特网的通信方式。只需在专用网和因特网中间的路由器上安装NAT软件即可实现。安装了NAT软件的路由器也称为NAT路由器，它至少有一个有效的外部全球IP地址。NAT路由器有一个NAT转换表。 子网的划分 由于不同网络内主机数不同，但又需要网络主机数的可扩充性，因此将IP地址 ...
分类：
其他好文 时间：
2021-06-02 16:45:41
阅读次数：
0
matplotlib是python中强大的画图模块。 首先确保已经安装python，然后用pip来安装matplotlib模块。 进入到cmd窗口下，建议执行python -m pip install -U pip setuptools进行升级。 接着键入python -m pip install ...
分类：
编程语言 时间：
2021-06-02 16:30:42
阅读次数：
0
160. 相交链表 Difficulty: 简单 编写一个程序，找到两个单链表相交的起始节点。 如下面的两个链表**：** 在节点 c1 开始相交。 示例 1： 输入：intersectVal = 8, listA = [4,1,8,4,5], listB = [5,0,1,8,4,5], skip ...
分类：
其他好文 时间：
2021-06-02 16:01:26
阅读次数：
0
https://docs.docker.com/engine/install/ubuntu/ Set up the repository apt-get update apt-get install \ apt-transport-https \ ca-certificates \ curl \ g ...
分类：
其他好文 时间：
2021-06-02 15:16:09
阅读次数：
0
操作DOM（重点） 核心：浏览器本身就是一个DOM树形结构 DOM的增删改查 更新：更新DOM节点 遍历DOM节点：得到DOM节点 删除：删除一个DOM节点 添加：添加一个新的节点 想要操作一个DOM节点就必须先得到这个DOM节点 获得DOM节点 <div id="father"> <h1>大标题1 ...
分类：
Web程序 时间：
2021-06-02 14:57:15
阅读次数：
0
