1. set set 是关联容器，含有键值类型对象的已排序集，搜索、移除和插入拥有对数复杂度。 set 内部通常采用红黑树实现。和数学中的集合相似， set 中不会出现值相同的元素。 插入与删除操作： insert(x) ： 当容器中没有等价元素的时候，将元素 x 插入到 set 中 erase(x ...
分类：
其他好文 时间：
2020-05-24 20:54:37
阅读次数：
63
Clifford code Clifford group是什么？ 简单的公式来表达，就是 $Cl_{n}=\left\{U: U P_{n} U^{\dagger} \in P_{n}\right\}$ 。 用语言来描述，就是对一个泡利施加一个U操作，然后还是一个泡利。 首先，所有的泡利都属于$Cl ...
分类：
其他好文 时间：
2020-05-23 16:22:02
阅读次数：
97
1.JML语法基础与工具 （1）JML表达式 JML的表达式是对Java表达式的扩展，新增了一些操作符和原子表达式。同样JML表达式中的操作符也有优先级的概念。 1 原子表达式 \result表达式：表示一个非void类型的方法执行所获得的结果，即方法执行后的返回值。 \old(expr)表达式：用 ...
分类：
其他好文 时间：
2020-05-23 13:26:34
阅读次数：
44
1.ES5下的json 1.1 基本概念 是对象 简写形式，名字跟值(key和value)一样，留一个就行 方法 :function一块删 即show:function(){...}等价于show(){} 1.2 JSON 字符串 JSON 字符串 2.ES6下的json 2.1 基本概念 标准写法 ...
分类：
Web程序 时间：
2020-05-22 10:03:22
阅读次数：
80
等价类 在给定的范围考虑，范围内的是有效，范围外的为无效 比如 编号为1 1000的整数，不能为空 有效：1 1000的整数，不能为空 无效：<1 >1000 为空 小数 字符（字母，符号，汉字） 边界值 通常与等价类结合使用，取左右边界，有效和无效的边界 因果图（比如按钮，单选框，复选框，选项少的 ...
分类：
其他好文 时间：
2020-05-21 23:55:26
阅读次数：
102
正则表达式 常见匹配模式 模式 | 描述 | \w | 匹配字母数字及下划线 \W | 匹配非字母数字下划线 \s | 匹配任意空白字符，等价于 \t\n\r\f. \S | 匹配任意非空字符 \d | 匹配任意数字，等价于 0 9 \D | 匹配任意非数字 \A | 匹配字符串开始 \Z | 匹配 ...
分类：
其他好文 时间：
2020-05-21 16:13:01
阅读次数：
42
原文:第二十九节: Asp.Net Core零散总结(各种目录、内外网ip)[不断补充] 1. IWebHostEnvironment获取常用属性 (1).获取项目的根目录 _env.ContentRootPath 等价于 Directory.GetCurrentDirectory() (2).获取... ...
分类：
Web程序 时间：
2020-05-21 09:48:42
阅读次数：
63
OO第三单元总结 规格JML和社交关系系统 一、JML语言概况 1.1 理论基础 JML是一种形式化面向JAVA的行为接口规格语言 作用 1. 开展规格化设计与测试。将逻辑严格的规格交给代码实现人员。 2. 针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。 JML语法 JML表达式 \ ...
分类：
其他好文 时间：
2020-05-21 09:23:52
阅读次数：
63
.htaccess .htaccess叫分布式配置文件，.htaccess文件的作用在于当浏览器通过uri访问到服务器某个文件夹或文件时，我们可以决定这个uri是否访问uri指定资源或者拒绝访问。 重写配置开启 让服务器加载rewrite.so模块 配置vhost站点时候，将此参数AllowOver ...
分类：
Web程序 时间：
2020-05-21 00:04:55
阅读次数：
78
装饰器 装饰器语法 def logger(fn): def wrapper(*args,**kwargs): #包装函数 print("调用前增强") ret = fn(*args,**kwargs) #参数解构 print("调用后增强") return ret return wrapper @l ...
分类：
编程语言 时间：
2020-05-20 20:28:33
阅读次数：
79
