java的垃圾回收是自动化的，偶时候会出现内存溢出的情况，内存溢出也是jvm分配的内存中对象过多，超出了最大可分配内存的大小。 提到java的垃圾回收机制就不得不提一个方法：? System.gc()用于调用垃圾收集器，在调用时，垃圾收集器将运行以回收未使用的内存空间。它将尝试释放被丢弃对象占用的内 ...
分类：
编程语言 时间：
2020-05-27 00:58:56
阅读次数：
80
下载地址： http://www.mxdraw.com/ndetail_20164.html 1. 增加选择高亮显示颜色设置 2. 增加选择加粗显示 3. 增加TTF字体的显示 4. 增加多语言版本 5. 修改线型中的圆弧离散精度不受设置的问题 6. 修改非常长的pl线，放的特别大时，就不显示问题。 ...
分类：
移动开发 时间：
2020-05-26 20:31:50
阅读次数：
105
假定有一个无限长的数轴，数轴上每个坐标上的数都是0。 现在，我们首先进行 n 次操作，每次操作将某一位置x上的数加c。 接下来，进行 m 次询问，每个询问包含两个整数l和r，你需要求出在区间[l, r]之间的所有数的和。 输入格式 第一行包含两个整数n和m。 接下来 n 行，每行包含两个整数x和c。 ...
分类：
其他好文 时间：
2020-05-25 17:47:21
阅读次数：
69
贝叶斯滤波三大概率 先验概率 似然概率 后验概率 离散情况下的贝叶斯滤波 全概率公式：$P(T_m=10.3)=P(T_m=10.3|T=10)P(T=10)+P(T_m=10.3|T=11)P(T=11)$ 其中$P(T_m=10.3|T=10)$是似然概率（代表传感器精度），$P(T=10)$是 ...
分类：
编程语言 时间：
2020-05-24 12:03:59
阅读次数：
123
MySQL数据库管理 查看数据库 show databases 创建数据库 如果没有修改my.ini配置文件的默认字符集，在创建数据库时，指定字符集 create database 数据库名 character set 'utf8'; 特殊字符（关键字）用反引号 例如：create database ...
分类：
数据库 时间：
2020-05-23 20:37:28
阅读次数：
64
母函数又名生成函数 是一种重要的数论函数 多用于求解组合数问题、递推问题 母函数包括很多种 例如 普通母函数、指数母函数、L级数、贝尔级数和狄利克雷级数 而普通母函数 的理解则是 把组合问题的加法法则和幂级数的的乘幂的相加对应起来 总之母函数的思想就是 把离散数列和幂级数一一对应起来，把离散数列间的 ...
分类：
其他好文 时间：
2020-05-23 20:33:39
阅读次数：
81
JML理论基础： 在大一的离散结构课程中，我们学习叻关于谓词逻辑的相关知识。作为一名周六还得补考离散二的菜鸡，我只能爬。我个人理解上JML语法格式是谓词逻辑和java的生动结合，让读者在理解与讨论的过程中收获极大的欢乐，并基于契约化编程的思想来解放程序员于bug之中->如果完全按照规格实现，那么WA ...
分类：
其他好文 时间：
2020-05-23 00:09:49
阅读次数：
58
密钥对产生办法：首先选择一个素数p和两个随机数g 、x （g、 x < p ），计算 y ≡ g^x（ mod p ） ，已知y，求解x是非常困难的事情（离散对数求解难题），则其公钥为 y, g 和p ，私钥是x ，g和p可由一组用户共享。 ElGamal用于数字签名。被签信息为M，首先选择一个随机 ...
分类：
编程语言 时间：
2020-05-22 14:22:32
阅读次数：
71
第三单元我们对JML进行了学习，并加深了对形式化设计的理解。本单元通过给定的JML来实现了一个人际关系网，最后实现了一个人际关系管理网络，表示了人与人之间的关系，人所在群组，人与人之间的借贷关系，以及离散数学中的连通，强连通，最短通路等关系。 一、JML理论基础 JML是对java程序进行规格化设计 ...
分类：
其他好文 时间：
2020-05-22 11:17:54
阅读次数：
53
一、概述 在生产和科学研究中，对某一个或者一组变量 x(t)x(t) 进行观察测量，将在一系列时刻 t1,t2,?,tnt1,t2,?,tn 所得到的离散数字组成的序列集合，称之为时间序列。时间序列分析是根据系统观察得到的时间序列数据，通过曲线拟合和参数估计来建立数学模型的理论和方法。时间序列分析常 ...
分类：
其他好文 时间：
2020-05-20 17:17:35
阅读次数：
116
