JML语言的理论基础 什么是JML？ JML是一种形式化的、面向JAVA的行为接口规格语言。 JML拥有坚实的理论基础。 JML使用Javadoc的注释方式。 注释结构 JML以javadoc注释的方式来表示规格，每行都以@起头。有两种注释方式，行注释和块注释。其中行注释的表示方式为//@annot ...
分类：
其他好文 时间：
2020-05-23 21:51:39
阅读次数：
61
JML语言的理论基础、应用工具链 JML语言 JML是一种面向JAVA，形式化的行为接口规格语言。 JML表达式 原子表达式 ：方法执行后的返回值 ：一个表达式 在相应方法执行前的取值 ：返回 表示括号中的变量在方法执行过程中没有被赋值， 则表示被赋值 ：限制括号中的变量在方法执行期间取值不发生变化 ...
分类：
其他好文 时间：
2020-05-23 20:25:38
阅读次数：
59
用户表id字段为unsign int最多可存42亿的记录 用户关系表关系字段左查询正反两向，用varchar英文编码 latin1 ，可存储6.5万多字符，按6万算，留5000给其他字段，每个用户id（int(10)）加/共12个字符（如果id是从1开始，那么其实平均下来只有10/2+2=7个字符） ...
分类：
其他好文 时间：
2020-05-22 10:13:21
阅读次数：
129
class WSGIHandler(base.BaseHandler): request_class = WSGIRequest def __init__(self, *args, **kwargs): super().__init__(*args, **kwargs) #在wsgihandler生 ...
分类：
其他好文 时间：
2020-05-21 19:49:44
阅读次数：
45
[assembly: AssemblyVersion("1.1.*")][assembly: AssemblyFileVersion("1.0.0.0")][assembly: AssemblyInformationalVersion("1.2.1.0")] // 用来定义 Product Vers ...
草稿： float positions[6] = { -0.5f, -0.5f, 0.0f, 0.5f, 0.5f, -0.5f, }; unsigned int buffer; glGenBuffers(1, &buffer); glBindBuffer(GL_ARRAY_BUFFER, buff ...
分类：
其他好文 时间：
2020-05-21 00:17:45
阅读次数：
46
# Example MySQL config file for small systems. # # This is for a system with little memory (<= 64M) where MySQL is only used # from time to time and i ...
分类：
数据库 时间：
2020-05-20 18:49:41
阅读次数：
153
这个问题是使用 docker 生成了 asp.net core 网站镜像，在使用 nginx 指向此镜像容器后，用的子路径虚拟路径，但是因为反向代理，asp.net core 并不认为是从子路径过来的，直接访问 controller 的 action 方法没问题，但是如果生成 view 内容时，vi... ...
分类：
Web程序 时间：
2020-05-19 20:14:29
阅读次数：
115
1. 读邮件数据集文件，提取邮件本身与标签。 列表 numpy数组 import csv sms=open("D:\机器学习\SMSSpamCollection",'r',encoding='utf-8') csv_reader=csv.reader(sms, delimiter='\t') for ...
分类：
其他好文 时间：
2020-05-18 20:22:09
阅读次数：
49
正则表达式是一个特殊的字符序列，它能帮助你方便的检查一个字符串是否与某种模式匹配。 Python 自1.5版本起增加了re 模块，它提供 Perl 风格的正则表达式模式。 re 模块使 Python 语言拥有全部的正则表达式功能。 compile 函数根据一个模式字符串和可选的标志参数生成一个正则表 ...
分类：
编程语言 时间：
2020-05-18 16:05:10
阅读次数：
63
