JML语言的理论基础、应用工具链情况 JML(Java Modeling Language)是用于对Java程序进行规格化设计的一种表示语言。可以通过开展规格化设计，而给代码实现者以明确、严谨的设计需求；也可以针对已有的代码给出规格，以提高代码的维护性。 结合Junit、OpenJML、SMT So ...
分类：
其他好文 时间：
2020-05-23 20:01:29
阅读次数：
54
短信验证码实现流程 1、构造手机验证码，生成一个6位的随机数字串；2、使用接口向短信平台发送手机号和验证码，然后短信平台再把验证码发送到制定手机号上3、将手机号验证码、操作时间存入Session中，作为后面验证使用；4、接收用户填写的验证码、手机号及其他注册数据；5、对比提交的验证码与Session ...
分类：
微信 时间：
2020-05-23 16:22:48
阅读次数：
97
性能改进--php7中合并了phpng代码，速度是php5两倍 存储变量的结构体变小，尽量使结构体里成员公用内存空间，减少引用，内存占用降低，变量的操作速度得到提升 字符串结构体的改变，字符串信息和数据本身原来是分成两个独立内存快存放，php7尽量将他们存入同一块内存，降低了内存的占用，提升了cpu ...
分类：
Web程序 时间：
2020-05-23 14:45:16
阅读次数：
65
1.自定义聚合函数，结合agg使用 2. 同时使用多个聚合函数 3. 指定某一列使用某些聚合函数 4.merge与transform使用 import pandas as pd import numpy as np np.random.seed(1) dict_data = { 'k1': ['a' ...
分类：
编程语言 时间：
2020-05-23 13:21:08
阅读次数：
60
一、前言RowKey作为HBase的核心知识点，RowKey设计会影响到数据在HBase中的分布，还会影响我们查询效率，所以RowKey的设计质量决定了HBase的质量。是咱们大数据从业者必知必会的，自然也是面试必问的考察点。 那么rowkey到底是什么呢？原理是什么呢？怎么设计RowKey呢？使用 ...
分类：
其他好文 时间：
2020-05-22 21:32:21
阅读次数：
68
package exercise; import java.util.Random;import java.util.Scanner; public class my_guss_number { public static void main(String[] args) { Random ra = ...
分类：
编程语言 时间：
2020-05-22 19:18:54
阅读次数：
75
import random import numpy as np import matplotlib.pyplot as plt position = 0 walk = [position] steps = 100 x = [] y = [] for i in range(steps): step ...
分类：
其他好文 时间：
2020-05-22 19:02:54
阅读次数：
80
import numpy as np # 确定随机数生成器的种子 # seed()用于指定随机数生成时所用算法开始的整数值,如果使用相同的seed值，则每次生成的随即数都相同 np.random.seed(3) print(np.random.rand(4)) # [0.5507979 0.7081 ...
分类：
其他好文 时间：
2020-05-22 18:48:55
阅读次数：
63
密钥对产生办法：首先选择一个素数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
#_save_url 保存路径 def image_cj(driver, _save_url): try: _file_name = random.randint(0, 100000) _file_url_drop = _save_url + str(_file_name) + '背景.png' # ...
分类：
编程语言 时间：
2020-05-22 09:56:31
阅读次数：
59
