JML理论基础 JML规定了一些语法,用这些语法可以描述一个方法,一个类的行为,理论基础是离散数学吧 JML常用语法 前置条件: 使用 require + 表达式 ,表达式一般为布尔表达式 副作用: assignable列出这个方法能够修改的类成员属性，\nothing是个关键词，表示这个方法不对任 ...
分类：
其他好文 时间：
2020-05-20 14:35:05
阅读次数：
60
题目描述：n个点有速度，有位置，问所有的点对最小距离之和为多少 解法1：离散化 + 树状数组 基本上做出来的都是用的这个方法，不多介绍，看代码吧 #include<bits/stdc++.h> using namespace std; const int maxn=200010; const int ...
分类：
其他好文 时间：
2020-05-19 20:12:18
阅读次数：
70
1、java中==和equals和hashCode的区别基本数据类型的比较的值相等.类的比较的内存的地址，即是否是同一个对象，在不覆盖equals的情况下，同比较内存地址，原实现也为==，如String等重写了equals方法.hashCode也是Object类的一个方法。返回一个离散的int型整数。在集合类操作中使用，为了提高查询速度。（HashMap，HashSet等比较是否为同一个）如果两个
分类：
编程语言 时间：
2020-05-19 00:48:35
阅读次数：
56
1、java中==和equals和hashCode的区别 基本数据类型的比较的值相等.类的比较的内存的地址，即是否是同一个对象，在不覆盖equals的情况下，同比较内存地址，原实现也为 == ，如String等重写了equals方法.hashCode也是Object类的一个方法。返回一个离散的int ...
分类：
编程语言 时间：
2020-05-18 20:57:12
阅读次数：
57
PCM脉冲编码调制是Pulse Code Modulation的缩写。未经压缩的音频数据裸流。 模拟信号数字化必须经过三个过程，即抽样、量化和编码。 一、抽样（Sampling） 抽样是把模拟信号以其信号带宽2倍以上的频率提取样值，变为在时间轴上离散的抽样信号的过程。 二、量化（quantizing ...
分类：
其他好文 时间：
2020-05-18 11:56:24
阅读次数：
135
离散数学II 第7-9章重难点概要 期中考试 包括计算题，论述题，证明题，应用题。计算题7道小题，论述5道小题，证明3个小题，应用1个小题。 第7章 图 7.1 零图，基图，标定图，关联（点和边），相邻（点和点），关联集（边集合），邻域（点集合），点v的度数，出度，入度，孤立点，G的最大（小）度，握 ...
分类：
其他好文 时间：
2020-05-17 20:32:55
阅读次数：
172
https://www.luogu.com.cn/problem/P4168 https://loj.ac/problem/6285 区间众数查询。 解法一 莫队，但是蒲公英有加密操作。 解法二 分块。 离散化+块内二分。 将每一个数出现的位置塞进一个 vector，排序，在面对整块时选择一手二分。 ...
分类：
其他好文 时间：
2020-05-16 18:31:16
阅读次数：
52
在当前制造业中，不同的企业需求不同，因而选择MES系统时也不同，MES系统主要分为两个类型：离散型和流程型，两者有何区别呢？
分类：
其他好文 时间：
2020-05-15 11:27:26
阅读次数：
198
比特：记为bit，是最小的单位。取值为一位二进制数，0或1。 字节：记为Byte，简写B。1B=8bits 码元 在数字通信中常用 时间间隔相同的符号来表示一个二进制数字 ，这样的时间间隔内的信号称为(二进制）码元。而这个间隔被称为码元长度。值得注意的是当码元的离散状态有大于2个时（如M大于2个）时 ...
分类：
其他好文 时间：
2020-05-14 15:16:04
阅读次数：
268
这场整体质量感觉可以算 2020 年度（目前为止）最垃圾。 A 按数值从小到大扫描，维护一个优先队列，每遇到一个数加入队列，每次数值发生 $+1$ 时弹掉队列中价值最大元素，然后把此时队列中所有元素的价值和类加进答案。 时间复杂度 $O(n\log n)$. 代码: "78541690" B 这题看 ...
分类：
其他好文 时间：
2020-05-10 19:18:09
阅读次数：
62
