第三单元(JML)总结 一、JML学习小结 JML是一种面向JAVA的行为接口规格语言 。它用逻辑严格描述规格,使设计更为规范,并且更利于测试与维护。 规格的总体结构 对于JAVA的类的规格,一般包含了数据(类型)规格和方法规格。 类型规格 不变式invariant:所有可见状态下都必须满足的特性 ...
分类:
其他 时间:
2021-05-30 15:25:58
收藏:
0 评论:
0 赞:
0 阅读:
11
效果图:第一行和第一列固定 <!DOCTYPE html> <html lang="zh"> <head> <meta charset="UTF-8"> <meta name="viewport" content="width=device-width,initial-scale=1.0"> <ti ...
分类:
Web开发 时间:
2021-05-30 15:25:49
收藏:
0 评论:
0 赞:
0 阅读:
17
一,IS-IS中的DIS与OSPF中的DR的异同点 1,IS-IS广播网络中,优先级为0也会参与DIS的选举,OSPF中,优先级为0不参与选举。 2,OSPF中DR不支持抢占,即使新加入的路由器优先级更高,也不会抢占,以免引起网络 3 ...
分类:
其他 时间:
2021-05-30 15:25:36
收藏:
0 评论:
0 赞:
0 阅读:
18
电路图 动态数码管代码 1 //以下代码未经过验证 2 #include <reg52.h> 3 4 sbit WELA = P2^7; 5 sbit DULA = P2^6; 6 unsigned char count = 0; 7 unsigned char code_count = 0; 8 ...
分类:
其他 时间:
2021-05-30 15:25:22
收藏:
0 评论:
0 赞:
0 阅读:
20
对js数组中的简单理解 一、检测数组 1、instanceof if(value instanceof Array){ } 2、Array.isArray() if(Array.isArray(value)){ } 迭代器方法: Array原型上有三个方法检测数组内容 1、key() 数组索引 2、 ...
分类:
编程语言 时间:
2021-05-30 15:25:07
收藏:
0 评论:
0 赞:
0 阅读:
16
恢复内容开始 异常一般是yaml格式又问题,可以吧配置文件复制去在线yaml格式校验一下,就ok了 恢复内容结束 ...
分类:
移动平台 时间:
2021-05-30 15:24:54
收藏:
0 评论:
0 赞:
0 阅读:
15
Maven项目,使用Spring+SpringMVC+Mybatis的项目,jstl的jar包成功导入,但是一直报无法解析uri的异常。网上的办法基本都尝试过,现在说明一下我的解决方法: 由于jstl-impl自带依赖的servlet-api版本过低,应该去除依赖,导入合适版本的servlet-ap ...
分类:
编程语言 时间:
2021-05-30 15:24:40
收藏:
0 评论:
0 赞:
0 阅读:
10
三元环问题 解题思路: 度 = 入度 + 出度 根据 1、度小的连向度大的 2、若度相同,则编号小的连向编号大的 把所有的边建立成有向边(防止后面重复的统计三元环) 然后for循环遍历所有的边 判断所有的边的两端点,判断两个端点有没有连接,如果有连接,那么就ans++。 代码: #include < ...
分类:
其他 时间:
2021-05-30 15:24:31
收藏:
0 评论:
0 赞:
0 阅读:
25
Databus系统是微博DIP团队开源的分布式日志传输系统。它是一个分布式、高可用的,用于采集和移动大量日志数据的服务。它基于流式数据的简单而灵活的架构,具备健壮性和容错性,具有故障转移与恢复机制。它采用简单的可扩展的数据投递模型,允许用户自定义扩展传输组件。 主要特性 All-In-One 所有的
分类:
其他 时间:
2021-05-30 15:24:16
收藏:
0 评论:
0 赞:
0 阅读:
10
前一阵子开发微信小程序功能,需要用到wx.request请求服务器接口,接口需要传递form-data参数,但是按官方文档提供的wx.request请求总是不成功。 找了些资料都说wx.request不支持,得用wx.uploadFile来实现。其实是可以的,只是没有找到正确的打开方式而已。 经过参
分类:
微信 时间:
2021-05-30 15:24:05
收藏:
0 评论:
0 赞:
0 阅读:
22
在做位运算相关算法题时,经常需要我们提取二进制最右边的一位1,接下来我们就讲讲关于二进制最右边一位1的操作 ##获取二进制中最右边的1 x&(-x) 就是这么简洁,就能实现获取到二进制中最右边的 1,且其它位设置为 0。 原因: 首先在补码表示法中,负数的补码 = 取反 +1,这个都知道,但你可能没 ...
分类:
其他 时间:
2021-05-30 15:23:44
收藏:
0 评论:
0 赞:
0 阅读:
25
Za 将满足某一性质的边长设为1,不满足的设为0,通过求最短路或者维护一个双端队列可以得到两点之间的满足该性质的边的最小值或最大值。 最大值最小/尽可能大/具有二段性的问题可以想想能否用二分。 具有结合律(1 + 1 + 1 + 1 == 1 + 3 == 2 + 2 → 1 2 4 8)的性质,可 ...
分类:
其他 时间:
2021-05-30 15:23:34
收藏:
0 评论:
0 赞:
0 阅读:
13
ElasticJob 是一个分布式调度解决方案,由 2 个相互独立的子项目 ElasticJob-Lite 和 ElasticJob-Cloud 组成。本文主要介绍 ElasticJob-Lite 的基本使用,文中所使用到的软件版本:Spring Boot 2.4.4、jdk1.8.0_181、el ...
分类:
编程语言 时间:
2021-05-30 15:23:24
收藏:
0 评论:
0 赞:
0 阅读:
15
【问题】 通过SSH服务远程访问Linux服务器,总是等待很久才能登陆。 【分析&解决】 1、SSH服务默认启用了DNS反向解析的功能 # 关闭 sed -i 's/#UseDNS yes/UseDNS no/' /etc/ssh/sshd_config# 另外在authentication gss ...
分类:
其他 时间:
2021-05-30 15:23:12
收藏:
0 评论:
0 赞:
0 阅读:
19
树 树 一棵坚韧的树, 扎根在, 生活在, 土壤的树; 树 一棵倒长的树, 遍历着, 回溯着, 零一的树; 树 一棵矛盾的树, 前进着, 后退着, 生命的树。 ...
分类:
其他 时间:
2021-05-30 15:22:59
收藏:
0 评论:
0 赞:
0 阅读:
7
一、什么是 Base64 ? 一句话可以概括:base64 是一种用64个字符(1字节 = 8bit)来表示任意 8bit 位的二进制数据的方法。 它的作用非常广泛,如迅雷下载的下载链接、前端的 dataURL、邮件传输等等。得益于用可见字符对二进制的直接转化, 使得base64可以无视平台,无视语 ...
分类:
编程语言 时间:
2021-05-30 15:22:49
收藏:
0 评论:
0 赞:
0 阅读:
33
开发环境 1、安装Node.js:http://nodejs.cn/download/ 无脑安装即可 确认nodejs安装成功: cmd下输入 node -v 查看版本号 cmd下输入 npm -v 查看版本号 npm为软件包管理工具 2、安装Node.js淘宝镜像加速器(cnpm) 可以加快下载速 ...
分类:
其他 时间:
2021-05-30 15:22:34
收藏:
0 评论:
0 赞:
0 阅读:
7
线性回归,就是用一条直线来解释自变量与因为变量之间的关系。我们可以将线性回归表示为:y=W^0 + W^1X^1 + W^2X^2 + ......W^NX^N=∑W^IX^I 线性回归目标函数为: J(w) = 1/2∑(y^i - y_^i)^2 y表示真实值,y_表示预测值。J(w)表示损失函 ...
分类:
其他 时间:
2021-05-30 15:22:17
收藏:
0 评论:
0 赞:
0 阅读:
6
1、c语言中函数的参数 01、c语言中实参向形参的传递过程是单向传递的,在对形参进行修改后的值不能返回给实参。 02、函数返回调用源的返回值只能有一个。 例、求两个数的和与差。 #include <stdio.h> void sum_diff(int x, int y, int sum, int d ...
分类:
编程语言 时间:
2021-05-30 15:22:03
收藏:
0 评论:
0 赞:
0 阅读:
34
文章目录安装方法autopep8PylintKiteIdeologJson ParserMarkdown NavigatorString ManipulationMaterial Theme UIGrep ConsoleGitHubKey Promoter XStatisticTranslation ...
分类:
其他 时间:
2021-05-30 15:21:49
收藏:
0 评论:
0 赞:
0 阅读:
30