1.面向对象编程：数据抽象，继承，动态绑定。 2.数据抽象：接口和类实现分开。继承：可以建模相似类型之间的关系的类。动态绑定：使用不同类型的对象并忽略它们的不同。 3. 基类将依赖类型的函数与期望其派生类不加更改地继承的函数区分开来。 基类定义虚函数使得派生类可以自定义该函数。 4.类派生列表指定了 ...
分类：
编程语言 时间：
2021-06-02 15:36:04
阅读次数：
0
BUAA OO第三单元总结——JML规格 JML规格 JML(Java Modeling Language) 是用于对 Java 程序进行规格化设计的一种表示语言。JML 是一种行为接口规格语言（Behavior Interface Specification Language，BISL），基于 L ...
分类：
其他好文 时间：
2021-06-02 15:32:43
阅读次数：
0
主要总结了MySQL数据库在设计和书写时的一些规范和提高性能的操作 1.设计时 （1）没有特殊要求，所有表必须使用 Innodb 存储引擎 没有特殊要求（即没有 Innodb 无法满足的功能，如：列存储，存储空间数据等）的情况下，所有表必须使用 Innodb 存储引擎（MySQL5.5 之前默认使用 ...
分类：
数据库 时间：
2021-06-02 15:21:11
阅读次数：
0
北航oo第三单元总结 基于JML设计总结 JML主要由方法规格和类型规格组成。 方法规格包括前置条件、后置条件和副作用范围的限定。前置条件可以用来区分该方法不同的行为（正常或异常），后置条件就是这个方法执行完后的结果，副作用范围限定规定了这个方法运行的过程中哪些元素可以被改变。 类型规格分为不变式和 ...
分类：
其他好文 时间：
2021-06-02 15:13:27
阅读次数：
0
思维导图 重要概念 1.假设图中有n个顶点，e条边，则 含有 e=n(n-1)/2条边的无向图称作完全图； 含有 e=n(n-1)条弧的有向图称作有向完全图； 若边或弧的个数 e<nlogn，则称作稀疏图，否则称 作稠密图。 2.假若顶点v和顶点w之间存在一条边，则称顶点v和w互为邻接点； 边(v, ...
分类：
其他好文 时间：
2021-06-02 15:13:04
阅读次数：
0
BUAA UNIT3 社交关系模拟系统 一. 总结实现自己实现规格所采取的设计策略 ? 在实现JML规格时，采取的策略为先大致读一遍JML规格，理解将要实现的类成员变量与方法的大致意义，之后去设计将要实现的类中的数据结构与算法，然后开始下手写代码。值得注意的是，这仅仅是第一步要进行的工作。 ? 在之 ...
分类：
其他好文 时间：
2021-06-02 15:12:46
阅读次数：
0
目录 一.break 二.continue 三.重点总结 四.猜你喜欢 零基础 Python 学习路线推荐 : Python 学习目录 >> Python 基础入门 在 Python while 循环 文章结尾，我们留下了一个 bug，当条件永远为 True 时，程序 while 循环陷入了死循环， ...
分类：
编程语言 时间：
2021-06-02 14:47:32
阅读次数：
0
一、异常 1.什么是异常？ 在程序执行过程中，出现的非正常的、最终导致JVM的非正常停止的情况，就是异常 2.异常体系 异常机制的存在就是为了帮使用者找出程序中的问题所在，异常的根类是java.lang.Throwable，在其下还有两个子类：java.lang.Error和java.lang.Ex ...
分类：
其他好文 时间：
2021-06-02 14:40:22
阅读次数：
0
一天下午，在给线上一个小表加个字段，发现老是加不上去，一直卡死。运维同学突然跑过来跟我说，线上数据库这半个小时一直在重启，问我是否有做什么操作。我当时虎躯一震，总共100多行的小表加个字段都加出问题了？我立马停止尝试加字段，果然数据库恢复正常了。后面查到原因，也顺利加上字段，现在来复盘总结一下。 先 ...
分类：
数据库 时间：
2021-06-02 14:04:46
阅读次数：
0
网络层协议与应用 目录 一、IP数据包格式 二、ICMP协议 2.1、ICMP的主要功能介绍 2.2、ICMP协议封装 2.3、ICMP的基本使用 三、ARP协议 3.1 ARP概述 3.2 ARP攻击和ARP欺骗 一：IP数据包格式 网络层负责定义数据通过网络流动所经过的路径。主要功能 定义了基于 ...
分类：
其他好文 时间：
2021-06-02 13:53:21
阅读次数：
0
