$\mathcal Link. 对于简单无向图 \(G=(V,E)\)，定义它是“优美”的，当且仅当 \[ \forall\{a,b,c,d\}\sube V,((a,b),(b,c),(c,d)\in E)\Rightarrow(a,c)\in E\lor(b,d)\in E\lor(a,d)\i ...
分类：
其他好文 时间：
2021-06-02 17:36:30
阅读次数：
0
OO第三单元总结 设计策略 首先根据JML规格定义需要的属性，再理解各个方法的目的，最后根据理解来完成各个方法。对于方法的实现，需要先大致理解方法实现了怎样的功能，而不是直接根据规格就开始写代码，在明白方法规格的具体含义以后，要明确进入各个分支的前提条件，然后是每个分支造成了怎样的结果，最后是检查是 ...
分类：
其他好文 时间：
2021-06-02 17:26:05
阅读次数：
0
一、实现规格所采取的设计策略 这一部分基本上都由JML语言给出了程序设计的规格，所以也没啥特别需要交代的。总体上来说，我在编写代码时大致分为这几个步骤： 1.先阅读官方包中所有接口和抽象异常类的定义，关注于整个程序的代码架构并从OO角度理解该类需要实现什么； 2.然后再是较仔细地阅读所有类的JML语 ...
分类：
其他好文 时间：
2021-06-02 17:13:11
阅读次数：
0
OO Unit3 Summary 前言 这单元真是暗流涌动。 ? ——沃兹基-硕德 你们要相信自己已经学过很多东西了，所以你们要多花精力去思考一些问题，把自己学过的东西融会贯通起来。 ? ——王旭老师 正文 实现规格的设计策略 我实现规格的策略是： 先通读一遍规格，尝试通过规格与合理猜测将每个接口和 ...
分类：
其他好文 时间：
2021-06-02 17:06:02
阅读次数：
0
redis缓存是在内存中保存数据，避免业务从数据库中读取数据，从而提升系统的响应速度。内存相比于磁盘访问速度时快了，但是内存的成本时远高于磁盘的，所以不可能将所有的数据都放在内存中，所以当缓存空间满了以后就涉及到缓存淘汰的问题。 redis缓存有哪些淘汰策略 大概有八种，如下图 下面逐个介绍下 no ...
分类：
其他好文 时间：
2021-06-02 17:03:36
阅读次数：
0
OO第三单元总结 设计策略 首先需要大致了解每个类是用来做什么的，做到对于整体的架构有一个认识，这样在阅读JML的时候才能更容易理解每个方法具体在干什么。 然后就是先阅读JML规格，了解每个方法大致是要完成怎样的操作，对我的数据结构，比如容器的选择有什么样的要求，我可以采用什么算法来改进降低时间复杂 ...
分类：
其他好文 时间：
2021-06-02 16:53:09
阅读次数：
0
Tomcat优化 内存，并发，缓存，安全，网络，系统等 1. JAVA虚拟机内存申请优化 在文件tomcat_home/bin/catalina.sh的前面，增加如下设置（需要考虑Java提供的垃圾回收机制） JAVA_OPTS='-Xms1024m -Xmx2048m -XX: PermSize= ...
分类：
其他好文 时间：
2021-06-02 16:47:24
阅读次数：
0
很多特殊的时候，我们向英雄们致敬，在互联网上最常见的方式就是整个网页变黑白，今天逛某博客收集一段代码，用于网页整体变黑白，用css3滤镜属性filter让网页马上变黑白，一行代码就搞定。 在你的css里加上以下代码即可，网页马上变黑白： html{ filter:progid:DXImageTran ...
分类：
Web程序 时间：
2021-06-02 16:29:17
阅读次数：
0
1. 什么是 AOF 日志？ 2. 三种写回策略 1. 什么是 AOF 日志？ 试想一下，如果 Redis 每执行一条写操作命令，就把该命令以追加的方式写入到一个文件里，然后重启 Redis 的时候，先去读取这个文件里的命令，并且执行它，这不就相当于恢复了缓存数据了吗？ 这种保存写操作命令到日志的持 ...
分类：
其他好文 时间：
2021-06-02 16:21:07
阅读次数：
0
JML单元总结 本单元的重点在于理解规格描述，并在其基础上采用最优的解法尽可能地提高程序的效率，因此本文将从以下四个方面进行总结。 设计策略（思路分析）—— 问题1 容器选择以及性能问题（具体实现）—— 问题3&4 优化结果 —— 问题5 基于JML规格来设计测试的方法和策略 —— 问题2 设计策略 ...
分类：
其他好文 时间：
2021-06-02 16:08:33
阅读次数：
0
