JML语言的理论基础、应用工具链 JML语言 JML是一种面向JAVA，形式化的行为接口规格语言。 JML表达式 原子表达式 ：方法执行后的返回值 ：一个表达式 在相应方法执行前的取值 ：返回 表示括号中的变量在方法执行过程中没有被赋值， 则表示被赋值 ：限制括号中的变量在方法执行期间取值不发生变化 ...
分类：
其他好文 时间：
2020-05-23 20:25:38
阅读次数：
59
1. Pandas读取csv或excel数据时，很可能遇到的columns中，列名会带有特殊字符，例如：空格、\n、\t、双空格、引号等等，如果不想手动修改的话，可以df.rename()来解决。 df = pd.read_excel(data_path) df_ = df.rename(colum ...
分类：
编程语言 时间：
2020-05-23 20:16:01
阅读次数：
181
代码点（Code Point）：在 Unicode 代码空间中的一个值，取值 0x0 至 0x10FFFF，代表一个字符。代码单元（Code Unit）：在具体编码形式中的最小单位。比如 UTF-16 中一个 code unit 为 16 bits，UTF-8 中一个 code unit 为 8 b ...
分类：
编程语言 时间：
2020-05-23 16:23:32
阅读次数：
65
数据字典是一种通用的程序设计方法。可以认为，不论什么程序，都是为了处理一定的主体，这里的主体可能是人员、商品（超子）、网页、接口、数据库表、甚至需求分析等等。当主体有很多的属性，每种属性有很多的取值，而且属性的数量和属性取值的数量是不断变化的，特别是当这些数量的变化很快时，就应该考虑引入数据字典的设 ...
分类：
其他好文 时间：
2020-05-23 11:41:10
阅读次数：
106
题目来源于力扣（ "LeetCode" ） [TOC] 一、题目 "496. 下一个更大元素 I" 说明： 1. 和`nums2`中所有元素是唯一的。 2. 和`nums2` 的数组大小都不超过1000。 二、解题思路 2.1 哈希表 + 暴力法 1. 因为不确定数组中元素的取值范围，所以 采用 m ...
分类：
其他好文 时间：
2020-05-23 00:06:56
阅读次数：
61
题意描述 给定整数n，有多少个结构唯一的BST（二叉搜索树）？ 测试用例 解题思路 一、思路一 根据上图可以发现，当根节点的左子树有 i 个节点时，右子树有 （n i 1） 个节点。 左子树与右子树的取值范围都是【0，n 1】 可以得出如下的转义方程 根据方程写出程序，如下： ...
分类：
其他好文 时间：
2020-05-22 18:51:24
阅读次数：
42
1 前言 本文来自回答思否网友的一个问题，这个网友新建了一张表， 设为 ，`AUTO_INCREMENT 9`, 当他插入数据的时候，发现主键值是从 开始的，所以产生了疑惑。这篇文章一起来讨论一下自增字段问题。 2 自增字段计算方式 自增字段取值和 参数和 参数有关， 参数设置的是自增字段偏移值，也 ...
分类：
数据库 时间：
2020-05-22 16:50:31
阅读次数：
57
一、梳理JML语言的理论基础、应用工具链情况 理论基础 定义： JML是用于对Java程序进行规格化设计的一种表示语言 JML基础 关键字解释举例 \result 方法执行后的返回值 \result = p1.getId() == p2.getId(); \old(expr) 相应方法执行前的取值 ...
分类：
其他好文 时间：
2020-05-21 16:20:01
阅读次数：
52
P1 JML语言理论基础 JML详细基础教程：https://blog.csdn.net/weixin_41412192/article/details/89527142 + 原子表达式 ：表示非void类型方法返回结果 ：表示相应方法执行前expr的取值，换言之，直接引用expr均表示方法执行完后 ...
分类：
其他好文 时间：
2020-05-21 16:18:03
阅读次数：
43
使用optparse 在引用脚本传参数的时候 可以根据需要动态传入参数 不声明参数默认取default的值 没有default取值为Nonex.py from optparse import OptionParser parser = OptionParser() parser.add_option ...
分类：
编程语言 时间：
2020-05-21 14:40:29
阅读次数：
72
