计算机网络基础-1-概述 计算机网络基础-2-物理层 数据链路层 一、数据链路层概述 数据链路层使用的信道主要有以下两种类型： 点对点信道：这种信道使用一对一的点对点通信方式 广播信道：这种信道使用一对多的广播通信方式，因此过程比较复杂。广播信道上连接的主机很多，因此必须使用专用的共享信道协议来协调 ...
分类：
其他好文 时间：
2020-05-25 19:46:02
阅读次数：
94
前面的章节是侧重讲解方法的了解和运用，本章节侧重讲解类中设计的一些理念，更多的是一些概念和思维逻辑 本章重点内容： 1、Python和OOP 2、OOP和继承：“is-a”关系 3、OOP和组合：“has-a”关系 4、OOP和委托：“包装器”代理对象 5、类的伪私有属性 6、方法是对象：绑定或未绑 ...
分类：
编程语言 时间：
2020-05-24 09:51:56
阅读次数：
70
1.JML基础梳理 1.1注释结构 JML采用javadoc注释的方式来表示规格，且每行以@开头。通过使用//@annotation来进行行注释，使用/*@annotaion@*/来进行块注释。 1.2JML表达式 1.2.1原子表达式 \result表达式，在方法规格中使用，通过\result来指 ...
分类：
其他好文 时间：
2020-05-23 20:40:22
阅读次数：
58
OO第三单元——JML 一、梳理JML语言的理论基础、应用工具链情况 JML语言理论基础 JML是一种形式化的、面向JAVA的行为接口规格语言（Behavior Interface Speci?cation Language，BISL），基于Larch方法构建 。BISL提供了对方法和类型的规格定义 ...
分类：
其他好文 时间：
2020-05-23 18:50:55
阅读次数：
48
在单片机编程过程中，有时候需要反复操作多条同相语句，这时候运用#define宏定义多条语句可以大大简化编程内容。 语法规则如下： 1.宏定义单条语句： #define PI 3.14159 // 定义圆周率pi的值 2.宏定义多条语句：中间用逗号或百分号，两头加大括号。#define SendIIC ...
分类：
编程语言 时间：
2020-05-23 16:45:37
阅读次数：
210
一、关于JML JML理论基础 所谓的JML，它是一种形式化的，面向JAVA的行为接口规格语言。对于我们所写的代码，正确性的重要性不言而喻，JML正是我们为了获得回答方法正确性问题的一种重要的技术手段，同时可作为我们开展测试设计时的依据，是多人协同开发时的交互基础。 方法规格： 举一个例子，首先我们 ...
分类：
其他好文 时间：
2020-05-23 00:39:52
阅读次数：
55
JML单元总结 JML理论基础及应用工具链 理论基础 JML设计源自契约式设计的需要，我个人的理解是它是一种功能要求的表述，要求写程序的人按照这个要求去实现功能。 1.方法规格 前置条件： 后置条件： 副作用：放在 之后，表示需要被修改的对象属性及类静态变量 pure方法：使用 ，表示该方法可以被其 ...
分类：
其他好文 时间：
2020-05-23 00:37:22
阅读次数：
55
我们常说人以群分，物以类聚，即根据特征去划分，这其实就是类的思想。在编写类时，我们会定义一大类对象都有的通用行为。基于类创建对象时，每个对象都自动具备这种通用行为，然后可以根据需要赋予每个对象独特的个性。下面我们就来具体了解一下什么是类和对象。 1、类与对象的语法规范 关键字：class 语法如下： ...
分类：
编程语言 时间：
2020-05-21 13:12:48
阅读次数：
56
Nginx实现域名绑定 0. 生产环境利用nginx对后端服务器进行反向代理和负载均衡，再把外网域名解析到nginx的vip地址，这样在外网可以通过域名访问WEB服务。但是如果不对域名进行绑定的话，用户可通过ping域名获取服务器IP地址，再通过IP地址直接访问到WEB服务。这不符合国家的政策法规。 ...
分类：
其他好文 时间：
2020-05-19 12:39:12
阅读次数：
53
为了解决存储和网络的传输的问题，出现了UTF，即对unicode进行转化 Utf-8:使用1,2,3,4个字节表示所有字符，优先使用1个字符，无法满足空间则增加到2 --> 3 -- > 4 Utf-16:使用2,4个字节表示所有字符；优先使用2个字节，否则使用4个字节表示 Utf-32:使用4个字 ...
分类：
其他好文 时间：
2020-05-18 12:12:10
阅读次数：
68
