OO课程学习第二单元的分析、总结与收获：JML规格理解与代码实现 ...
分类：
其他好文 时间：
2020-05-23 14:59:28
阅读次数：
54
"Link" 题目大意：单点修改，每次询问一个区间的所有颜色出现次数的$\text{Mex}.$ 例如，区间中三种颜色分别出现了$2,2,3$次，又因为其他颜色出现次数一定是$0$，所以这里的答案是$1.$ $\text{Solution:}$ 这是带修莫队的一道题。 观察到，我们可以$O(1)$来 ...
分类：
系统相关 时间：
2020-05-23 13:31:27
阅读次数：
66
JML 规格设计 JML语法 1. 一些语法的细节： jml断言中，不能使用++， ，+=等操作符 \old(expr) 仅表示一个java对象expr的引用是否在操作前后变化，而不能查看成员变量是否改变 \not_assigned(x, y) 表达式，用来表示变量是否被赋值，而\not_modif ...
分类：
其他好文 时间：
2020-05-23 13:28:33
阅读次数：
54
tensorflow-yolov4实施方法 tensorflow-yolov4-tflite YOLOv4: Optimal Speed and Accuracy of Object Detection 文献链接：https://arxiv.org/abs/2004.10934 代码链接：https ...
分类：
其他好文 时间：
2020-05-23 09:19:31
阅读次数：
576
动态代理是反射的一个非常重要的应用场景。动态代理常被用于一些 Java 框架中。例如 Spring 的 AOP ，Dubbo 的 SPI 接口，就是基于 Java 动态代理实现的。 动态代理的方式有两种： JDK动态代理：利用反射机制生成一个实现代理接口的匿名类，在调用具体方法前调用InvokeHa ...
分类：
其他好文 时间：
2020-05-23 00:20:30
阅读次数：
53
一、MySQL介绍 瑞典AB公司开发，后来卖给了oracle 一个关系型数据库 中小型数据库，表过大会出现IO性能瓶颈，树明建议单表600万条记录或2G以上就分表 分为企业版和社区版，目前两大版本mysql5.7 和mysql 8.0 二、MySQL安装 a、安装前依赖解决 1）cmake命令 2. ...
分类：
数据库 时间：
2020-05-22 21:48:47
阅读次数：
93
typora-root-url:imagesjava13编程基础面向对象深入1大纲类与对象面向对象与面向过程面向过程和面向对象都是对软件分析、设计和开发的一种思想,它指导着人们以不同的方式去分析、设计和开发软件。早期先有面向过程思想，随着软件规模的扩大，问题复杂性的提高，面向过程的弊端越来越明显的显示出来，出现了面向对象思想并成为目前主流的方式。两者都贯穿于软件分析、设计和开发各个阶段，对应面向对
分类：
其他好文 时间：
2020-05-22 19:28:50
阅读次数：
80
1 概述 1.1 MHA 简介 是由 实现的一款高可用程序，出现故障时，MHA 以最小的停机时间(通常10 30秒)执行 master 的故障转移以及 slave 的升级。MHA 可防止复制一致性问题，并且易于安装，不需要改变现有部署。 MHA 由 和`MHA node MHA manager My ...
分类：
数据库 时间：
2020-05-22 16:58:33
阅读次数：
63
WGCLOUD基于java语言开发，是高性能高并发的分布式监控平台，核心模块包括：服务器集群监控，ES集群监控，CPU监控，内存监控，数据监控(mysql，oracle，pg等)，服务心跳检测，应用进程管理，磁盘IO监控，系统负载监控，监控告警信息推送。englishreadme使用中若cache过大导致内存报警不准确，可以将内存使用率告警值改大，如memWarnVal:150，该阈值可以大于10
分类：
其他好文 时间：
2020-05-22 16:56:02
阅读次数：
79
将oracle数据库从No Archive Mode改为Archive Mode 查看数据库归档模式 >archive log list; 关闭数据库 >shutdown immediate; 打开数据库到mount状态 >startup mount 将数据库改为归档模式 >alter databa ...
分类：
数据库 时间：
2020-05-22 13:13:48
阅读次数：
65
