1 JML语言的理论基础及应用工具链 1.1 JML语言 Java建模语言(JML)是一种行为接口规范语言，可用于指定Java模块的行为。它结合了Eiffel的“契约设计(design by contract)”方法和Larch系列接口规范语言的基于模型的规范方法，以及细化演算的一些元素。对JML语 ...
分类：
其他好文 时间：
2020-05-22 21:38:10
阅读次数：
77
ModelSerializer是Serializer的子类，序列化和反序列化跟Serializer一样。 ModelSerializer与常规的Serializer相同，但提供了： 基于模型类自动生成一系列字段 基于模型类自动为Serializer生成validators，比如unique_toge ...
分类：
其他好文 时间：
2020-05-18 12:34:23
阅读次数：
51
机器学习算法的优点和缺点总结 1.正则化算法（Regularization Algorithms） 它是另一种方法（通常是回归方法）的拓展，这种方法会基于模型复杂性对其进行惩罚，它喜欢相对简单能够更好的泛化的模型。 例子： 岭回归（Ridge Regression） 最小绝对收缩与选择算子（LASS ...
分类：
编程语言 时间：
2020-05-04 15:53:05
阅读次数：
97
Maven 特点 项目设置遵循统一的规则。 任意工程中共享。 依赖管理包括自动更新。 一个庞大且不断增长的库。 可扩展，能够轻松编写 Java 或脚本语言的插件。 只需很少或不需要额外配置即可即时访问新功能。 基于模型的构建 ? Maven能够将任意数量的项目构建到预定义的输出类型中，如 JAR，W ...
分类：
编程语言 时间：
2020-03-18 18:38:44
阅读次数：
80
云端ai服务，这次通过网络安全创新大会确实学到不少，回去也整理了很多，先简单描述下 几何攻击 基于查询的攻击 迁移攻击 基于模型指纹的攻击 替身攻击 ...
分类：
其他好文 时间：
2020-03-15 22:35:02
阅读次数：
83
一些领域概念不适合被建模为对象，如果勉强把这些重要的领域功能归为实体或值对象的职责，那么不是歪曲了基于模型的对象的定义，就是认为的增加了一些无意义的对象。 Service 服务最终强调的是与其他对象的关系，它有几大特点： 它并不是实体和值对象的组成部分，它只定义客户做什么，往往是以一个活动来命名。 ...
分类：
其他好文 时间：
2020-03-01 10:30:05
阅读次数：
64
Spring MVC Spring MVC 基于模型 视图 控制器（Model View Controller）模式实现，它能够帮你构建灵活和松耦合的应用程序。 1、Spring MVC的请求追踪 每当用户在 Web 浏览器中点击链接或提交表单是，请求就开始工作，从离开浏览器开始到获取响应返回，请求 ...
分类：
编程语言 时间：
2020-02-14 00:48:25
阅读次数：
72
强化学习算法类型 策略梯度：可直接区别以上的目标 基于值：估计最优策略（不明确哪个是最优的策略情况下估计）的值函数和Q函数 Actor-critic（演员-评论家）：使用当前策略去估计值函数和Q函数来改进策略 基于模型：估计转换模型，接着 1.让该模型去规划不明确的策略 2.让该模型去改进策略 3. ...
分类：
其他好文 时间：
2020-02-04 12:16:47
阅读次数：
71
TCP BBR（Bottleneck Bandwidth and Round-trip propagation time）是由Google设计，于2016年发布的拥塞算法。以往大部分拥塞算法是基于丢包来作为降低传输速率的信号，而BBR则基于模型主动探测。该算法使用网络最近出站数据分组当时的最大带宽和 ...
分类：
编程语言 时间：
2020-01-06 14:21:48
阅读次数：
84
从1989年HTML诞生到现在，在浏览器端编写前端代码一共有经历了四个阶段：第一阶段：纯静态的html页面，预先编写好存放在Web服务器上的html文件。浏览器请求某个URL时，Web服务器把对应的html文件扔给浏览器，就可以显示html文件的内容了第二阶段：利用C、C++这些编程语言，直接向浏览器输出拼接后的字符串。这种技术被称为CGI：CommonGatewayInterface。第三阶段：
分类：
其他好文 时间：
2019-12-31 01:33:36
阅读次数：
79
