OO_Unit3——JML契约式编程 本单元任务的特点是，没有前两单元那样对程序进行功能性描述，而是将程序的所需要实现的方法框架提供给我们，配以JML规格形式化描述。我们所需要的做的是就是根据规格中的前置条件、后置条件和副作用等描述信息，理解方法的功能，并个性化的选取合适的容器以及合适的算法，在有限 ...
分类：
其他好文 时间：
2020-05-21 19:21:45
阅读次数：
48
一、JML理论基础 1.概览 在概述JML之前我想我们应该首先了解契约式设计（Design by Contract, DbC）。DbC要求在软件程序设计时明确每一个模块单元在调用前后的状态变化，抽象出来就是要求明确前置条件、后置条件和不变式。和诸多设计模式一样，DbC可以说是一种方法学，一种软件开发 ...
分类：
其他好文 时间：
2020-05-21 19:02:25
阅读次数：
58
1.测试用例有哪些元素？ 用例编号，测试概述或用例标题、测试步骤、预期结果、前置条件、输入条件、优先级等等 2.什么是UI、GUI?UI测试是什么意思？ 界面 图形界面 界面测试 3.测试用例的优先级如何？ 冒烟测试 高 中 低 4.解释测试目标、测试环境、测试对象、前置条件、测试策略、测试范围的含 ...
分类：
其他好文 时间：
2020-05-21 16:02:26
阅读次数：
66
看的多个Kaggle上 图片分类比赛 的代码，发现基本都会选择resnet网络作为前置网络进行训练，那么如何实现这个呢？ 本文主要分为两个部分 第一个部分讲解如何使用PyTorch来实现前置网络的设置，以及参数的下载和导入 第二个部分简单讲一下resnet运行的原理。 第一部分：实现 有一个非常好用 ...
分类：
Web程序 时间：
2020-05-20 20:26:43
阅读次数：
124
JML理论基础 JML规定了一些语法,用这些语法可以描述一个方法,一个类的行为,理论基础是离散数学吧 JML常用语法 前置条件: 使用 require + 表达式 ,表达式一般为布尔表达式 副作用: assignable列出这个方法能够修改的类成员属性，\nothing是个关键词，表示这个方法不对任 ...
分类：
其他好文 时间：
2020-05-20 14:35:05
阅读次数：
60
[TOC] 1. 前置知识 1.1 InnoDB 索引结构 InnoDB 索引使用的数据结构是 "B+ 树" 。 百度百科中的结构图： 一个 m 阶 树的几个特点： 1. 每个节点可能有最多 m 个子节点 2. 除根结点外，每个结点至少有 个子女，根结点至少有两个子女 3. 有 k 个子女的结点必有 ...
分类：
数据库 时间：
2020-05-20 14:02:13
阅读次数：
143
项目描述： 在微信小程序中通过与Springboot操作数据库实现简单的增删改查，其中我是用springboot整合mybatis plus 和mysql使用的. 1\. 开发前准备 1.1 前置知识 java基础 SpringBoot简单基础知识 1.2 环境参数 开发工具：IDEA 基础环境：M ...
分类：
微信 时间：
2020-05-20 12:42:22
阅读次数：
91
前置 我在很久之前就发现了使用第三方 markdown 主题将产生一个的问题，今日在社区发现依然有人写文章来推荐这种做法。接下来我告诉你为什么最好不要这样做以及分享一些 markdown 技巧。若有不足，恳请指点！ 第三方主题 在技术社区经常看见使用编辑器 markdown 主题渲染出来的文章，其目 ...
分类：
其他好文 时间：
2020-05-19 20:22:43
阅读次数：
52
大数据实践（一） Hadoop单机搭建（Ubuntu） 前置环境及工具： Ubuntu 16 VirtualBox Hadoop 2.7.3 xftp6 jdk1.8 [TOC] 1、VirtualBox环境准备 001、设置网卡 双网卡：选择桥接模式与仅主机模式。 保证主机与虚拟机之间相互ping ...
分类：
系统相关 时间：
2020-05-19 00:41:06
阅读次数：
78
网络流常见建图套路总结(重制版) [TOC] 前置知识 1. 网络流的基本算法:Dinic最大流,EK+SPFA求费用流 2. 最小割,最小割最大流定理 3. 二分图判定,匹配,相关性质 4. 常见最短路径算法:Dijkstra,SPFA,Floyd 最大流 二分图最大匹配与多重匹配 定义： 二分图 ...
分类：
其他好文 时间：
2020-05-18 21:08:15
阅读次数：
72
